awslabs/s2n-bignum
View on GitHub ↗ ★ 244 OCaml
4 mentions on Hacker News by 4 people: 1 story, 3 comments · first 2024-07-21 · latest 2025-06-10
20082026
-
Not in Coq, but you might find this interesting from AWS: https://github.com/awslabs/s2n-bignum?tab=readme-ov-file#tes...
comment by ecesena · 2025-06-10 · in Ask HN: What cool skill or project interests you, but feels out of reach? -
…(not least Graviton!) ... and those optimizations are formally generated or formally verified (see https://github.com/awslabs/s2n-bignum and https://github.com/awslabs/aws-lc-verification for directly related work) and also make massive…
comment by colmmacc · 2024-10-22 · in Rustls Outperforms OpenSSL and BoringSSL -
…to thwart side-channel attacks that infer secret information from the durations of computations. https://github.com/awslabs/s2n-bignum (where most of the heavy lifting is done, per the article) further explicitly states that "Each function…
comment by vitus · 2024-09-13 · in Better-performing “25519” elliptic-curve cryptography