-
Notifications
You must be signed in to change notification settings - Fork 45
Pull requests: awslabs/s2n-bignum
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add ARM NEON instructions BIF and REV32 (vector)
#406
opened May 12, 2026 by
nebeid
Contributor
Loading…
Add program_equivalence.md which explains the proof structures of program equivalence in s2n-bignum
#405
opened May 12, 2026 by
aqjune-aws
Collaborator
Loading…
ML-DSA x86 HOL-Light proof mldsa_caddq
#398
opened Apr 28, 2026 by
jakemas
Contributor
Loading…
7 tasks done
Add NIST GHASH <-> POLYVAL bridge (Gueron Proposition 1)
#396
opened Apr 24, 2026 by
nebeid
Contributor
Loading…
gcm_gmult_v8 against NIST specs & proofs
#390
opened Apr 14, 2026 by
manastasova
Contributor
Loading…
ML-DSA Aarch64 HOL-Light proof poly_use_hint_88
#375
opened Mar 13, 2026 by
jakemas
Contributor
Loading…
ML-DSA Aarch64 HOL-Light proof poly_use_hint_32
#372
opened Mar 13, 2026 by
jakemas
Contributor
Loading…
Additional general-size modulus operations for secp256k1
#358
opened Feb 25, 2026 by
jargh
Contributor
Loading…
OCaml version robustness and more refined exception traps
#357
opened Feb 25, 2026 by
jargh
Contributor
Loading…
chore: improve HOL Light path detection and update gitignore
#336
opened Jan 9, 2026 by
arademaker
Loading…
Support read-only section for curve25519_x25519base_byte.S
#247
opened Jun 26, 2025 by
VlkrS
Loading…
Feature request: p256 avx2 affine point table selection
#148
opened Sep 26, 2024 by
ctz
Contributor
Loading…
ProTip!
Updated in the last three days: updated:>2026-05-16.