Exposing the generator to OCaml
Opened this issue · 0 comments
marcbeunardeau88 commented
Write an OCaml wrapper exposing the generator to OCaml
the generator is of the following type
generate_next_proof : state -> (state, proof)
where state is a state of the vm and proof a Pasta/IPA proof
the result can be assumed of fixed size