Mina對話o1 Labs：ETHDenver中蕴含的未來趨勢

2024-03-14 20:03:16

3 月 9 日，Mina 對話其孵化機構 o1 Labs 的 Steve 和 Phil Kelly，從 ETHDenver 的所見所聞為出發點，將本次活動中所蕴含的未來趨勢展开描述。雙方從 AI 和加密行業的結合、ZK 的可驗證性的用例、遞歸證明的實現邏輯、VM 替代可行性分析以及未來趨勢分析等方面為大家揭示行業頂尖活動的前沿消息。

以下由Odaily星球日報整理編譯。

Mina：請兩位介紹一下自己，並談一下本次 ETHDenver 活動中，個人最喜歡的副活動以及你認為誰是本次活動表現最好的項目？

Steve： 大家好，我是 o1 Labs 的產品負責人 Steve。我很早就進入Web3行業，比較擅長 ZK 領域。在加入 o1 Labs 之前，我在 Cloudflare 工作了五年。Cloudflare 的經歷使我對生態建設方面有些許見解。

個人最喜歡的副活動是 Mina 的。Mina 的活動總是有着各種各樣的人，比如超級專業的 zk 密碼學家，隱私/自由主義者的區塊鏈愛好者。

除了 Mina 外，就我個人而言，我傾向於 ZK Sync 的活動。他們的書籍《用五歲孩子的語言給我解釋 ZK》採用了講故事的方式對協議引擎進行了生動而有趣的闡述。對我來說，這種風格的贈品非常合我心意。很高興能和大家分享。

Phil： 大家好，我是 o1 Labs 的業務拓展 Phil Kelly。能力範圍在金融服務和計算機技術，我曾在像 ConsenSys 工作過，涉足了以太坊。從以太坊轉向 ZK 世界是一段非常陡峭的學習曲线，這讓我即興奮又感覺到充實，

從個人原因來講，我喜歡探索並深入了解每個活動，所以每個活動對我來講都是在與大家交流的過程中寶貴的學習機會，除了 Mina 外，我被 Warm KX Mag 吸引了。被邀請參加他們的活動，深入探討了 ZK 和新的證明系統。很高興今天能和大家分享。

Mina：人工智能（AI）和加密貨幣（Crypto）的結合在當今的科技行業中確實備受關注。這個話題涉及到兩個非常熱門的領域，將人工智能和加密貨幣結合起來，可以創造出許多新的應用和解決方案。例如，利用 AI 技術來優化加密貨幣交易策略，提高投資的收益率；或者利用區塊鏈技術來增強人工智能模型的安全性和透明度，確保數據的隱私和安全。那么在你們看來，人工智能和加密貨幣結合的最大優勢是什么？它們能夠帶來哪些新的應用和解決方案？

Steve： 人工智能和加密貨幣結合起來確實是一種技術趨勢，這在科技圈內引起了很大的關注。這種結合為我們提供了一種全新的方式來思考和實現技術創新，同時也吸引了很多投資者和愛好者的注意。

加密貨幣的特性使得人們可以用數字代幣來代表各種資產或者實體，而且可以進行投機交易，這在一定程度上增加了市場的活躍度和投資者的興趣。而且，加密貨幣市場的特點之一是無國界性，這意味着無論你在哪個國家，只要有網絡連接，就可以參與其中，這進一步擴大了市場的規模和吸引力。

當然，除了投機和交易之外，人工智能和加密貨幣結合還有很多實際的應用價值。比如，利用智能合約來執行自動化的交易策略，或者利用區塊鏈技術來確保數據的安全和透明性。這些應用不僅可以為金融領域帶來革命性的變革，也可以在其他行業中產生重大的影響。

因此，人工智能和加密貨幣的結合不僅僅是一種火熱的技術趨勢，也是一個充滿潛力的領域，值得我們深入探討和研究。

Phil： 人們對於人工智能和加密貨幣的討論通常都比較模糊，因為這是一個非常廣泛的話題，涉及到很多不同的方面。即使我們能夠將話題固定下來，也仍然有很多問題需要回答，比如我們能夠多快地實現能夠解決新出現的大型自然語言模型帶來的挑战的加密機器學習（CKML）等等。這絕對是一個可行性挑战。另一方面，我覺得有些人談到的東西可能是 ZK 機器學習（ZKML）。

當我們深入探討他們所說的一些細節時，實際上他們在談論的是運行了一個機器學習模型的輸出，這時候可能會相當復雜，但它可能只是一個线性方程。在目前的技術條件下，你完全可以在零知識證明系統中實現這一點。我認為其中有一些值得關注的地方。我想再次強調我的觀點，隱私一直是我們在 ZK 和可驗證計算方面討論的重點。

