# Architecture overview

Last updated

Last updated

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.