4 ms·
AWS-LC was forked from libcrypto, but it’s also (partially) been formally verified. Comparing it to OpenSSL is a bit much.
by quadhome 2y ago
AWS-LC was forked from libcrypto, but it’s also (partially) been formally verified.
Comparing it to OpenSSL is a bit much.
- favorited 2y agolibcrypto 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 https://github.com/openssl/openssl/tree/master/crypto