比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

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

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解決了三個關鍵問題:性能、開發人員體驗和可審核性。

Ronin Network:鏈上每筆交易最低gas費將提高到20 Gwei:11月8日消息,Ronin Network發布公告稱,由于套利機器人一直在向Ronin Network發送垃圾郵件并引發數百萬筆交易失敗,也會導致內存增長驗證器停機和糟糕的用戶體驗,因此Sky Mavis決定將Ronin Network鏈上每筆交易最低gas價格將提高到20 Gwei,該舉措將在7天內執行。[2022/11/9 12:34:40]

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

Big Time推出鏈游基礎設施Open Loot:7月28日消息,3A級鏈游Big Time宣布推出鏈游基礎設施Open Loot,旨在通過技術和營銷幫助傳統游戲進入web3的平臺。官方舉辦贈品活動,獲獎者可在Open Loot的市場中領取并交易獎品。[2022/7/28 2:42:47]

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

Celsius Network因流動性問題重組董事會:金色財經報道,加密借貸公司Celsius Network已重組其董事會,以在持續的加密熊市中穩定其流動性和運營。根據周三提交的一份文件,財務主管David Barse和Alan Jeffrey Carr分別于6月28日和6月29日被任命為董事。

Barse是指數公司XOUT Capital的創始人兼首席執行官,也是私人家族辦公室DMB Holdings的創始人。Carr是Drivetrain的首席執行官,該公司是一家信托服務公司,負責領導復雜的重組和訴訟,并管理不良投資組合。

文件還顯示,Celsius Network于上月底終止了Gilbert Nathan、John Stephen Dubel 和Laurence Anthony Tosi的董事職務。(blockworks)[2022/7/7 1:56:20]

與現有方法相比,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:ASSLASSOSSOLASSWASSLASSO價格MISSORPlasmaPay

歐易交易所app下載
業的啟示:從GGR到NGR 加密游戲的吸引力法則?_CRYPT

作者:加密韋馱,AC Capital活用模型,GGR是否適合你的項目,你的收益模型是什么?如何控殺?“Crypto游戲必須要有可玩性”.

1900/1/1 0:00:00
探索NFTfi和BendDAO的借貸動態_區塊鏈

作者:Ana Milovan 翻譯:善歐巴,金色財經在不斷發展的區塊鏈技術領域,兩種非凡的力量日益凸顯:不可替代代幣(NFT)和去中心化金融(DeFi).

1900/1/1 0:00:00
PSE Trading:零知識證明的出路在哪里?_BSP

原文作者:@Calvin,PSE Trading Analyst“總的來說,我的觀點是在短期內,Optimistic rollup 在 EVM 兼容方面占盡優勢.

1900/1/1 0:00:00
5個美聯儲最關注的「美元代幣」風險_NEWS

本周,美聯儲向美國各聯邦儲備銀行和所有國有銀行的監管官員及相關監管和檢查人員致信,其中公布了一項監督銀行加密貨幣活動的新計劃.

1900/1/1 0:00:00
一文讀懂全新賽道Telegram Bot_BOT

作者:韭而韭之,來源:作者twitter@sir13751154今天跟大家分享一個全新的賽道:Telegram Bot.

1900/1/1 0:00:00
加密市場9月展望:Layer2、ETF消息、DeFi空投_BAS

撰寫:THOR HARTVIGSEN 編譯:深潮 TechFlow撇開宏觀環境,加密市場本身存在哪些事情值得期待? DeFi 流動性處于自 2021 年 2 月以來的最低水平.

1900/1/1 0:00:00
ads