Commands

Execute programs

Execute the programs without generating proofs:

cargo run --release --bin zkapp -- --execute
cargo run --release --bin bridge -- --execute
cargo run --release --bin withdraw -- --execute

Use larger fixtures:

cargo run --release --bin bridge -- --execute --input proofs/bridge-input-200.json
cargo run --release --bin withdraw -- --execute --input proofs/withdraw-input-200.json

Generate proofs

cargo run --release --bin bridge -- --prove
cargo run --release --bin withdraw -- --prove

Run tests

cargo test -p bridge-program fixture_deposit_matches_zeko_action_state
cargo test -p withdraw-program
cd contracts && forge test --offline

Run the o1js fixture

cd tools/zeko-action-state
npm install
npm start

Bridge fixture checkpoint

proofs/bridge-input.json contains three deposits:

before: 0x3772bc5435b957f81f86f752e93f2e29e886ac24580b3d1ec879c1dad26965f9
after : 0x3d638b908c4241e7b417d1790a79d0fe3277a133a5a87e12a484cd756de795bf