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