Backend offline — running in demo mode. Check HF Space →
Reso Reso / Proof Console
Proofs 0
·
Verified 0
·
Blocked 0
Back to Landing Docs
Connected

ZK-Proof Transaction Simulator

Compile and verify zero-knowledge compliance proofs on Stellar testnet. Each step produces a cryptographic proof, not a log entry.

Ready
RevocationSanctionsKYCLimitsOn-chain
Revocation check — wallet not in revocation registrysha256::0x—
Sanctions proof — address absent from Merkle treesha256::0x—
KYC circuit — tier ≥ required levelsha256::0x—
Limits circuit — amount within daily and rolling capssha256::0x—
On-chain hook — BN254 pairing proof verified on Sorobanbn254::0x—
Rule Configuration

Parameters compiled into ZK compliance verification circuits.

Wallet Registry

KYC attestations and sanctions directory used in proof circuits.

Sanctions Root0x00000...0000
Regulator Audit Ledger

Aggregated verification checks. No wallet addresses written on-chain — only proof hashes.

TimestampRuleStatusSanctions RootProof Hash
All operations use the real Stellar Testnet via Horizon API. Transactions visible on stellar.expert/explorer/testnet →
Create & Fund Account

Generate a Stellar keypair funded with 10,000 XLM via Friendbot.

Account Inspector

Load live balances and signers from Horizon testnet.

Send XLM

Submit a real payment to Stellar testnet.

Testnet only. Never use mainnet secret keys.
Transaction History

Live payment history from Horizon for any address.

TimeTypeAmountAssetTx
Multisig Setup

Add a co-signer and configure thresholds.

Permanently changes account settings.
Cross-Asset Path Payment

Send one asset, recipient gets another via DEX.

Testnet only.
Issue Custom Asset

Mint a new token on Stellar testnet with a trustline setup.

Both accounts must be funded.
Add Trustline

Allow an account to hold a custom asset.

Create Claimable Balance

Lock real XLM on testnet with a time lock.

Real on-chain transaction.
Claim Balance

Claim an unlocked claimable balance on testnet.

Live DEX Orderbook

Real-time bids/asks from Stellar testnet DEX.

SidePriceAmount
Place DEX Offer

Post a real sell offer on the Stellar testnet DEX.

Requires trustline for buying asset.
ZK-Gated Escrow Deposit

Lock funds. Release requires a valid ZK proof from the recipient.

Active Escrows

Locked balances awaiting ZK claim or timelock expiry for refund.

FHE Encrypted Limits (Paillier)

Sum encrypted amounts without decrypting (additive homomorphic encryption).

Empty.
Threshold Time-Lock Disclosure

3-of-5 trustee approvals + 10s time delay to reveal identity (Shamir TSS).

Not opened.

2. Trustee Approvals (3/5 needed):

Trustee 1
Trustee 2
Trustee 3
Trustee 4
Trustee 5
Credential Revocation

Instant KYC revocation via Merkle root update. Propagates in the same block.

Revocation Rootloading...
None.
Recursive Proof Folding

Nova-style IVC: fold transaction proofs into one constant-size accumulator.

Proof Accumulatorloading...
zkML Risk Score

ML-based fraud risk scoring with ZK attestation on Stellar Testnet.

Batch Risk Dashboard

ML risk scores for all registered wallets.

Click Batch Score All to load
About zkML on Stellar

The first ML-based risk oracle on Stellar. A logistic regression model scores wallets based on transaction behavior, KYC tier, and sanctions status. The proof hash confirms correctness without revealing model weights.

Amount Weight
0.35
Volume Weight
0.25
KYC Weight
-0.30
Sanction Weight
0.90
ZK-Attested
SHA-256
Issue Soulbound Token

Non-transferable compliance credential (CST) permanently bound to a wallet.

Active Soulbound Tokens

Non-transferable credentials permanently bound to wallets on Stellar.

Click Refresh to load
Jurisdiction Compliance Check

Auto-applies EU MiCA / US FinCEN / UAE VARA / SG MAS rules to any transaction.

Jurisdiction Rule Comparison

Side-by-side limits across all supported regulatory frameworks.

JurisdictionMax TxDaily LimitMin KYCTravel Rule
Global$10,000$25,000Tier 1$1,000
US FinCEN$3,000$10,000Tier 1$3,000
UAE VARA$5,000$20,000Tier 1$5,000
SG MAS$2,000$8,000Tier 2$1,500
EU MiCA$1,000$5,000Tier 2$1,000
Create Reserve Snapshot

ZK-backed solvency proof. Proves solvency without revealing exact balance amounts.

Reserve History

On-chain ZK-attested solvency snapshots, anchored to Stellar.

Click Load to view
Deadman Switch

Auto-unlock funds if oracle goes silent for too long. Heartbeat-based.

KYC Inheritance Tree

Link child wallets to inherit parent KYC attestation automatically.

Regulatory Canary

ML-scan all wallets. Auto-freeze high-risk ones with 48h contest window.

Whistleblower Vault

ZK-identity-protected anonymous complaint submission for compliance violations.

Timed Compliance Proofs

Issue proofs with expiry TTL that must be periodically renewed.

Bridge Attestation

Cross-protocol compliance attestation to other Stellar anchors.

Register Wallet

Add a wallet to the compliance registry for proof testing.

Done.