A real browser opens an HTTPS page served by a binary whose every cryptographic transform — key exchange, signature, encryption, hash — is machine code emitted by a small, proof-carrying language. No OpenSSL. And the browser can't tell the difference.