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
- 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