Zero-knowledge prediction markets on Stellar

Bet privately.Nobody sees your side

Bet on binary outcomes with zero-knowledge privacy. Your side and amount are encrypted end to end; only the market's net ever settles on-chain.

Liveon Stellar testnet
t-of-nno-leak committee
LMSRon-chain odds
Capabilities

Provably
private.

Every order is proven valid before it's ever seen. A threshold committee nets the batch, the LMSR sets fair odds, and your keys never leave your wallet.

01

Private by construction

A Groth16 proof hides your side and amount. Nobody - not even the operator - sees your individual order.

Groth16proof hides your side and amount
02

Fair LMSR odds

A logarithmic market maker prices YES/NO continuously and settles the net on-chain.

LMSRprices YES/NO continuously
03

No-leak committee

A t-of-n threshold committee decrypts only the aggregate net, never any single trade.

t-of-ncommittee decrypts only the net
04

Self-custody

Your wallet signs every action; your order secrets stay in your browser.

Self-custodysecrets stay in your browser
Process

Deposit.Supply.Earn.

On-chain infrastructure
Stellar network sphere

Verifiable by
design.

Built on Stellar Soroban. Groth16 over BLS12-381, circom circuits, a Jubjub threshold-ElGamal committee, and a Reflector-oracle resolver.

100%net settled

Only the committee-decrypted net order ever touches Soroban. Individual orders never appear on-chain.

2 of 3Committee threshold (demo)
~30kConstraints per private order
live
Shielded poolSoroban contract
live
Order circuitcircom + Groth16
live
CommitteeJubjub threshold-ElGamal
live
ResolverReflector oracle
live
Stellar Testnetlive deploy
LIVE

Proven
on testnet.

~0k
Constraints per private order
circom + Groth16 circuit
threshold-ElGamal decrypt
Committee threshold (demo)
0 of 3
individual orders stay hidden
Net settled on-chain
0%
batched before settlement
Individual orders revealed
0
Live on Stellar testnetcircom + Groth16 order circuitsReflector-oracle resolutionThreshold-decryption committeeTestnet only
Composability

Composes
with the ecosystem.

Stellar Soroban for settlement, Reflector for price resolution, and a circom + Groth16 proving stack for private orders.

Chain
XLM
Stellar
Contracts
SOR
Soroban
Oracle
RFL
Reflector
Circuits
CIR
circom
Proving
SNJ
snarkjs
Curve
G16
Groth16/BLS12-381
Groth16proof system
t-of-nthreshold committee
Self-custodywallet signs every order
View the architecture
Security

Verified,
not assumed.

Every order is proven valid with a Groth16 circuit before the committee ever decrypts anything, and a t-of-n threshold means no single party can move funds alone. Unaudited research prototype - testnet only.

On-chain guarantee
0Individual orders revealed on-chain
Groth16circomt-of-nTestnet only

Zero-knowledge order validity

Each order proves it's well-formed and in-range before the committee ever sees it.

Threshold decryption (Chaum-Pedersen verified partials)

Committee members submit verifiable partial decryptions; no single member holds the whole key.

On-chain proof verification + t-of-n authorization

Soroban verifies the Groth16 proof and checks t-of-n committee signatures before funds move.

Self-run trusted-setup ceremony tooling

Anyone can rerun the trusted-setup ceremony to check the proving key.

Open source

Read the code.
Verify it yourself.

Open circuits and contracts. Inspect the circom sources, the Soroban contracts, and the committee services.

Circom circuits

Groth16 circuits proving deposit validity and private redemption.

Soroban contracts

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

Committee services

Threshold ElGamal decryption and batch relaying.

Verifiable on-chain

Read commitments and contract state on the Stellar explorer.

