o1-labs / snarky

OCaml DSL for verifiable computation
MIT License
496 stars 74 forks source link

Add defining constants to Sponge Intf #683

Closed mitschabaude closed 1 year ago

mitschabaude commented 1 year ago

With the goal of auto-generating all constants which define Poseidon behaviour from the OCaml source (for https://github.com/o1-labs/snarkyjs/pull/572), this PR adds three such constants to sponge/intf.ml, namely, alpha, the state_size and the rate