mit-plv/fiat-crypto v0.0.19

Fiat Cryptography v0.0.19

on GitHub

Compatible with Coq 8.15 and 8.16 and probably 8.17, requires OCaml >= 4.08

Breaking changes

• secp256k1_{,scalar_}{32,64} has been renamed to secp256k1_montgomery_{,scalar_}{32,64} and secp256k1_dettman_* has been added

What's Changed

• CLI stuff for dettman multiplication function by @OwenConoly in #1550

Full Changelog: v0.0.18...v0.0.19