比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads

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

DeFi協議Centrifuge完成400萬美元融資:金色財經報道,DeFi協議Centrifuge完成400萬美元融資,Coinbase Ventures 和BlockTower領投。?BlockTower和MakerDAO將在Centrifuge上創建一個價值2.2億美元的資金池。[2022/11/2 12:10:00]

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

SyncSwap在Snapshot上發布首個社區提案,投票者可在Galxe上鑄造徽章NFT:9月14日消息,基于zkSync的DEX SyncSwap在Snapshot上發布首個社區提案SSIP-001,該提案將決定是否在zkSync主網上線后立即發布SyncSwap。持有以太坊和SyncSwap OAT的用戶可以參與投票。參與投票的用戶將有資格在Galxe上鑄造相關徽章NFT。本次投票將于北京時間9月22日22:00截止。[2022/9/14 13:29:10]

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

Tether:譴責近期有關其商業票據的虛假謠言:6月15日消息,USDT母公司Tether表示,譴責有關其商業票據的虛假謠言,有傳言稱其商業票據組合中85%由中國或亞洲商業票據支持,并以30%的折價交易是完全錯誤的。在其最新的保證意見中,Tether宣布目前超過47%的USDT總儲備由美國國債支撐,而商業票據占USDT儲備的不到25%。Tether表示,其商業票據組合將逐漸減少到零,而且不會產生任何損失。所有商業票據在到期后,相關資金都將轉而投放到美國短期國庫券之中。

Tether表示,關于最近影響Celsius借貸平臺的事件,Tether沒有損失,Tether目前對Celsius的敞口為零。Tether向三箭資本提供貸款而也是謠言,是絕對錯誤的。(tether.to)[2022/6/15 4:29:07]

與現有方法相比,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:LASSOLASSSOASSLASSO幣ethereum-classicSSOL價格PEPE CLASSIC

酷幣交易所
BTC:速覽 7 個看漲的指標:加密市場將走牛?_FINE

作者:Cole Garner, 加密KOL 編譯:Felix, PANews牛市何時來眾說紛紜,加密市場中關于牛市的推測指標有很多.

1900/1/1 0:00:00
DAO:淺談投資型 DAO 的市場格局:人人都能當風投?怎么參與?_NFT

縱觀歷史,對金融權力的民主化斗爭一直在進行著。金融業的故事中充斥著少數人對多數人行使權力的例子.

1900/1/1 0:00:00
PAL:金色早報 | Paypal推出美元穩定幣PYUSD_數字人民幣穩定幣官方消息

▌Paypal推出美元穩定幣PYUSDPaypal(PYPL.O)推出美元穩定幣PayPal USD(PYUSD)用于轉賬和支付.

1900/1/1 0:00:00
EFI:Curve 跌倒 FTX 回歸 DeFi 的至暗時刻還是黑暗榮耀?_cure幣騙局

Vyper 編程語言的一個小小的遞歸鎖錯誤,造成了 Curve 的重大危機,又因為 Curve 在 DeFi 領域的基礎性地位,造成了眾多項目的連帶傷害.

1900/1/1 0:00:00
SIL:Silvergate再有大調整 CEO和首席法務官離職_Silver Stonks

作者:MK Manoylov,THE BLOCK;編譯:松雪,金色財經倒閉的加密貨幣銀行 Silvergate 的三名高管將于 9 月 30 日離職.

1900/1/1 0:00:00
世界幣:山姆·阿爾特曼與世界幣的真相和謊言_世界幣怎么購買

作者:Richard Nieva 或許馬斯克摳破腦袋也想不通,OpenAI的創始人山姆·阿爾特曼收集如此多的生物數據準備干什么?但有一點是確定的,當證明自己是人成為了一種互聯網上的獨特價值.

1900/1/1 0:00:00
ads