search

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
717 stars 147 forks source link

Add some more ZRangeProofs #1766

Closed JasonGross closed 11 months ago

JasonGross commented 11 months ago

For https://github.com/mit-plv/fiat-crypto/pull/1761