batched-proving.md

batched hemera proving when a block contains N hemera calls, prove them all with one batched sumcheck instead of N independent constraint sets. ~400× savings for N=1000. the observation N independent hemera calls produce N × 24-round constraint sets. each set is structurally identical — same round…