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

Tamper-evident evidence and verification layer for AI agents. Verify any agent's session offline with just openssl. No cloud, no lock-in.

The open protocol for cryptographically sealed audit records of autonomous AI operations. SHA3-256 + Ed25519 + hash chain. Spec, conformance suite, and reference implementations in Python and TypeScript.

Open protocol for signed, verifiable machine decisions. Ed25519 receipts, hash-chained audit trails, in-toto predicate type. 2 IETF Internet-Drafts. Apache-2.0.

ARI — Artificial Reasoning Intelligence. Personal AI operating system with 7-layer architecture, three-pillar cognition (LOGOS/ETHOS/PATHOS), constitutional governance, and tamper-evident SHA-256 audit trails. Local-first. Multi-agent. TypeScript.

https://forgeproof.flyingcloudtech.com

Drop-in cryptographic audit trail for Cloudflare Project Think agents. Every lifecycle hook becomes a tamper-evident, hash-chained receipt anchored to a public ledger no operator controls. HIPAA / EU AI Act / SOC 2 / FedRAMP-grade audit trail at less than a thousandth of a cent per receipt.

Reference architecture for fail-open, witness-only evidence systems with independent verification and public settlement.

Append-only trust layer for AI agent actions with offline verification, tamper detection, and portable proof bundles.

Small playground for ideas and mini-trees for QED

Cryptographic evidence layer for AI agents. Ed25519-signed, SHA-256-chained audit logs anyone can verify offline.

An Identity, Security, and Governance Framework for autonomous agents

Capsule Protocol integration for LiteLLM. Automatic cryptographic audit trail for every LLM call.

Go verifier for the Capsule Protocol Specification (CPS). Canonical JSON, SHA3-256, Ed25519. Passes all 16 golden vectors.

Tamper-evident memory & decision lineage for AI agents. Cryptographic proof of what your agent knew. Powered by a hybrid Python/Rust (Direct-Silicon) core.

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