Mina對話o1 Labs：ETHDenver中蘊含的未來趨勢
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 ° 的範圍內”。
在這裡，你得到了一種簡潔的表達方式，它總結了一堆數據點，而不是傳輸大量的數據。這個特定的例子是一個非常好的例子，因為當珍貴的貨物在世界各地運輸時，例如，溫度測量通常是一個非常關鍵的因素。目前，有一些比較傳統的方式來測量這些數據，例如，使用記錄設備在超出範圍時斷裂的設備，以確保正確傳輸藥物。但如果你可以使用傳感器，在旅途中或旅途結束時簡潔地告訴你溫度範圍，那將非常有用。
