Spartan: High-speed zkSNARKs without trusted setup

zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA

EigenLayer Rust Developer Tooling

A proof of concept of an interactive VDF-based proof of latency between two participants

An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.

Open, offline, tamper-evident provenance for AI models, agents, and quantum workloads — prove what ran, on what hardware, under whose authorization. Vendor-neutral .qcap standard, reference CLI, Apache-2.0. ML-DSA-87 signatures.

Efficient Verifiable Differential Privacy with Input Authenticity in the Local and Shuffle Model

Cross-domain meta-framework defining minimum requirements for cryptographically verifiable AI decision provenance. Maintained by VeritasChain Standards Organization (VSO).

Verifiable work delegation and ENS (Ethereum Name Service) indexing

User-owned internet infrastructure for identity, apps, storage, routing, compute, publishing, and proof-backed payments.

Client agent for Wholesum network

An execution kernel that treats LLMs as untrusted compute and enforces policy via deterministic runtime interception.

Universal Governance Kernel (UGK): a stdlib-only Python constitutional governance substrate with receipt-before-effect execution, hash-chained receipts, fail-closed verification, and release continuity proofs.

Provider-neutral AI memory infrastructure with portable context, local-first custody, and verifiable receipts.

ER1 — Epistemic Receipt v1: an open, offline-verifiable proof of the constraint-state an autonomous AI agent's action was produced under.

This repository defines the protocols for **Helix-TTD Identity & Custody**. It enforces a strict "No Orphaned Agents" policy by binding every AI agent to a cryptographic root held by a human custodian.