Fiat Cryptography v0.0.21

Compatible with Coq 8.16, 8.17, 8.18 requires OCaml >= 4.08

Rust crate is now v0.2.*, using newtype structs for typedefs

What's Changed

• Generate p521_32 by @JasonGross in #1594
• Add a constant-time binary extended GCD algorithm. by @jadephilipoom in #1597
• Garagedoor Prettification by @samuelgruetter in #1598
• remove some dead code from garagedoor funcs, tidy by @andres-erbsen in #1619
• Optimize dettman algorithm by @OwenConoly in #1601
• Generalize dettman algorithm by @OwenConoly in #1608
• Prove dedicated doubling for Edwards curves by @andres-erbsen in #1607
• Spec & proof for add_precomputed by @bMacSwigg in #1622
• Use carry_add in AddPrecomputed by @bMacSwigg in #1638
• Pipe through carry_add function by @bMacSwigg in #1635
• Pipe through carry_sub function by @bMacSwigg in #1641
• Debugging
  • Print more casts when stringification fails by @JasonGross in #1634
• C
  • Exclude curve25519_64_msvc.c by @JasonGross in #1593
• Rust
  • Rust: Create newtype structs for typedefs by @divergentdave in #1623
• Zig
  • Minor changes to the build.zig files to prepare for Zig 0.11 by @jedisct1 in #1588
  • Update for Zig 0.11.0 by @jedisct1 in #1611
• MacOS
  • Use 66520 for stack size limit for MacOS compat by @JasonGross in #1586
• Coq Compat

• Adapt w.r.t. coq/coq#17564. by @ppedrot in #1603
• Qualifying M.eq coming from MontgomeryCurve by @herbelin in #1627

New Contributors

• @bMacSwigg made their first contribution in #1622
• @divergentdave made their first contribution in #1623

Full Changelog: v0.0.20...v0.0.21