Show HN: Secure and Private Decentralized Messaging over Git and WebRTC

Category: security

Tags: signal-protocol, cryptography, webassembly, formal-verification, e2ee, messaging

Score: 7.3/10 (Innovation: 7, Technical: 9, Documentation: 8, Utility: 5)

A Rust implementation of the Signal Protocol (X3DH + Double Ratchet) compiled to WebAssembly for browser and Node.js use, with formal verification in F*, Rocq, Lean, and ProVerif. The combination of a production-grade crypto protocol with multi-tool formal verification and WASM delivery is technically ambitious, though the project is explicitly unaudited and has low traction.

Target audience: security engineers, cryptography researchers, frontend and backend developers building E2EE messaging

Repository: https://glitr.io/docs/technical/roadmap/ · JavaScript · AGPL-3.0 · 19 stars

View on Hacker News