mit-plv/fiat-crypto v0.0.10

Fiat Cryptography v0.0.10

on GitHub

What's Changed

• Zig:
  • use @import("builtin") instead of the deprecated reexport
• Rust:
  • Add conditional no_std to Cargo.toml
  • allow(non_camel_case_types) is now an inner attribute
• JSON:
  • Fix bitwidths by avoiding rounding
• Coq:
  • Bump minimum Coq dependency to 8.11
  • Edwards-Montgomery isomorphism proof
• experimental x86 assembly symbolic equivalence checker

New Contributors

• @DIJamner made their first contribution in #1028
• @talkon made their first contribution in #1050
• @brycx made their first contribution in #1073

Full Changelog: v0.0.9...v0.0.10