Skip to content

README.md

Latest commit

 

History

History
71 lines (48 loc) · 1.42 KB

README.md

File metadata and controls

71 lines (48 loc) · 1.42 KB

Aligned aggregation mode

How to run it locally

  1. Deploy aligned contracts on anvil:
make anvil_deploy_risc0_contracts
make anvil_deploy_sp1_contracts
make anvil_deploy_aligned_contracts
  1. Start anvil:
make anvil_start
  1. Start batcher
make start_batcher_local
  1. Send SP1/Risc0 proofs:
make batcher_send_sp1_burst
make batcher_send_risc0_burst

Notes:

  • For SP1 only compressed proofs are supported
  • For Risc0 both succinct and composite proofs are supported.
  1. Start proof aggregator:
# This will not run a real prover but a mocked one see below to run a real prover
make start_proof_aggregator_dev AGGREGATOR="sp1|risc0"

or

make start_proof_aggregator AGGREGATOR="sp1|risc0"

Notes:

  • Stark2Snark is only supported for x86 architecture in Risc0, so you won't be able to run the risc0 aggregator on Apple Silicon.
  • Proving can be quite slow without GPUs, to activate gpu run:
make start_proof_aggregator_gpu AGGREGATOR="sp1|risc0"

Check the logs

  1. Get latest aggregated proof:
cast call 0x1429859428C0aBc9C2C47C8Ee9FBaf82cFA0F20f "currentAggregatedProofNumber()" --rpc-url http://localhost:8545
  1. Get aggregated proof info:
cast call 0x1429859428C0aBc9C2C47C8Ee9FBaf82cFA0F20f "getAggregatedProof(uint64)(uint8,bytes32,bytes32)" <AGG_PROOF_NUMBER>  --rpc-url http://localhost:8545