買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > Pol幣 > Info

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

Wintermute研究人員:Jane Street錢包可能與UST depeg相關聯:金色財經報道,Wintermute 研究人員Igor Igamberdiev在社交媒體上表示,與去年Terra depeg 相關的錢包可能屬于貿易公司Jane Street。根據交易分析,2022年5月3日,Clearpool宣布Jane Street使用他們的許可貸款池從BlockTower借了2500萬USDC。1.在Terra崩盤的兩周內,這個地址收到1500萬美元,并與另外的1000萬美元一起償還給貸款人,沒有任何用途;2.在tonicdex投資了15萬美金;3.再次借了2500萬美元,并將其存入一個非常有趣的Coinbase錢包中。

在收到Jane Street的2500萬美元之前,這個Coinbase錢包在互換之后,從UST depegger那里收到了8450萬USDC。這個錢包除了上述兩筆存款外,沒有任何其他互動。因此,它們極有可能屬于同一個實體。[2023/2/28 12:34:41]

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

Hop Protocol啟動100萬枚OP返利計劃:9月23日消息,跨鏈協議Hop Protocol宣布啟動100萬枚OP返利計劃,每次轉入Optimism都將獲得以OP代幣支付的80%的費用折扣,單次跨鏈的返利上限為20OP。目前Hop Protocol還未設置獎勵結束日期,至少會持續幾個月。[2022/9/23 7:16:10]

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

墨西哥加密貨幣交易所Bitso已上線TRX:據官方消息,墨西哥加密貨幣交易所Bitso已經上線TRX。

Bitso于2014年成立,是墨西哥的加密貨幣交易所,其目的是通過區塊鏈技術和數字資產為銀行和非銀行提供金融服務。[2022/6/7 4:08:24]

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

Pol幣
TAC:Optimism 盛宴將至?OP Stack 生態項目全覽_STA

作者:Frank,Foresight News6 月以來至今,OP Stack 生態擴張勢頭明顯提速——兩個半月的時間內,已有 11 個項目新宣布基于 OP Stack 推出相關 L2 網絡.

1900/1/1 0:00:00
RES:RootData:哪些機構最愛領投?哪些機構今年出手最多?_TUR

作者:谷昱 & 餅干對于風投機構而言,出手次數是衡量其活躍度的重要標準之一,而領投則是衡量其資金實力與信念度的核心要素之一,對于推動項目的發展進度至關重要.

1900/1/1 0:00:00
REIGN:Rollups方案如何助力Bitcoin擴容?_比特幣最高的時候是多少錢一枚2023

比特幣作為最早也是最受歡迎的區塊鏈,每天都會有數十萬筆交易。但比特幣設計之初,其去中心化框架內優先考慮安全性,這就導致忽視了可擴展性問題,導致人們將比特幣僅僅視為一種數字資產和價值儲存手段.

1900/1/1 0:00:00
FTC:不再舉棋不定 兩項法案揭示美國加密監管最新思路_CFTY

加密貨幣究竟受監管嗎?比特幣 2008 年就出現了,為什么 2023 了美國還沒有一套完善的監管制度?美國政府對加密貨幣的態度非常迷離。一方面,監管部門不斷加大執法力度,對加密貨幣窮追猛打.

1900/1/1 0:00:00
WEB3:見聞與思考:為何很難在Web3里聽到女性創業者的聲音?_NAN

作者:一只泡芙 01 你能說出三個以上的 Web3女性創始人嗎?回想你在Web3認識的女生,她們都從事哪類工作?運營,BD,技術.

1900/1/1 0:00:00
NBS:晚間必讀 | 為什么Crypto還沒實現大規模采用_BSPT幣

以太坊上充滿了流動性。如果問以太坊做得最出色的一項活動是什么,那應該就是大規模的數字資產交易。我們不會無緣無故地稱之為“結算層”——不同的DEX、不同的代幣、不同的交易理由……但以太坊L1上的絕.

1900/1/1 0:00:00
ads