Merge master into coda - Githubissues

o1-labs / snarky

OCaml DSL for verifiable computation

MIT License

496 stars 74 forks source link

Merge master into coda #684

Closed mitschabaude closed 1 year ago

mitschabaude commented 1 year ago

add defining constants to the sponge intf
alpha in two missing places