workflow for extraction from fiat

mirage / mirage-crypto

Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

ISC License

77 stars 43 forks source link

Open hannesm opened 3 years ago

hannesm commented 3 years ago

atm it is a Makefile in ec/native, it could use the fiat-crypto coq-opam package (see https://github.com/mirage/mirage-crypto/pull/101#issuecomment-773463773) and be done / checked by CI

hannesm commented 9 months ago

There could also be automation to track the boringssl crypto/curve25519 directory and receive notification on changes.