search

o1-labs / snarky

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

[part1] Generalize Typ.t over Cvar.t #791

Closed mrmr1993 closed 1 year ago

mrmr1993 commented 1 year ago

This PR generalizes Typ.t over Cvar.t, by adding a type parameter.

This also makes some tweaks to the functors and module types to make it easier to port this to Mina.

mimoo commented 1 year ago

mina side: https://github.com/MinaProtocol/mina/pull/12675

github-actions[bot] commented 1 year ago

Stale pull request message