根据 Coinbase 与 Mina 的首席执行官（关于 ZK-SNARKs）的采访，一位名叫 Evan 的高中生在 2011 年首次了解到比特币，并且他认为比特币背后的区块链技术非常强大和迷人。特别是一些底层算法和共识机制（工作证明（pow））。回到过去，Evan 从卡内基梅隆大学毕业后继续攻读硕士学位，然后偶然间遇到了一位高中同学，这就是 Evan 创建 Coda 协议的原因。
为什么要创建 Coda 协议？如果你想成为链的一员，你必须运行一个完整的节点，这里指的是重节点，其中一点是你必须下载整个区块链，数据可能有数百千兆字节，并且随着越来越多的交易，数据只会越来越多，所以你需要创建 Coda。
简单来说，Coda 是什么？它是一个将区块压缩到极致的整洁的区块链。
区块链的目的是什么？它向我们证明了世界上存在着某种状态，这种状态可能是好的也可能是坏的，但每个人都可以看到它，没有人可以完全控制这种状态。这就是我认为区块链的好处。在这一点上，问题变成了，为什么我们必须证明 n 个块如此之长，是否有某种方法可以压缩它。必须有一种零知识证明来创建一个数据库当前状态的证明，同时保持尺寸非常非常小。
一个证明只是固定大小，只有几千字节，所以一旦你拥有它，你就不需要下载整个区块链。你只需要保存数据库的当前状态并证明数据库是你想要的。
所以让我们深入了解一下 ZK-SNARKs，用通俗的比喻来说，如果你想运行一个计算，通常情况下，如果你想知道运行的结果，你必须运行它，好吧，当我们输入时，等待，看到结果，很好。
零知识证明的一个不同之处在于你不必自己运行程序，其他人可以运行程序，有人在互联网上给你随机的证明，而这些证明与你自己运行程序得到的证明是相同的。所以这很棒，因为在区块链上，你不需要运行一个检查整个区块链的计算，你只需要检查代表该计算的零知识证明。
或者我如何证明我见过埃隆・马斯克，埃隆・马斯克发送一条推文，或者我发送我们两个人的照片，确保照片是真实的。但如果你相信照片是真实的，你就相信我见过埃隆・马斯克，这就是零知识证明，你不需要看到我见过埃隆・马斯克，因为埃隆・马斯克可以发送一条推文，或者我可以发送一张照片来证明它是真实的。
想象一下，如果我们要向区块链添加新数据，我们将不得不重新计算证明，这将是一件头疼的事。因为当区块链运行足够长的时间时，整个计算是庞大的。所以你需要一种方式，在每次更新你的区块链时只需做固定量的工作，这就是递归的作用。递归在算法中也非常有用。