原文:Polygon
PolygonZero的任務很簡單:使用零知識證明將以太坊擴展到十億用戶,同時不影響去中心化或安全性。實現這一點就需要一種快速有效的證明系統。今天,我們很高興與大家分享Plonky2,這是零知識密碼學的一個重要里程碑。
Plonky2是一種遞歸SNARK,比現有替代方案快100倍,并且與以太坊原生兼容。它結合了PLONK和FRI以獲得最好的STARK,具有快速證明和無可信設置,以及最好的SNARK,支持遞歸和以太坊上的低驗證成本。
加密借貸平臺Nexo將加入認證制裁專家協會:金色財經報道,加密借貸平臺Nexo將通過加入認證制裁專家協會(ACSS)來尋求利用培訓資源、聯系和數據。該協會為各個行業的制裁專業人員提供培訓和認證,包括金融機構、國際公司、律師事務所、公共機構和許多其他企業。
Nexo的合規主管Savina Boncheva表示,隨著加密行業的不斷擴張,該公司打算保持嚴格的合規標準。[2023/7/27 16:02:48]
Plonky2代表了Polygon持續致力于構建以太坊未來的最新一步,我們很自豪能與以太坊社區分享我們的工作。
遞歸
如果零知識證明有一種超能力,那就是遞歸。SNARK可以驗證任意計算,并且由于驗證SNARK是一種計算,因此SNARK也可以用于驗證其他SNARK。
伊朗央行已完成CBDC開發的預試點階段:金色財經報道,據伊朗央行(CBI)旗下研究機構貨幣與銀行研究所(MBRI)的一份官方聲明,CBI已成功完成了伊朗CBDC開發的預試點階段。
CBI支付系統監督辦公室的負責人Mohammad Reza Mani Yekta指出,央行計劃擴大該國支付系統中CBDC試點的范圍,但不想急于實施。管理潛在數字里亞爾的規則將與為里亞爾紙幣制定的規則一致。他還指出,央行計劃在個人和銀行之間分發數字里亞爾,CBDC基礎設施將重現一些區塊鏈功能。(Cointelegraph)[2023/3/6 12:45:22]
要了解它為何有用,假設我們要證明一批1,000筆交易是有效的。一次生成一個證明來逐個驗證1,000筆交易將是昂貴且耗時的。
ETHDenver聯創:未來將在世界各地設立分支活動:3月6日消息,ETHDenver聯合創始人John Paller在ETHDenver閉幕日透露明年會議的吉祥物是“SporkWhale”,這體現了社區所有權。
同時,明年的會議在規模和范圍上都將有所增長,正在與各個國家和地區討論在世界各地設立分支活動,而ETHDenver將成為“超級碗”。[2023/3/6 12:44:10]
相反,我們可以使用1,000臺機器并行生成1,000個證明,每個交易一個。接下來,我們可以獲取這些交易證明,并通過生成一層遞歸證明來遞歸聚合它們,每個證明都驗證兩個交易證明。我們重復這個過程,直到我們得到一個可以驗證1000筆交易的證明。
灰度GBTC負溢價率小幅回落至45.17%:金色財經報道,據Coinglass數據顯示,當前灰度總持倉量達144.71億美元,主流幣種信托溢價率如下:BTC:-45.17%;ETH:-59.3%;ETC:-76.69%;LTC:-65.23%;BCH:-56.98%。[2022/12/31 22:17:49]
遞歸方法更快,資源密集度更低,并且可以更加去中心化。
效率
遞歸證明對于區塊鏈的可擴展性至關重要。當我們在2019年啟動Mir時,在一臺快速計算機上需要兩分鐘才能生成一個遞歸證明。2020年為以太坊帶來了證明時間為60秒的遞歸證明,Halo的發明提供了更快的遞歸證明,但它不兼容以太坊。
2021年,我們有了一個大膽的目標:在以太坊上實現不到1秒的遞歸證明。我們意識到,STARKS中使用的多項式承諾方案FRI可以為遞歸SNARK提供顯著的性能改進。在當時,這并不明顯。Fractal是遞歸FRI的唯一現有實現,大約需要10分鐘才能生成證明。
然而,FRI有一些令人興奮的特性。它允許我們使用64位字段,我們的團隊發現了Goldilocks字段,它的模數可以在現代CPU上實現極其高效的字段運算。當與PLONK結合使用時,FRI允許我們編寫具有更多線程的自定義門關,因此我們可以編寫針對高效遞歸進行優化的回路。
這種數學洞察力、零知識密碼學方面的深厚專業知識和驚人的低級優化相結合,使我們能夠取得重大突破。Plonky2的遞歸證明在MacbookPro上僅需170毫秒就能完成,比現有替代方案提高了100倍。
證明大小
Plonky2還允許我們加快不涉及遞歸的證明的證明時間。使用FRI,您可以擁有大型的快速證明,或者您可以擁有小型的慢速證明。使用FRI的構造,例如Starkware在其ZKRollup中使用的STARK,必須進行選擇;他們不能擁有足夠快的證明時間和足夠小的證明大小以在以太坊上進行合理驗證。
Plonky2消除了這種權衡。在證明時間很重要的情況下,我們可以優化最快的證明。當這些證明被遞歸聚合時,我們只剩下一個可以在小回路中驗證的證明。此時,我們可以優化證明大小。我們可以將證明大小縮小到45kb,只需20秒的證明時間,相對于Starkware,大大降低了成本。
兼容性
令人興奮的是,Plonky2原生兼容以太坊。Plonky2只需要keccak-256來驗證證明。我們估計,在以太坊上驗證plonky2大小優化證明的gas成本約為100萬gas。
然而,這個成本主要是在以太坊上發布證明的CALLDATA成本。如果CALLDATA在EIP-4488中重新定價,plonky2證明的驗證成本將降至170-200kgas之間,這可能使其不僅是最快的證明系統,而且是在以太坊上驗證的最便宜的系統。
結論
去年,Polygon承諾支持零知識擴展。這代表了一個重要的轉變,因為Polygon從提供當前的基本解決方案轉向構建以太坊擴展的未來。Plonky2是這一旅程的重要一步,也是整個空間的重大突破。
ZKL2受益于大量炒作,但當前的解決方案依賴于低效且限制可擴展性的密碼原語。最終,L2將在吞吐量和成本上展開競爭,而Plonky2為Polygon生態系統提供了構建性能最高和可擴展的L2的機會。
據《紐約時報》12月22日報道稱,今年硅谷科技巨頭員工離職加速并開始轉投加密行業,隨著諸如狗狗幣這樣的加密故事在硅谷流傳,越來越多的科技行業最優秀和最聰明的人看到了最新的變革時刻.
1900/1/1 0:00:002021年是“十四五”開局之年,區塊鏈被納入七大數字經濟重點產業之一,全國各省市積極在區塊鏈產業發展和創新應用上謀篇布局取得了哪些成果?1月20日.
1900/1/1 0:00:00專業綜合格斗拳手KevinLee表示,決定他與一家新的推廣公司簽約的主要因素是比特幣。據MMA新聞媒體BJPenn報道,俄羅斯的EagleFightingChampionship將用比特幣支付K.
1900/1/1 0:00:00作者|AltanTutar 編譯|白澤研究院 原標題:《Web3.0獨角獸企業現狀》Web3.0是互聯網的去中心化迭代。在區塊鏈上運行的協議、應用程序和社區統稱為Web3.0.
1900/1/1 0:00:00巴比特現場報道,在今日舉辦的2021CCF中國區塊鏈技術大會上,CCF區塊鏈專業委員會主任斯雪明在主題演講提到了我國區塊鏈技術發展現狀.
1900/1/1 0:00:00據Decrypt1月19日報道,基于以太坊的徽章應用POAP今天宣布,它已經籌集了1000萬美元的種子輪資金.
1900/1/1 0:00:00