Verified Discovery Network

Every claim proven.
Every vote on-chain.

Four ASI:One AI senators deliberate on empirical claims. A RISC Zero ZK proof seals their verdict. An EAS attestation makes it permanent. An ENS name gives the agent its identity.

▶ Run Interactive Demo ★ View Source
10
Verified Discoveries
4
Senate Agents
7
Pipeline Steps
Interactive Demo
Submit a claim. Watch the tribunal.
Select a pre-loaded discovery or enter your own. The full 7-step pipeline animates in real time.
📋 Discovery Claim
Ready
⚡ Pipeline Progress
simoproof — pipeline output

Select a claim and click ▶ Run Pipeline to begin.

Claim committed to content-addressed hash. Gensyn AXL P2P pre-validation attempted.

 pipeline.ts
— Simocracy Science Senate — ASI:One 4-Sim —

RISC Zero guest verifies confidence ≥ 0.85 and senate votes ≥ 2, seals commitment in journal.

Full proof JSON pinned to 0G decentralised storage. Content SHA-256 becomes the CID.

 storage/upload.ts

DiscoveryVerifier.sol submits the ABI-encoded journal to EAS on Base Sepolia. Permanent, non-revocable.

Agent ENS text records updated via ENSIP-25. Discovery count incremented.

🌐 node-1.simoproof.eth

5 KeeperHub scheduled workflows fire pipeline stage events. No manual intervention needed.

 keeperhub/jobs.ts

Live Attestations
All verified discoveries — Base Sepolia
Every row is a permanent EAS attestation. Click to inspect on EAS Scan.
Live Deployments
Contracts, schemas, identities
Fully deployed on testnets. All addresses verifiable on-chain.
DiscoveryVerifier.sol
Base Sepolia — chain 84532
0x902e138Be827c6AE8504Cfd2E54caeb2910690Dc
BaseScan →
EAS Schema
Base Sepolia — DiscoveryAttestation
0x86704ade90c66f1fc50…b3a319a2
EAS Scan →
ENS Identity
Sepolia — ENSIP-25 agent name
node-1.simoproof.eth
ENS App →
MockRiscZeroVerifier
Base Sepolia — dev-mode verifier
0x844acEb55db4e96a862692C2663BF97DC7E73708
BaseScan →
Gensyn AXL
P2P pre-validation node
axl-node v0.2.1 — Gensyn compute mesh
Gensyn AXL →
KeeperHub
5 automation workflows active
poll · validate · prove · attest · ens-update
KeeperHub →
Prize Tracks
ETHGlobal Open Agents 2026
Targeting three sponsor tracks — three distinct integrations.
🌐
ENS
Best AI Agent Integration
$5,000
ENSIP-25 agent names. Text records as an on-chain attestation log. ENS as the identity backbone for AI nodes.
⚡
Gensyn
Best AXL Application
$5,000
AXL P2P mesh routes every discovery through Gensyn pre-validation before it reaches the senate.
🤖
KeeperHub
Best Use of KeeperHub
$5,000
5 scheduled workflows orchestrate every pipeline stage — discovery polling to ENS updates — autonomously.