原文标题：《2019 最受资本欢迎的区块链项目 Coda，到底长啥样？》
原文来源：Odaily 星球日报
2019 年还有 2 个月就要结束了，那么 2019 最受资本欢迎的项目是哪个？（除了主流币）
数字货币研究机构 The Block 在 9 月末发布的一份报告中给出了这一答案。报告称，19 个活跃投资方中有 11 位投了 Coda。打开 Coda 的官方 Twitter，置顶推文是项目 CTO Izaak Meckler 和 V 神将于 10 月 30 日展开一场关于「零知识证明「的讨论会，其中副标题为「How to Use SNARKs（Coda 的创新技术）」。看起来更像是拉 V 神站台宣传项目。
Coda 何以获得 V 神站台以及那么多「聪明钱「的青睐？带着这一疑问本文和大家一起走进 Coda 项目。
01. 永远 20KB 的区块链
在官网的介绍中，Coda 是第一个具有恒定大小区块链的加密货币协议。当前的加密货币如比特币和以太坊存储着数百 GB 的数据，而且随着使用量增长，积累的数据只会越来越多。举例来说，比特币的全节点大小从 13 年 Q1 的 6GB，增长到了 19 年 Q1 的 210GB，6 年翻了 35 倍，平均每年增长 80%。而以太坊的全节点在 16-17 年的大牛市中一年增长了 19 倍。
我们知道，想要验证加密货币的交易，需要先下载区块链的完整副本。但是下载一个数百 GB 的文件并运行它并不是所有人都能做到的。尤其在一个分布式的世界里。
Coda 的设计是，无论使用量如何增长，其区块链始终保持相同的大小（约 20KB，几条微博的大小）。这意味着，可以通过任何智能手机或者电脑浏览器进行访问、运行节点。
这一设想的背后主要由一个叫 zk-SNARKs 的零知识证明技术来实现。简单来说，Coda 网络使用 zk-SNARKs 将整个区块链压缩成一个微小的快照，在进行验证时，只需发送快照而不是整个区块链，如下图。
（图：传统的区块链（上）和 Coda（下），来源：区块链小数据）
那么 zk-SNARK 是如何压缩区块链的呢？
在我们常见的区块链中，节点一般会验证每一笔交易，然后把它们打包出块。比如比特币在固定时间（平均 10 分钟）出一个块，验证速度决定块大小。而在 Coda 区块链中，节点验证的不是具体的每一笔交易，而是零知识证明的递归组成。
首先，零知识证明允许交易者在不公开实际数据的情况下，证明其真伪。例如对一个区块的验证，可以无需知道区块中含有的交易数据本身。
其次，递归压缩的原则是指，假设我们生成一个证明，从状态 0 到状态 1 的状态转换是合法的，然后，我们继续生成一个证明，从状态 1 到状态 2 的状态转换是合法的，那么，我们就可以把这两个证明合并为一个证明，从状态 0 到状态 2 的状态转换是合法的。依次类推，可以将每一步状态转换的证明都递归地合并为一个证明，最终我们得到的是从 0 到最新状态的那个证明。
与此类似，Coda 节点每次产生新的区块，它同时产生一个 SNARK 证明，验证该区块是否有效。网络上的所有节点可以存储这个证明之后继续向前，每生成一个新的区块，就有一个新的 SNARK 证明，但 awlays 只有一个 SNARK 证明。因此如上图所示，它看起来只是一条短链。这里我们就避免了去验证庞杂的区块内交易数据。Coda 因此也被称为轻量级区块链。
但是关于此项目的共识机制，不管是白皮书还是官方博客都没有讲地很明确，比如在白皮书里只是说，有点类似于 Ouoroboros Praos proof-of-stake protocol，其最终状态可能是一个 POS 链。
因此上，Coda 网络中的角色可能除了通过质押代币成为验证者、还有节点运营商、委托人等角色。
在 Coda 网络中，参与角色主要是 Staker 和 Snark-workers。其中，Staker 对应的是验证者角色，操作门槛低，只要通过质押 Coda 代币就能获得区块奖励。Snark-workers 对应的是节点运营者，也可成为委托人，生成 zk snarks 证明，负责检测和验证交易真伪。但两个角色并不是完全对立，你可以既是 Staker 又是 Snark-workers，只不过 Snark-workers 的操作相对复杂。
在 Coda 网络的经济模型中，Staker 需要从名为「Snarketplace」的市集中购买这些 Snark 证明，从而将一部分区块奖励（Coda 币）让渡给付出劳动的 Snark-workers 们。Snark-workers 在互相竞争出售 zk-SNARK 证明的过程中，将逐渐降低 zk-SNARK 证明的价格，最终对网络中的终端用户变得友好。
如何参与？
不管是成为成为一名 Staker 还是 Snark Worker，你都首先需要下载 Coda 协议：
要求：
软件：macOS 或 Linux（暂不支持 Windows 系统）
硬件：发送和接受 coda 需要任何特殊硬件，下载钱包就行，但作为节点运营者需要：
· 至少一个 4 核处理器
· 至少 8 GB 的 RAM
· GPU 目前不是必需的，但节点运营商在升级协议时会需要
在 discord 上向机器人发消息，会获得 100 个 Coda 作为初始资金，接着通过系列操作就可以成为你想成为的 Staker 或者 Snark Worker 或者委托人。（这里有详细的操指南）
当我在尝试运行测试网节点时，网络其实并不流畅，会出现延迟等问题。但 discord 社区的讨论氛围比较浓厚，相信随着明年年初主网上线，这类问题可能会持续得到解决。
02. 社区发展及开发进度
项目社区还是挺活跃的，目前在 Twitter 上有 6400 个粉丝，在 Telegram 上有近 6000 个成员，在 Discord 上有 800 多个成员，reddit 上有 618 个粉丝。
Coda 在旧金山搞过多次线下 Meetup，吸引了大量开发者参与，人气比较旺盛。
除了 10 月 30 日和 V 神的讨论会之外，今年 10 月初，Coda 成立了 Testnet 咨询委员会，并邀请 Tezos 团队前成员 Luke Youngblood 和 Cosmos 团队成员 Zaki Manian 作为技术顾问，以帮助主网上线。并强调将与这两个社区共同发展。
开发进度似乎略有滞后，在项目的路线图中，测试网应该在 2018 年 Q3 上线，但推迟到 2019 年 7 月。目前测试网络已经对对公众开放，任何人都可以通过锁仓 Coda 测试代币成为区块验证人，也可以通过运行全网节点成为 Snark Worker。
03 . 融资信息
Coda 已从包括 MetaStable，Polychain Capital，Electric Capital，Naval Ravikant，Charlie Noyes，Elad Gil，Linda Xie，Fred Ehrsam，Jack Herrik，Kindred Ventures，Caffeinated Capital，Dekrypt Capital，Nima 中总共筹集了 1850 万美元，最近一轮融资是在 2019 年 4 月 5 日。不过融资主体是 o1labs 的股权融资。项目代币还未发行，只能通过运行设备成为验证节点获得。
04. 团队背景
CEO Evan Shapiro 是卡内基计算机学士以及机器人硕士，之前任职 Mozilla 的软件工程师。
CTO Izaak Meckler 是伯克利的密码学博士，之前在 Jane Street 对冲基金任职软件工程师，并为多项开源软件贡献源码，包括 Elm 语言的编译器。
团队目前 21 人，一线开发人员都是函数式编程社区的活跃人物，可能跟整个项目采用 OCaml 语言有关。
项目的 Advisor 包括 Coinlist 的 CEO Andy Bromberg 以及 bulletproof 的发明者 Benedikt Bünz。
05. 总结
Coda 虽然有技术亮点且被资本加持，但目前来说还是个小项目，甚至在白皮书里坦言，项目有部分仍然还是「抽象」的，可能由于资本的助推使大众开始关注这个项目。目前除了运行测试网节点普通人还无法参与，可以持续关注，毕竟「钱比人聪明」。
原文地址：https://www.odaily.com/post/5141945