Steve： 聽見 Phil 的論述，我想補充一下，我對 ZK 機器學習（ZKML）的態度變得更加樂觀了。起初我也和 Phil 持有相同的看法，覺得使用 ZK 技術會增加很多开銷。畢竟，訓練模型和推理都不是廉價的過程。那為什么要將這兩者結合起來呢？因為它們能夠使 ZK 技術的性能提升十倍，並減少开銷。我覺得 ZK 技術變得更加高效，我們可以進行的計算量也會相應提高，這種趨勢似乎不可避免。

作為一個產品人員，我喜歡用產品案例來說明。解決方案：從相機中獲取的原始鏡頭內容需要被籤名。所以我們需要設備制造商這樣做，所有人都加入進來，並且他們都有籤名密鑰。當模糊、銳化、裁剪或其他操作對其進行處理時，這些已經籤名的內容可以在零知識證明中完成。而且有一些瀏覽器能夠跟隨一個鏈條，像 Mina 一樣，能夠說：“這是這個圖像。它有一個證明，證明它來自一個真實的相機，並且只進行了這些操作，我們大致知道它是什么樣子。

Mina：在加密世界中，在談及 ZK 時，首先大多數想到的是可擴展性，其次可能是隱私，但我認為可驗證性在某種程度上被忽視了，你們認為呢？

Steve： 我總是談論 ZK 時都強調可擴展性和隱私。我經常也測試別人的看法，發現人們通常會默認選擇隱私，因為這是最容易解釋的。但是當你實際看市場的時候，對可擴展性的投資要遠遠超過隱私，比如所有的 zk Rollups 和 Mina。但你提出了一個很好的觀點，就是可驗證性與這兩者有所不同，雖然它們相關，但你只有在生成並驗證證明時才會擴展某些內容。但這種可驗證性的用例是首要的。就像我們剛剛討論的那樣，如果我在看一張圖片，我更關心的不是可擴展性或隱私方面，而是它是否可驗證，以及我是否可以相信這種可驗證性。

Mina：在區塊鏈世界中，很多時候可驗證性就等同於完全披露。而我們所提供的是，即使不完全披露底層數據，也能實現可驗證性，這就涉及到隱私問題。但是，我認為可驗證性在我們面對充斥着錯誤信息和來源混亂的互聯網時非常重要，你可以把 ZK 想象成可編程的真相，這是我們一直在討論和探討的一個話題。我覺得 ZK 和人工智能之間有很多協同作用，雖然大家都在談論加密貨幣和人工智能，但我覺得如果沒有 ZK 的加入，加密貨幣和人工智能的融合就不可能完全避免陷入反烏托邦。接下來，讓我們談談下一個話題。我看到很多討論圍繞着證明聚合展开。首先，你們中的一位能不能給大家一個高層次的概述？對於可能不太了解的人來說，什么是證明聚合？

Steve： 證明聚合的概念是你可以有一個證明，你可以對其進行驗證，這需要一定的時間。如果你重復這個過程 1, 000 次，那就相當於這個常數時間的 1, 000 倍。所以時間成本會逐漸增加。如果與此相關聯的有燃氣費用或任何類型的費用，那么你就要額外支付 1, 000 次的費用。證明聚合的做法是，你可以將第一個證明作為輸入傳遞給第二個證明，將第二個證明作為輸入傳遞給第三個證明，以此類推，你可以將這 1, 000 個證明聚合成一個單一的證明，只需要對其進行一次驗證。由於加密技術的神奇作用，你仍然可以獲得同樣的加密保證，即如果一個證明驗證通過，那么這 1, 000 個證明中的每一個都會獨立驗證通過。這只是進一步提高規模，進一步降低成本的一種方法。正如我們將要討論的那樣，這是驅動 Mena 協議的一些核心技術之一。

Phil： 我認為做更多的證明會涉及到一些權衡，因為你需要花費更多的計算力來生成證明，並將它們與其他額外的證明合並在一起。這會增加計算成本，但會降低驗證的成本；或者你可以直接將更多的證明發送到驗證環境中，並支付更多的驗證費用。實際上，這是 ZK 所具有的靈活性的一個很好的體現。目前市場上突然之間开始了關於聚合的討論，這意味着有很多人开始考慮 ZK 的實用性。聚合一直以來只是一個想法，但現在人們正在積極地構建、發送、思考關於驗證發送的瑣事和成本，我認為這是一個非常好的跡象。

Mina：在 ETHDenver 活動中，大家都在討論如何替代 VM，首先請 Steve 為大家介紹一下 VM 的基本概念，然後再闡述一下替代掉 VM 有什么優勢和阻礙呢？

Steve： 說起 VM，我們先從 CPU 的用例开始，隨着時間的推移，大家漸漸發現不僅僅是擁有更多的芯片和更多的 CPU，實際上你可以在 CPU 之上運行虛擬 CPU，虛擬 CPU 可以說是第一個 VM。在一個 VM 中，你可以重用現有的指令集，可以定義指令，然後在任何硬件上執行它們。在我們行業中，最有名的版本就是 EVM，後來成為以太坊的核心，取得了非常大的成功。

