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