View the repo
" """ " "" " " " " " " " " " " " " " " " " " " "" " " " " "" "" " " " " " " "" " " """ " " " "" " " "" " " " "" " " " "" " " " "" " " " " " " " """ " " " " " " "" """ " "" " " """ " " " "" " "" " " "" " " " " " " "" " " "" " "" " " " " " " " " " " " " " " " """ " " " " " "" " " " " " " " " " " " " " " " "" " " " "" " " """ " " " " " " " " " " " " " " " " " "" " " """ " " "" " " " " "" " " " " "" " " " " "" " " " " " " " " " " " " " "" "" " "" "" "" " " " " " "" "" " " " "" " " " "" " "" " " " " "" """ " "" " " "" " " """ " """ " """ "" " " " """ """ " " """ " " " """ " " "" " " " " " """" " " " " " " """" " " "" " " " " "" " "" "" " " " "" " " " " " " "" " " " "" "" """ "" " """ " "" " " """ " " """ " " " "" " "" " "" " "" "" " "" " " " " "" " " " " " " " " "" " " """ " " " " " " " " "" "" " """" " " " "" " " " " " " "" " "" " " " """ "" "" " " """ " " " " " """ "" " " """"" " " " " " """ " "" " " "" " " "" " " "" "" " " "" " "" "" "" "" " "" " " " " " "" " " "" " " " " """""" " " " " " "" "" " " " " " " " " "" " " " " "" "" " "" "" " " " " " " " " "" " "" " "" " " " " " " " """" "" " " " "" " " " " " " " """ " "" " """" """ "" " " "" " "" " " " " " "" " " " "" " " " " " "" " """ " " " " " " " "" " " " " " "" """ "" " " "" " " " "" " " "" "" " " " " " " " " " "" " " """ " " "" " " " " " "" " " " " " " " " " " "" """" "" " " "" "" " " "" " " "" " "" " " " "" " "" " " " " " "" """ "" " " " " """ " """ "" """" """ " " " " " " " " " " "" " " "" " " " "" " " "" " " """" " " """ " """ " """ "" " " " " "" " "" " """ " " " "" " " " " " " "" " " " " " "" "" " " " " " " " " """ " " "" "" "" " " """ " " "" " " " " "" " "" " " " " " " " " " " " " " " " " " " " " " """" " """ " " "" " " " " " " "" " " "" " "" "" " " """ "" " " """ " " " " " " """ "" " " "" " " "" " " "" "" " " " " "" " " " " " " " " " " "" " " " " " " "" """ " "" " " "" " " " "" "" " """ " " """"" "" """ "" " " " " "" "" " " "" " " " " " """ """ " " "" "" " " " " "" " """ " """" " " " " " " "" " " " " " "" " """ " " " " "" "" "" " " " " "" " "" " " " " "" " "" " " "" """ " """ "" " " " "" " " " " " " " " """ " " "" " " " " " "" " " " "" " " "" " "" "" " " """ " " " "" "" " " " """ " "" " " " " """ " "" " """ " " " "" " " "" """ " " " " """" " """ " "" " " " "" " " " " " " " " """ " " "" """ " " """" " " """ """ " " " "" " " "" "" "" " " " "" """ """ """ " " "" " " " "" " " "" " """ " " "" " " " " " " " " "" " " "" " " " " " " "" " " " "" """ " "" " """ "" " " " " " """" " " " " " """ "" " "" " " " "" " " " " " "" " " """ " " """""" "" " "" " " " " " " " " " " " " " "" """ "" " "" "" "" " " "" "" "" " "" " " " " "" " " "" " " "" "" "" "" " """ " "" " " " " " " "" " "" " "" " "" " " " """ " " """"" " """"" "" " " "" " " " " " """ " " """ " " """ " " " " " "" " " "" " " "" " " " """ " """ " " "" " " "" " "" " "" " "" " " """"" " " " " "" "" " " " """"" """ "" " "" " " " " " " " " " "" "" " " " " "" """"" "" " " " "" " " " " " " " " "" "" " """ " " "" " " " "" " "" " " "" """ " " " "" "" "" " " " " "" " "" " "" "" " " " " " " " """"" "" " " """ " " " """" " " " "" "" " " " " " " ""
Primitives

Backed by the math.

LMSR prices every position continuously from a single automated market maker, no order book and no counterparty to find.
L

LMSR

Market pricing, LMSR

1AMM per market
Key primitives

Trade without
being watched

Deposit privately, back an outcome, and redeem winnings without exposing your position to anyone, including us.

Testnet only, unaudited.