Features How it works Protocol Ecosystem Security

Live on Stellar mainnet

Bet privately.Encrypt your side

Create or trade binary price markets with Circle USDC. Your side and quantity stay encrypted on-chain while adaptive batches update public odds on Stellar.

USDCCircle collateral

Up to 8orders per batch

40mainnet price routes

Capabilities

Provably
valid.

Every order is proven valid before it is accepted. Adaptive batches clear atomically, the LMSR updates the price, and private recovery keys are derived by your wallet.

Encrypted on-chain

Soroban stores commitments and ciphertexts instead of plaintext sides and quantities. Groth16 proves every private state change.

Groth16typed private state proofs

Fair LMSR odds

A logarithmic market maker updates YES/NO prices after each executed batch and settles the aggregate net on-chain.

LMSRbatch-driven YES/NO prices

Atomic batch fairness

Up to eight orders execute together at one clearing price when full or after 60 seconds, including one-sided activity.

1 to 8orders per atomic batch

Pooled liquidity

Permissionless LP shares track a shared USDC pool that automatically allocates capital across eligible markets.

80%distributable execution fees to LPs

Process

Shield.Predict.Claim.

Protocol stack

Verifiable by
design.

Circle USDC moves through shared shielded and pooled liquidity vaults, while adaptive LMSR batches and registered Reflector feeds settle on Stellar.

Netbatch settlement

Soroban records commitments and encrypted orders. Individual sides and quantities never appear on-chain in plaintext.

40mainnet price routes

15Groth16 circuits in the proving manifest

live

Circle USDCStellar collateral

live

Shared vaultReusable private balance

live

Market makerAdaptive LMSR batches

live

ResolverReflector price feeds

live

Stellar mainnetSoroban settlement

LIVE

Proven
on Stellar mainnet.

~0k

Constraints per private order

circom + Groth16 circuit

one-sided activity supported

Orders per atomic batch

individual orders stay hidden

Net settled on-chain

batched before settlement

Individual orders revealed

Live on Stellar mainnetcircom + Groth16 order circuitsReflector-oracle resolutionCircle USDC collateral40 registered price routes

Composability

Composes
with the ecosystem.

Circle USDC on Stellar, Soroban settlement, Reflector price resolution, and a Circom plus Groth16 proving stack for private positions.

Chain

STR

Stellar

Collateral

USDC

Circle USDC

Contracts

SOR

Soroban

Oracle

RFL

Reflector

Circuits

CIR

circom

Proofs

G16

Groth16/BN254

Groth16proof system

Up to 8orders per private batch

Wallet keysencrypted recovery

View the architecture>

Security

Verified
on-chain.

Proof validity, nullifiers, private-note accounting, and payout authorization are enforced by contracts on Stellar mainnet.

On-chain guarantee

0Individual orders revealed on-chain

BN254Groth16CircomStellar mainnet

Zero-knowledge order validity

Each order proves it is well-formed and in-range before private batch execution.

Encrypted batch execution

Sides and quantities stay encrypted on-chain while verified batch totals update the market.

Typed on-chain proof verification

Soroban verifies the exact BN254 Groth16 statement before private notes or market funds can move.

Reproducible proving artifacts

Published manifests bind every supported circuit to its verification and proving artifacts.

Open source

Read the code.
Verify it yourself.

Open circuits and contracts. Inspect the Circom sources, Soroban contracts, deployment manifests, and proving artifacts.

Circom circuits

Groth16 circuits proving private note transitions, orders, claims, refunds, and liquidity actions.

Soroban contracts

Rust contracts enforcing outcome-gated, replay-safe settlement.

Private runtime

Output indexing, proof relaying, atomic batching, and LP automation.

Verifiable on-chain

Read commitments and contract state on the Stellar explorer.

View the repo

