Joseandro Luiz

- [ ] test syscalls (issue: https://github.com/o1-labs/proof-systems/issues/2075) - [ ] SyscallReadPreimage (Anaïs) - [ ] https://github.com/o1-labs/proof-systems/pull/2274 (in review by Danny) - [ ] https://github.com/o1-labs/proof-systems/pull/2276 (in review by Danny) - [...

- [ ] o1-labs/proof-systems#2269 (Integration, Danny+Misha) - [ ] https://github.com/o1-labs/proof-systems/pull/2279 (Blinders, Danny+Misha) - [x] o1-labs/proof-systems#2233 (Danny) - [x] o1-labs/proof-systems#2247 (Danny) - [x] o1-labs/proof-systems#2249 (Danny) - [x] o1-labs/proof-systems#2250 (Danny) - [x]...

TODO: list all soundness-related FIXMEs before starting this work.

Aggregate multiple proofs together