Hacker News
- Better-performing “25519” elliptic-curve cryptography https://www.amazon.science/blog/better-performing-25519-elliptic-curve-cryptography 89 comments
Linking pages
- Prevent factual errors from LLM hallucinations with mathematically sound Automated Reasoning checks (preview) | AWS News Blog https://aws.amazon.com/blogs/aws/prevent-factual-errors-from-llm-hallucinations-with-mathematically-sound-automated-reasoning-checks-preview/ 37 comments
- An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain | AWS Security Blog https://aws.amazon.com/blogs/security/an-unexpected-discovery-automated-reasoning-often-makes-systems-more-efficient-and-easier-to-maintain/ 13 comments
Linked pages
- Karatsuba algorithm - Wikipedia https://en.wikipedia.org/wiki/Karatsuba_algorithm 103 comments
- Introducing AWS Libcrypto for Rust, an Open Source Cryptographic Library for Rust | AWS Open Source Blog https://aws.amazon.com/blogs/opensource/introducing-aws-libcrypto-for-rust-an-open-source-cryptographic-library-for-rust/ 6 comments
- Elliptic curve - Wikipedia http://en.wikipedia.org/wiki/Elliptic_curve 4 comments
- GitHub - awslabs/s2n-bignum https://github.com/awslabs/s2n-bignum 2 comments
- https://gcd.cr.yp.to/safegcd-20190413.pdf 1 comment
- Formal verification makes RSA faster — and faster to deploy - Amazon Science https://www.amazon.science/blog/formal-verification-makes-rsa-faster-and-faster-to-deploy 1 comment
- Modular multiplicative inverse - Wikipedia https://en.wikipedia.org/wiki/Modular_multiplicative_inverse 0 comments
Related searches:
Search whole site: site:amazon.science
Search title: Better-performing “25519” elliptic-curve cryptography - Amazon Science
See how to search.