DARK ORACLE

Zero-Knowledge Verified Prediction Markets

A prediction market protocol where every resolution is cryptographically proven honest — not assumed. Chainlink CRE fetches data from multiple sources, a Groth16 ZK proof locks the outcome, and an on-chain pairing check makes it impossible to fake.

Markets

Verified On-Chain

ZK Proofs Generated

Resolution Pipeline

How It Works

From market creation to on-chain verification in four steps — no humans in the loop.

1

Create

Set a question, choose data sources, set resolution date.

2

Fetch

Chainlink CRE DON queries 3+ independent APIs (CoinGecko, Binance, Coinbase).

3

Prove

A Groth16 ZK proof cryptographically binds the outcome to the data. 771 constraints, BN254 curve.

4

Verify

On-chain pairing check confirms the proof. 236k gas. Impossible to fake.

Active Prophecies

Consulting the oracle...

Trust Model Comparison

Why Dark Oracle?

Prediction markets are only as trustworthy as their resolution mechanism. We replaced institutions and token votes with zero-knowledge proofs.

Kalshi

Institutional

CFTC-regulated exchange. A company decides the outcome. Legal accountability, but you're trusting an institution.

How it resolves: Kalshi Inc. determines and publishes the result.
Trust assumption: The company is honest and solvent.

Polymarket

Economic

UMA optimistic oracle. Someone proposes an outcome — if nobody disputes it, it stands. Disputes go to token-holder vote.

How it resolves: Propose → dispute window → token-holder vote if challenged.
Trust assumption: Voters are economically rational and not colluding.

Dark Oracle

Cryptographic

ZK-verified resolution. The oracle fetches data, generates a cryptographic proof, and the smart contract verifies it on-chain. Impossible to fake.

How it resolves: Chainlink DON fetches 3+ APIs → ZK proof generated → verified on-chain via BN254 pairing.
Trust assumption: Math is correct. (It is.)

“Polymarket trusts that nobody will dispute the result. Kalshi trusts that the company is honest. Dark Oracle trusts math — a ZK proof that’s verified on-chain and impossible to fake.”

ZK-Verified Resolution

Every market resolution includes a Groth16 zero-knowledge proof verified on-chain using BN254 elliptic curve pairing. The proof binds market ID, outcome, data sources, and timestamp — tamper with any input and the pairing check fails. 236k gas. Unfakeable.

Decentralized Data (Chainlink CRE)

Price data is fetched from 3+ independent APIs (CoinGecko, Binance, Coinbase) through Chainlink’s Decentralized Oracle Network with BFT consensus. No single data source can manipulate the outcome.

Fully Automated Resolution

For crypto markets: resolution time passes → CRE workflow triggers → prices fetched → ZK proof generated → verified on-chain → market resolved. No human intervention. No dispute period. No governance vote. Just math.

87/87 Tests Pass
236k Gas Verification
771 ZK Constraints
3 Data Sources
7 CRE Capabilities
Base Sepolia