作者:Ac-Core,YBBCapitalResearcherTL;DR
●OPSuccinct提供的主要功能是將ZKP融入OPStack的模塊化架構中以完成將OPStackRollup轉換為完全驗證的ZKRollup;
●如果Ethereum未來擴展的終局是將每個Rollup都轉化為ZKRollup,OPSuccinct的目的是結合Rust和SP1實現(xiàn)OPStack的Type-1zkEVM(完全Ethereum等效)的部署;
●OPSuccinctProposer主要完成了并行生成證明和證明聚合與驗證;
●OPStack現(xiàn)有系統(tǒng)依賴于"7天防欺詐窗口",如產生爭議會延期一周的交易驗證,OPSuccinct利用ZK證明來縮短交易完成所需的時間,消除了對擴展防欺詐窗口的需求;
●OPSuccinct可極大降低交易成本。一、近期回顧:OPMainnet近況以及OPStack與OPLabs
結合上文1.2章節(jié)末尾內容「OPStack的四個主要組成部分」,OPSuccinct是OPStack的輕量級升級,允許鏈只使用經(jīng)ZK驗證的區(qū)塊,而保持其他三個組件不變(op-geth、op-batcher和op-node),OPSuccinct主要由以下四個組成:
● 范圍程序(RangeProgram):這是一個執(zhí)行批次區(qū)塊的程序,該程序由Rust編寫,設計用于在zkVM中執(zhí)行;
● 聚合程序(AggregationProgram.):聚合范圍程序的證明,以降低鏈上驗證成本,該程序也是用Rust編寫的,設計用于在zkVM中執(zhí)行;
● OPSuccinctL2OutputOracle.:一個包含L2狀態(tài)輸出數(shù)組的Solidity智能合約,其中每個輸出都是對L2鏈狀態(tài)的提交。該合約已存在于Optimism的原始系統(tǒng)中,但經(jīng)過修改將驗證證明作為身份驗證機制;
● OPSuccinctProposer:觀察L1上發(fā)布的交易批次,并控制范圍程序和聚合程序的證明。2.2OPSuccinct講述了一個怎樣的Ethereum擴容敘事?
zkEVMRollup因深厚的密碼學專業(yè)知識阻礙非常難以構建,OPLabs團隊構建模塊化的OPStack時已考慮到支持各種有效性機制的證明,并開源開發(fā)了Kona(見擴展鏈接1)以通過Rust來實現(xiàn)OPStackRollup下的狀態(tài)轉換函數(shù)STF(交易狀態(tài)轉換的函數(shù)邏輯),并最終借助Kona和SP1程序來生成OPStack的零知識證明(ZKP),即理論上可將OPStack的所有鏈升級并可使用ZKP。
SP1(SuccinctProcessor1)的目標是使任何開發(fā)者都能無縫地使用標準Rust代碼集成Type-1zkEVMrollup,并通過OPSuccinct完成僅在
1小時內無縫將任何現(xiàn)有的OPStack鏈升級為Type-1zkEVMrollup,并提供應用所需的高性能。以此獲得以下優(yōu)勢:
● ZKP的快速確認:讓證明延遲縮短至幾十分鐘,以「替換」長達7天的欺詐證明質疑期;
● 降本增效:每筆交易平均成本低至幾分錢;
● 將OPStack切換至ZK:只需部署一個智能合約并啟動一個輕量級的OPSuccinct提議服務(見下文)即可通過API調用生成證明(包括批處理器/排序器、op-node、索引器等內容);
● Type-1zkEVM:所有與OPStackRollup兼容的工具和智能合約都適用OPSuccinctRollup;
● 提升可擴展性:采用可定制的OPSuccinctrollup,可添加新的預編譯并修改Rollup邏輯。
據(jù)官方GitHub介紹其過程只需安裝Rust、Foundry和Docker,即可將現(xiàn)有任何的OPStackrollup升級到Type-1zkEVMrollup,并且流程僅簡化為兩步:1.部署ZKL2OutputOracle.sol合約;2.啟動OPSuccinct提議服務(流程見GitHub擴展鏈接2)。
圖源作者:@jtguibas
如果Ethereum的擴展方案短期看OP長期看ZK,在我們假設OPSuccinct能夠成功的前提下它將被視為Ethereum發(fā)展路線的一個重要里程碑。OPSuccinct為ETHRollups從樂觀驗證轉換為零知識證明提供了可升級路徑,這不僅降低了交易成本,更提高了交易速度,還保留了ZKrollups安全性和匿名性的屬性,為將來應用層的爆發(fā)帶來了新的可能性。
在公認的Layer2四大天王中,現(xiàn)階段從項目生態(tài)發(fā)展看來OPStack已略優(yōu)于ZKStack,未來馬太效應可能會進一步顯現(xiàn),隨著OPSuccinct的加入,一定程度上也虹吸了ZKStack的流量和潛力,如果OPSuccinct未來能得以實現(xiàn),也可能會對傳統(tǒng)的zkEVM的Rollup造成一定沖擊。
但據(jù)現(xiàn)階段公開表述的內容,我們從OPSuccinct的運行邏輯中不難發(fā)現(xiàn),如何確保開發(fā)者在修改STF函數(shù)或添加新的預編譯函數(shù)時及時發(fā)現(xiàn)未知漏洞所引發(fā)的系統(tǒng)性風險,這需要我們保持長期關注。
免責聲明:OP Stack的進階之路:OP Succinct解鎖ZK Rollup潛力文章轉發(fā)自互聯(lián)網(wǎng),版權歸其所有。
文章內容不代表本站立場和任何投資暗示。加密貨幣市場極其波動,風險很高,可能不適合所有投資者。在投資加密貨幣之前,請確保自己充分了解市場和投資的風險,并考慮自己的財務狀況和風險承受能力。此外,請遵循您所在國家的法律法規(guī),以及遵守交易所和錢包提供商的規(guī)定。對于任何因使用加密貨幣所造成的投資損失或其他損失,本站不承擔任何責任。
Copyright © 2021.Company 元宇宙YITB.COM All rights reserved.元宇宙YITB.COM