A request from the China team that can’t be sent due to the forum’s account blocking rules, I’ll send it instead @Po-EthStorage.io
You can check this [document]
I’m looking for the top 100 voting delegates
[DRAFT] Alternative OP Stack Zero Knowledge Proof Mission Request
Delegate Mission Request Summary:
Implement a zero-knowledge proof system that can prove Optimism’s fault proof program through the WebAssembly(WASM) instruction set.
S5 Intent Please list the Intent your Request aligns with here:
Intent 1: Progress Towards Technical Decentralization
Proposing Delegate: be pending
Proposal Tier: Ember
Baseline grant amount: 50k OP
Should this Foundation Mission be fulfilled by one or multiple applicants: Up to 2
Submit by: To be set by Grants Council
Selection by: To be set by Grants Council
Start date: If applicable
Completion date: 5 months since grant approval.
Specification
How will this Delegate Mission Request help accomplish the above Intent?
In response to the RFP for OP Stack Zero Knowledge Proof, there are ongoing developments in two instruction sets—RISC-V by RiscZero and MIPS by O(1) Labs—to provide ZK proof of the fault-proof program of Optimism. Besides RISC-V and MIPS, WASM is a widely adopted instruction set architecture (ISA) fully supported by popular compilers, such as Go. Supporting Wasm in ZK fault proof enhances the prover diversity and thus introduces an additional security layer to the OP fault-proof system.
What is required to execute this Delegate Mission Request?
Fulfilling this mission entails developing a zero-knowledge proof (ZKP) system capable of verifying the fault-proof program of Optimism compiled in Wasm code using the Go compiler. To prove op-program-client in Wasm, we may require minor modifications to the Go compiler and op-program-client with maximum OP stack compatibility. Practical implementation involves demonstrating the proof system’s functionality by proving the state transition between two blocks in a standard configuration OP Stack chain.
The Wasm fault-proof virtual machine should support the preimage oracle syscall, enabling the loading of preimage for a specified hash into memory for program utilization. It must also verify that the hash of the preimage matches the specified hash.
Overcoming the challenge of deriving a single block using the op-program client, with potential billions of Wasm instructions, requires aggressive optimizations to reduce proving time significantly.
How should the Token House measure progress towards this Mission?
The evaluation of progress can be structured around the completion of key milestones:
-
Specification: Develop a comprehensive specification for the ZKP design, outlining the criteria that the implementation aims to fulfill.
-
PoC Check-in:
-
Demonstration of the ZK Wasm Virtual Machine (VM) executing the OP Stack state transition using wasm compiled with the op-program-client.
-
Presentation of a ZK Wasm VM demo proving the OP Stack state transition on a smoke test case (one-step derivation) of the op-program-client.
-
Executable Demo Proving OP Stack State Transition:
-
Implement the ZKP, ensuring it functions end-to-end and is seamlessly integrated with a live OP Stack chain.
-
Provide clear instructions enabling anyone to independently test the proving system and validate the OP Stack state transition between two blocks.
By achieving these milestones, Token House can effectively gauge the advancement and success of the mission.
How should badgeholders measure impact upon completion of this Mission?
- Total number of token bridges using this proof system
- Open-source ZKP research shared with the broader community making it easier for future ZKP builders
- Fees collected by provers for their proving services
Have you engaged a Grant-as-a-service provider for this Mission Request?
No.
Has anyone other than the Proposing Delegate contributed to this Mission Request? If so, who, and what parts of this application did they contribute to?
Yes. Team EthStorage, in collaboration with HyperOracle and zkWasm, has actively contributed to various aspects of this mission, including
- Compiling the op-program-client to wasm with minimal modifications to both op-program-client and zkGo.
- Implementing a continuation proving system for zkWasm.
- Developing the keccak256 host circuit.
- Implementing numerous optimizations for overall system improvement.
Contact Me
Name: Po
Email: chenjunfeng@ethstorage.io
Thank you