Scaling Tokamak Network ZKP

Efficient Batched Verification for Tokamak zk-SNARKs