Releases: verbose-org/verbose
Releases · verbose-org/verbose
v0.9.0 — TLS 1.3, and a real browser renders HTTPS from Verbose machine code
v0.9.0 — TLS 1.3, and a real browser renders HTTPS from Verbose machine code
The cryptographic chantier lands in full. Two arcs.
TLS 1.3 stack (PR #80):
- AES-128-GCM AEAD (byte-for-byte vs NIST GCM TC2), HMAC-SHA256 (RFC 4231),
HKDF Extract+Expand (RFC 5869). - X25519 (RFC 7748): 10-limb field arithmetic over GF(2^255-19), 255-step
Montgomery ladder via recursion + decreasing proof. - Ed25519 (RFC 8032): SHA-512, twisted-Edwards [n]P, sc_reduce/sc_muladd;
all three section 7.1 vectors pass on sign + public_key. - TLS 1.3 key schedule + record layer; two live servers (PSK-DHE and
cert-based Ed25519) validated bit-for-bit against openssl s_client.
P-256 ECDSA + real Chrome HTTPS (PR #82):
- GF(p256) Montgomery CIOS arithmetic, P-256 add/double, scalar mult, mod-n
inverse, ECDSA-P256-SHA256 (RFC 6979 deterministic, DER, low-s) — A.2.5
vectors exact, openssl dgst -verify OK. - A real Chrome renders an HTTPS page ("Hello from Verbose TLS") served by a
100% Verbose-emitted x86-64 binary, validated via chrome-devtools. - Size optimizations at no CPU cost: p256_ninv 11.2 MB -> 84 KB (131x),
x25519_finish 1.3 MB -> 42 KB (31x).
All cryptography is native Verbose machine code; the host does socket I/O and
record framing only. 390/390 tests. 67 commits since v0.8.0.
tar xzf verbosec-linux-x86_64.tar.gz
./verbosec-linux-x86_64 --versionNo Rust installation needed. Zero dependencies.
