o1-david

Results 7 issues of


                                            o1-david

Audit izaak's pickles types file

Review ffAdd

1

comment

Simplify ProofEvaluations

https://github.com/MinaProtocol/mina/pull/11567

simplify camlF bindings

https://github.com/MinaProtocol/mina/pull/11404

david reviews ffmul PR

see how much code we can remove in kimchi_backend (Starting with plonk_constraint_system)

fix all-zero public input

2

comment

berkeley-rampup