Start > Quickstart

Quickstart

Verify Quovra's live devnet proof path in a few minutes.

Quickstart

This quickstart verifies Quovra without running local code.

You will inspect the live app, open a proof-tracked market, and verify the finalized Solana devnet settlement transaction.

Prerequisites

  • A browser.
  • Optional: Phantom or another Solana wallet if you want to try deposits on markets that are still open.

1. Open the live app

Go to:

text
https://quovra.xyz

Expected result:

  • The landing page loads.
  • The app describes proof-settled prediction markets.
  • Navigation includes Markets, Activity, Docs, and SDK.

2. Open Markets

Open:

text
https://quovra.xyz/markets

Expected result:

  • You see World Cup markets on Solana devnet.
  • Finished or in-play fixtures are closed to deposits.
  • Markets show proof state, escrow totals, and settlement status.

3. Open the settlement transaction

Open the finalized settlement proof:

text
https://explorer.solana.com/tx/z5qNqZoM9J49E39d5LoRsyLng6wjbnDChLSGtx6UsPqP5XGmSrZ9GFHHEdhjw3QQiyWtnRM5mXthFMEWLUb85Ej?cluster=devnet

Expected result:

  • Solana Explorer shows a finalized devnet transaction.
  • The transaction invokes the Quovra program.
  • The settlement path consumes about 118k compute units.

4. Verify the invariant

Quovra's invariant is:

> A market does not resolve until a signed TxLINE proof validates on-chain.

Check the transaction and receipt page for:

  • Quovra program ID: 2dTzj5v1nhzkS87e5umJkpNWNc7UschvyHwRVkkK4FZV
  • TxODDS txoracle devnet program: 6pW64gN1s2uqjHkn1unFeEjAwJkPGHoppGvS715wyP2J
  • A market state transition from unresolved to resolved.
  • A later claim path for winners.

Why this matters

Prediction markets often settle through an operator, vote, or dispute process. Quovra moves outcome verification into the transaction path that controls escrow state.

mermaid
sequenceDiagram
  participant User
  participant Keeper
  participant Quovra
  participant TxOracle as TxODDS txoracle
  participant Vault
  User->>Vault: deposit devnet USDC
  Keeper->>Quovra: settle(TxLINE proof)
  Quovra->>TxOracle: validate_stat proof CPI
  TxOracle-->>Quovra: boolean return data
  Quovra->>Quovra: mark market resolved
  User->>Quovra: claim()
  Quovra->>Vault: transfer payout

Related pages

Search keywords

quickstart, live demo, Solana Explorer, settlement proof, TxLINE

Last updated: [YYYY-MM-DD]