原作者：Odaily星球日?qǐng)?bào)

原文來(lái)源：Odaily星球日?qǐng)?bào)

3 月9 日，Mina 與她的孵化器o1 Labs 的Steve 和Phil Kelly 進(jìn)行了交談，從她在ETHDenver 的所見(jiàn)所聞出發(fā)，描述了本次活動(dòng)所蘊(yùn)含的未來(lái)趨勢(shì)。雙方從人工智能與加密行業(yè)的結(jié)合、ZK可驗(yàn)證性的用例、遞歸證明的實(shí)現(xiàn)邏輯、VM替代可行性分析、未來(lái)趨勢(shì)分析等方面，透露了行業(yè)頂級(jí)活動(dòng)的前沿消息。

以下由Odaily星球日?qǐng)?bào)整理整理。

Mina：請(qǐng)自我介紹一下，并談?wù)勀诒敬蜤THDenver 活動(dòng)中最喜歡的附帶活動(dòng)，您認(rèn)為誰(shuí)是本次活動(dòng)中表現(xiàn)最好的項(xiàng)目？

Steve：大家好，我是Steve，o1 Labs 的產(chǎn)品負(fù)責(zé)人。我很早就進(jìn)入Web3行業(yè)，比較擅長(zhǎng)ZK領(lǐng)域。在加入o1 Labs 之前，我在Cloudflare 工作了五年。 Cloudflare的使用經(jīng)歷讓我對(duì)生態(tài)建設(shè)有了一些感悟。

我個(gè)人最喜歡的副業(yè)活動(dòng)是米娜的。 Mina 活動(dòng)總是有各種各樣的人，從超級(jí)專(zhuān)業(yè)的zk 密碼學(xué)家到隱私/自由主義區(qū)塊鏈愛(ài)好者。

除了Mina 之外，我個(gè)人更傾向于ZK Sync 的活動(dòng)。他們的書(shū)《用五歲孩子的語(yǔ)言給我解釋 ZK》 使用講故事的方法來(lái)提供對(duì)協(xié)議引擎的生動(dòng)有趣的描述。對(duì)我來(lái)說(shuō)，這種贈(zèng)品風(fēng)格正合我意。很高興與大家分享。

Phil：大家好，我是Phil Kelly，o1 Labs 的業(yè)務(wù)開(kāi)發(fā)人員。我的能力范圍從金融服務(wù)到計(jì)算機(jī)技術(shù)，我曾在ConsenSys 等公司工作過(guò)，并涉足過(guò)以太坊。從以太坊到ZK 的世界是一個(gè)非常陡峭的學(xué)習(xí)曲線，這讓我既興奮又滿足。

由于個(gè)人原因，我喜歡對(duì)每一次活動(dòng)進(jìn)行更多的探索和了解，所以每一次活動(dòng)對(duì)于我來(lái)說(shuō)都是在和大家交流的過(guò)程中寶貴的學(xué)習(xí)機(jī)會(huì)。除了米娜，我被溫暖的KX Mag吸引了。受邀參加他們的活動(dòng)，深入了解ZK 和新的證明系統(tǒng)。我很高興今天能與大家分享。

Mina：人工智能（AI）和加密貨幣（Crypto）的結(jié)合在當(dāng)今的科技行業(yè)確實(shí)引起了人們的關(guān)注。這個(gè)話題涉及兩個(gè)非常熱門(mén)的領(lǐng)域。人工智能和加密貨幣的結(jié)合可以創(chuàng)造許多新的應(yīng)用程序和解決方案。例如，利用AI技術(shù)優(yōu)化加密貨幣交易策略，提高投資回報(bào)；或者利用區(qū)塊鏈技術(shù)增強(qiáng)人工智能模型的安全性和透明度，確保數(shù)據(jù)隱私和安全。那么在您看來(lái)，人工智能與加密貨幣結(jié)合的最大優(yōu)勢(shì)是什么？它們能帶來(lái)哪些新的應(yīng)用和解決方案？

Steve：人工智能與加密貨幣的結(jié)合確實(shí)是一種技術(shù)趨勢(shì)，受到了科技圈的廣泛關(guān)注。這種結(jié)合為我們提供了一種全新的思考和實(shí)施技術(shù)創(chuàng)新的方式，同時(shí)也吸引了眾多投資者和愛(ài)好者的關(guān)注。

