Coda代码分析：一个恒定大小的区块链协议

我们知道Coda的代码分析听起来像是在讨论一款受欢迎的汽水的优点。但实际上这个项目有嘶嘶声。Coda协议基本上旨在保持加密货币的分散和廉价性，以便区块链验证可供任何人使用。那么我们在这里可以看到，分散、可扩展性、安全性的统一体？

官网声称这是“具有固定大小的区块链的第一个加密货币协议”。固定大小的区块链。“Coda将整个区块链压缩成几个tweets大小的小快照”。

什么？“Coda使用zk-SNARKs的递归组合将整个区块链压缩成几个tweets的大小。人们不需要存储或下载交易记录就可以验证区块链。“

zk-SNARK，零知识证明。

没有验证者就可以证明你不需要理解的东西。私钥和公钥就是这样，如果我给你一个加密的消息，我给你未加密的消息和我的公钥，你可以看到签名的消息由公钥的相应私钥签名，从而证明了私钥，即使你不需要知道什么。Coda试图递归地将zk-SNARK应用到区块链中，以不断减少它，直到达到固定大小。为了解开这个问题，你需要每个先前的证明，直到完整的区块链解开为止，或者每个帐户都需要自己的平衡证明来确定它的状态，但这是时间敏感的，因为我可以为两个个不同的人使用相同的证明。项目还涉及到很多方面，让我们回到白皮书。

首先不建议尝试阅读白皮书。我仍然有完全相同的问题。稍后我会再试一次，让我们跳入代码。

现在就咆哮吧。

Snarky由Izaak Meckler创建，我发现它已经达到了几个zcash邮件列表。好奇的是，它是基于Jens Groth和Mary Maller的论文。

这段代码绝对不适合第三方使用，但它很好。

这些例子太棒了。

文库设计精良，效果良好。IZAAK MECKLER（CTO）绝对知道他的zk-SNARKS。

Coda代码审查结论

真正好的代码，伟大的文库，肯定知道他们的snarks，同时我努力想象这个想法，也许有一个可逆的证明列表，并且基于块数的平衡证明可以工作，但是固定大小的想法让我犹豫了一下，为什么不这么做呢？

我认为这里肯定有些东西，但我还不确定。当然值得持续关注。

扫码进讨论群，不定时开车