Daily C++ practice repository
Tamper-evident, verifiable append-only logs & maps for TypeScript — RFC 6962 Merkle trees with inclusion & consistency proofs, Ed25519 signed checkpoints, and a sparse Merkle verifiable map. Zero dependencies.
Python object-oriented implementation of hash tree, originally used as a module in university project
Self-hostable, single-binary transparency log — an append-only, cryptographically verifiable (RFC 6962 Merkle) record service with Ed25519-signed tree heads. JVM-native via GraalVM. Etched in — can't be erased.
Verify a newer signed log head extends an older one, with proof shape derived from the two sizes
Browser-based Key Transparency demo — append-only authenticated map, IETF KEYTRANS. E2EE answers "can anyone read this?" — not "whose key did I encrypt to?" Watch a server equivocate, then build the Merkle consistency proofs and gossip that make the lie findable. The missing layer under X3DH, Double Ratchet, and MLS. No backends. No simulated math.
To associate your repository with the consistency-proof topic, visit your repo's landing page and select "manage topics."