作者:YBBCapital研究員Ac-CoreTLDR
OPSuccinct的主要功能是將ZKP集成到OPStack的模塊化架構(gòu)中,將OPStackRollups轉(zhuǎn)換為經(jīng)過(guò)完全驗(yàn)證的ZKRollups。
如果Ethereum未來(lái)的擴(kuò)展解決方案是將所有Rollups轉(zhuǎn)換為ZKRollups,那么OPSuccinct旨在利用Rust和SP1在OPStack中部署Type-1zkEVM(完全與Ethereum等效)。
OPSuccinctProposer并行實(shí)現(xiàn)證明生成,以及證明聚合和驗(yàn)證。
現(xiàn)有的OPStack系統(tǒng)依賴于“7天防欺詐窗口”,如果發(fā)生爭(zhēng)議,會(huì)導(dǎo)致交易延遲。OPSuccinct通過(guò)使用ZK證明縮短了交易完成時(shí)間,從而無(wú)需延長(zhǎng)防欺詐窗口。
OPSuccinct可以大大降低交易成本。1、近期回顧:OP主網(wǎng)更新以及OPStack與OPLabs之間的關(guān)系
2.1OPSuccinct架構(gòu)組件
OPSuccinct是基于1.2節(jié)中概述的OPStack組件構(gòu)建的,是對(duì)OPStack的輕量級(jí)升級(jí),允許鏈?zhǔn)褂肸K驗(yàn)證的區(qū)塊,同時(shí)保持其他組件(op-geth、op-batcher和op-node)不變。OPSuccinct由以下四個(gè)主要組件組成:
Range程序:處理批處理塊的程序,用Rust編寫,設(shè)計(jì)用于在zkVM內(nèi)運(yùn)行。
Aggregation程序:聚合來(lái)自Range程序的證明以降低鏈上驗(yàn)證成本,也是用Rust編寫的,設(shè)計(jì)用于在zkVM中運(yùn)行。
OPSuccinctL2輸出預(yù)言機(jī):一個(gè)Solidity智能合約,包含一個(gè)L2狀態(tài)輸出數(shù)組,每個(gè)輸出都提交到L2鏈的狀態(tài)。此合約存在于原始Optimism系統(tǒng)中,但已被修改為使用證明驗(yàn)證作為身份驗(yàn)證機(jī)制。
OPSuccinct提議者:觀察在L1上發(fā)布的交易批次并管理Range和聚合程序的證明生成。2.2OPSuccinct如何融入Ethereum擴(kuò)展敘事?
由于需要大量的密碼學(xué)專業(yè)知識(shí),構(gòu)建zkEVMRollups一直具有挑戰(zhàn)性。當(dāng)OPLabs開發(fā)模塊化OPStack時(shí),他們預(yù)計(jì)會(huì)支持各種證明機(jī)制。為此,他們開源了Kona的開發(fā),使用Rust實(shí)現(xiàn)OPStackRollups的STF,最終通過(guò)Kona和SP1程序?yàn)镺PStack生成零知識(shí)證明(ZKP)。這意味著,理論上,任何OPStack鏈都可以升級(jí)為使用ZKP。
SP1(SuccinctProcessor1)的目標(biāo)是讓開發(fā)者能夠使用標(biāo)準(zhǔn)Rust代碼無(wú)縫集成Type-1zkEVMrollup。借助OPSuccinct,任何現(xiàn)有OPStack鏈升級(jí)到Type-1zkEVMrollup的過(guò)程可以在一小時(shí)內(nèi)完成,具有以下優(yōu)勢(shì):
快速ZKP確認(rèn):將證明延遲減少到幾分鐘,取代7天的防欺詐爭(zhēng)議窗口。
成本效率:平均交易成本降低至僅幾美分。
切換OPStack為ZK:通過(guò)部署智能合約,啟動(dòng)輕量級(jí)OPSuccinct提案服務(wù),可通過(guò)API調(diào)用生成證明(包括批處理/序列器、op-node、索引器等)。
Type-1zkEVM:所有與OPStackRollups兼容的工具和智能合約都與OPSuccinctRollups兼容。
提高了可擴(kuò)展性:可定制的OPSuccinctRollup可以根據(jù)需要添加新的預(yù)編譯并修改Rollup邏輯。
根據(jù)GitHub官方文檔,該過(guò)程僅需要安裝Rust、Foundry和Docker,即可將任何現(xiàn)有的OPStackrollup升級(jí)為Type-1zkEVMrollup。簡(jiǎn)化的流程涉及兩個(gè)步驟:
部署ZKL2OutputOracle.sol合約。
啟動(dòng)OPSuccinct提議服務(wù)(詳細(xì)步驟參考GitHub擴(kuò)展鏈接2)。
3、OPSuccinct能否成為OPStack對(duì)抗ZKStack的王牌?
圖片來(lái)源:@jtguibas
如果Ethereum的擴(kuò)容方案短期看是OP,長(zhǎng)期看是ZK,那么OPSuccinct的潛在成功可能標(biāo)志著Ethereum發(fā)展道路上的一個(gè)重要里程碑。OPSuccinct為ETHRollups從樂(lè)觀驗(yàn)證過(guò)渡到零知識(shí)證明(ZKP)提供了一條可升級(jí)的途徑。這種轉(zhuǎn)變不僅降低了交易成本,還提高了交易速度,同時(shí)保留了ZKRollups的安全和隱私屬性,為未來(lái)的應(yīng)用層擴(kuò)展開辟了新的可能性。
在公認(rèn)的四大Layer2方案中,目前看來(lái)OPStack在生態(tài)建設(shè)上略勝ZKStack,未來(lái)馬太效應(yīng)或許會(huì)更加明顯,OPSuccinct的加入可能會(huì)分走ZKStack的部分流量和潛力,如果OPSuccinct成功,甚至可能對(duì)傳統(tǒng)的基于zkEVM的Rollups構(gòu)成挑戰(zhàn)。
然而,從目前提出的操作邏輯來(lái)看,一個(gè)關(guān)鍵問(wèn)題浮現(xiàn)出來(lái):開發(fā)人員如何確保及時(shí)檢測(cè)到由修改狀態(tài)轉(zhuǎn)換函數(shù)(STF)或添加新的預(yù)編譯時(shí)未知漏洞引起的系統(tǒng)范圍風(fēng)險(xiǎn)?這是一個(gè)值得長(zhǎng)期關(guān)注的領(lǐng)域。
免責(zé)聲明:OP Stack 的演進(jìn):OP Succinct 釋放 ZK Rollup 潛力文章轉(zhuǎn)發(fā)自互聯(lián)網(wǎng),版權(quán)歸其所有。
文章內(nèi)容不代表本站立場(chǎng)和任何投資暗示。加密貨幣市場(chǎng)極其波動(dòng),風(fēng)險(xiǎn)很高,可能不適合所有投資者。在投資加密貨幣之前,請(qǐng)確保自己充分了解市場(chǎng)和投資的風(fēng)險(xiǎn),并考慮自己的財(cái)務(wù)狀況和風(fēng)險(xiǎn)承受能力。此外,請(qǐng)遵循您所在國(guó)家的法律法規(guī),以及遵守交易所和錢包提供商的規(guī)定。對(duì)于任何因使用加密貨幣所造成的投資損失或其他損失,本站不承擔(dān)任何責(zé)任。
Copyright © 2021.Company 元宇宙YITB.COM All rights reserved.元宇宙YITB.COM