Opside Litepaper V2發布：引入多鏈ZK-PoW機制
什麼是Opside
Opside 是一個去中心化的ZK-RaaS (ZK-Rollup as a Service)平台，也是支持ZKP（零知識證明）挖礦的PoW 網絡。 Opside 採用PoS & PoW 混合共識，為Web3開發者提供了一鍵生成zkEVM 應用鏈的功能。同時，數量眾多的ZK-Rollup 帶來的ZKP 計算任務也產生了巨大的算力需求，從而為全球礦工提供了一個有意義的挖礦場景。
在擴容領域，L2 的概念並不陌生。但L2不能很好地統籌各種類型的硬件資源，例如數據可用性、ZKP 算力、打包節點等。此外，運營一個L2，尤其是ZK-Rollup，需要很高的硬件維護成本以及專業技術門檻，因此很多開發者望而卻步。針對這些問題，Opside 首次提出了ZK-RaaS 的概念，開發者無需掌握ZK 或者鏈節點的知識，也可以在一分鐘內啟動一條屬於自己的zkEVM 鏈。同時，Opside 還提出了ZK-PoW 的概念，引入礦工這個角色來參與zkEVM 節點的維護和ZKP 的計算。
Opside ZK-PoW Cloud：對於礦工，Opside 也是一個多鏈的PoW 協議，支持ZK 挖礦，為多個公鏈上的ZK-Rollup 生成零知識證明。
Opside ZK-PoW Cloud：對於礦工，Opside 也是一個多鏈的PoW 協議，支持ZK 挖礦，為多個公鏈上的ZK-Rollup 生成零知識證明。
Opside ZK-PoW Cloud：對於礦工，Opside 也是一個多鏈的PoW 協議，支持ZK 挖礦，為多個公鏈上的ZK-Rollup 生成零知識證明。
ZK-RaaS
ZK-RaaS (ZK-Rollup as a Service) 可以為任何人提供一鍵生成ZK-Rollup 的服務。
ZK-Rollup 類型，包括zkSync、Polygon zkEVM、Scroll、StarkNet 等zkEVMs，以及其他種類的ZK-Rollups。
ZK-Rollup 類型，包括zkSync、Polygon zkEVM、Scroll、StarkNet 等zkEVMs，以及其他種類的ZK-Rollups。
ZK-Rollup 類型，包括zkSync、Polygon zkEVM、Scroll、StarkNet 等zkEVMs，以及其他種類的ZK-Rollups。
在每個base chain 上，Opside 都會部署一個Rollup 系統合約（Rollup System Contracts，RSC），來管理該鏈上的Rollup 的生命週期，包括註冊、中止與退出等操作。開發者花費一定數量的IDE（Opside token）租賃一個Rollup slot，即可擁有一個ZK-Rollup。
Rollup slot 的概念類似於波卡插槽或者cosmos 的應用鏈，但是cosmos 應用鏈需要自己維護一套共識層以及跨鏈橋，這帶來了極大的安全風險。而ZK-Rollup 採用了ZK 技術，在數學意義上嚴格地保證了Rollup 和base chain 共享了同一個共識和數據可用層，安全性更高，更加去中心化，維護成本也更低。
開發者租賃了一個Rollup slot 後，即擁有獨立的運行環境，例如，開發者可以單獨擁有一條zkEVM 鏈。開發者對ZK-Rollup 擁有主權，可以自定義rollup 經濟模型，包括選擇gas token。開發者可以自由調整gas 費用，甚至是0 ，這樣用戶不需要支付任何費用。
開發者不需要承擔任何硬件成本。所有的硬件資源，包括數據可用性、sequencer、ZKP 算力等，皆由下面的Opside ZK-PoW cloud 來去中心化地提供。
此外，同一個base chain 上，各個ZK-Rollups 之間可實現原生的跨rollup 通信。跨rollup 通信是一種消息通信機制。也就是說，一個rollup 上的地址，可以直接調用另一個rollup 上的合約。這極大地解決了用戶資產碎片化的問題，增強了應用之間的可組合性。
Opside ZK-PoW Cloud
ZK-Rollup 和OP-Rollup 相比，有很多優點，包括更安全、無需信任以及更快的提款速度。同時技術上也有一個非常大的不同，就是ZK-Rollup 額外需要有一個強大的ZKP 算力來支撐零知識證明的生成。
多鏈的ZK-PoW 機制
Opside ZK-PoW Cloud 會部署到多鏈上，包括但不限於Ethereum、BNB Chain、Polygon PoS 以及Opside Chain 本身。在Opside 的設計中，開發者可以在上述不同的base chain 上部署ZK-Rollups。隨著ZK-Rollup 技術的逐漸成熟，未來可能會誕生成百上千個ZK-Rollups，這將帶來極大的ZKP 算力需求。因此，我們需要激勵礦工加入這個生態來做出貢獻。從以太坊PoW 轉向PoS 以後，有很多以太坊礦機失去了應用場景，從資金規模上來講，礦機的價值就有120 億美元，目前很多都處於閒置的狀態。隨著ZK-Rollup 大規模落地，ZKP 的生成需要大量的CPU、GPU、FPGA 等硬件和礦機來提供計算能力。
Opside 使用ZK-PoW 機制來激勵Miner 提供ZKP 算力，從而為ZK-Rollup 提供完整的硬件設施。這也是Opside 核心思想之一。所有角色，包括用戶、開發者、礦工，都能夠在這個Opside 經濟模型當中獲得利益。
ZKP 的兩步提交算法：標準的去中心化Prover 機制
為了鼓勵更多礦工同時參與ZKP 的計算任務，Opside 提出了一個兩步提交的ZKP 驗證機制。一個ZKP 對應的PoW 獎勵份額，會按照一定規則分配給有效ZKP 的提交者，也就是礦工。
1.提交proofhash：在一個時間窗口內，對於某個sequence，允許多個礦工參與zero-knowledge proof 的計算。各個礦工計算出proof 之後，並不直接提交原始的proof，而是計算（proof / address）的proofhash，並向合約提交proofhash。
二級標題
二級標題ZKP's Two-Step Submission Algorithm
優化的ZKP 生成算法：礦工效率提高了80%
Rollup 的智能合約驗證ZKP 的時候，如果提交的是原始proof 數據，就有可能引發鏈上攻擊行為。為了防止惡意攻擊行為，ZK-Rollup 往往需要進行額外的工作量來隱藏原始的proof 數據。有一種解決方案是，礦工提交的ZKP 包含了對礦工地址的聚合結果。 Opside 提出的ZKP 的兩步提交算法，則巧妙地採用了先提交+後驗證的模式，不再需要對proof 和地址做類似的不必要的聚合計算。
此外，在一些開源的zkEVM 中，ZKP 的計算與提交都是串行的。當ZK-Rollup 提交了大量的sequence 時，礦工無法同時計算多個ZKP。在Opside 中，ZKP 的兩步提交算法實現了ZKP 的並行計算與串行提交，允許礦機同時執行多個ZKP 生成任務，從而大大加速了ZKP 的生成效率。
一級標題
一級標題
Opside Chain
Opside Chain 作為base chain 之一，除了支持Opside ZK-PoW Cloud 以外，還針對ZK-Rollup 做了更多的優化。例如使用預編譯合約進行ZKP 加速驗證，支持數據分片，採用基於ETH 2.0 的PoS 共識。未來還將支持EIP-4844、DankSharding 等全分片方案，將Rollup 的Gas 費用降到最低，甚至是0 。
以太坊現在是全球最大規模的去中心化網絡，有超過50 多萬個節點。這些節點不但提供了大規模的去中心化，在未來，得益於數據分片技術，這50 多萬個節點也提供了海量的數據可用性。
Opside Chain 的靈感來自於以太坊，這也是Opside 選擇基於ETH 2.0 的PoS 共識來改進的原因之一。我們預期Opside Chain 上將擁有超過10 萬多個節點。
對於Rollup 來說，如何讓sequencer 更加去中心化，而不是由一個單節點去完成中心化的打包？一個很好的做法是讓Opside Chain 的區塊提議者同時提議Rollup Layer 的區塊。對於Rollup Layer 來說，實際上就是完成了builder 與proposer 的分離：builder 是無需許可地由一個P2P 網絡來支持，proposer 則沿用了Opside chain 的區塊proposer，這樣避免了單節點帶來的可用性風險，同時也具有一定的抗MEV 性和抗審查性。
因此Opside Chain 提供標準化的去中心化sequencer 機制，Opside Chain 的區塊提議者同時負責提議Rollup 的區塊。 Opside Chain 讓ZK-Rollup 不但能繼承上一層的安全性，還繼承了上一層的去中心化程度。
下面是Opside Chain 的PoS & PoW 混合共識：
Opside chain
PoS：Opside 將採用以太坊2.0 的PoS 算法，並對其進行必要的改進。任何人都可以持有Opside token 代幣並成為validator。 validator 可以在Opside chain 中獲得區塊獎勵和gas 費用。
Rollup layer
PoS (Sequencer)：validator 不僅提議Opside chain 區塊，還提議Rollup layer 區塊(即data batch)。因此validator 同時也是Rollup layer 中rollup 的sequencer。 sequencer 可以從Rollup layer 交易中的交易費中賺取gas 費用。
一級標題
一級標題
二級標題
二級標題
PoS
如上所言，Opside Chain 採用了基於ETH 2.0 改進的PoS 共識。要作為Validator 參與，用戶必須將一定量的IDE 存入存款合約，並運行三個獨立的軟件：執行客戶端、共識客戶端和Validator。這些Validators 負責檢查通過網絡傳播的新塊是否有效，並偶爾自己創建和傳播新塊。如果Validator 行為不誠實或懶惰，那麼抵押的IDE 將作為抵押品被銷毀。
在PoS 下，Opside Chain 的出塊速度是固定的，時間分為slot（12 秒）和epoch（32 個slots）。在每個slot 中隨機選擇一個驗證者作為區塊提議者。該Validator 負責創建新塊並將其發送到網絡上的其他節點。同樣在每個slot 中，隨機選擇一個Validator 委員會，其投票用於確定所提議區塊的有效性。具體機制請參考ETH PoS。
Opside Chain 預期在Alpha 測試網支持EIP-4844 ，數據可用性抽樣（DAS） 將用於確保ZK-Rollup 在執行後提供其交易數據，同時不會對任何單個節點造成太大壓力。每個Validator 隨機抽取blob 中提供的交易數據，以確保所有數據都存在。同樣的技術也可以用來確保區塊生產者將他們所有的數據提供給安全的輕客戶端。同樣，在提議者-構建者分離（PBS）下，只需要區塊構建者來處理整個區塊——其他驗證者將使用數據可用性抽樣進行驗證。
二級標題
二級標題
ZK-PoW
二級標題
單個Rollup sequence 的獎勵份額計算
ZK-PoW 是一個多鏈協議，這意味著PoW 獎勵將在各個base chain 上發放，包括Etheruem，Opside Chain，BNB Chain，Polygon PoS。每個base chain 的PoW 獎勵數量取決於對應的Rollup slot 註冊數量、ZKP 工作量等。
二級標題
二級標題
Prover 的質押與懲罰
為了避免prover 相關的惡意行為，Prover 需要在一個特殊的系統合約中註冊，並質押代幣。 Prover 可以自由選擇參與一個或者多個Rollup 的PoW 挖礦。 Prover 需要在系統合約中為每一個要參與的Rollup 質押一定量的IDE（Opside token），才可以為該Rollup 提交ZKP。如果當前質押數量小於閾值，則不允許為該Rollup 提交ZKP。 prover 提交ZKP 獲得的獎勵也將依據質押量比例來分配，從而避免prover 多次提交ZKP 的惡意行為。
當prover 出現以下行為，會進行不同程度的懲罰：
如果prover 提交了錯誤的hash
如果沒有ZKP 通過驗證，則所有提交過hash 的prover 都將被懲罰
二級標題
二級標題
開發者租賃Rollup slot
在各個base chain 上，Opside 部署了ZK-PoW 協議，開發者可通過ZK-Rollup launchbase 一鍵註冊一個Rollup slot，從而啟動屬於自己的ZK-Rollup。該ZK-Rollup 所有的硬件資源都由Opside 去中心化網絡來提供。開發者需要向Opside 網絡支付Rollup slot 的租金，這部分租金將直接燒毀。
一級標題
一級標題
治理與發展
Opside 網絡的功能和性能將隨著時間的推移而不斷發展，以下為幾個優先級更高的示例：
根據整個網絡的ZKP 算力供需關係，動態調整PoS 與PoW 的獎勵分配比例
Validator 的數據分片與數據可用性抽樣，將為整個Rollup Layer 提供更加豐裕的存儲空間，從而容納更多的ZK-Rollup 生態
Rollup 的提議者與構建者分離，使得Rollup layer 共用Opside chain 的validator 作為區塊提議者，繼承上一層的去中心化
礦工的質押與slash 機制的優化，鼓勵礦工提供持續而穩定的ZKP 算力
應用開發者對所屬Rollup 的ZKP 生成進行補貼，以激勵礦工提供算力
根據ZK-Rollup 類型、Rollup 交易數量、gas 使用量等進行工作量預估，建立Rollup batch 的個性化定價機制
這些改進將顯著提高Opside 的網絡效用，從而促進ZK-Rollup as a Service 的長期發展以及繁榮。
Opside 主網啟動後，建立一個Opside DAO，包含合理的流程和機制來共同決定網絡的未來。 Opside 主網的所有參數和機制的更新將通過Opside DAO 來確定。需要強調的是，Opside 是一個合作共建的經濟體，並隨著時間推移而不斷發展演化。未來的改進會以DAO 提案的形式詳細地解釋這些方案是如何給Opside 經濟的長期利益和每個參與者類別帶來好處。隨著網絡的發展，打造一個無需大量工具和補貼亦可以獨立且穩健運行的經濟至關重要。
