以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > Polygon > Info

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

Author:

Time:1900/1/1 0:00:00

作者:Felix, PANews

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

DID信用協議Getaverse發布Getaverse Multichain SBT嘉年華活動:據官方消息,Web3 DID信用協議Getaverse為了讓用戶體驗更多Web3生態,團隊現已完成多鏈部署。現官方發布Getaverse Multichain SBT嘉年華活動,包含zkSync、Optimism和Polygon。持有三個Getaverse特定系列SBT用戶將有機會贏得Getaverse IDO白名單。

截至目前,Getaverse DID平臺用戶數量已突破127,000,平臺SBT鑄造數量突破98,000,可信驗證節點數量突破15,500,各項數據均創新高。[2023/6/9 21:26:38]

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

比特幣全網未確認交易數量為10307筆:金色財經報道,BTC.com數據顯示,目前比特幣全網未確認交易數量為10307筆,全網算力為238.43 EH/s,24小時交易速率為3.18交易/s,目前全網難度為35.36 T,預測下次難度下調2.94%至34.32 T,距離調整還剩10天18小時。[2022/12/24 22:04:19]

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

HOOK最高觸及2.95美元,24小時漲幅超2600%:金色財經報道,據Binance行情顯示,HOOK上線Binance 24小時價格最高觸及2.95美元,目前報價2.71美元,24小時漲幅超2600%。24小時成交量1.17億美元。行情波動較大,請做好風險控制。

此前報道,Binance創新區于2022年12月1日22:30上線HOOK,并開通HOOK/BTC、HOOK/USDT、HOOK/BUSD、HOOK/BNB交易對。[2022/12/2 21:18:36]

與現有方法相比,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:ASSSSOLASSOLASShiba Inu ClassicRecycle Impact World AssociationLASSO幣3X Long Ethereum Classic Token

Polygon
不再「Game Over」 鏈上魔改為何興起?_DAO

作者:SerenaTaN5,Gaming Analyst at Smrti Lab翻譯:Jack,BlockBeats編者按:魔改對許多游戲老玩家來說,或許是決定其游戲體驗最重要的元素之一.

1900/1/1 0:00:00
長推:判斷市場漲跌的 9 個指標_SOE

作者:Ignas,DeFi Research;來源:Twitter@DefiIgnas;編譯:MarsBit,MK我們是在上升還是在下降?以下是一些值得考慮的市場指標:首先.

1900/1/1 0:00:00
美國“支付寶”Paypal借穩定幣求生 救了加密圈?_PAY

上周,有美國支付寶之稱的Paypal宣布發行穩定幣PaypalUSD(簡稱“PYUSD”),加密領域再度被攪起風云.

1900/1/1 0:00:00
?賬戶抽象(AA):未來的Web3錢包體驗_以太坊

眾所周知,Web3錢包是區塊鏈用戶的關鍵,但目前大多數錢包的用戶體驗并不是很好,這也是它獲得大規模采用的最大障礙之一.

1900/1/1 0:00:00
美債推動RWA賽道升溫 不同基因玩家如何創新?_BSP

原文作者: flowie,ChainCatcher一直熱度不減的 RWA 覆蓋范圍十分寬泛,它囊括了穩定幣、債券、股票、房地產等不同方向資產如何與鏈上結合的問題.

1900/1/1 0:00:00
盤點8月代幣解鎖信息:哪些值得關注_AND

作者:poopmandefi,DeFi KOL;翻譯:金色財經0xxz今年8月份一共會有23個解鎖事件。其中,SAND、AVAX、APT等規模較大的解鎖值得我們關注.

1900/1/1 0:00:00
ads