[crypto] kimchi

[mimoo]

Here's the roadmap to have kimchi (fka 15-wires PLONK) integrated within Mina

Step 1: Make kimchi build / tests pass. kimchi is not building, we need to finish it. This involves fixing some of the gates and implementing some finish touches.

• fix generic gate Introduce the 15-wires PLONK code o1-labs/proof-systems#137
• fix the poseidon test Introduce the 15-wires PLONK code o1-labs/proof-systems#137
• fix poseidon sbox Introduce the 15-wires PLONK code o1-labs/proof-systems#137
• implement Maller's optimization [15-wires] implement Maller's optimization o1-labs/proof-systems#150
• unify 15-wires and 15-wires-plookup (Lookup o1-labs/proof-systems#158)

Step 2: Create Rust->OCaml bindings. To use kimchi within Mina, we need to make the Rust code accessible to OCaml code. We have a tedious, error-prone way of doing this but we want to automate this step to facilitate future updates and avoid human error.

• create automated way to generate OCaml bindings [ocaml] generate bindings from Rust code o1-labs/proof-systems#156
• create OCaml bindings for 15-wires [ocaml] generate bindings from Rust code o1-labs/proof-systems#156

Step 3: Integrate with Snarky. We use PLONK through a framework called Snarky. To integrate kimchi with Snarky, we need to write some glue code and import it into snarky as a "backend".

• rewrite serialization logic with serde [step1] implementing serialization of types via Serde o1-labs/proof-systems#160
• refactor SRSSpec/SRSValue [step2][15-wires] remove SRSSpec and SRSValue o1-labs/proof-systems#166