Comment on Rustls Outperforms OpenSSL and BoringSSLparentComments−quadhome1yAWS-LC was forked from libcrypto, but it’s also (partially) been formally verified.Comparing it to OpenSSL is a bit much.−favorited1ylibcrypto is core component of the OpenSSL toolkit, and its source tree is part of the OpenSSL repo: https://github.com/openssl/openssl/tree/master/crypto
Comments
AWS-LC was forked from libcrypto, but it’s also (partially) been formally verified.
Comparing it to OpenSSL is a bit much.
libcrypto is core component of the OpenSSL toolkit, and its source tree is part of the OpenSSL repo: https://github.com/openssl/openssl/tree/master/crypto