去中心化的Prover如何實現？ Opside創新性提出ZKP的兩步提交算法
一級標題
一級標題
當前，以太坊主網上已經有多個ZK-Rollups 在運行了。然而ZK-Rollup 的去中心化設計仍然處於早期階段。我們目前都聚焦在Sequencer 的去中心化問題上，大部分人都忽略了，實際上目前絕大部分的ZK-Rollup 項目都沒有實現去中心化的prover。
一級標題
一級標題
一級標題
二級標題
一級標題
二級標題
Opside提出了一個ZKP 兩步提交算法，來實現了prover 的去中心化。這種算法既能夠防止ZKP 搶跑攻擊，又可以讓更多的礦工獲得獎勵，從而鼓勵更多的礦工在線，並提供穩定、持續的ZKP 算力。
提出了一個ZKP 兩步提交算法，來實現了prover 的去中心化。這種算法既能夠防止ZKP 搶跑攻擊，又可以讓更多的礦工獲得獎勵，從而鼓勵更多的礦工在線，並提供穩定、持續的ZKP 算力。
對於某個sequence，prover 計算出ZKP 之後，首先計算（proof / address）的hash，並向鏈上智能合約提交hash 和address。其中，proof 是某一個sequence 的零知識證明，address 是該prover 的地址
二級標題
二級標題
二級標題
Prover 的質押與懲罰
Prover 的質押與懲罰
Prover 的質押與懲罰
二級標題
Prover 的質押與懲罰
為了避免針對prover 的惡意行為，prover 需要在一個特殊的系統合約中註冊，並質押一定數量的token。如果當前質押數量小於閾值，則不允許提交hash 和ZKP。 prover 提交ZKP 獲得的獎勵也將依據質押量比例來分配，從而避免prover 多次提交ZKP 的惡意行為。
當prover 出現以下行為，會進行不同程度的懲罰
罰沒的token 將被燒毀。
一級標題
一級標題
一級標題
為什麼需要設置一個時間窗口？假設任何人在提交了hash 之後可以立即提交proof，那麼該proof 仍然有可能被搶跑。因為攻擊者會立即提交一個與自己地址關聯的hash，隨後提交proof，從而獲取獎勵。設置時間窗口之後，提交過hash 的prover 就沒有動力在此時間窗口內提交proof，從而避免了proof 被攻擊者利用的可能。
一級標題
根據整個網絡的ZKP 算力供需關係，動態調整PoS 與PoW 的獎勵分配比例
應用開發者對所屬Rollup 的ZKP 生成進行補貼，以激勵礦工提供算力
根據整個網絡的ZKP 算力供需關係，動態調整PoS 與PoW 的獎勵分配比例
根據ZK-Rollup 類型、Rollup 交易數量、gas 使用量等進行工作量預估，建立Rollup batch 的個性化定價機制
應用開發者對所屬Rollup 的ZKP 生成進行補貼，以激勵礦工提供算力
