- [x] verifier continuation https://github.com/scroll-tech/ceno/pull/1084 - [x] `>1` proofs of a chip https://github.com/scroll-tech/ceno/pull/1126#discussion_r2522105577 - [x] ecc verifier missing zero check https://github.com/scroll-tech/ceno/pull/1130
>1proofs of a chip feat: multiple instances of a circuit in single shard #1126 (comment)