Coda，简洁的区块链协议|AG 尊龙凯时

2024-11-11 07:31:01

最近看了一篇关于Coda协议的讲解，翻译成了一下，共享给大家：原文链接：https://medium.com/@masked/the-coda-protocol-bbcb4b212b13（其中视频是Youtube平台上的，感兴趣的可以想到）Coda协议可以看作是 “能塞进口袋的钱包”：· 第一个简练的区块链加密货币。· 区块链从100 GB的数据（现有的区块链协议）传输到kB大小。

· 可拓展，安全性且去中心化。· 容许在手机上检验区块链。Coda区块链无论在网络上展开多少交易，始终保持恒定大小（几条推文的大小）。https://cdn.embedly.com/widgets/media.html?src=https%3A%2F%2F%2Fembed%2FeWVGATxEB6M%3Ffeature%3Doembedamp;display_name=YouTubeamp;url=https%3A%2F%2F%2Fwatch%3Fv%3DeWVGATxEB6Mamphack.summit(“blockchain”) 2018 — Izaak Meckler — co-founder and CTO, Coda Protocol在“加密世界”中，我们常常被希望遵循“不信任，检验”的座右铭。

虽然区块链必须仅有节点，但是很少节点不愿做到全节点，因为对全节点的拒绝更加低。比特币的区块链数据快速增长（从2009年到2018年，MB为单位） (https://www.blockchain.com/en/charts/blocks-size?timespan=all)前言为什么不是每个人都能沦为一个仅有节点？深入研究之前，我们应当首先理解典型的加密货币协议的基本操作 - 节点（也称作矿工或权益人（分别对应于PoW与PoS））将交易应用于世界状态。

然后，仅有节点不会仔细观察这些交易，以保证其不道德真诚。终端用户一般来说不独立国家展开检验，而是将信任委托给全节点。这是为什么？· 硬件的拒绝和运营仅有节点的复杂性不希望终端用户自己去检验。

· 在计算机上运营仅有节点非常复杂，在手机上无法运营。· 信任第三方来已完成检验更容易。在任何一种特定的加密货币的早期，由于区块链较小（有可能只有几兆字节），操作者整个节点比较更容易。

但是，随着时间的推移和记录更好的事务，它不会快速增长到数百GB（如上图右图）。也就是说，在一般的计算机上确保节点不过于现实，更加别提在智能手机上了。

如何在不必须历史交易的情况下，证实当前区块链状态的正确性？Coda讲解“ Coda是一种新的加密货币协议，具备仅有节点级安全性，它容许在任何设备上与任何人展开网络实时。而做这些，仅有须要iTunes几千字节的数据（而不是上GB的数据）并展开几毫秒的计算出来。”https://cdn.embedly.com/widgets/media.html?src=https%3A%2F%2F%2Fembed%2F4AJKUGNwzZ0%3Ffeature%3Doembedamp;display_name=YouTubeamp;url=https%3A%2F%2F%2Fwatch%3Fv%3D4AJKUGNwzZ0ampIzaak MecklerEvan Shapiro: Coda — A Succinct Blockchain — EpicenterO(1) Labs正在研发“Coda协议”，以通过创立第一个“简练的”或“传输的区块链”（几条推文的大小）来解决问题区块链数据大小的问题。

这为终端用户获取了较低的转入门槛检验交易。这是怎么做的？· 利用zk-SNARK有效地将区块传输为单个证明。· 终端用户检查此证明，而不是检查整个块的交易历史。· SNARKs的迭代证明构建了区块链数据的恒定大小。

zk-SNARK是零科学知识证明的一种加密方案，在向检验者获取计算出来证明时，检验者提供将近任何科学知识（零科学知识）。Coda如何工作Coda中的zk-SNARKsCoda协议的核心是zk-SNARKs。zk-SNARKs能用来检验任何计算出来。zk-SNARKs获取“不能假造的证明”，能证明计算出来准确继续执行，而需要获取整个计算出来过程。

如前所述，我们可以对任何计算出来，例如检验一个块中的交易，创立一个SNARK的证明。此证明需要表明所有交易才可证明区块交易历史的准确性。

这样有效地将区块的大小增大到单个SNARK证明（〜1kB）。SNARK的证明不会证明共识必须的所有的规则。这些规则还包括：· 交易的亲笔签名否准确。· 交易否有效地。

· 共识涉及的规则（PoW的总算力以及链的强度，PoS的VRF函数以及其他规则）SNARK证明必需现实分解，否则违宪。网络中的任何人都可以在类似于Raspberry Pi 或智能手机之类的“重节点”上检验。在低端计算出来设备上能检验区块的正确性是针对当前问题的可持续且可拓展的解决方案的第一步。

本文来源：AG 尊龙凯时-www.meiketu.com