chore(l2): docker and production polish#9

Closed

Zena-park wants to merge 16 commits intopr/zk/03-zk-dex-e2efrom

pr/zk/04-docker-polish

Commits on Mar 1, 2026

feat(zk-dex): rewrite SP1 binary to use DexCircuit + AppProgramInput
Zena-park
committed
feat(zk-dex): convert ProgramInput to AppProgramInput in serialize_input
Zena-park
committed
fix(zk-dex): resolve SP1 guest crash and add Timelock VK registration
Zena-park
committed
fix(zk-dex): modularize handlers and fix SP1 proof verification (00e)
Zena-park
committed
feat(zk-dex): implement full circuit with 7 new operations
Zena-park
committed
feat(zk-dex): improve Docker tools stability, add withdrawal claim UI, and rebrand to TokamakAppL2
Zena-park
committed
docs(zk-dex): add SP1 ZK-DEX infrastructure cost analysis
Zena-park
committed
docs(zk-dex): update progress and E2E design docs with Phase 4 work
Zena-park
committed
feat(l2): make early batch commit conditional on prover idle state
Zena-park
committed
feat(zk-dex): add on-chain claim status check to withdrawal tracker
Zena-park
committed
fix(docker): improve build caching and fix compilation errors
Zena-park
committed
refactor(docker): rename Docker services from ethrex to tokamak-app
Zena-park
committed
style(l2): run cargo fmt on docker polish code
Zena-park
committed

Commits on Mar 2, 2026