Fork-a-Pond: stand up your own signed, cold-verifiable SAVA pond and join the A.C.S.A. lake — no install, just python3.
-
Updated
Aug 12, 2026 - Python
#
verifiable-computing
Here are 9 public repositories matching this topic...
Build, deploy, compare, and independently verify sports-trading agents with sealed evidence, deterministic scoring, and operator-controlled execution.
nextjsai-agentsmarket-makingsolanafastapiverifiable-computingsports-tradingreplay-testingtxlinealgorithmic-trading-quantitative
-
Updated
Aug 1, 2026 - Python
A SAVA lake: pulls admitted ponds, grounded-verifies, and publishes a signed, cold-verifiable lake surface.
-
Updated
Aug 11, 2026 - Python
An execution kernel that treats LLMs as untrusted compute and enforces policy via deterministic runtime interception.
tcgcryptographyreference-monitortrusted-computingruntime-securitypolicy-enforcementverifiable-computingllm-governanceai-accountabilitydeterministic-aideterministic-runtimecryptographic-auditexecution-kernelproof-of-executionmodel-audit-trailsafe-llm-execution
-
Updated
Jan 4, 2026 - Python
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.
pythonprovenancezero-dependencygovernanceaudit-trailhash-chainsoftware-assuranceverifiable-computingfail-closedcryptographic-verificationgovernance-kerneladmissibilityugkreceipt-chainconstitutional-computing
-
Updated
Jun 25, 2026 - Python
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.
cryptographyyubikeyed25519ai-safetyhuman-in-the-looppost-quantumdigital-identityappend-onlyverifiable-computingai-governanceconstitutional-aiagentic-aiauditabilitysovereign-aistructural-alignmentstateless-designhelix-ttdcryptographic-custodyno-orphaned-agentsreef-substrate
-
Updated
Dec 31, 2025 - Python
ER1 — Epistemic Receipt v1: an open, offline-verifiable proof of the constraint-state an autonomous AI agent's action was produced under.
-
Updated
Aug 7, 2026 - Python
Open platform for trustworthy agentic scientific research.
reproducible-researchmcpevent-sourcingprovenancequantum-computingcombinatorial-optimizationin-totoverifiable-computingsupply-chain-securityagentic-ai
-
Updated
Aug 12, 2026 - Python
A self-hosted SAVA pond: verified Ronin-bridge incident intelligence, every claim cold-verifiable. Forkable.
-
Updated
Aug 11, 2026 - Python
Improve this page
Add a description, image, and links to the verifiable-computing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verifiable-computing topic, visit your repo's landing page and select "manage topics."