Proving Moonchain Blocks
Proving Moonchain Blocks
Section titled “Proving Moonchain Blocks”On the Moonchain zkEVM, the process of proving blocks ensures the ability to withdraw state out of the rollup through bridges. Here’s how it works:
Zero-Knowledge Provers
Section titled “Zero-Knowledge Provers”The purpose of proving blocks is to enable bridges to verify that state transitions within the rollup were executed correctly. On Moonchain, any participant can operate as a prover, permissionlessly running a Supernode to examine proposed blocks and generate proofs for them.
Process Overview
Section titled “Process Overview”- Block Examination
- Provers examine proposed blocks on the MCHzkL1 contract to ensure they adhere to protocol rules and consensus mechanisms.
- Proof Generation
- Validated blocks are then processed to generate cryptographic proofs that attest to their correctness. These proofs are essential for verifying state transitions within the rollup.
- Reward Mechanism
- Only the first prover who seccessfully generates a valid proof for the correct fork choice (state transition) receives the reward in $MCH tokens. This incentivizes efficien tand accurate proof generation.
Zero-Knowledge States
Section titled “Zero-Knowledge States”Blocks on Moonchain progress through three distinct states:
- Proposed: Blocks are initially proposed awaiting validation
- Proved: Once validated and proven by a prover, blocks transition to the provided state, indicating that they have a valid cryptographic proof.
- Verified: Verified blocks have undergone further verification processes, ensuring complete validation of state transitions.
Below is a visualization depicting the three stages (Proposed —> Proved —> Verified).
This approach ensures the integrity and reliability of state transitions within the Moonchain zkEVM ecosystem, supporting secure and efficient blockchain operations.