原文:Polygon
PolygonZero的任務很簡單:使用零知識證明將以太坊擴展到十億用戶,同時不影響去中心化或安全性。實現這一點就需要一種快速有效的證明系統。今天,我們很高興與大家分享Plonky2,這是零知識密碼學的一個重要里程碑。
Plonky2是一種遞歸SNARK,比現有替代方案快100倍,并且與以太坊原生兼容。它結合了PLONK和FRI以獲得最好的STARK,具有快速證明和無可信設置,以及最好的SNARK,支持遞歸和以太坊上的低驗證成本。
Plonky2代表了Polygon持續致力于構建以太坊未來的最新一步,我們很自豪能與以太坊社區分享我們的工作。
巨鯨地址通過OTC渠道購入140萬美元BLUR與450萬美元DYDX:4月14日消息,據推特用戶余燼監測,之前以OTC方式從Amber、Dragonfly買幣的鯨魚/機構還在繼續。過去一周,該鯨魚/機構使用57.6萬USDC從Amber買入100萬枚BLUR ;使用80.5萬USDC從Dragonfly買入50萬枚BLUR和20萬枚DYDX。目前該地址已累計買入140萬枚DYDX(平均成本2.57美元)、450萬枚BLUR(平均成本 0.65美元)。
此前4月7日消息,上述地址自3月7日至4月7日以來從Amber、Dragonfly購買120萬枚DYDX和300萬枚BLUR。[2023/4/14 14:04:15]
遞歸
美股地區性銀行股盤前走弱 第一共和銀行跌幅擴大至10%:金色財經報道,美股地區性銀行股盤前走弱,第一共和銀行(FRC.N)跌幅擴大至10%,西太平洋合眾銀行(PACW.O)跌約5%,阿萊恩斯西部銀行(WAL.N)轉跌,此前曾漲超14%。[2023/3/16 13:08:19]
如果零知識證明有一種超能力,那就是遞歸。SNARK可以驗證任意計算,并且由于驗證SNARK是一種計算,因此SNARK也可以用于驗證其他SNARK。
要了解它為何有用,假設我們要證明一批1,000筆交易是有效的。一次生成一個證明來逐個驗證1,000筆交易將是昂貴且耗時的。
跨鏈流動性協議Swing發布新的“無代碼”產品,可加速應用程序部署:金色財經報道,跨鏈流動性協議Swing發布了一種新的“無代碼”產品Swing Platform,旨在減少跨多個區塊鏈部署和更新去中心化應用程序所需的時間。新產品Swing Platform將在ETHDenver以太坊開發大會期間提供給開發人員,開發人員可以在不更改代碼的情況下更新配置和部署更新。該公司表示,Swing Platform的用例包括在“由于安全漏洞而需要禁用特定代幣或橋接器的關鍵場景”中傳播跨鏈應用程序的快速更新。[2023/3/3 12:39:28]
相反,我們可以使用1,000臺機器并行生成1,000個證明,每個交易一個。接下來,我們可以獲取這些交易證明,并通過生成一層遞歸證明來遞歸聚合它們,每個證明都驗證兩個交易證明。我們重復這個過程,直到我們得到一個可以驗證1000筆交易的證明。
比特幣礦企Compute North在9月22日宣布破產之日向高管支付了300萬美元工資和獎金:11月3日消息,比特幣礦企Compute North在9月22日宣布破產之日向高管支付了300萬美元和獎金。文件顯示,該公司向聯合創始人、前首席執行官Dave Perrill支付了61.3萬美元的工資和獎金。前首席財務官Tad Piper在離開公司三個月后得到54.1萬美元,總裁Edward Drake Harvey III和首席商務官Kyle Wenzel各得到約50萬美元,前首席技術官Nelu Mihai得到34萬美元,首席法律官Jason Stokes得到32.5萬美元,新任首席財務官Harold Coulby得到約25萬美元。
該文件還顯示Compute North與一系列至少部分由佩里爾擁有的公司業務往來,這些公司在過去一年中收到了約35萬美元的租賃辦公空間和服務的款項。[2022/11/3 12:14:22]
遞歸方法更快,資源密集度更低,并且可以更加去中心化。
效率
遞歸證明對于區塊鏈的可擴展性至關重要。當我們在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的機會。
尊敬的AAX用戶: AAX於2021年12月22日00:00-2021年12月31日08:00(UTC8)舉辦的“第二期合約交易大賽,瓜分贏取20000USDT”活動現已圓滿結束.
1900/1/1 0:00:00公鏈發展與存在的問題 截至2021年底,以太坊上的TVL,已從2021年1月的200億美元,迅速增長到高峰值超過1800億美元.
1900/1/1 0:00:00尊敬的WEEX用戶您好!2022新年一月限時活動,簡單投資低風險,年化率50%以上好康優惠,快來WEEX交易所.
1900/1/1 0:00:00尊敬的MEXC用戶: MEXC合約系統升級已完成。該系統升級完成後15分鐘內只可進行撤單和轉入(web端以及app端),其他合約功能將於15分鐘後全部開放.
1900/1/1 0:00:00Gate.io今日已正式上線APT/USDT、APT/ETH新版流動性礦池,並於10:00就APT/USDT、APT/ETH交易礦池各新增額外68,700APT.
1900/1/1 0:00:00前言 DeFi應用跟傳統應用的差異性還是比較大的,商業模式不同,產品模型也不同,就連落地實現的技術棧也有很大不同。一般,傳統應用也稱為Web2應用,而DeFi應用則可被歸入Web3之列.
1900/1/1 0:00:00