Coda先容
zk-SNARKs提供“不行伪造的证明”，能证明计较正确执行，而无需提供整个计较进程。如前所述，我们可以对任何计较，譬喻验证一个块中的生意业务，建设一个SNARK的证明。此证明无需显示所有生意业务即可证明区块生意业务汗青的精确性。这样有效地将区块的巨细减小到单个SNARK证明（〜1kB）。
· 可扩展，安详且去中心化。
Coda如何事情
· 一个证明能证明区块0到区块2是正确的。
任何设备都可以运行验证节点， 包罗但不限于 智妙手机，欣赏器或成果手机（是的，包罗坚不行摧的诺基亚）。
· 生意业务的签名是否正确。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
