{"id":50627101,"url":"https://github.com/web3guru888/simoproof","last_synced_at":"2026-06-06T16:30:37.982Z","repository":{"id":355158370,"uuid":"1227011377","full_name":"web3guru888/simoproof","owner":"web3guru888","description":"SimoProof v3 — ZK-provable verified discovery network for AI agents. Built for ETHGlobal Open Agents 2026.","archived":false,"fork":false,"pushed_at":"2026-05-02T07:21:13.000Z","size":124,"stargazers_count":0,"open_issues_count":1,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-05-02T07:25:57.937Z","etag":null,"topics":["ai-agents","axl","ens","ethereum","ethglobal","gensyn","hackathon","keeperhub","risc0","rust","solidity","typescript","web3","zk-proofs"],"latest_commit_sha":null,"homepage":null,"language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/web3guru888.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-05-02T05:01:26.000Z","updated_at":"2026-05-02T07:21:17.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/web3guru888/simoproof","commit_stats":null,"previous_names":["web3guru888/simoproof"],"tags_count":null,"template":false,"template_full_name":null,"purl":"pkg:github/web3guru888/simoproof","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/web3guru888%2Fsimoproof","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/web3guru888%2Fsimoproof/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/web3guru888%2Fsimoproof/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/web3guru888%2Fsimoproof/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/web3guru888","download_url":"https://codeload.github.com/web3guru888/simoproof/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/web3guru888%2Fsimoproof/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":33990886,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-06T02:00:07.033Z","response_time":107,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ai-agents","axl","ens","ethereum","ethglobal","gensyn","hackathon","keeperhub","risc0","rust","solidity","typescript","web3","zk-proofs"],"created_at":"2026-06-06T16:30:37.567Z","updated_at":"2026-06-06T16:30:37.966Z","avatar_url":"https://github.com/web3guru888.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# SimoProof v3 — Verified Discovery Network\n\n\u003e **ETHGlobal Open Agents 2026** — targeting ENS · Gensyn AXL · KeeperHub prize tracks.\n\n[![License: Apache 2.0](https://img.shields.io/badge/License-Apache%202.0-blue.svg)](LICENSE)\n[![Docs: CC BY 4.0](https://img.shields.io/badge/Docs-CC%20BY%204.0-lightgrey.svg)](docs/LICENSE-DOCS)\n[![Foundry Tests](https://img.shields.io/badge/tests-8%2F8%20passing-brightgreen)](.github/workflows/ci.yml)\n[![Built with Risc0](https://img.shields.io/badge/ZK-Risc0%20v3.0-blueviolet)](https://risczero.com)\n[![ENS](https://img.shields.io/badge/ENS-node--1.simoproof.eth-blue)](https://app.ens.domains/node-1.simoproof.eth)\n[![Live Demo](https://img.shields.io/badge/Demo-simoproof.org-brightgreen)](https://simoproof.org)\n\n**SimoProof** is a ZK-provable, ENS-native, decentralised protocol for verifying empirical claims about the world. Every discovery is voted on by a 4-agent AI senate powered by **ASI:One**, pre-validated on the **Gensyn AXL** P2P mesh, proven with a **RISC Zero** ZK proof, attested permanently on-chain via **EAS** on Base Sepolia, stored on **0G Network**, and anchored to an **ENS** identity via ENSIP-25 text records — with the entire lifecycle automated by **KeeperHub** workflows.\n\n🌐 **Live interactive demo:** [simoproof.org](https://simoproof.org)\n\n---\n\n## 🚀 Live Deployments (Testnet)\n\n| Component | Network | Address / Name |\n|-----------|---------|----------------|\n| **DiscoveryVerifier.sol** | Base Sepolia (84532) | [`0x902e138Be827c6AE8504Cfd2E54caeb2910690Dc`](https://sepolia.basescan.org/address/0x902e138Be827c6AE8504Cfd2E54caeb2910690Dc) |\n| **MockRiscZeroVerifier** | Base Sepolia (84532) | [`0x844acEb55db4e96a862692C2663BF97DC7E73708`](https://sepolia.basescan.org/address/0x844acEb55db4e96a862692C2663BF97DC7E73708) |\n| **EAS Schema** | Base Sepolia | [`0x86704ade…319a2`](https://base-sepolia.easscan.org/schema/view/0x86704ade90c66f1fc5071d0a00e8d0c5055f4c5048d8ae2d7866cf55b3a319a2) |\n| **EAS Attestation — disc-001** | Base Sepolia | [`0xd47257e6…7c64`](https://base-sepolia.easscan.org/attestation/view/0xd47257e63d2b5df37b78e33e00151cc63b33499c63c5fdbbe7b5317c167a7c64) |\n| **EAS Attestation — disc-002** | Base Sepolia | [`0x882247ee…fa7a`](https://base-sepolia.easscan.org/attestation/view/0x882247eec16952c5e0732bbc4c815d97effa5b2a9e73a8bfae7fa95420eafa7a) |\n| **EAS Attestation — disc-003** | Base Sepolia | [`0xf0991d19…eff6`](https://base-sepolia.easscan.org/attestation/view/0xf0991d197a3e1904fd9893a4ab6820ac22aecf01c06fef7e5bfbc64bb3a5eff6) |\n| **EAS Attestation — disc-004** | Base Sepolia | [`0x5951be3c…09f6`](https://base-sepolia.easscan.org/attestation/view/0x5951be3cb56cdadeb687e50e4dea5b01865bac2b03ac554d207006a53fff09f6) |\n| **EAS Attestation — disc-005** | Base Sepolia | [`0xddeb0ec4…409a`](https://base-sepolia.easscan.org/attestation/view/0xddeb0ec4b6680369965bb12a12e980e045f7862bd9bcf7341073faa99287409a) |\n| **ENS Parent** | Sepolia | [`simoproof.eth`](https://app.ens.domains/simoproof.eth) |\n| **ENS Node Identity** | Sepolia | [`node-1.simoproof.eth`](https://app.ens.domains/node-1.simoproof.eth) — `discoveries_count=10` |\n| **Website** | Cloudflare Pages | [simoproof.org](https://simoproof.org) |\n| **RISC Zero Verifier Router** | Base Sepolia | [`0x0b144e07…b711`](https://sepolia.basescan.org/address/0x0b144e07a0826182b6b59788c34b32bfa86fb711) |\n\n---\n\n## 7-Step Pipeline\n\n```\nDiscovery Claim\n      │\n      ▼\n┌─────────────────────┐\n│  1. AXL Ingestion   │  ← Gensyn P2P mesh pre-validation\n└─────────────────────┘\n      │\n      ▼\n┌─────────────────────┐\n│  2. Science Senate  │  ← 4 ASI:One AI agents: Bayesian · Skeptic · Causal · Replication\n└─────────────────────┘   Need ≥ 2/4 endorsements to proceed\n      │\n      ▼\n┌─────────────────────┐\n│  3. RISC Zero Proof │  ← zkVM guest: confidence ≥ 0.85, senate votes ≥ 2, source SHA-256\n└─────────────────────┘\n      │\n      ▼\n┌─────────────────────┐\n│  4. 0G Storage      │  ← Proof JSON + senate transcript pinned to 0G Network\n└─────────────────────┘\n      │\n      ▼\n┌─────────────────────┐\n│  5. EAS Attestation │  ← DiscoveryVerifier.sol → EAS on Base Sepolia (permanent)\n└─────────────────────┘\n      │\n      ▼\n┌─────────────────────┐\n│  6. ENS Update      │  ← ENSIP-25: discoveries_count++, latest_eas_uid updated\n└─────────────────────┘\n      │\n      ▼\n┌─────────────────────┐\n│  7. KeeperHub       │  ← 5 automation workflows fire pipeline stage events\n└─────────────────────┘\n```\n\n---\n\n## Prize Tracks\n\n| Sponsor | Prize | Our Integration |\n|---------|-------|-----------------|\n| **ENS** | Best AI Agent Integration ($5k) | Every verifier node owns an ENS subname. ENSIP-25 text records store `agent_type`, `capabilities`, `discoveries_count`, and `latest_eas_uid`. ENS is the identity backbone — no centralised registry needed. |\n| **Gensyn (AXL)** | Best AXL Application ($5k) | AXL P2P binary pre-validates claims before proof generation. AXL peer IDs are stored in ENS text records — making ENS the permissionless peer discovery registry for the encrypted mesh. |\n| **KeeperHub** | Best Use of KeeperHub ($5k) | 5 automated KeeperHub workflows orchestrate every pipeline stage (poll → validate → prove → attest → ens-update). Full MCP server integration. See [`FEEDBACK.md`](FEEDBACK.md). |\n\n\u003e ETHGlobal Open Agents rules allow up to 3 partner prize tracks. The 7-step pipeline is a single unified proof, not three separate integrations.\n\n---\n\n## Project Structure\n\n```\nsimoproof/\n├── packages/\n│   ├── types/            # Shared TypeScript interfaces\n│   ├── mock-discovery/   # 5 fixture discoveries (NSIDC, NASA, WHO, NOAA, World Bank)\n│   │   └── fixtures/discoveries.json\n│   ├── simocracy/        # 4-agent senate (ASI:One full / mini-senate fallback)\n│   │   ├── src/mini-senate.ts\n│   │   └── src/constitutions.ts\n│   ├── axl/              # Gensyn AXL P2P pre-validation\n│   ├── chain/            # ENS ENSIP-25 + EAS attestations + DiscoveryVerifier client\n│   ├── storage/          # 0G decentralised storage upload\n│   ├── keeperhub/        # KeeperHub MCP server + 5 automated workflows\n│   ├── api/              # Express API server + full 7-step pipeline\n│   └── web/              # Frontend dashboard (simoproof.org)\n│       └── public/index.html   # Interactive demo SPA\n├── crates/\n│   ├── simoproof-guest/  # RISC Zero zkVM guest (riscv32im, SHA-256 proofs)\n│   └── simoproof-prover/ # CLI prover host (compiled binary, invoked by pipeline)\n├── contracts/\n│   ├── src/DiscoveryVerifier.sol        # On-chain verifier + EAS minter\n│   ├── src/MockRiscZeroVerifier.sol     # Dev-mode verifier (always passes)\n│   ├── test/DiscoveryVerifier.t.sol     # 8/8 Foundry tests\n│   └── script/Deploy.s.sol / DeployMock.s.sol\n├── scripts/\n│   ├── demo.ts           # End-to-end pipeline runner (--all for all 5 discoveries)\n│   ├── register-ens.ts   # ENS name registration helper\n│   ├── setup.ts          # Environment validation\n│   └── verify.ts         # On-chain proof verification\n├── sims/                 # 4 senator constitutions (SKILL.md)\n├── docs/\n│   ├── PRD.md            # Product requirements\n│   ├── SPEC.md           # Technical specification\n│   └── LICENSE-DOCS      # CC BY 4.0\n├── AI_ATTRIBUTION.md     # AI tool disclosure (ETHGlobal requirement)\n├── FEEDBACK.md           # KeeperHub builder feedback (prize requirement)\n└── PLAN.md               # Submission timeline (completed ✅)\n```\n\n---\n\n## Quick Start\n\n### Prerequisites\n\n- Node.js ≥ 22, npm ≥ 10\n- Rust stable (via [rustup](https://rustup.rs))\n- Foundry ([getfoundry.sh](https://book.getfoundry.sh/getting-started/installation))\n- RISC Zero toolchain via `rzup`\n\n### Install\n\n```bash\ngit clone https://github.com/web3guru888/simoproof\ncd simoproof\nnpm install\ncp .env.example .env   # fill in your keys\n```\n\n### Build Rust Prover\n\n```bash\ncargo install rzup\nrzup install rust    # riscv32im-risc0-zkvm-elf toolchain\nrzup install r0vm    # r0vm execution environment\n\nRISC0_DEV_MODE=true cargo build -p simoproof-prover --release\n```\n\n### Run Demo (Dev Mode — fastest path, ~30s per discovery)\n\n```bash\n# All 5 discoveries, skip on-chain transactions\nRISC0_DEV_MODE=true npx tsx scripts/demo.ts --all --skip-onchain\n\n# Full pipeline with live testnet transactions\nRISC0_DEV_MODE=true npx tsx scripts/demo.ts --all\n```\n\n### Start API Server\n\n```bash\nnpx tsx packages/api/src/server.ts\n\ncurl http://localhost:3000/health\ncurl http://localhost:3000/api/discoveries\ncurl -X POST http://localhost:3000/api/discovery/submit \\\n  -H \"Content-Type: application/json\" \\\n  -d '{\"id\":\"disc-001\"}'\n```\n\n### Build \u0026 Test Contracts\n\n```bash\ncd contracts\nforge install foundry-rs/forge-std --no-git\nforge build --remappings \"forge-std/=lib/forge-std/src/\"\nforge test --remappings \"forge-std/=lib/forge-std/src/\" -vv\n# Expected: 8/8 tests pass\n```\n\n---\n\n## How the ZK Proof Works\n\nThe RISC Zero guest program (`crates/simoproof-guest`) runs inside the zkVM and proves:\n\n1. **Source integrity** — `SHA256(raw_source_bytes[i]) == declared_hash[i]` for every source\n2. **Confidence gate** — `confidence \u003e= 0.85`\n3. **Consensus gate** — `senate_votes \u003e= 2 out of 4`\n4. **Causal validity** — causal summary present and non-empty\n\nThe journal (public outputs visible on-chain): `claim_hash`, `source_commitment`, `consensus_hash`, gate booleans, timestamp.\n\n**Dev mode** (`RISC0_DEV_MODE=true`) generates fast dev receipts locally (~2s per proof) — same pipeline semantics, no Bonsai required.  \n**Production** uses Bonsai to generate a Groth16 receipt verified on-chain by `DiscoveryVerifier.sol`.\n\n**Key implementation note:** The on-chain contract uses `abi.decode` (Ethereum ABI encoding), while RISC Zero's `env::commit_slice` uses binary serde. The pipeline ABI-encodes the journal in TypeScript before submitting to the contract — this is by design.\n\n---\n\n## ENS Integration (ENSIP-25)\n\nEach verifier node registers as `\u003cname\u003e.simoproof.eth` on Sepolia and writes ENSIP-25 text records:\n\n| Record | Example Value | Purpose |\n|--------|---------------|---------|\n| `agent_type` | `verified-discovery-node` | Agent identity classification |\n| `capabilities` | `climate,health,ecology` | Claim-type routing |\n| `protocol_version` | `3.0` | Version negotiation |\n| `schema_uid` | `0x86704a…` | EAS schema pointer |\n| `network` | `base-sepolia` | Active attestation network |\n| `discoveries_count` | `10` | Running total of verified claims |\n| `latest_eas_uid` | `0xddeb0e…` | Pointer to most recent EAS attestation |\n\n**Key insight:** ENS text records act as an on-chain audit log for the agent's verification history — every claim that passes the senate increments `discoveries_count` and updates `latest_eas_uid`.\n\n---\n\n## Simocracy Science Senate (powered by ASI:One)\n\nFour parallel AI senator agents deliberate on each claim via the **ASI:One** API (`https://api.asi1.ai/v1`, OpenAI-compatible). ASI:One is Fetch.ai's Web3-native LLM.\n\n| Agent | Epistemic Role | Constitution |\n|-------|---------------|-------------|\n| **Bayesian Reasoner** | Posterior probability analysis | ENDORSE if posterior ≥ 0.80 |\n| **Domain Skeptic** | Fatal flaw detection | ENDORSE if no fatal flaw found |\n| **Causal Analyst** | Causal structure validation | ENDORSE if causal chain structurally sound |\n| **Replication Auditor** | Scientific consensus check | ENDORSE if consistent with literature |\n\nConsensus threshold: **2 of 4** endorsements required. The full deliberation transcript is `keccak256`-hashed and committed inside the ZK proof — senate deliberation is cryptographically anchored on-chain.\n\n---\n\n## Fixture Discoveries\n\nFive real-world empirical claims with actual source data (NSIDC, NASA, WHO, NOAA, World Bank):\n\n| ID | Claim | Source | Conf |\n|----|-------|--------|------|\n| `disc-001` | Arctic sea ice minimum extent in September 2023 was 4.23 million km², among the five lowest on record since 1979 | NSIDC Sea Ice Index v3.0 | 0.97 |\n| `disc-002` | Global average surface temperature anomaly reached +1.45°C above pre-industrial baseline in 2023 | NASA GISS / NOAA | 0.97 |\n| `disc-003` | PM2.5 concentrations above 100 µg/m³ correlate with a 23% increase in respiratory hospital admissions in urban SE Asia | WHO GHO AQH_29 | 0.87 |\n| `disc-004` | Global mean atmospheric CO₂ reached 421.08 ppm in 2023, up from 411.44 ppm in 2019 | NOAA Mauna Loa Observatory | 0.99 |\n| `disc-005` | Brazil's forest area declined to 55.1% of total land area in 2022, down from 58.9% in 2018 | World Bank AG.LND.FRST.ZS | 0.89 |\n\n---\n\n## Environment Variables\n\nSee [`.env.example`](.env.example) for the full list. Key values for the deployed testnet instance:\n\n| Variable | Value | Notes |\n|----------|-------|-------|\n| `DISCOVERY_VERIFIER_ADDRESS` | `0x902e138Be827c6AE8504Cfd2E54caeb2910690Dc` | v2 with MockRiscZeroVerifier |\n| `MOCK_RISC0_VERIFIER` | `0x844acEb55db4e96a862692C2663BF97DC7E73708` | Dev-mode proof verifier |\n| `DISCOVERY_SCHEMA_UID` | `0x86704ade…319a2` | EAS schema on Base Sepolia |\n| `ENS_SUBNAME` | `node-1.simoproof.eth` | ENSIP-25 agent identity |\n| `LLM_BASE_URL` | `https://api.asi1.ai/v1` | ASI:One OpenAI-compatible endpoint |\n| `LLM_MODEL` | `asi1` | ASI:One model name |\n| `KEEPERHUB_BASE_URL` | `https://app.keeperhub.com` | SDK appends `/api` internally |\n| `RISC0_DEV_MODE` | `true` | Fast dev receipts (testnet) |\n\n---\n\n## AI Attribution\n\nThis project uses **Claude** (Anthropic) as a development assistant and **ASI:One** (Fetch.ai) as the runtime LLM for senate deliberation. See [`AI_ATTRIBUTION.md`](AI_ATTRIBUTION.md) for full disclosure per ETHGlobal transparency requirements.\n\n---\n\n## License\n\n- **Code:** [Apache License 2.0](LICENSE)\n- **Documentation:** [Creative Commons Attribution 4.0](docs/LICENSE-DOCS)\n\nCopyright 2026 web3guru888\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fweb3guru888%2Fsimoproof","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fweb3guru888%2Fsimoproof","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fweb3guru888%2Fsimoproof/lists"}