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

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.

https://forgeproof.flyingcloudtech.com

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.

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

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

Small playground for ideas and mini-trees for QED

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

An Identity, Security, and Governance Framework for autonomous agents

Open-source SDK and CLI for tamper-evident audit logging. Standalone verification, no server required.

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

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

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

Governed runtime for AI coding agents. Claims require evidence, decisions produce receipts, and every action goes through the ledger.

Signed, verifiable action receipts for humans + agents (Ed25519 JWT + tamper-evident chain)

Evidex is a command-line tool designed to capture and verify the integrity of collections of files. It produces deterministic manifests and tamper-evident audit logs so that the state of digital evidence can be verified later