比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads
首頁 > Gateio > Info

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

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

超級央行周”來襲,美聯儲7月加息或成“終曲”:7月25日消息,“超級央行周”本周重磅來襲。美聯儲、歐洲央行和日本央行即將輪番登場公布最新利率決議,牽動全球投資者的敏感神經。分析人士認為,本次美聯儲議息會議的焦點將不在加息幅度上,而是貨幣政策聲明及鮑威爾可能釋放的信號。瑞銀財富管理投資總監辦公室(CIO)發表機構觀點稱,預計美聯儲將加息25個基點,并認為美聯儲歷史上最強勁的緊縮周期之一有機會在本周的議息會議后結束。[2023/7/25 15:56:32]

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

GMX持倉第一的Arthur Hayes時隔9個月再度加倉GMX:6月11日消息,據鏈上分析師余燼監測,GMX持倉第一的BitMEX創始人Arthur Hayes時隔9個月后再加倉GMX:Hayes在去年3/3-9/7半年間累計買入20萬枚GMX,均價44.7美元;其所持有的GMX一直在質押,未有贖回和賣出過;目前GMX下跌至其成本線附近,Hayes開始買入:昨天和今天共買入2327枚GMX,均價45美元。[2023/6/11 21:29:43]

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

NFT借貸平臺Astaria推出封閉測試版:金色財經報道,NFT借貸平臺Astaria宣布推出封閉測試版,LSD NFT持有者可以在封閉測試期間以其代幣為抵押借入0.1ETH。Astaria表示,其核心功能包括即時流動性、有競爭力的收益率和貸款條件以及沒有強制清算,只有當借款人的貸款到期且未償還債務時,借款人才能被清算。[2023/4/28 14:32:14]

與現有方法相比,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:SSOLASSOLASASSSSOL幣LASSO幣LassoCoin

Gateio
EFI:現實世界中的DeFi:釋放全球的金融潛力

如果說軟件正在吞噬整個世界,那么加密貨幣正在吞噬資本市場。代幣化并不是一個新概念,自2017年之前,初創企業、銀行和股票交易所就一直在探索這個概念.

1900/1/1 0:00:00
DAI:DAI的8%存款利率 打中了USDC的“七寸”

作者:Loki,新火科技導語:作者認為,MakerDAO的Spark Protocol調整DAI存款APY(DSR)至8%,實質是補償用戶持有ETH與USDC等傳統資產的機會成本.

1900/1/1 0:00:00
PEPE:PEPE、SHIB、APE下跌25%是加密貨幣熊市加深的跡象嗎

作者:MARCEL PECHMAN,COINTELEGRAPH;編譯:松雪,金色財經最近的加密貨幣崩盤對 memecoin 造成了沉重打擊,從 8 月 14 日到 8 月 21 日.

1900/1/1 0:00:00
MEM:Meme幣只是沒有圖片的NFT罷了

作者:ZENECA 翻譯:MetaCat 坦白講,絕大多數 NFT 項目/社區都是被重新想象的 Meme 幣、shit coins、山寨幣或任何你想稱呼的東西.

1900/1/1 0:00:00
EKE:DYDX競爭者 加密衍生品平臺MEKE首輪公測8月10日結束

自2016年比特幣永續合約首次推出后,永續合約市場在整個加密貨幣領域的增長就變的一發不可收拾。到2023年,永續合約的市場潛力逐步擴大,完全碾壓了加密貨幣現貨市場.

1900/1/1 0:00:00
加密貨幣:Crypto+AI:下輪牛市的加密敘事

作者:Kerman Kohli,DeFi Weekly創始人;翻譯:金色財經xiaozou如果說我從多年的加密經歷中學到了什么的話,那就是這個市場在很大程度上是由敘事驅動的.

1900/1/1 0:00:00
ads