Mirror of BoringSSL
Browse cluster: Lean4 Formal Verification & Cryptography →BoringSSL is a fork of OpenSSL designed to meet Google's needs, currently serving as the SSL library in Chrome/Chromium, Android, and other applications. The project is built in C with supporting tooling in Go and Perl, including components for cryptographic object identifier generation, assembly code generation across multiple formats, certificate path building and verification (PKI), and security advisory documentation. Google maintains BoringSSL to avoid the complexity of maintaining numerous patches across multiple copies of OpenSSL, and while open source, it is not intended for general third-party use due to lack of API or ABI stability guarantees.