Skip to content

Pull requests: awslabs/s2n-bignum

New pull request New
17 Open 300 Closed
17 Open 300 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Resolve #350, bump HOL Light version, add a memory safety example to tutorial
#355 opened Feb 18, 2026 by aqjune-aws • Draft
1
Optimized ALT AVX2 Keccak X4 implementation, spec, and proof
#354 opened Feb 17, 2026 by manastasova Loading…
ML-DSA Inverse NTT proof for Arm
#353 opened Feb 17, 2026 by dkostic Loading…
ML-DSA Forward NTT proof for Arm
#352 opened Feb 17, 2026 by dkostic Loading…
Arm: Add Neon instructions for mldsa-native polyz_unpack
#351 opened Feb 15, 2026 by mkannwischer Loading…
x86: Add missing instructions for ML-KEM compressions
#349 opened Feb 12, 2026 by mkannwischer Loading…
ML-DSA x86 AVX2 nttunpack CORRECT and SAFE proofs
#348 opened Feb 5, 2026 by jakemas Loading…
Add vpaddq x86 instruction
#347 opened Feb 5, 2026 by dkostic Loading…
x86: Add missing instructions for ML-KEM decompressions
#346 opened Feb 5, 2026 by mkannwischer Loading…
ML-DSA x86 and Aarch64 Pointwise Proofs (bootcamp prep)
#345 opened Feb 4, 2026 by jakemas • Draft
Arm64: Add vector ABS, CMGE, and UMAXV instructions
#344 opened Feb 4, 2026 by mkannwischer Loading…
AVX2 VMOVHPD
#342 opened Jan 27, 2026 by manastasova Loading…
chore: improve HOL Light path detection and update gitignore
#336 opened Jan 9, 2026 by arademaker Loading…
15
Add AES-XTS assembly implementation and proofs
#331 opened Dec 23, 2025 by pennyannn Loading…
9
Support read-only section for curve25519_x25519base_byte.S
#247 opened Jun 26, 2025 by VlkrS Loading…
5
Add read-only data support for x86 of ELF
#242 opened Jun 15, 2025 by aqjune-aws Loading…
5
Feature request: p256 avx2 affine point table selection
#148 opened Sep 26, 2024 by ctz Loading…
5
ProTip! Exclude everything labeled bug with -label:bug.