Merkle Mountain Range audit ledger for tamper-evident logging and cryptographic accountability.
-
Updated
Mar 18, 2026 - Python
#
cryptographic-audit
Here are 12 public repositories matching this topic...
Runtime security & governance control plane for AI agents. Enforces per-tool authorization, OPA policy, behavioral risk scoring, blast-radius analysis, autonomy contracts, and tenant kill-switch. Every decision is ed25519-signed and Merkle-anchored for tamper-evident audit. 12 microservices, sub-30ms p95, OWASP LLM Top-10 coverage.
python multi-tenant opa ed25519 control-plane audit-log observability policy-engine ai-agents kill-switch zero-trust ai-security runtime-security fastapi llm-security agent-security mcp-security cryptographic-audit
-
Updated
Jul 14, 2026 - Python
Open-source AI agent governance kernel — cryptographic audit trails, consent-checked data access, and verifiable decision records.
python mcp compliance replay policy-engine post-quantum audit-trail sigchain ai-agent ai-governance eu-ai-act agent-memory governance-kernel cryptographic-audit cedar-policy
-
Updated
Jul 20, 2026 - Python
The world's first intelligence-agnostic anti-social network.
ai-safety ai-ethics labour-market blockchain-governance ai-alignment trustworthy-ai ai-governance domain-trust constitutional-ai trust-infrastructure governance-framework cryptographic-audit institutional-ai human-ai-coordination earned-trust anti-social-network proof-of-trust mixed-human-ai verified-work intelligence-agnostic
-
Updated
Mar 11, 2026 - Python
Sovereign AI Infrastructure — SACM Mesh, SEIT Standards, FORGE Token, 11 Agents
-
Updated
May 22, 2026
Proof-of-concept demonstrating cryptographically verifiable AI generation refusals. This repository shows how unsafe or illegal generations can be proven to have never occurred, using hash chains, signatures, and auditable evidence packs.
ietf ai-safety accountability ai-regulation ai-governance scitt cryptographic-audit ai-auditability transparency-logs refusal-provenance non-generation-proof oss-proof-of-concept
-
Updated
Jan 13, 2026 - Python
OBSIDIAN — Capital intelligence infrastructure. Adversarial multi-agent deliberation engine with constitutional governance and cryptographic provenance. Built to deliver earned conviction in contested environments. One operator. Absolute precision.
algorithmic-trading multi-agent-systems autonomous-agents anthropic anthropic-claude constitutional-ai langgraph cryptographic-audit capital-intelligence
-
Updated
May 4, 2026
World-first, publicly documented cryptographic audit trail PoC for Interactive Brokers (IBKR) trading workflows. Demonstrates event-level, tamper-evident logging with Merkle proofs, digital signatures, and independent third-party verification using VeritasChain Protocol (VCP) v1.1.
event-sourcing fintech compliance merkle-tree algorithmic-trading fix-protocol regtech interactive-brokers digital-signatures audit-trail vcp mifid-ii ibkr eu-ai-act trading-infrastructure veritaschain tamper-evident-logs cryptographic-audit verifiable-logs
-
Updated
Jan 6, 2026 - Python
Cryptographic evidence layer for agentic AI - Ed25519 signed step envelopes, transparency log, RFC 3161 anchoring. Open core.
-
Updated
May 26, 2026 - Python
An execution kernel that treats LLMs as untrusted compute and enforces policy via deterministic runtime interception.
tcg cryptography reference-monitor trusted-computing runtime-security policy-enforcement verifiable-computing llm-governance ai-accountability deterministic-ai deterministic-runtime cryptographic-audit execution-kernel proof-of-execution model-audit-trail safe-llm-execution
-
Updated
Jan 4, 2026 - Python
Formal verification sandbox for the IRONCLAD solver featuring Lean 4 algebraic proofs, deterministic verification environments, and cryptographic execution audit logs.
mathematics proof-assistant formal-verification lean4 circulant-matrices optimization-solvers cryptographic-audit mathematical-firewall
-
Updated
May 19, 2026 - Lean
Verifiable infrastructure for claims about the near-Earth orbital environment. Content-addressable provenance from Celestrak bytes to InvestigationCase, no AI.
satellite provenance open-data reproducible-science tle celestrak orbital-mechanics space-situational-awareness verifiable-claims content-addressable no-llm cryptographic-audit
-
Updated
Jul 3, 2026 - Python
Improve this page
Add a description, image, and links to the cryptographic-audit topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cryptographic-audit topic, visit your repo's landing page and select "manage topics."