加密貨幣的特性使得人們可以用數(shù)字代幣來(lái)代表各種資產(chǎn)或?qū)嶓w并進(jìn)行投機(jī)交易，這在一定程度上增加了市場(chǎng)活躍度和投資者興趣。而且，加密貨幣市場(chǎng)的特點(diǎn)之一就是無(wú)國(guó)界，這意味著無(wú)論你在哪個(gè)國(guó)家，只要有互聯(lián)網(wǎng)連接，就可以參與，這進(jìn)一步擴(kuò)大了市場(chǎng)的規(guī)模和吸引力。

當(dāng)然，除了投機(jī)和交易之外，人工智能與加密貨幣的結(jié)合還有很多實(shí)際應(yīng)用價(jià)值。例如，使用智能合約執(zhí)行自動(dòng)化交易策略，或者使用區(qū)塊鏈技術(shù)來(lái)確保數(shù)據(jù)安全性和透明度。這些應(yīng)用不僅可以給金融領(lǐng)域帶來(lái)革命性的變化，也對(duì)其他行業(yè)產(chǎn)生重大影響。

因此，人工智能與加密貨幣的結(jié)合不僅是一個(gè)熱門(mén)的技術(shù)趨勢(shì)，也是一個(gè)充滿潛力、值得我們深入討論和研究的領(lǐng)域。

Phil：人們經(jīng)常以模糊的方式談?wù)撊斯ぶ悄芎图用茇泿牛驗(yàn)檫@是一個(gè)非常廣泛的話題，涉及許多不同的方面。即使我們能夠確定主題，仍然有許多問(wèn)題需要回答，例如我們可以多快地實(shí)現(xiàn)加密機(jī)器學(xué)習(xí)（CKML）來(lái)解決新興的大規(guī)模自然語(yǔ)言模型帶來(lái)的挑戰(zhàn)。這絕對(duì)是一個(gè)可行性挑戰(zhàn)。另一方面，我認(rèn)為有些人談?wù)摰目赡苁荶K機(jī)器學(xué)習(xí)（ZKML）。

當(dāng)我們深入研究他們所談?wù)摰囊恍┘?xì)節(jié)時(shí)，他們實(shí)際上談?wù)摰氖沁\(yùn)行機(jī)器學(xué)習(xí)模型的輸出，在這一點(diǎn)上可能非常復(fù)雜，但它可能只是一個(gè)線性方程。利用當(dāng)前的技術(shù)，您可以在零知識(shí)證明系統(tǒng)中實(shí)現(xiàn)這一點(diǎn)。我認(rèn)為有一點(diǎn)值得關(guān)注。我想重申一下我的觀點(diǎn)，即隱私一直是我們?cè)赯K 和可驗(yàn)證計(jì)算方面討論的焦點(diǎn)。

Steve：聽(tīng)完P(guān)hil的討論后，我想補(bǔ)充一點(diǎn)，我對(duì)ZK機(jī)器學(xué)習(xí)（ZKML）的態(tài)度變得更加樂(lè)觀。一開(kāi)始我和Phil的看法是一樣的，認(rèn)為使用ZK技術(shù)會(huì)增加很多開(kāi)銷(xiāo)。畢竟，訓(xùn)練模型和推理并不是廉價(jià)的過(guò)程。那么為什么要把兩者結(jié)合起來(lái)呢？因?yàn)樗鼈兛梢詫K 技術(shù)的性能提高十倍并減少開(kāi)銷(xiāo)。我認(rèn)為，隨著ZK 技術(shù)變得更加高效，我們可以進(jìn)行的計(jì)算量將相應(yīng)增加，這似乎是不可避免的。

作為一個(gè)產(chǎn)品人，我喜歡用產(chǎn)品例子來(lái)說(shuō)明。解決方案：從攝像機(jī)獲取的原始素材內(nèi)容需要進(jìn)行簽名。因此，我們需要設(shè)備制造商做到這一點(diǎn)，每個(gè)人都參與其中，并且他們都有簽名密鑰。當(dāng)對(duì)其進(jìn)行模糊、銳化、裁剪或其他操作時(shí)，這個(gè)已經(jīng)簽名的內(nèi)容可以在零知識(shí)證明中完成。有些瀏覽器能夠遵循一條鏈，比如Mina，能夠說(shuō)：“這是這張圖像。它有一個(gè)證書(shū)，證明它來(lái)自真實(shí)的相機(jī)，并且剛剛完成了這些操作，我們大致知道它看起來(lái)像什么。

