根據 Coinbase 對 Mina 的首席執行官（關於 ZK-SNARKs）的訪談，一位名叫 Evan 的高中生於 2011 年首次了解比特幣，他認為比特幣背後的區塊鏈技術非常強大和迷人。特別是一些底層算法和共識機制（工作量證明（pow））。回到過去，Evan 從卡內基梅隆大學畢業後繼續攻讀碩士學位，專攻機器人技術。然後我偶然遇到了一位高中同學，這就是 Evan 創建 Coda Protocol 的原因。
為什麼要創建 Coda Protocol？如果你想成為鏈的一員，你必須運行一個完整的節點，這裡指的是重節點，其中一點是你必須下載整個區塊鏈，數據可能有數百 GB，而且隨著交易越來越多，數據只會越來越多，所以你需要創建 Coda。
簡單來說，Coda 是什麼。一個將區塊壓縮到極致的整潔區塊鏈。
區塊鏈的目的是什麼？它向我們證明了世界上存在著某種狀態，這種狀態可能是好的或壞的，但每個人都可以看到它，沒有人可以完全控制這種狀態。這就是我認為區塊鏈的好處。在這一點上，問題變成了，為什麼我們必須證明 n 個區塊如此之長，是否有某種方法可以壓縮它。必須有一種零知識證明來創建一個數據庫當前狀態的證明，同時保持大小非常非常小。
一個證明只是固定大小，只有幾 KB，所以一旦你擁有它，你就不需要下載整個區塊鏈。你只需要保存數據庫的當前狀態並證明數據庫是你想要的。
所以讓我們深入了解一下 ZK-SNARKs，用通俗的比喻來說，如果你想運行一個計算，通常情況下，如果你想知道運行的結果，你必須運行它，好的，當我們輸入時，等待，看到結果，太棒了。
零知識證明的一個不同之處在於你不必自己運行程序，其他人可以運行程序，有人在互聯網上給你隨機的證明，這些證明與你自己運行程序得到的證明相同。所以這很棒，因為在區塊鏈上，你不需要運行檢查整個區塊鏈的計算，你只需要檢查代表該計算的零知識證明。
或者我如何證明我見過 Elon Musk，Elon Musk 發送一條推文，或者我發送我們兩個人的照片，確保照片是真實的。但如果你相信照片是真實的，你就相信我見過 Elon Musk，這就是零知識證明，你不需要看到我見過 Elon Musk，因為 Elon Musk 可以發送一條推文，或者我可以發送一張照片來證明它是真實的。
想象一下，如果我們要向區塊鏈添加新數據，我們將不得不重新計算證明，這將是一個頭痛的問題。因為當區塊鏈運行足夠長的時間時，整個計算是龐大的。所以你需要一種方式，在每次更新區塊鏈時只需做固定量的工作，這就是遞歸的作用。遞歸在算法中也非常有用。