Use concrete snarky implementations for `Vector.typ` and friends

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

Use concrete snarky implementations for `Vector.typ` and friends #16357

Closed mrmr1993 closed 1 week ago

mrmr1993 commented 1 week ago

This PR builds upon https://github.com/MinaProtocol/mina/pull/16355, continuing its work by removing the dependency on Snarky_backendless.Typ from Vector.typ and its downstream Typ.ts.

mrmr1993 commented 1 week ago

!ci-build-me

mrmr1993 commented 1 week ago

!ci-build-me