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.

Email access broker for the AI era: apps and agents only see the mail you allow. Runs in AWS Nitro Enclaves with reproducible builds, so anyone can verify the deployed code matches this repo.

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

Official Python SDK for GCON: run jobs, verify results, and get a receipt for every one

AUKORA: imagine if Linux and Bitcoin had a baby. Bitcoin's self-custody and verifiable record, on Linux's open, self-hosted base: a personal AI node that can't act without your provable approval. Your passkey holds the keys; every action leaves a receipt anyone can check. No coin. AGPL-3.0.

Verifiable AI inference, checked on chain: miners answer requests, a drawn jury of other miners can audit an answer, and a proven cheat is slashed. Public testnet.

Bounded authority. Verifiable intelligence

Universal Evolutionary Synthesis & Optimization Kernel across Code, Silicon, and Continuous Spaces with Hermetic Sandboxing, Cryptographic Attestation, and Interactive REPL

Create Technocore DIDs and generate verifiable public proof links with optional agent mailbox setup.

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.

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

Verifiable work delegation and ENS (Ethereum Name Service) indexing

Local AI that proves its work. Every inference gets a re-executable, cryptographically chained receipt — no cloud, no account, no drift.

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

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

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