Architecture overview

The figure below shows the current Maru volume proving architecture, which consists of three main components:

• Prover Network implements circuits for each requested block range to prove volume of target DEX Pool that includes receipt from Ethereum Node. We generate proofs of requested block range to prove volume of trade pool. Our circuits prove integrity of Keccak, volume summation that includes arithmetic addition operating on 256 bit values, data integrity from receipts, transactions and integrated application logic. To minimize proof size and proving time, and on-chain verification cost, the prover network aggregate proofs required for Plonky2 verifier in Gnark.

• Plonky2 verifier in Gnark consumes a SNARK proof from Plonky2 along with public inputs, and it generates a Groth16 proof for verification within contracts deployed on the Ethereum Network.

• Verifier Contracts on connected Ethereum Network accept zk-verified proof from Gnark generated by the Plonky2 verifier in Gnark, then feed the verified information ZK-verifier contracts.

Maru volume proof architecture