綜編：Felix, PANews a16z Crypto推出了兩項(xiàng)與 SNARK 相關(guān)的技術(shù)：Lasso和Jolt。其中Lasso是一種新的查找參數(shù)，可以顯著提高證明者成本；Jolt（Just One Lookup Table）是一個(gè)專為與以太坊虛擬機(jī)兼容的Rollups設(shè)計(jì)的框架，一種利用Lasso構(gòu)建SNARK VM的新穎方法。Lasso和Jolt可以顯著加快Web3中的擴(kuò)展和構(gòu)建應(yīng)用程序，它們共同代表了一種全新的SNARK設(shè)計(jì)方法，可將廣泛部署的工具鏈的性能提高一個(gè)數(shù)量級(jí)甚至更多級(jí)。此外提供了更好、更方便的開發(fā)者體驗(yàn)，并使審計(jì)變得更加容易。Lasso和Jolt解決了三個(gè)關(guān)鍵問題：性能、開發(fā)人員體驗(yàn)和可審核性。 更快的性能Lasso是一種新的查找參數(shù)，其中證明者承諾比以前的工作更少且更小的值。a16z crypto的研究團(tuán)隊(duì)表示，Lasso可以顯著提高SNARK證明者的整體速度，與Halo2工具鏈等工具相比，性能提高十倍，從而有助于開發(fā)更快的ZK-rollups。預(yù)計(jì)優(yōu)化完成后性能將提高約40倍。因此，該團(tuán)隊(duì)認(rèn)為L(zhǎng)asso的證明者技術(shù)將超過主要以太坊L2擴(kuò)展解決方案所采用的所有現(xiàn)有零知識(shí)SNARK證明者技術(shù)。 Jolt實(shí)現(xiàn)了“查找奇點(diǎn)（lookup singularity）”——這是以太坊基金會(huì)的Barry Whitehat最初提出的愿景，旨在實(shí)現(xiàn)更簡(jiǎn)單的工具和輕量級(jí)、以查找為中心的電路。相對(duì)于現(xiàn)有的zkVM，團(tuán)隊(duì)期望Jolt能夠?qū)崿F(xiàn)類似或更好的性能，而且重要的是，能夠提供更加簡(jiǎn)化和易于訪問的開發(fā)人員體驗(yàn)。 更便捷的開發(fā)者體驗(yàn)與現(xiàn)有方法相比，Lasso為實(shí)現(xiàn)zkVM提供了一條對(duì)開發(fā)人員更加友好且可審核的路徑。 先前的SNARK設(shè)計(jì)方法將CPU指令制定為電路并進(jìn)行手動(dòng)優(yōu)化——這是一項(xiàng)低級(jí)且易出現(xiàn)錯(cuò)誤的任務(wù)，需要特定領(lǐng)域語言的專業(yè)知識(shí)。相比之下，不同語言生態(tài)系統(tǒng)的開發(fā)人員應(yīng)該能夠相對(duì)輕松地使用Lasso。 這是因?yàn)樵贚asso中，一條指令是通過其子表分解來定義的：它的“大”查找表可以由一些較小的“子表”組成。更重要的是，這樣的分解可以用高級(jí)編程語言簡(jiǎn)潔地描述。例如，一條指令只需50行Rust即可實(shí)現(xiàn)。此外，不同指令集中的許多指令在概念上是相同的，大量代碼允許重復(fù)——例如，WASM、EVM 和RISC-V都指定相同的基本算術(shù)、按位和比較操作。 更容易審核Lasso簡(jiǎn)化開發(fā)人員體驗(yàn)的方式也使其比以前的方法更容易審核。zkVM的可審計(jì)性尤其有價(jià)值，因?yàn)槿缃裨S多SNARK已經(jīng)在區(qū)塊鏈上獲得了巨大的價(jià)值。由于 Lasso在Rust中實(shí)現(xiàn)指令邏輯，并鼓勵(lì)跨指令集的代碼重復(fù)，因此它將要審計(jì)的區(qū)域集中到相對(duì)較小且可讀的代碼庫中。 目前，除了完全實(shí)現(xiàn)Jolt所需的工作之外，還有許多任務(wù)正在進(jìn)行中或等待其他開發(fā)人員完成，包括： 參考資料：The Block，a16z Crypto
作者 ：Felix
免責(zé)聲明：本文不構(gòu)成投資建議，用戶應(yīng)考慮本文中的任何意見、觀點(diǎn)或結(jié)論是否符合其特定狀況，及遵守所在國家和地區(qū)的相關(guān)法律法規(guī)。
歡迎轉(zhuǎn)載分享!
轉(zhuǎn)載請(qǐng)注明本文地址：
如有文章侵犯了您的權(quán)利，請(qǐng)聯(lián)系本站站長(zhǎng)，我們將在第一時(shí)間刪除相關(guān)內(nèi)容，謝謝！
|
