verifiable-computing

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

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).

Official Solana CA: EknDj8VZUHL6FhV9pSk3m6xP2U2sDzwjRDVstKeQpump | Verifiable context delivery infrastructure for AI, MCP tools, and sovereign memory.

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.

Confidential, verifiable AI inference paid on consumer GPUs and settled on a sovereign Cosmos SDK L1.

Verifiable agent memory: a hash-chained, on-chain-anchored (BSV via bsv.cx) AI action log anyone can verify, trusting no one.

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

Fork-a-Pond: stand up your own signed, cold-verifiable SAVA pond and join the A.C.S.A. lake — no install, just python3.

The ACSA engine — SAVA (self-verifying), Confluence (self-preserving), NT (self-running). Reference tools, sandbox, and tests.

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.

Adopt ACSA — pull verified, re-derivable facts into your AI agents. Pitch, 5-minute quickstart, integration guide, and a ready-to-fork demo pond.

Predict football match odds for eight European leagues, scored against Pinnacle's closing line.

Re-executable certificates for numeric computation — bit-exact verification on any hardware, no trusted machine.