To build the necessary images, first run:

make docker_build

Beware that this takes quite a bit of storage, so if you're using Docker for Mac, you're advised to increase to at least 100GB the "Virtual disk limit" size.

To run the whole stack, including initialization, run:

make docker_up

This will bring app the resources and run the common initialization steps.

If you want to bring it down, run:

make docker_down

If you want to rebuild any of the components, you can run either of these:

make docker_build_aggregator

make docker_build_operator

make docker_build_batcher

If you want to rebuild and then restart any of these components without bringing down the docker environment, just run either of these, after rebuilding:

make docker_restart_aggregator

make docker_restart_operator

make docker_restart_batcher

Alternatively, you can run make docker_down, then rebuild, and then make docker_up to start over with a fresh environment.

Additionally, you can run any of these to send proofs (burst of 2 each):

make docker_batcher_send_sp1_burst

make docker_batcher_send_risc0_burst

make docker_batcher_send_plonk_bn254_burst

make docker_batcher_send_plonk_bls12_381_burst

make docker_batcher_send_infinite_gnark_groth16

Or you can send all of them together with:

make docker_batcher_send_all_proofs_burst

To verify all sent proofs:

make docker_verify_proofs_onchain

And you can run this to attach to the anvil/foundry container and run cast with custom flags:

make docker_attach_foundry

You can watch logs for the components with the following commands:

make docker_logs_anvil

make docker_logs_aggregator

make docker_logs_operator

make docker_logs_batcher