Make any HTTPS session cryptographically verifiable. No server changes. No trusted hardware. Prove what you received — reveal only what you choose.
RFC-style definition. Threat model, architecture, and proof system requirements. Approach-agnostic.
VOLEitH + 3P-TLS in Rust. Complete, runnable, post-quantum secure. Apache 2.0 / MIT licensed.
Vendor-neutral ground for all implementations. One interoperable standard for verifiable web data.