Mina 基金會埃文在2019 年6 月做客Coinbase 演講者係列和主持人Justin Mart 聊了聊Mina 的發展，雖然是陳年視頻，但裡面的內容也很精彩，值得一讀。
整理和翻譯：MinaClub
Mina Protocol早在2018年第二季度，就獲得Coinbase Venture的種子輪融資，Coinbase成為宇宙超級大所，也是目前區塊鏈行業所有項目自己的聖殿，但凡能獲得Coinbase Venture投資的項目時間上Coinbase 嗎？大家都心知肚明，不會來，打算遲來。
Coinbase 演講者係列是Coinbase Venture 在你在真人對話頻道節目，當前過的區塊鏈名人有：以太坊理論V 神，萊特多元查理、聯合馬克思、Fred Ehrsam、A16Z 合夥人Vijay Pande 等等，都一個鏈中社區機構，技術大拿行業，一個創新者。
Mina 基金會埃文在2019 年6 月做客Coinbase 演講者係列和主持人Justin Mart 聊了聊Mina 的發展，雖然是陳年視頻，但裡面的內容也很精彩，值得一讀。
MinaClub 把內容整理成文字版，帶大家穿越到2019年，那個時候埃文還是嫩嫩的，米娜協議還叫尾聲協議……
需要注意的是：Mina Protocol 前面是Coda Protocol，因為訴身侵權問題，於2020 年9 月完成品牌升級，本文會用Coda Protocol 替代Mina Protocol。
賈斯汀：歡迎來到Coinbase，我想快速一下來自O(1) labs Evan Shapiro介紹，建立Coda Protocol的團隊，我們非常高興歡迎Evan來參加投資組合，Coda是一家coinbase Ventures投資組合的公司，我們將與Evan 討論一下Coda 背後的靈感是什麼，它是如何以及它會為這個領域帶來哪些創新？
大說一下，我叫賈斯汀，你們會那些人不認識我，自我介紹一下，我在Coinbase Venture 企業開發團隊和風險投資團隊工作。今天能和我們聊聊天，挺開心的，埃文，就從簡單你開始介紹，埃文內實驗室卡內基梅隆大學，他擁有科學和計算機科學基礎，並且在機器人機器人工作期間獲得了個人研究碩士學位，在他有隆大學的梅隆大學了一些牛逼的機器人平台研究，之後他作為一名軟件工程師，於Mozilla。
大約一年或兩年前，他共同創立了O(1)個實驗室，擁有了Coda Protocol，獲得了知名投資機構如Metastable Capital、Electric Capital、chain等種子輪融資，也獲得了Coinbase Ventures的投資，作為O(1) labs 南極，非常歡迎你的出現！
為了更好地了解你，現在你能不能了解一下自己的個人經歷和背景？
埃文：嗯，你說的，我攻讀卡內卡基梅隆大學，計算機，我去CMU之後非常計算機科學，脫離脫離之後又攻讀機器人學科學。我們還有很多研究，比如的運動計劃好，如果你有一個機器人，一個機器人，裡面還有很多關節，你就知道如何更好地移動它，簡直就是一個瞬間。
一塊我以後，我的一個高中朋友，他在克萊爾喜歡這裡的伯利克大學攻讀版，有共同的經歷，真正開始深入研究的尤其是在2017年初，項目雨我們看到許多新春後春筍般的在以太坊春上發行，他們的活動項目的視線很宏大。
大量項目鋪天蓋地，什麼方向，但當時我們看到的技術的短板與突如其來牛市的爆發不匹配。
我們開始想，自己想什麼方向，能想到哪些東西，可以往技術上的短板接觸，自己從那時起，我們開始考慮Coda協議，開始思考當前有哪些技術約束，技術最重要構建，以及如果你取消對某柴限制，又會導致什麼情況發生。
也就是2017年那個夏天，我們著著創造一個協議，大約四五個月，就想開始過去資。
賈斯汀：所以，當時就想著直接建立一個協議？跟多大多數人比，你的真實經歷很有趣。才參與到這個行業來，而對你來說，最初吸引你的究竟是技術。
埃文：是的，我們從2011 年開始，當時還在讀高中就開始關注比特幣，比特幣背後的區塊鏈技術真的非常給力，非常迷人；你可能喜歡這個通常需要paxos 算法。共制都相當複雜，但研究起來相當有趣。
賈斯汀：好，那現在讓我們一起聊聊Coda吧！所以你最後決定發起第1層鏈，Coinbase Ventures也參投了種子輪融資，也是火星非常酷的技術，所以我很想听項目背後的靈感，想知道為什麼決定你柯達，你能做到嗎？柯達是什麼？
埃文：當我們開始研究，什麼是基礎層協議？它有什麼？它的組成部分是什麼？我們很清楚，如果你想鏈上的一個人，你就必須運行完整的節點，像比特幣之類的區塊鏈，你必須驗證，下載並訪問區塊鏈，你當前的技術非常重要，因為你必須完全下載整個區塊鏈，如果你去查看當前的狀態數據，基本是組件G的容易，完全下載同步數據需要幾天時間，而且還必須保持時間在線後才能完成。而且隨著交易的增加，數據會越來越大。這也激發了我們真正深入研究。一份大小，這也正是Co 做的技術創新。
賈斯汀：具體化一點，我覺得真著實令人迷惑的目標是：簡單的小鏈，實際上正在將壓縮大小壓縮到一起，我們一起了解它是如何實現的。
你們在坐自己，有多少人在任何區塊鏈上運行過的完整節點？所以我認為我們都是通過與這些區塊鏈進行交互的，我們不是這些區塊鏈中的本地不可替代的相信，當我們考慮時，這有一點是，如果每個人都必須執行程序服務，這將如何保持去中心化以及我們將如何基於這些東西的應用和項目去創建。
這是我認為團隊Coda 的核心要解決的問題。
我認為這是一個非常技術性主題的個性，尤其是使用Coda zk-SNARK 攻擊一些真正具有功能性的東西，我很想讓我們看到它是如何實現你的示範講得簡單易懂的點，你解釋一下，尾聲如何才能保持簡潔性？
埃文：好吧，讓我來聰明吧，所以當你有一個智能並且通常你想使用它時，你想它，你下載鏈中的所有區塊，下載完你就擁有所有的數據，但是，如果你要添加更多的區塊，這區塊鏈會越來越長。
因此，讓我們思考一下具體數據庫的用途，它會向我證明世界的某些狀態類似世界的真實狀態和世界的最強狀態，一些，一些，一些真正的分類本，是真正的分類帳本。
那我們就得發出疑問：為什麼這些證明必須n個那麼長。
有沒有辦法以特定方式壓縮它，是肯定的，您可以使用零知識證明來創建數據庫當前狀態證明，同時保持體積非常非常小。
確實，一個證明了設備的大小，還有美味的數據，所以如果你有了，就不需要下載完整的鏈。您只需要保存數據庫的當前狀態以及該數據庫就是您想要的的例子的證明。
賈斯汀：能這麼快理解嗎？當你知道的都只有一小段鏈的時候，這個非常簡單的必須下載的證明時間，其他人整個歷史交易，對嗎？
埃文：不是這樣，他們可以選擇完全持有它，然後你知道它與任何其他鏈相同，如果他們願意，他們可以查看歷史。當前狀態，這意味著你只需要保持在當前時間所有當前的賬戶餘額，如果情況發生變化，你可以忽略舊數據。
賈斯汀：這很快的，你能在同一段鏈中努力解決的問題和例子嗎？
埃文：是我們的，所以我的英文只是簡單地討論了一個，就像你現在想要一個完整的節點需要幾天時間一樣。當你擁有同步一段鏈時，你可以立即下載完整節點。著著通常在智能貨幣中，中心鏈的擴展性和去化之間存在某種意義關係。
以比特幣為例，他們將一小段大小保持在非常低的水平，是因為他們希望地保持去中心化。那些體積會增加得越來越快。對於那些傳統的鍊子來說，還不敢讓它們的體積大一些，但是你可以為你的大小設置多少。想要的，規模跟網絡可以處理的一樣大。因為它只是被折疊成這個零知識證明，它也不會影響鏈的去中心化，這是你的一個巨大的優勢，可以保持和去中心化。
賈斯汀：那麼一個簡單的鏈究竟是如何同時實現擴展性和吞吐量，你也給大夥兒分享一下？
埃文：是的，所以讓我們考慮一下每一個整體的體積，是您在整個批量添加到區塊鏈的交易，因為這實際上是一個批量大小，每分鐘知道你的整個批量一個單獨的一小部分，並且您將使塊大小增加一倍，那麼吞吐量就增加了一倍。
所以這會很糟糕，因為你正在增加這部分鏈增長速度，對去中心化不利。但是有了Coda，你又出現了一個，裡面有所有這些交易，你通常把這個部分變了成一個新的零知識證明，你就不需要你再保留數據庫這個世界了。 。
賈斯汀：深入了解一下ZK-SNARKs，它就像是一種神奇的觀察技術，開啟魔法，密碼學魔法。雖然我有數學背景，但我好幾次理解ZK-SNARK，不過玩意對我來說很難，即使因為這是Coda Protocol 的核心部分。我想知道你是否花點時間解釋一下ZK-SNARKs 是如何工作的？極簡自己是如何最終創造一個非常簡潔的證明？
埃文：我想我們可以在幾個層次的東西去理解零知識證明，讓我從一些有點技術性的開始，然後我會用類比的方式讓大家更容易理解。
如果你想自己想要運行一個計算，如果你想知道自己計算的結果，你自己運行它，你必須知道告訴你的計算機：「好，我已經輸入數據，通常讓我們看看輸出結果會是什麼啥？”，讓我們看看計算結果是否真的符合我們的預期。
而零知識證明，讓我們做一些不同的事情，那就是，不需要自己運行程序，其他人也可以運行程序，有人在互聯網上隨機給你一些證明，這些證明自己運行程序得到的「證明」結果」是一樣的。
所以這知識很簡潔，因為使用了一小段鏈，您不必檢查整個區塊鏈的計算，您適合檢查代表該計算的零證明。
撇除技術想理解的理解，可以這麼理解，去思考：就像你知道一塊巨石一樣，我證明你知道它存在。我能做的一件事就是帶你去那塊巨石，或者我拖著那塊巨石，然後拉到你面前。
我可以做的那一次是因為在給那塊巨石拍張照片，然後我可以給你看照片，你可以在照片中看到它，你相信存在，就是零知識，就像這幾乎沒有證據證明某物確實存在，您不必確實存在，因為（照片）完全證明了它的存在。
賈斯汀：太快了，零知識本質上是將一小段鏈的狀態解釋成一小塊中，這是一個回歸證明，回歸如何在Coda 鏈中發揮作用？
埃文：你來一次，如果每次我們向鏈添加新數據時，我們就必須計算這個重來證明。那真的非常頭疼，因為當鏈增加了10 米時，這可能就是你的大小10KB 證明，但是當一部分鍊為10,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000一樣大的。
所以你需要一種方法能夠在每次更新區塊鏈時做動態的工作量來進行更新，這就是循環的用武之地
現在我們要對一段鏈進行更新，我們採用現有的那一段鏈到迄今為止的Coda一段鏈，例如第500個區塊
我們來看看我們還有誰的故事，我們將要添加到故事中的數據也是正確的。所以現在我們有證據證明我們有一個長度為5,000 個部分的一個鏈，然後我們還有很多新塊就了。
我們現在可以創建一個第5001 個新的證明，所以也是恢復省更新證明的，所以工作破壞了非常時省力省的量。
賈斯汀：我不知道能不能有更簡單的方式去理解ZK-SNARKs？技術性太強了！我所理解的就是，該證明就是證明他們上再有證據，再證明有誰需要加入生態系統時，所需要的只是當前的證明，證明在編碼是零知識證明方式，但它背後實際上有部分鏈存在，由所有其他部分連接，並在那裡編碼，並編碼交易。在某個地方有一個分類帳本，所有這些都是經過數學證明和驗證過的。
埃文：是的，就像一張照片，一張照片，一張照片的照片，或者每張照片都包含在照片中，一張代表以前的區塊鏈，就像你添加的東西一樣，可以這麼理解。它更像照片恢復原樣，可以讓你創造出原塊。
賈斯汀：對，照片隧道，一直在尋找你們的秘密。所以當我們考慮這對終端用戶的意圖是什麼？我的英文是問有多少人在任何鏈中完整節點？我想回答不是很多。因為今天的全節點和任何其他的鏈暴力你必須擁有自己的歷史，你讓歷史在每個塊在應用時滾動滾動每個狀態變化。
而使用Coda，你只需要一個非常數據，其中包含一個證明部分鏈的證明。
埃文：是的，所以我們討論了一些關於可擴展性的問題，但討論了對終端用戶的影響，還不止這些，因為這證明了我們的大小確實存在，而且非常小，大約只有一個回收字節，任何使用網絡瀏覽器的用戶，都可以像使用手機一樣在該設備上獲得完整的區塊鏈。
Coda 一對比，你就知道哪個更給力了。並確保它擁有最重要的鏈，並確保擁有世界數據的真實狀態等。
如果您是開發人員，則不考慮構建基礎設施以將您的用戶（如應用程序、他們的用戶設備）連接到區塊鏈，因為您的用戶設備可以代表您的程序完成它可以連接到區域塊鏈。
賈斯汀：以至於看起來會展示的應用呢？
埃文：之前最激動的事情就是能夠構建像開發人員，終端一樣可以快速訪問并快速構建用戶新東西的東西。價值並且能夠將它嵌入到應用程序中並構建新的應用程序。
我想要就更興奮的更像能夠開發大量用戶的應用程序，就像有很多人訪問網站一樣，
賈斯汀：太棒了，所以我們確實想把它當作一點技術上，我覺得尾聲協議的核心。我有幾個關於構建簡潔的區塊鍊和使用新的新密碼學魔法，現在找到了，現在的密碼學領域更多的應該是那些看過的實戰使用的。
因為已經存在很長時間了，當您使用ZK-SNARKs 的時候，您就可以對我們了解系統的它們的近親了，它們非常有可能，而且上面只有專家知道他們。所以我很想我們應該擔心在未來的某個時刻可能會找到一種可能的方法來證明它或打破它。
埃文：就像認識系統一樣，SNARK 就像經歷了很好的實戰測試，我認為未來只是因為它們是在會因為創新而更加強大。
更新而不是知覺的速度也跟著技術發展速度而變化，這讓他們有點像公共知識，是像他們只是全新的像或周圍的任何東西，我很樂意以自己的方式思考它想你知道公秘訣學你正在散列我們就像你超知道為什麼散列有效的所有細節，但就像你知道它經歷過實戰測試並且你相信它真正的普通人知道SNARK。
賈斯汀：是的，因此您在這裡進行的關鍵是如何提高SNARK 的計算效率，並且您有一點，傳統上，使用任何類型的ZK-SNARK 的項目都需要大量的計算能力，對你的系統有多少約束和限制，你怎樣才能提高計算效率，以及它會如何影響開發人員的體驗？
埃文：影響最大的是，當你決定在你的協議中使用不同的列健康語言時（像散函數和關鍵字密碼）這樣的身體原語時，在SNARK 內部會比其他更有效。所以如果你看像比特幣這樣的東西，比如它使用的散列方案和簽名方案在SNARK 內部效率會參數，但如果你改變了你使用的曲線的唇形以及你使用的區塊函數，你可以在SNARKs 中發現非常有效的方案，整體體驗會非常好。
賈斯汀：這是一個技術問題，所以如果我們確實必須限制我們使用ZK SNARK 這個系統的方式，那麼它們是否會更有效？庫或語言？
埃文：因此，到了，你在現實世界中的最後一個可能會出現一個替代方案，ZK-SNARKs 在零知的證據中可能會有替代方案。
如果你考慮一下你實際上將如何編碼零知識，那麼會有兩種想法。寫的SNARK 或者另一個是寫一個SNARK 的程序，然後我們可以進行程序我們的語言特性的虛擬化編譯，然後您寫的該虛擬化編譯並通過SNARK 進行，您可以將您想要的語言編譯為任何語言。
賈斯汀：我們可以通過一些方法讓這更好，說老實話，讀完Coda 技術發表的時候我頭都炸了，說一句，非常奧帕卡的數學知識讓我們聊其他，我想您對您個人而言，您對Coda 五年的發展許諾期是什麼？
埃文：在接下來的幾年裡，我希望看到他們幾乎可以使用類似的東西來開發和構建人們，會更廣泛的人群，也像喜歡一樣生動的用戶群，喜歡密碼學。從舊的金融系統中膨脹的食物，它正在構建一些對人們來說是新的、有趣的和令人興奮的，想我已經開始了的熱情和直覺正在不斷湧現，或者你知道在互聯網上試點的新應用程序，我希望能改變那些喜歡真正使用網絡知識的人的影響，互聯網系統是非常不透明的，我真的很高興看到動態和像O(1) Labs 因為這樣的東西希望在裡面產生影響，我們可以構建一個新的公平透明系統。
賈斯汀：你說的，唯一的一點是，你有共同的財務，另外，我還有其他發現在ZK SNARKs上的項目將其深度匿名隱私支付，而Coda是用於創建簡潔的區塊鏈。有計劃讓Coda 用於隱私保護？
埃文：是的，我認為隱私非常重要，這是添加的內容。所以我們想要工作是，就像零知識證明SAR 已經有點像協議上的原生代碼。所以很容易，你可以回歸驗證一個新的模擬回歸交易。所以在核心上，就像你知道的，做這種零知識證明的回歸組合是必要的，但在一段時間我們希望也能增加隱私。
賈斯汀：太棒了，我個人比較好奇，建立第一層你有沒有遇到什麼挑戰？
埃文：是的，我的英文是每天都會有很多篇文章在我們即將中環，我們會想寫一個協議，有什麼人會去應用使用？要如何重新升級好技術？用戶體驗會成功嗎？就像是一個！對於整個項目未來的發展，未來規劃，是最有挑戰的事。
賈斯汀：有沒有在的風險或您認為是否能夠成功讓開發人員和用戶以及讓人們去使用這項新技術，是非常重要的。
埃文：我認為對於我們來說，還得一步一步向前推進，一點點優化。就像我一定使用的github這類在線工具箱或一些我開始使用的東西，我認為要保證做好精細的用戶體驗，只有讓用戶體驗好，這才可以潛移默化去影響他們的想法。
賈斯汀：第1層協議的構建是充滿挑戰的，你需要以非常完美的方式將所有這些不同的小細節聯繫起來，現在項目去哪個階段了呢？
埃文：原來如此簡單的東西非常簡單，因為我認為得到了那樣，因為我們能夠像你知道的電話筆記那樣構建可以在任何地方運行它，因為我們可以開發東西，因為一切都平台因為相同的來源，也喜歡整個平台平台像一些自己的設備和完善的處理，所以這基本保證良好的用戶體驗，因為我們不考慮所有中間件和中間組件。這可能是寫者的一些好處，我們之間正在大量開發人員和用戶的中間件限制；
在我們的路線圖中，接下來我們即將發布測試網推出，然後我們會啟動公共測試網，並且當我們對網絡進行測試，確保一切順利發布，開發人員能夠開始在Coda 上構建小項目。
賈斯汀：有明確的主網發布日期嗎？
埃文：我希望在下游的測試中會開始先推出網，然後我們會你知道會看到你知道自己像從那裡開始的工作量但希望不要太高，主啟動網前，需要保證一點，就是它已經非常接近功能完整了，所有組件都通過了安全測試；
賈斯汀：既然是一個技術，你必須非常快速地學習，你認為你現在學到的是什麼？
埃文：還是會像往常一樣尋求幫助，也聽我們顧問和這個人的很多建議，他們在圈子看過大量的項目了很多建議，我們很多彎路，我也可以認為走得很重要，一但你是告訴你你做的事情對的，你就可以成長。
賈斯汀：採訪也快到尾聲了。謝謝埃文。 Coda 的投資者，我們很樂意在操作過程中為您提供的方式，在幫助我們的情況下為您提供指導。