Closed mrmr1993 closed 2 weeks ago
This PR extracts the snarky implementations from kimchi_backend, allowing us to switch over to a concretised Typ.t in preparation for the transition to a rust snarky backend.
kimchi_backend
Typ.t
!ci-build-me
This PR extracts the snarky implementations from
kimchi_backend
, allowing us to switch over to a concretisedTyp.t
in preparation for the transition to a rust snarky backend.