Plonky2 是一種遞歸 SNARK,它結合了 PLONK 和 FRI 以獲得最好的 STARK,具有快速證明和無可信設置,以及最好的 SNARK,支持遞歸和以太坊上的低驗證成本。
Polygon Zero 的任務很簡單:使用零知識證明將以太坊擴展到十億用戶,同時不影響去中心化或安全性。 實現這一點就需要一種快速有效的證明系統。 今天,我們很高興與大家分享 Plonky2,這是零知識密碼學的一個重要里程碑。
(注:Polygon此前宣布以4億美元收購零知識技術開發商Mir,將其更名為Polygon Zero)
英國貿易文件數字化或將使用區塊鏈技術:金色財經報道,英國政府表示,英國的一項貿易文件數字化舉措可能會利用加密技術,《2023年數字化貿易文件法》于7月20日正式成為法律,旨在推翻數百年歷史的商業法,允許以數字方式存儲和分發貿易文件,該法律將于今年秋天生效。一位英國政府發言人表示,該法案是技術中立的,如果符合可靠性測試,將允許使用區塊鏈技術。[2023/7/27 16:02:26]
Plonky2 是一種遞歸 SNARK,比現有替代方案快 100 倍,并且與以太坊原生兼容。 它結合了 PLONK 和 FRI 以獲得最好的 STARK,具有快速證明和無可信設置,以及最好的 SNARK,支持遞歸和以太坊上的低驗證成本。
Plonky2 代表了 Polygon 持續致力于構建以太坊未來的最新一步,我們很自豪能與以太坊社區分享我們的工作。
神魚:下半年關注以太坊升級、L2、MPC技術的錢包以及傳統機構ETF申請:金色財經報道,Cobo聯合創始人兼CEO神魚近日在一次內部活動上回顧了2023上半年行業重大事件及影響,并對未來下半年值得關注的事件進行了分析。下半年關注三件事,首先,以太坊在下半年會有一次升級,提高性能;其次,L2會在未來6-12個月——大概率是6個月內主網上線,包括Scroll、ZKS等一系列的二層網絡都在爭取成為第一個,從而獲得一個比較好的先發優勢。第二個共識是,基于MPC技術的無私鑰錢包和鏈上的AA智能錢包,可能隨著L2上線會逐步形成統一的標準,從而帶來大規模的推廣和應用。第三個重要問題,是傳統機構ETF的申請。[2023/7/11 10:47:55]
遞歸
如果零知識證明有一種超能力,那就是遞歸。 SNARK 可以驗證任意計算,并且由于驗證 SNARK 是一種計算,因此 SNARK也可以用于驗證其他 SNARK。
網傳“李林創辦新交易所”系新火科技旗下合規交易平臺“新火香港” 面向機構和專業投資者:金色財經報道,網傳“李林創辦新加密交易平臺新火香港”,經金色財經查閱相關公開信息發現,新火香港為港交所上市公司新火科技控股有限公司的全資附屬公司。 新火香港于2020年8月獲得香港公司注冊處頒發的信託或公司服務提供者 (TCSP)牌照,是一個合規虛擬資產交易平臺,主要為機構和專業投資者提供服務。目前新火科技主要提供BTC/USD、ETH/USD和USDT/USD三個交易對,但該交易平臺暫無交易量。
金色財經此前報道,新火科技前身為火幣科技,在10月8日Huobi Global股份全部轉讓給About Capital的基金后,10月28日火幣科技更名為新火科技。李林為新火科技控股有限公司主席及控股股東。根據新火科技官方網站顯示,杜均和張麗分別擔任公司CEO與CFO。[2023/1/4 9:52:14]
要了解它為何有用,假設我們要證明一批 1,000 筆交易是有效的。 一次生成一個證明來逐個驗證 1,000 筆交易將是昂貴且耗時的。
Dragonfly對公鏈Aptos進行戰略投資:9月29日消息,Dragonfly合伙人Haseeb宣布,Dragonfly已對Aptos進行戰略投資。
Haseeb表示,“Aptos正在構建下一代L1區塊鏈,在可擴展性、安全性和可用性方面具有獨特的表現,可擴展性是當今區塊鏈的核心問題,Aptos將采取多種方法將區塊鏈引入下一代。我很高興能夠支持Aptos,因為他們為下一個十億加密用戶構建了一個安全、可擴展且充滿活力的Layer1。”
此前7月份消息,Aptos完成1.5億美元融資,FTX Ventures和Jump Crypto領投。[2022/9/29 22:39:21]
相反,我們可以使用 1,000 臺機器并行生成 1,000 個證明,每個交易一個。 接下來,我們可以獲取這些交易證明,并通過生成一層遞歸證明來遞歸聚合它們,每個證明都驗證兩個交易證明。 我們重復這個過程,直到我們得到一個可以驗證 1000 筆交易的證明。
遞歸方法更快,資源密集度更低,并且可以更加去中心化。
效率
遞歸證明對于區塊鏈的可擴展性至關重要。當我們在 2019 年啟動 Mir(現在的 Polygon Zero)時,在一臺快速計算機上需要兩分鐘才能生成一個遞歸證明。 2020 年為以太坊帶來了證明時間為60 秒的遞歸證明,Halo 的發明提供了更快的遞歸證明,但它不兼容以太坊。
2021 年,我們有了一個大膽的目標:在以太坊上實現不到 1 秒的遞歸證明。我們意識到,STARKS 中使用的多項式承諾方案 FRI 可以為遞歸 SNARK 提供顯著的性能改進。在當時,這并不明顯。 Fractal 是遞歸 FRI 的唯一現有實現,大約需要 10 分鐘才能生成證明。
然而,FRI 有一些令人興奮的特性。它允許我們使用 64 位字段,我們的團隊發現了 Goldilocks 字段,它的模數可以在現代 CPU 上實現極其高效的字段運算。當與 PLONK 結合使用時,FRI 允許我們編寫具有更多線程的自定義門關,因此我們可以編寫針對高效遞歸進行優化的回路。
這種數學洞察力、零知識密碼學方面的深厚專業知識和驚人的低級優化相結合,使我們能夠取得重大突破。 Plonky2 的遞歸證明在 Macbook Pro 上僅需 170 毫秒就能完成,比現有替代方案提高了 100 倍。
證明大小
Plonky2 還允許我們加快不涉及遞歸的證明的證明時間。 使用 FRI,您可以擁有大型的快速證明(在以太坊上驗證它們的成本更高),或者您可以擁有小型的慢速證明。 使用 FRI 的構造,例如 Starkware 在其 ZK Rollup中使用的 STARK,必須進行選擇; 他們不能擁有足夠快的證明時間和足夠小的證明大小以在以太坊上進行合理驗證。
Plonky2 消除了這種權衡。 在證明時間很重要的情況下,我們可以優化最快的證明。 當這些證明被遞歸聚合時,我們只剩下一個可以在小回路中驗證的證明。 此時,我們可以優化證明大小。 我們可以將證明大小縮小到 45kb,只需 20 秒的證明時間(這沒什么大不了的,因為我們只在提交到以太坊時生成),相對于 Starkware,大大降低了成本。
兼容性
令人興奮的是,Plonky2 原生兼容以太坊。 Plonky2 只需要 keccak-256 來驗證證明。我們估計,在以太坊上驗證 plonky2 大小優化證明的 gas 成本約為 100 萬gas。
然而,這個成本主要是在以太坊上發布證明的 CALLDATA 成本。如果 CALLDATA 在 EIP-4488 中重新定價,plonky2 證明的驗證成本將降至 170-200k gas 之間,這可能使其不僅是最快的證明系統,而且是在以太坊上驗證的最便宜的系統。
結論
去年,Polygon 承諾支持零知識擴展。這代表了一個重要的轉變,因為 Polygon 從提供當前的基本解決方案轉向構建以太坊擴展的未來。 Plonky2 是這一旅程的重要一步,也是整個空間的重大突破。
ZK L2 受益于大量炒作,但當前的解決方案依賴于低效且限制可擴展性的密碼原語。最終,L2 將在吞吐量和成本上展開競爭,而 Plonky2 為 Polygon 生態系統提供了構建性能最高和可擴展的 L2 的機會。
Tags:以太坊LONPLOARK以太坊幣價格今日行情價格tokenlon幣有價值嗎Whale ExploderPark Star
01 前 言 Tornado.Cash 作為以太坊網絡上最火的去中心化隱私解決方案,打破了存款人和取款人地址之間的鏈上鏈接,做到了交易機密性,保護了用戶隱私.
1900/1/1 0:00:00經歷過元宇宙NFT的“熱潮轟炸”后,許多專業區塊鏈探寶者們已經逐漸將目光移回了DeFi賽道,去探索明日之星.
1900/1/1 0:00:00要點: Evmos在以Ethereum為基礎的應用程序和Cosmos的獨立去中心化區塊鏈生態系統之間實現了去中心化互操作性.
1900/1/1 0:00:00原文標題:《Azuki: 日本動畫與 Web 3.0 后民族身份特征》在 Web 3.0 與 Metaverse 里.
1900/1/1 0:00:00構建于Solana之上,大逃殺系P2E元宇宙游戲Nyan Heroes宣布其完成種子輪融資。 Nyan Heroes簡介Nyan Heroes是一款第三人稱射擊類大逃殺游戲,并致力于成為首款對戰.
1900/1/1 0:00:00追漲殺跌,似乎已經成為常態。雖然很多人都希望在市場的波動中獲益,但不幸的是,他們對于市場的判斷往往是先入為主的——在市場中擁有良好的風控風險意識、完善的交易系統、合理的資金管理手段并嚴格執行的交.
1900/1/1 0:00:00