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
| Goal | Page |
|---|---|
| Verify the live product | Quickstart |
| Run Quovra locally | Local development |
| Build a market integration | Build your first market |
| Integrate wallet actions | SDK reference |
| Operate settlement | Run the keeper |
| Review security assumptions | Security 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:
- A user deposits devnet USDC into a program-owned vault.
- A keeper submits a signed TxLINE stat proof.
- The Quovra program CPIs into
txoracle.validate_stat. - The program reads the returned boolean on-chain.
- The market is marked resolved.
- 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 --> PayoutLive proof points
| Item | Value |
|---|---|
| Website | https://quovra.xyz |
| Repository | https://github.com/mystiquemide/quovra |
| Network | Solana devnet |
| Program ID | 2dTzj5v1nhzkS87e5umJkpNWNc7UschvyHwRVkkK4FZV |
| Test USDC mint | C4ERwQWEttoeawS5wy1NGZRhqphK7PeGtM4mPAHvcf4b |
| Finalized settlement | z5qNqZoM9J49E39d5LoRsyLng6wjbnDChLSGtx6UsPqP5XGmSrZ9GFHHEdhjw3QQiyWtnRM5mXthFMEWLUb85Ej |
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]