Mina：在加密世界，談到ZK，大多數(shù)人首先想到的是可擴(kuò)展性，然后可能是隱私，但我認(rèn)為可驗(yàn)證性在某種程度上被忽視了，您怎么看？

Steve：我總是在談?wù)揨K 時(shí)強(qiáng)調(diào)可擴(kuò)展性和隱私性。我也經(jīng)常測(cè)試其他人的觀點(diǎn)，發(fā)現(xiàn)人們經(jīng)常默認(rèn)隱私，因?yàn)樗钊菀捉忉?。但?dāng)你真正審視市場(chǎng)時(shí)，你會(huì)發(fā)現(xiàn)對(duì)可擴(kuò)展性的投資遠(yuǎn)遠(yuǎn)超過(guò)了隱私，就像所有的zk Rollups 和Mina 一樣。但你提出了一個(gè)很好的觀點(diǎn)，即可驗(yàn)證性與這兩者不同，雖然它們是相關(guān)的，但只有在生成并驗(yàn)證證明時(shí)才可以擴(kuò)展某些內(nèi)容。但這種可驗(yàn)證性的用例是主要的。就像我們剛才討論的那樣，如果我查看圖像，我更關(guān)心的不是可擴(kuò)展性或隱私方面，而是它是否可驗(yàn)證，以及我是否可以信任該可驗(yàn)證性。

Mina：在區(qū)塊鏈?zhǔn)澜缰?，很多時(shí)候可驗(yàn)證性就等同于完全公開(kāi)。我們提供的是即使不完全公開(kāi)底層數(shù)據(jù)也能實(shí)現(xiàn)可驗(yàn)證性，這就涉及到隱私問(wèn)題。然而，我認(rèn)為可驗(yàn)證性非常重要，因?yàn)槲覀兠媾R著一個(gè)充滿錯(cuò)誤信息和令人困惑的來(lái)源的互聯(lián)網(wǎng)，你可以將ZK 視為可編程真理，這是我們一直在討論和探索的一個(gè)話題。我覺(jué)得ZK和AI之間有很多協(xié)同作用，當(dāng)每個(gè)人都在談?wù)摷用茇泿藕虯I時(shí)，我覺(jué)得如果沒(méi)有ZK，加密貨幣和AI的融合不可能完全避免陷入反烏托邦。接下來(lái)，我們來(lái)說(shuō)說(shuō)下一個(gè)話題。我看到很多關(guān)于證明聚合的討論。首先，你們能給大家簡(jiǎn)單介紹一下嗎？對(duì)于那些可能不太了解的人來(lái)說(shuō)，什么是證明聚合？

Steve：證明聚合的概念是你可以有一個(gè)證明并且可以驗(yàn)證它，這需要一定的時(shí)間。如果重復(fù)此過(guò)程1,000 次，則相當(dāng)于此常數(shù)時(shí)間的1,000 倍。所以時(shí)間成本會(huì)逐漸增加。如果存在汽油費(fèi)或任何與之相關(guān)的費(fèi)用，那么您將額外支付1, 000 的費(fèi)用。證明聚合會(huì)發(fā)生的情況是，您可以將第一個(gè)證明作為輸入傳遞給第二個(gè)證明，將第二個(gè)證明作為輸入傳遞給第三個(gè)證明，依此類(lèi)推，并且您可以將這1,000 個(gè)證明聚合為一個(gè)只需要驗(yàn)證一次。感謝密碼學(xué)的魔力，您仍然可以獲得相同的密碼學(xué)保證：如果一個(gè)證明通過(guò)，那么這1,000 個(gè)證明中的每一個(gè)都將獨(dú)立通過(guò)。這只是進(jìn)一步擴(kuò)大規(guī)模、進(jìn)一步降低成本的一種方式。正如我們將討論的，這是驅(qū)動(dòng)Mena 協(xié)議的一些核心技術(shù)之一。

