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.

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

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

Verifiable work delegation and ENS (Ethereum Name Service) indexing

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

78-day on-chain tarot ARG on TON + Solana. Answer fingerprints publish before submissions - verify fairness yourself. No RNG, no pay-to-win, zero npm deps. EN-first open docs + runnable verify CLIs.

Machine-checked Lean 4 proofs behind Verdifax audit bundles: canonical-encoding determinism, injectivity, and manifest binding — cited and reproducible in every audit record.

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

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.

Client agent for Wholesum network

Verifiable TxLINE soccer prediction-market resolution receipts on Solana.

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

Human-centered AI specs focused on auditable, controlled, and transparent systems across governance, orchestration, and civic infrastructure. A Specification Branding License is negotiable for attribution-free deployment, with pricing based on size and scope of implementation.

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.