Request: Instructions to reproduce fiat-crypto files

RustCrypto / elliptic-curves

Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2

643 stars 175 forks source link

Request: Instructions to reproduce fiat-crypto files #1007

Open jhand2 opened 7 months ago

jhand2 commented 7 months ago

Would it be feasible to document the configurations were used to generate the fiat-crypto arithmetic used in this crate? In particular:

In particular:

Which version of fiat-crypto was used as the source
Which version of fiat-constify was used

This would help to be able to ensure the files in this crate match some specific fiat-crypto release.

tarcieri commented 7 months ago

We can have fiat-constify at least embed a comment in the transformed files.

It's somewhat annoying that in all of the comments fiat-crypto generates about its inputs, it doesn't include its own version. That might be something worth reporting upstream?

tarcieri commented 7 months ago

Something that might be interesting (especially as I'm pondering upgrading all of the backends) is turning fiat-constify into a tool that automates the entire code generation process, possibly with some kind of config file checked into the repo that says which of the various codegen options to use