search

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 529 forks source link

[Trivial] Stop using `Snarky.As_prover0` and `Snarky.Types.Typ` everywhere #16360

Closed mrmr1993 closed 6 days ago

mrmr1993 commented 1 week ago

This PR extends https://github.com/MinaProtocol/mina/pull/16359, removing all remaining references to As_prover0 and Snarky.Types.Typ everywhere. This finally allows us to make these types opaque so that they can be forwarded from rust.

mrmr1993 commented 1 week ago

!ci-build-me

volhovm commented 1 week ago

!ci-build-me

mrmr1993 commented 6 days ago

!ci-build-me