How frequently does the letter a appear in:
This is a thin fork of the curve25519-dalek project, authored by Isis Agora Lovecruft and Henry de Valence, in order to expose a formally verified backed end supplied by the fiat-crypto project, where primitive curve operations are extracted from Coq proofs of arithmetic correctness.
curve25519-dalek-fiat = 0.1.0
cargo build --no-default-features --features std fiat_u64_backend
Performance is a secondary goal behind correctness, safety, and clarity, but we aim to be competitive with other implementations. The new fiat_u64 backend incurs a 8-15% slowdown compared to the original u64 backend, depending on the EdDSA operation.
user
The text includes 40 "a"s in total.
assistant