Fiat Cryptography v0.0.4

A pre-release which contains C and Rust code for 32-bit p448. (Although it currently uses uint128.)

Fiat Cryptography v0.0.3-beta4

Try publishing again for an updated Rust crate

Fiat Cryptography v0.0.3-beta3

Try again to auto-bump crate version

Fiat Cryptography v0.0.3-beta2

Slightly better documentation in Rust crate

Fiat Cryptography v0.0.3-beta

Try publishing again for an updated Rust crate

Fiat Cryptography v0.0.3-alpha

Draft release to get an updated Rust crate that includes better documentation

Fiat Cryptography v0.0.2-beta

Showing off the new Bedrock2 backed and the reflective rewriter, plus more language backends (e.g., Rust)

Fiat Cryptography v0.0.2-alpha

Pre-release Fiat Cryptography, P256 code is about 10% more efficient than the previous (pre-)release, and the bedrock2 backend works now

Fiat Cryptography v0.0.1-alpha

Pre-release Fiat Cryptography (primarily to get a rust crate published)