a16z推出零知識證明新工具Lasso和Jolt：提升SNARK性能與開發體驗

閱讀本文需 7 分鐘

Lasso和Jolt解決了三個關鍵問題：性能、開發人員體驗和可審核性。

原文來源：Felix, PANews

a16z Crypto 推出了兩項與 SNARK 相關的技術：Lasso 和 Jolt。其中Lasso 是一種新的查找參數，可以顯著提高證明者成本；Jolt（Just One Lookup Table）是一個專為與以太坊虛擬機兼容的Rollups 設計的框架，一種利用Lasso 構建SNARK VM 的新穎方法。 Lasso 和 Jolt 可以顯著加快 Web3 中的擴展和構建應用程序，它們共同代表了一種全新的 SNARK 設計方法，可將廣泛部署的工具鏈的性能提高一個數量級甚至更多級。此外提供了更好、更方便的開發者體驗，並使審計變得更加容易。 Lasso 和 Jolt 解決了三個關鍵問題：性能、開發人員體驗和可審核性。

更快的性能

Lasso 是一種新的查找參數，其中證明者承諾比以前的工作更少且更小的值。 a16z crypto 的研究團隊表示，Lasso 可以顯著提高SNARK 證明者的整體速度，與Halo2 工具鍊等工具相比，性能提高十倍，從而有助於開發更快的ZK-rollups。預計優化完成後性能將提高約 40 倍。因此，該團隊認為 Lasso 的證明者技術將超過主要以太坊 L2 擴展解決方案所採用的所有現有零知識 SNARK 證明者技術。

Jolt 實現了「查找奇點（lookup singularity）」——這是以太坊基金會的Barry Whitehat 最初提出的願景，旨在實現更簡單的工具和輕量級、以查找為中心的電路。相對於現有的 zkVM，團隊期望 Jolt 能夠實現類似或更好的性能，而且重要的是，能夠提供更加簡化和易於訪問的開發人員體驗。

更便捷的開發者體驗

與現有方法相比，Lasso 為實現zkVM 提供了一條對開發人員更加友好且可審核的路徑。

先前的SNARK 設計方法將CPU 指令制定為電路並進行手動優化——這是一項低級且易出現錯誤的任務，需要特定領域語言的專業知識。相比之下，不同語言生態系統的開發人員應該能夠相對輕鬆地使用 Lasso。

這是因為在Lasso 中，一條指令是通過其子表分解來定義的：它的「大」查找表可以由一些較小的「子表」組成。更重要的是，這樣的分解可以用高級編程語言簡潔地描述。例如，一條指令只需 50 行 Rust 即可實現。此外，不同指令集中的許多指令在概念上是相同的，大量代碼允許重複——例如，WASM、EVM 和 RISC-V 都指定相同的基本算術、按位和比較操作。