Phil：我認(rèn)為做更多的證明需要一些權(quán)衡，因?yàn)槟阈枰ㄙM(fèi)更多的計(jì)算能力來(lái)生成證明并將它們與其他附加證明合并。這增加了計(jì)算成本但降低了驗(yàn)證成本；或者您可以簡(jiǎn)單地向驗(yàn)證環(huán)境發(fā)送更多證明并支付更多驗(yàn)證費(fèi)用。事實(shí)上，這是ZK 靈活性的一個(gè)很好的例子。市場(chǎng)上突然出現(xiàn)了關(guān)于聚合的討論，這意味著很多人開(kāi)始考慮ZK的實(shí)用性。聚合一直只是一個(gè)想法，但現(xiàn)在人們正在積極構(gòu)建它、發(fā)送它，考慮驗(yàn)證它的繁瑣工作和成本，我認(rèn)為這是一個(gè)非常好的跡象。

Mina：在ETHDenver 活動(dòng)上，大家都在討論如何替換VM。首先，Steve想向大家介紹一下VM的基本概念，然后解釋一下替代VM的優(yōu)點(diǎn)和障礙是什么？

Steve：說(shuō)到VM，讓我們從CPU 的用例開(kāi)始。隨著時(shí)間的推移，大家逐漸發(fā)現(xiàn)，不僅有更多的芯片、更多的CPU，而且你實(shí)際上可以在CPU之上運(yùn)行虛擬CPU。虛擬CPU CPU 可以說(shuō)是第一個(gè)VM。在VM中，您可以重用現(xiàn)有的指令集，您可以定義指令然后在任何硬件上執(zhí)行它們。在我們行業(yè)中，最著名的版本是EVM，它后來(lái)成為以太坊的核心并取得了巨大的成功。

替換虛擬機(jī)的方法是這次活動(dòng)的熱門(mén)話題，我在其中一個(gè)小組上發(fā)表了講話。我們是否應(yīng)該繼續(xù)投資舊的虛擬機(jī)并改進(jìn)虛擬機(jī)？比如讓它更快，尤其是在兼容的情況下。與在虛擬機(jī)中重新執(zhí)行相同指令相比，達(dá)成共識(shí)更好的方法已經(jīng)很明確了。更好的方法是生成發(fā)生相同計(jì)算的證明。驗(yàn)證者所需要做的就是驗(yàn)證該證明。這與ZK Rollup不謀而合。

Phil：對(duì)我來(lái)說(shuō)，行業(yè)中的這些討論有點(diǎn)像你在技術(shù)早期階段看到的情況，當(dāng)時(shí)人們沒(méi)有完全意識(shí)到這個(gè)行業(yè)將有多么有前途以及有多少專(zhuān)業(yè)領(lǐng)域。會(huì)出現(xiàn)。

我認(rèn)為，除了以太坊之外，所有替代方案都可以發(fā)揮巨大的作用，可以執(zhí)行特定的任務(wù)，并在Web3的架構(gòu)中發(fā)揮重要作用。我相信其中一項(xiàng)任務(wù)最好在以太坊虛擬機(jī)之外完成，并且可能與其他專(zhuān)用虛擬機(jī)共存。

Mina：EIP 4844 的重要話題在ETHDenver 活動(dòng)中被提及。史蒂夫，你能簡(jiǎn)單描述一下這是什么以及為什么它很重要嗎？

Steve：我用具體數(shù)據(jù)來(lái)解釋一下。理論上，EIP 4844推出后，以太坊生態(tài)系統(tǒng)將變得更加流行，但轉(zhuǎn)賬或智能合約執(zhí)行的費(fèi)用將開(kāi)始變成美元。到了2022年，這個(gè)費(fèi)用已經(jīng)上漲到50美元甚至超過(guò)100美元，以部署合同為例，這顯然是不可持續(xù)的。

生態(tài)系統(tǒng)以第二層和第二層解決方案做出回應(yīng)，這些解決方案不斷發(fā)展，吸引了大量活動(dòng)，而且更便宜。費(fèi)用從15 美分到1 美元左右不等?；敬鷰沤粨Q費(fèi)用從50 美分到3 美元不等。