替代掉 VM 的方法在本次活動中是一個熱門話題，我曾在其中一個專題討論會上發言。我們應該繼續投資於舊的 VM 並改進 VM 嗎？比如使它更快速，特別是如果可以兼容的話。一個比在 VM 中重新執行相同指令達成共識的更好方法就已經很清楚了。更好的方法是生成一個證明，證明相同的計算發生了。驗證者所需要做的就是驗證那個證明。這和 ZK Rollup 不謀而合。

Phil： 對我來說，行業中的這些討論有點像是在技術的早期階段看到的那種情況，當時人們並沒有完全意識到這個行業將會有多大的前景，以及有多少專業化的領域會出現。

我認為，除了以太坊之外，所有的替代方案都有着巨大的作用，可以執行特定的任務，並且在 Web3 的架構中扮演着重要的角色。我認為，其中一項任務最好是在以太坊的虛擬機之外完成，而且可能會與其他專業化的虛擬機並存。

Mina：在 ETHDenver 活動中大家提到了 EIP 4844 這個重要話題。Steve，你能簡要介紹一下這是什么，以及為什么這是一個重大事件嗎？

Steve： 我用具體數據來說明一下。理論上 EIP 4844 上线後以太坊生態會變得更受歡迎，但轉账或智能合約執行的費用开始變成美元。在 2022 年，這個費用上升到了 50 美元甚至超過 100 美元，以部署合約為例，這顯然是不可持續的。

生態系統對此的響應是採用了第、二層解決方案，它們都成長起來，吸引了大量活動，而且費用更低。費用範圍從 15 美分到 1 美元左右。基本的代幣交換費用從 50 美分到我甚至能看到 3 美元。

盡管擴容方案也受到了活動的衝擊。以太坊正在做出變革，他們特別認識到，來自二層的交易，其中只有一大堆數據代表交易，它們將會被以不同的方式處理，並且會消耗更少的 gas。所以剛才我引用的最低 0.14 美元到最高 1 美元的以太交易費用會大大下降。所以我不知道具體數字，但在第二層，一切都會變得更便宜。這對市場來說是好事。但我也想指出，有一點類似高速公路的比喻，當一條高速公路變得擁擠，你增加了幾條車道，結果會怎樣？交通會減少嗎？當然不會，更多的車輛會上路，問題還是一樣。

這就是當模型是一個由節點達成共識的共識網絡時會發生的情況。以太坊有大約一百五十萬個節點，都在重新執行相同的交易以達成共識。這將在一段時間內改善情況。他們正在做其他事情來進一步改善。但最終，獲得真正的可擴展性的方法是使用零知識證明。我們認為是客戶端零知識證明，你在客戶端生成證明，驗證成本低廉且恆定時間。他們為用戶做了好事，降低了成本。

Mina：除了上述的本次活動熱點事件，在活動中還有什么新的發現可以和大家分享？

Phil： DePIN 是我認為未來的趨勢之一。對於不了解的人來說，DePIN 是指去中心化的物理基礎設施。Helium 是上一個大周期的最佳例子，我認為它是在牛市來臨之前最成功的項目之一。但還有更多類似的項目正在酝釀中，例如一些人可能已經了解了 Demo，它允許你在汽車上使用設備與鏈進行交互，你會發現許多涉及自定義物理設備的項目正在湧現，這些網絡正在進行部署。還有 WeatherXm，它允許公民去收集天氣數據，實現了天氣數據的去中心化收集。還有一些替代方案可供選擇，可以增強傳統電信服務提供商的功能。

所以 DePIN 絕對是一個新興的領域。而且我喜歡的一點是，當你在網絡邊緣處理大量數據時，希望能夠對數據進行計算，然後再發送回來，而不是傳輸所有的數據。實際上，在一次 DePIN 活動中，有人正在演示一款網絡邊緣的溫度計。顯然，它不斷地測量溫度，但是與其每次都發送讀數，不如編程監控溫度範圍，然後定期發送一條消息，比如“這裏的溫度一直在 10 ° 到 20 ° 的範圍內”。

在這裏，你得到了一種簡潔的表達方式，它總結了一堆數據點，而不是傳輸大量的數據。這個特定的例子是一個非常好的例子，因為當珍貴的貨物在世界各地運輸時，例如，溫度測量通常是一個非常關鍵的因素。目前，有一些比較傳統的方式來測量這些數據，例如，使用記錄設備在超出範圍時斷裂的設備，以確保正確傳輸藥物。但如果你可以使用傳感器，在旅途中或旅途結束時簡潔地告訴你溫度範圍，那將非常有用。