ZK-Gated Compliance
on Stellar
A verification layer for tokenized real-world assets. Bridge privacy and strict regulatory requirements instantly with zero-knowledge proofs.
A verification layer for tokenized real-world assets. Bridge privacy and strict regulatory requirements instantly with zero-knowledge proofs.
Verify investor accreditation and compliance without ever revealing the underlying sensitive data on the public ledger.
Seamlessly interacts with Soroban smart contracts, enabling atomic settlement for tokenized real-world assets.
Built from the ground up for financial institutions requiring strict regulatory adherence and high throughput.
Generate a real zero-knowledge eligibility proof and authorize a Stellar trustline on-chain — without revealing your private data.
Issuer Configuration
These rules are enforced cryptographically on-chain. No identity documents are collected or stored.
Accredited investors only
US · GB · CA · DE
$50,000 committed
0x2356709c...e6488
Enter a funded Stellar testnet account secret key. Generate one free at lab.stellar.org.
A holder commits their eligibility facts once as a single hash. To request authorization, they generate a Noir circuit proof. A Soroban contract verifies the proof on-chain and authorizes the trustline automatically.
// Single proof, four eligibility checks
fn main(
accredited_flag: Field, // private
country_code: Field, // private
committed_capital: u64, // private
secret_nonce: Field, // private
commitment: pub Field, // public
merkle_root: pub Field, // public
min_capital_threshold: pub u64
) {
// 1. Commitment binding
assert(pedersen_hash([...]) == commitment);
// 2. Accreditation equality
assert(accredited_flag == 1);
// 3. Jurisdiction Merkle membership
assert(computed_root == merkle_root);
// 4. Capital range proof
assert(committed_capital >= min_capital_threshold);
}