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