Start > Overview

Quovra developer docs

Introduce Quovra and route developers to the right documentation path.

Quovra developer docs

Quovra is a Solana settlement kernel for prediction markets. Escrowed devnet USDC unlocks only after a signed TxLINE match proof is verified on-chain inside the settlement transaction.

Use these docs to integrate, run, verify, and operate Quovra.

Start here

GoalPage
Verify the live productQuickstart
Run Quovra locallyLocal development
Build a market integrationBuild your first market
Integrate wallet actionsSDK reference
Operate settlementRun the keeper
Review security assumptionsSecurity model

What Quovra proves

A market outcome should not depend on a vote, a trusted resolver, or an off-chain script after funds are escrowed.

Quovra links these steps in one verifiable path:

  1. A user deposits devnet USDC into a program-owned vault.
  2. A keeper submits a signed TxLINE stat proof.
  3. The Quovra program CPIs into txoracle.validate_stat.
  4. The program reads the returned boolean on-chain.
  5. The market is marked resolved.
  6. Winners claim from the vault.
mermaid
flowchart LR
  User[Wallet user] -->|deposit USDC| Vault[(Market vault PDA)]
  TxLINE[TxLINE proof API] --> Keeper[Keeper]
  Keeper -->|settle args| Quovra[Quovra settle instruction]
  Quovra -->|CPI validate_stat| TxOracle[TxODDS txoracle]
  TxOracle -->|boolean return data| Quovra
  Quovra --> Resolved[Market resolved]
  Winner -->|claim| Payout[USDC payout]
  Vault --> Payout

Live proof points

ItemValue
Websitehttps://quovra.xyz
Repositoryhttps://github.com/mystiquemide/quovra
NetworkSolana devnet
Program ID2dTzj5v1nhzkS87e5umJkpNWNc7UschvyHwRVkkK4FZV
Test USDC mintC4ERwQWEttoeawS5wy1NGZRhqphK7PeGtM4mPAHvcf4b
Finalized settlementz5qNqZoM9J49E39d5LoRsyLng6wjbnDChLSGtx6UsPqP5XGmSrZ9GFHHEdhjw3QQiyWtnRM5mXthFMEWLUb85Ej

Documentation taxonomy

Quovra uses Diátaxis:

  • Tutorials teach by walking through a complete path.
  • How-to guides solve one operational task.
  • Reference documents exact APIs, commands, config, and errors.
  • Explanations describe architecture, security, and tradeoffs.

Related pages

Search keywords

Quovra, Solana prediction markets, TxLINE proof, txoracle CPI, USDC escrow, settlement kernel

Last updated: [YYYY-MM-DD]