Coda:Coinbase 投资的零知识证明明星项目

作者：Justin Cai

Coda 是将区块链数据通过零知识证明压缩到固定字节大小的新型数字货币。区块链全节点数据容量非常大，并且有继续变大的趋势，让全节点的网络同步以及存储变得很困难。Coda Protocol 通过零知识证明的不断递归，旨在将目前几十 GB 的区块链账本压缩到 20k，从而使得移动端也可以即时同步区块链数据。

优点：1）团队有非常强大的密码学研究和应用能力2）项目有众多著名硅谷投资人背书3）通过区块压缩来扩容是 V 神等技术大牛看好的方向

缺点：1） 20k 的节点仅是用户节点，可以做验证人的全节点仍然需要 G 级别的存储空间。2） zksnark 证明需要消耗大量算力和存储。3）项目方自己开发公链，而非为其它公链生态服务，灵活度有限。

区块链扩容的其中一大挑战在于，区块链数据容量随着 tps 增长，也会同级数地增长。因此，随着公链上 DApp 数量及活跃度的提高， 各大公链都将面临运行全节点硬件配置门槛高的问题。

举例来说，比特币的全节点大小从 13 年 Q1 的 6GB，增长到了 19 年 Q1 的 210GB，6 年翻了 35 倍，平均每年增长 80%。而以太坊的全节点在 16-17 年的大牛市中更是一年增长了 19 倍。未来存储容量的增长是否能跟上区块数据的增长，是一件令人担忧的事情。

在这种背景下，Coda 的区块存储压缩技术号称可以提高存储硬件设施的利用效率，让运行全节点的成本大大降低，真正保证了整个区块链节点网络的去中心化 [有无竞品]。

目前，同样在尝试用零知识证明技术对区块数据进行压缩的团队有 Matter Labs （之前项目名为 zk rollup），计划在以太坊公链上通过加入零知识证明相关的 op code 来实现智能合约的链下执行与验证。

Coda 协议里，除了传统的区块验证人外，还增加了 Snark 生成者，用以处理生成 Snark 证明的大量计算任务。区块验证者与 Snark 生成者分享区块奖励，以奖赏 Snark 证明的 [代币经济更详细些] 生成。在目前的设计中，链上内置了一个交易市场，区块验证者必须从 Snark 生成者处购买 SNARK 代币才能生成新的区块，而 Snark 生成者可以通过生成证明获得 SNARK 代币，类似 PoW 挖矿。

Coda 原生代币 CODA 可以用来进行权益锁仓，验证人必须保持在线，或者将代币委派给 PoS 矿池，方可参与出块。Coda 目前不计划对作恶节点进行 slashing，想在 testnet 运行阶段观察是否需要加入 slashing 的机制。

目前 Coda 协议只支持交易，并不智能合约的支持。

Coda 团队基于 Ouroboros Proof-of-Stake 协议自行实现公链，增加了使用 zk-snark 递归压缩的技术。

Coda 递归压缩的原则可以简单的描述如下。首先，假设我们生成一个证明从状态 0 到状态 1 的状态转换是合法的，然后，我们继续生成一个证明从状态 1 到状态 2 的状态转换是合法的，那么，我们就可以把这两个证明合并为一个证明从状态 0 到状态 2 的状态转换是合法的。依次类推，可以将每一步状态转换的证明都递归地合并为一个证明从状态 0 到最新状态的所有状态转换都是合法的。

Coda 的实现是用 OCaml 语言（一种函数式编程语言，在高频交易界应用较广）完成的，团队原创了不少新的代码库，包括一个基于 OCaml 的 zk-snark 解释器。

Coda 的缺点在于，作为验证人节点，为了生成新的递归证明，仍然需要保存所有中间产生的证明，需要 G 级别的存储空间。因此在更准确的意义上，20k 的节点只能算是增强版的轻节点。当然，coda 用户节点相对于传统轻节点的好处在于，验证交易不需要向全节点查询交易相关的的区块数据 [安全性问题探讨一下]，消除了中间人攻击的可能性，提高了轻节点的安全性。不过，随着区块链的长度增加，验证人节点不但要储存原始区块数据，还得储存以及验证大量的中间 snark 证明，很有可能全网消耗的数据容量和计算需求不减反增。

项目所有代码都通过 Github 开源，目前获得 290 个星 , 有 1946 个 commits，39 个 fork，贡献者共有 26 个，大多数代码由最活跃的 8 个贡献者提交。

Coda 的 beta 测试网 1.0 已经于今年 [开源情况，以及开源相关数据加一下]7 月对公众开放，任何人都可以在自己的设备上运行 Coda 节点，锁仓 Coda 测试代币成为区块验证人。

项目目前在 Twitter 上有 6400 个粉丝，在 Telegram 上有近 6000 个成员，在 Discord 上有 800 多个成员。

Coda 在旧金山搞过多次线下 Meetup，吸引了大量开发者参与，人气比较旺盛。

Coda 与著名的 zksnark 库 libsnark 的创建者 Howard Wu 领导的 Decrypt Capital 有密切的合作关系，举行了 zksnark 证明器的代码优化挑战等活动，也经常联合进行联席演讲。

CEO 是卡梅计算机学士以及机器人硕士，之前任职 Mozilla 的软件工程师。

CTO 是伯克利的密码学博士，之前在 Jane Street 对冲基金任职软件工程师，并为多项开源软件贡献源码，包括 Elm 语言的编译器。

团队目前 21 人，一线开发人员都是函数式编程社区的活跃人物，可能跟整个项目采用 OCaml 语言有关。

项目的 Advisor 包括 Coinlist 的 CEO、Coursera 上数字货币 MOOC 的作者（NYU 教授）、以及 bulletproof 的发明者。

Coda 项目因为有技术大牛领衔，又有扩容题材的支撑，在硅谷机构投资者中热度一直较高。预计后期经过适当宣传，在散户投资者中也会斩获很多粉丝。

目前主要问题在于项目前期宣传中 20k 大小的为全节点，而实际实现后发现验证人节点仍然需要 G 级别的存储，20k 的只是用户轻节点。而协议要求的大量 snark 计算很有可能可能导致更多的存储和计算资源消耗，与原本项目的初衷背道而驰。

此外，项目的路线选择了自行开发公链，而非帮助其它公链提供技术服务，因此作为纯技术团队出身是否有能力建造一套完整的公链生态，仍有待考验。

资料来源：官方文档及官方 Medium、Twitter声明 : EVALUAPE 只基于项目方提供的公开资料进行评估，并不对项目进行估值及投资建议。因此，EVALUAPE 的评估报告并不构成投资意见，不对用户投资负责。

—-

编译者/作者：Evaluape

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。