Compile and verify zero-knowledge compliance proofs on Stellar testnet. Each step produces a cryptographic proof, not a log entry.
Parameters compiled into ZK compliance verification circuits.
KYC attestations and sanctions directory used in proof circuits.
Aggregated verification checks. No wallet addresses written on-chain — only proof hashes.
| Timestamp | Rule | Status | Sanctions Root | Proof Hash |
|---|
Generate a Stellar keypair funded with 10,000 XLM via Friendbot.
Load live balances and signers from Horizon testnet.
Submit a real payment to Stellar testnet.
Live payment history from Horizon for any address.
| Time | Type | Amount | Asset | Tx |
|---|
Add a co-signer and configure thresholds.
Send one asset, recipient gets another via DEX.
Mint a new token on Stellar testnet with a trustline setup.
Allow an account to hold a custom asset.
Lock real XLM on testnet with a time lock.
Claim an unlocked claimable balance on testnet.
Real-time bids/asks from Stellar testnet DEX.
| Side | Price | Amount |
|---|
Post a real sell offer on the Stellar testnet DEX.
Lock funds. Release requires a valid ZK proof from the recipient.
Locked balances awaiting ZK claim or timelock expiry for refund.
Sum encrypted amounts without decrypting (additive homomorphic encryption).
3-of-5 trustee approvals + 10s time delay to reveal identity (Shamir TSS).
2. Trustee Approvals (3/5 needed):
Instant KYC revocation via Merkle root update. Propagates in the same block.
Nova-style IVC: fold transaction proofs into one constant-size accumulator.
ML-based fraud risk scoring with ZK attestation on Stellar Testnet.
ML risk scores for all registered wallets.
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.
Non-transferable compliance credential (CST) permanently bound to a wallet.
Non-transferable credentials permanently bound to wallets on Stellar.
Auto-applies EU MiCA / US FinCEN / UAE VARA / SG MAS rules to any transaction.
Side-by-side limits across all supported regulatory frameworks.
| Jurisdiction | Max Tx | Daily Limit | Min KYC | Travel Rule |
|---|---|---|---|---|
| Global | $10,000 | $25,000 | Tier 1 | $1,000 |
| US FinCEN | $3,000 | $10,000 | Tier 1 | $3,000 |
| UAE VARA | $5,000 | $20,000 | Tier 1 | $5,000 |
| SG MAS | $2,000 | $8,000 | Tier 2 | $1,500 |
| EU MiCA | $1,000 | $5,000 | Tier 2 | $1,000 |
ZK-backed solvency proof. Proves solvency without revealing exact balance amounts.
On-chain ZK-attested solvency snapshots, anchored to Stellar.
Auto-unlock funds if oracle goes silent for too long. Heartbeat-based.
Link child wallets to inherit parent KYC attestation automatically.
ML-scan all wallets. Auto-freeze high-risk ones with 48h contest window.
ZK-identity-protected anonymous complaint submission for compliance violations.
Issue proofs with expiry TTL that must be periodically renewed.
Cross-protocol compliance attestation to other Stellar anchors.
Add a wallet to the compliance registry for proof testing.