immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

Simplifies comparing photos of tamper-evident seals and patterns using your eyes

Scalable and practical Byzantine fault detection middleware for transactional database systems

The scalable, auditable and high-performance tamper-evident log project

Small playground for ideas and mini-trees for QED

Flash is a C library and CLI for append-only, verifiable event streams stored in ".flsh" files.

A cryptographically governed, contradiction-driven ledger engine using canonical serialization, Ed25519 signatures, Merkle-root integrity, and governance-verified state transitions.

A tamper-evident, high-integrity log aggregation system written in Rust. This project implements a complete pipeline for collecting logs from distributed machines, batching and signing them, transmitting them securely, and storing them in an append-only database with end-to-end verifiable integrity.

Merkle tree and hash chain utilities for building tamper-evident audit logs in Python

A living ‘Letter to ASI’ with consent/reversibility protocols and cryptographically verifiable releases.