SSO:速覽a16z推出的基于SNARK的零知識證明新工具Lasso和Jolt_LAS

作者：Felix, PANews

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

FTX尋求從其慈善和生命科學部門收回7100萬美元:7月20日消息，根據周三提交的法庭文件，FTX及其姊妹公司Alameda希望從FTX的慈善部門和其他生命科學實體收回超過7100萬美元。律師稱，此前FTX基金會與Latona合作，Latona從FTX和AlamedaResearch獲得了大約7150萬美元，“用于對生命科學公司進行投資和捐贈，以實現Bankman-Fried的個人擴張”。

上個月，Alameda的律師尋求追回FTX創始人Sam Bankman-Fried似乎為與名人和政客建立聯系而支付的7億美元。本月，FTX還要求法院從該交易所歐洲分支機構的領導團隊收回3.23億美元。[2023/7/20 11:06:38]

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

Web3孵化器Blockmate Ventures完成超90萬美元非經紀私募融資:金色財經報道，Web3 孵化器 Blockmate Ventures已完成總計 903,267 美元的非經紀私募融資并將在本月底提供業務更新信息。Blockmate Ventures 專注于利用區塊鏈技術和去中心化為創業項目提供更大的實用性、可訪問性和可持續性發展服務，旗下孵化項目可以獲得技術、服務、集成、數字資產和咨詢等多方面支持。（globenewswire）[2023/1/13 11:09:31]

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

Circle CEO敦促監管機構接受人們想要數字現金的事實:金色財經報道，在世界經濟論壇主辦的一次小組討論中，Circle 首席執行官杰里米·阿萊爾（Jeremy Allaire）闡述了他關于實物現金力量的看漲論點，稱經濟主權是讓人們更喜歡它而不是移動貨幣的主要特征。他補充說，數字現金系統需要結合現金的特性，以使其對人們具有吸引力。

Allaire強調了在開放互聯網的前提下保存數字現金的重要性。按市值計算的第二大穩定幣的負責人認為，過度的監管審查是支付行業的主要障礙。針對數字錢包下缺乏堅實的基礎設施可能會阻礙數字貨幣的采用這一觀點，Allaire 將跨境支付的未來比作發送電子郵件或撥打國際電話一樣簡單。（cryptopotato）[2022/5/25 3:39:45]

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

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

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

Lasso簡化開發人員體驗的方式也使其比以前的方法更容易審核。zkVM的可審計性尤其有價值，因為如今許多SNARK已經在區塊鏈上獲得了巨大的價值。由于 Lasso在Rust中實現指令邏輯，并鼓勵跨指令集的代碼重復，因此它將要審計的區域集中到相對較小且可讀的代碼庫中。

目前，除了完全實現Jolt所需的工作之外，還有許多任務正在進行中或等待其他開發人員完成，包括：

實現/集成不同的多項式承諾方案，例如KZG的Multilinear Variants（PST、Zeromorph等）、Dory、Ligero、Brakedown和Sona

實現 Quarks 論文第六節中描述的產品參數優化

更廣泛的基準測試和錯誤處理

利用SNARK遞歸實現高效的鏈上證明驗證

PANews

媒體專欄

閱讀更多

金色財經 善歐巴

元宇宙Lab

比推 Bitpush News

Tags：LASSOLASASSSSOLassoCoinThe Everlasting ParachainClassicBitcoinBooBanker Research Association

火幣交易所