Add Fiat-Crypto Support
bhgomes opened this issue · comments
Support "correct-by-construction" curve implementations from https://github.com/mit-plv/fiat-crypto in OpenZL.
Rust Crates for the Manta Network Ecosystem
bhgomes opened this issue · comments
Support "correct-by-construction" curve implementations from https://github.com/mit-plv/fiat-crypto in OpenZL.