Rework `Pickles.Composition_types.Spec` to handle distinct snarky instances

MinaProtocol / mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

https://minaprotocol.com

Apache License 2.0

2k stars 528 forks source link

Rework `Pickles.Composition_types.Spec` to handle distinct snarky instances #16353

Closed mrmr1993 closed 1 week ago

mrmr1993 commented 1 week ago

This PR converts the generalized helpers in Pickles.Composition_types.Spec to functors, instantiating them by default with the step and wrap snarky instances for pickles.

This allows for more straightfoward manipulation of the Typ.ts for each instance, which in turn allows for integration with the rust snarky backend.

mrmr1993 commented 1 week ago

!ci-build-me