Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
#

cryptographic-proof

Here are 15 public repositories matching this topic...

Formal verification of the Kevros AI Governance Enforcement Kernel. 1.94B states exhaustively checked (TLC), 20 machine-checkable theorems (Lean 4, 0 sorry), 71 proofs across 6 layers, zero violations.

  • Updated Apr 11, 2026
  • Lean

The is a forensic auditing system designed to detect, measure, and document systematic degradation of technical truth in corporate AI models. Through rigorous application of information theory, thermodynamic principles, and cryptographic sovereignty, quantifies censorship.

  • Updated Jan 14, 2026
  • Python

Cryptographic authorship proof for web developers. UUID + invisible watermarks + Bitcoin blockchain timestamping via OpenTimestamps. Court-admissible, free, zero vendor lock-in.

  • Updated May 7, 2026
  • Shell

CPP (Capture Provenance Profile) - Open specification for cryptographic proof of media capture events. Features RFC 6962 Merkle trees for deletion detection, RFC 3161 timestamping, and optional ACE (Attested Capture Extension) for zero-knowledge biometric attestation. Part of the VAP Framework.

  • Updated Jan 30, 2026
  • Python

ARCHIVED - The κ₀-Unified-Singularity-Lattice (USL-6) is an 8-module thermodynamic and governance framework that unifies six independent traditions into a single falsifiable architecture.

  • Updated May 7, 2026

Improve this page

Add a description, image, and links to the cryptographic-proof topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cryptographic-proof topic, visit your repo's landing page and select "manage topics."

Learn more

Morty Proxy This is a proxified and sanitized view of the page, visit original site.