雖然擴(kuò)張計(jì)劃也受到了活動(dòng)的影響。以太坊正在做出改變，他們特別認(rèn)識(shí)到來(lái)自第二層的交易（其中只有一堆代表交易的數(shù)據(jù)）將以不同的方式進(jìn)行處理并消耗更少的天然氣。所以我剛才報(bào)出的以太坊交易費(fèi)用從最低0.14美元到最高1美元將會(huì)大幅下降。所以我不知道確切的數(shù)字，但在第二層，一切都變得更便宜。這對(duì)市場(chǎng)來(lái)說(shuō)是件好事。但我還想指出，這有點(diǎn)類(lèi)似于高速公路。當(dāng)高速公路變得擁堵并且增加了幾條車(chē)道時(shí)，會(huì)發(fā)生什么？客流量會(huì)減少嗎？當(dāng)然不會(huì)，路上的車(chē)輛會(huì)更多，問(wèn)題仍然會(huì)一樣。

當(dāng)模型是節(jié)點(diǎn)達(dá)成共識(shí)的共識(shí)網(wǎng)絡(luò)時(shí)就會(huì)發(fā)生這種情況。以太坊擁有大約150 萬(wàn)個(gè)節(jié)點(diǎn)，所有節(jié)點(diǎn)都重新執(zhí)行相同的交易以達(dá)成共識(shí)。隨著時(shí)間的推移，這將會(huì)改善事情。他們正在做其他事情來(lái)進(jìn)一步改進(jìn)。但最終，實(shí)現(xiàn)真正可擴(kuò)展性的方法是使用零知識(shí)證明。我們將其視為客戶(hù)端零知識(shí)證明，您在客戶(hù)端生成證明，并且驗(yàn)證成本低且時(shí)間恒定。他們?yōu)橛脩?hù)做好事，降低成本。

Mina：除了上述本次活動(dòng)的熱點(diǎn)事件之外，活動(dòng)期間您還有什么新的發(fā)現(xiàn)可以跟大家分享嗎？

Phil：DePIN是我認(rèn)為未來(lái)的趨勢(shì)之一。對(duì)于那些不知道的人來(lái)說(shuō)，DePIN 指的是去中心化的物理基礎(chǔ)設(shè)施。 Helium 是上一個(gè)大周期的最好例子，我認(rèn)為它是牛市到來(lái)之前最成功的項(xiàng)目之一。但還有更多類(lèi)似的項(xiàng)目正在醞釀中。例如，可能有人了解過(guò)Demo，可以使用車(chē)內(nèi)的設(shè)備與鏈進(jìn)行交互。你會(huì)發(fā)現(xiàn)許多涉及定制物理設(shè)備的項(xiàng)目正在涌現(xiàn)，并且這些網(wǎng)絡(luò)的部署正在進(jìn)行中。還有WeatherXm，可以讓公民收集天氣數(shù)據(jù)，實(shí)現(xiàn)天氣數(shù)據(jù)的去中心化收集。還有一些替代方案可以增強(qiáng)傳統(tǒng)電信服務(wù)提供商的功能。

所以DePIN絕對(duì)是一個(gè)新興領(lǐng)域。我喜歡它的是，當(dāng)您在網(wǎng)絡(luò)邊緣處理大量數(shù)據(jù)時(shí)，您希望能夠?qū)?shù)據(jù)進(jìn)行計(jì)算，然后將其發(fā)送回來(lái)，而不是傳輸所有數(shù)據(jù)。事實(shí)上，在DePIN 活動(dòng)中，有人在網(wǎng)絡(luò)邊緣展示了溫度計(jì)。顯然，它會(huì)不斷測(cè)量溫度，但不是每次都發(fā)送讀數(shù)，而是可以對(duì)其進(jìn)行編程來(lái)監(jiān)控溫度范圍，然后定期發(fā)送一條消息，例如“這里的溫度在10 到20 的范圍內(nèi)”。

在這里，您得到一個(gè)簡(jiǎn)潔的表達(dá)式，它總結(jié)了一堆數(shù)據(jù)點(diǎn)，而不是傳輸大量數(shù)據(jù)。這個(gè)特殊的例子是一個(gè)非常好的例子，因?yàn)楫?dāng)貴重貨物在世界各地運(yùn)輸時(shí)，溫度測(cè)量通常是一個(gè)非常關(guān)鍵的因素。目前，有一些更傳統(tǒng)的方法來(lái)測(cè)量這些數(shù)據(jù)，例如使用記錄設(shè)備何時(shí)超出范圍的設(shè)備，以確保藥物正確輸送。但如果您可以使用一個(gè)傳感器來(lái)簡(jiǎn)潔地告訴您旅行期間或旅行結(jié)束時(shí)的溫度范圍，那將非常有用。