" """ " "" " " " " " " " " " " " " " " " " " " "" " " " " "" "" " " " " " " "" " " """ " " " "" " " "" " " " "" " " " "" " " " "" " " " " " " " """ " " " " " " "" """ " "" " " """ " " " "" " "" " " "" " " " " " " "" " " "" " "" " " " " " " " " " " " " " " " """ " " " " " "" " " " " " " " " " " " " " " " "" " " " "" " " """ " " " " " " " " " " " " " " " " " "" " " """ " " "" " " " " "" " " " " "" " " " " "" " " " " " " " " " " " " " "" "" " "" "" "" " " " " " "" "" " " " "" " " " "" " "" " " " " "" """ " "" " " "" " " """ " """ " """ "" " " " """ """ " " """ " " " """ " " "" " " " " " """" " " " " " " """" " " "" " " " " "" " "" "" " " " "" " " " " " " "" " " " "" "" """ "" " """ " "" " " """ " " """ " " " "" " "" " "" " "" "" " "" " " " " "" " " " " " " " " "" " " """ " " " " " " " " "" "" " """" " " " "" " " " " " " "" " "" " " " """ "" "" " " """ " " " " " """ "" " " """"" " " " " " """ " "" " " "" " " "" " " "" "" " " "" " "" "" "" "" " "" " " " " " "" " " "" " " " " """""" " " " " " "" "" " " " " " " " " "" " " " " "" "" " "" "" " " " " " " " " "" " "" " "" " " " " " " " """" "" " " " "" " " " " " " " """ " "" " """" """ "" " " "" " "" " " " " " "" " " " "" " " " " " "" " """ " " " " " " " "" " " " " " "" """ "" " " "" " " " "" " " "" "" " " " " " " " " " "" " " """ " " "" " " " " " "" " " " " " " " " " " "" """" "" " " "" "" " " "" " " "" " "" " " " "" " "" " " " " " "" """ "" " " " " """ " """ "" """" """ " " " " " " " " " " "" " " "" " " " "" " " "" " " """" " " """ " """ " """ "" " " " " "" " "" " """ " " " "" " " " " " " "" " " " " " "" "" " " " " " " " " """ " " "" "" "" " " """ " " "" " " " " "" " "" " " " " " " " " " " " " " " " " " " " " " """" " """ " " "" " " " " " " "" " " "" " "" "" " " """ "" " " """ " " " " " " """ "" " " "" " " "" " " "" "" " " " " "" " " " " " " " " " " "" " " " " " " "" """ " "" " " "" " " " "" "" " """ " " """"" "" """ "" " " " " "" "" " " "" " " " " " """ """ " " "" "" " " " " "" " """ " """" " " " " " " "" " " " " " "" " """ " " " " "" "" "" " " " " "" " "" " " " " "" " "" " " "" """ " """ "" " " " "" " " " " " " " " """ " " "" " " " " " "" " " " "" " " "" " "" "" " " """ " " " "" "" " " " """ " "" " " " " """ " "" " """ " " " "" " " "" """ " " " " """" " """ " "" " " " "" " " " " " " " " """ " " "" """ " " """" " " """ """ " " " "" " " "" "" "" " " " "" """ """ """ " " "" " " " "" " " "" " """ " " "" " " " " " " " " "" " " "" " " " " " " "" " " " "" """ " "" " """ "" " " " " " """" " " " " " """ "" " "" " " " "" " " " " " "" " " """ " " """""" "" " "" " " " " " " " " " " " " " "" """ "" " "" "" "" " " "" "" "" " "" " " " " "" " " "" " " "" "" "" "" " """ " "" " " " " " " "" " "" " "" " "" " " " """ " " """"" " """"" "" " " "" " " " " " """ " " """ " " """ " " " " " "" " " "" " " "" " " " """ " """ " " "" " " "" " "" " "" " "" " " """"" " " " " "" "" " " " """"" """ "" " "" " " " " " " " " " "" "" " " " " "" """"" "" " " " "" " " " " " " " " "" "" " """ " " "" " " " "" " "" " " "" """ " " " "" "" "" " " " " "" " "" " "" "" " " " " " " " """"" "" " " """ " " " """" " " " "" "" " " " " " " ""

Primitives

Backed by the math.

“

LMSR reprices YES and NO after every executed batch, with no order book and no counterparty to find.

LMSR

Market pricing, LMSR

1AMM per market

Key primitives

Make your move.
Keep it private.

Shield Circle USDC once, choose a side, and settle through proof-bound actions. Your side and quantity stay encrypted on-chain from order to resolution.

Explore markets Create a market

Live on Stellar mainnet

Bet privately.Encrypt your side