Cryptographic algorithms are crucial for online security, and at Amazon Web Services (AWS), we develop cryptographic algorithms in our open-source library, AWS LibCrypto (AWS-LC), based on Google’s BoringSSL project. We recently enhanced our x25519 and Ed25519 algorithms for improved performance and security. By combining automated reasoning and optimization techniques, we made significant gains in efficiency and correctness across various CPU architectures. We prioritize constant-time execution to prevent side-channel attacks. Our work in proving correctness and microarchitecture optimizations resulted in substantial performance improvements. Developers can access AWS-LC through bindings in Java and Rust, as well as contributions to the Python standard library. Follow us for more updates and optimizations in the future.
https://www.amazon.science/blog/better-performing-25519-elliptic-curve-cryptography