8000 Release v2.1 · GaloisInc/cryptol-specs · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

v2.1

Latest
Latest
Compare
Choose a tag to compare
@marsella marsella released this 09 May 14:05
· 21 commits to master since this release
v2.1
ce995d3
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

This release fixes several bugs found after the 2.0 release.

  • Refactors prime-field elliptic curve to only call recip when necessary, to simplify code generation
  • Simplifies modular division implementation used in prime-field elliptic curves
  • Fixes a bug in RFC5297 related to the AES directory structure rearrangement
  • Defines some internal functions for XMSS
  • Adds a SAW proof script to prove a property of AES that was previously only checked
Assets 2
Loading
0