All projects

Aletheia

Permissionless prediction markets with CRE-orchestrated AI consensus for validation and settlement.

Prediction Markets CRE & AI World Tenderly

What it is

Aletheia is a permissionless binary prediction market built to solve two core problems: centralized market listing and weak/slow market resolution.
On most platforms, market creation depends on admins, which limits what can be listed and creates gatekeeping risk. Aletheia lets any user propose a market. Before a market goes live, Chainlink CRE runs an AI validation workflow (HTTP trigger) where multiple models evaluate whether the question is legitimate, clearly scoped in time, objectively resolvable, and truly binary. Only questions that pass consensus thresholds are approved and written onchain as validated.
For resolution, Aletheia uses a Chainlink CRE cron workflow that checks due markets, runs multi-model AI consensus, and submits signed onchain resolution reports. This reduces reliance on a single resolver and creates a faster, more autonomous resolution flow with transparent onchain outputs.
To reduce sybil spam, World ID is integrated into market creation. A one-market-per-day policy is implemented in the contracts.

How it Works

Aletheia is built with:

  • Next.js + Bun + viem for the frontend and wallet/onchain interactions.
  • Solidity + Foundry for smart contracts (AletheiaMarket, AletheiaOracle).
  • Chainlink CRE TypeScript workflows:
    • HTTP trigger for question validation.
    • Cron trigger for autonomous market resolution.
  • OpenRouter-based multi-model consensus (Gemini, Claude, GPT, Grok).
  • Tenderly Virtual TestNet for rapid iteration and testing (Ethereum Mainnet fork).
  • World ID via IDKit 4.x (legacy Orb/onchain proof path), with proof verification enforced onchain in AletheiaMarket.
    Development-wise, I used Claude Code and OpenAI Codex for speed and implementation support, then manually audited and corrected architecture, contract flows, and integration details.

Links

Created by

  • Kirill Rybkov