Zero-Knowledge Proofs
Made Easy
Open source developer toolkit for building privacy-preserving applications on Stellar Soroban, Ethereum, and EVM chains — no cryptography PhD required.
Generate proofs, verify on-chain, and build private dApps with our simple SDK and no-code tools. From circuits to deployment in minutes, not months.
Current Phase
PoC → MVP → Testnet → Mainnet
See OpenZKTool in Action
Watch a 5-minute demonstration of zero-knowledge proofs in production. From proof generation to multi-chain verification.
🎬 Quick Demo
5-minute interactive demonstration
./DEMO_COMPLETE.shCircuit Setup
Compile circuit with 586 constraints
~30sProof Generation
Alice proves KYC compliance
<1sLocal Verification
Off-chain proof validation
<50msMulti-Chain
EVM + Soroban overview
~1min👤Alice's Challenge
- ✓ Age ≥ 18
- ✓ Balance ≥ $50
- ✓ Allowed country
- 🔒 Age: 25 (secret)
- 🔒 Balance: $150 (secret)
- 🔒 Country: Argentina (secret)
Traditional KYC: Reveals all data
ZK Proof: Proves compliance without revealing anything!
🎉The Result
kycValid: 1📋Prerequisites
For JSON parsingbrew install jqWhy OpenZKTool?
The first open-source, production-ready privacy and identity layer for Stellar — designed for developers, institutions, and the future of decentralized finance
Privacy-Preserving Verification
Prove identity, compliance, and solvency without revealing sensitive data. ZK-SNARKs enable verification without disclosure.
Multi-Chain Ready
Full implementation on Ethereum and Stellar Soroban (v4 with complete BN254 pairing). Ready to deploy on any EVM-compatible network (Polygon, BSC, Arbitrum, Optimism, Base).
Production-Grade Performance
~800 byte proofs, 586 constraints, <50ms verification. Optimized for real-world applications and high transaction volumes.
Developer-Friendly SDK
TypeScript/JavaScript SDK with intuitive APIs. Generate and verify proofs in minutes, not weeks.
No-Code Playground
Visual circuit builder for non-developers. Design, test, and deploy ZK circuits without writing code.
Open Source & Auditable
AGPL-3.0 licensed. Built with Circom, snarkjs, and Soroban. Transparent, auditable, community-driven.
The OpenZKTool Difference
Built for Stellar
Native Soroban support with EVM compatibility. The only ZK toolkit designed specifically for Stellar's ecosystem.
Research-Backed
PhD-level cryptography expertise. Academic partnerships ensure cutting-edge ZK research translates to production code.
Digital Public Good
Open source, community-driven, and designed for maximum impact. Privacy infrastructure for everyone, everywhere.
True Interoperability
One SDK, multiple chains. Generate proofs once, verify anywhere.
Currently on testnet: Ethereum & Soroban. MVP roadmap: Full mainnet deployment across all EVM chains.
Soroban (Stellar)
- ✓Complete pairing v4
- ✓20KB WASM
- ✓49+ tests
- ✓Testnet deployed
Ethereum
- ✓Solidity verifier
- ✓~250k gas cost
- ✓Battle-tested
- ✓Testnet deployed
Polygon
- ✓Low gas fees
- ✓EVM compatible
- ✓High throughput
- ✓Same verifier as ETH
BSC
- ✓Fast blocks
- ✓EVM compatible
- ✓Low latency
- ✓Wide adoption
Arbitrum
- ✓L2 scaling
- ✓Lower fees
- ✓ETH security
- ✓EVM compatible
Optimism
- ✓L2 optimistic
- ✓Low costs
- ✓ETH security
- ✓EVM compatible
How It Works
From circuit to verification in minutes. Simple integration, powerful privacy guarantees.
1. Define Circuit
Write your privacy logic in Circom
2. Compile & Setup
Compile to R1CS and generate keys
3. Generate Proof
Create ZK proof with private inputs
4. Verify On-Chain
Submit proof to smart contract
Circuit Definition
Circomtemplate KYCTransfer() {
signal input age;
signal input balance;
signal input countryId;
signal output kycValid;
// Age check: 18-99
component ageProof = RangeProof();
ageProof.value <== age;
ageProof.min <== 18;
ageProof.max <== 99;
// Balance check: >= $50
component solvency = SolvencyCheck();
solvency.balance <== balance;
solvency.threshold <== 50;
// Country allowlist
component compliance = ComplianceVerify();
compliance.countryId <== countryId;
kycValid <== ageProof.valid *
solvency.valid *
compliance.isAllowed;
}Proof Generation
TypeScript SDKimport { OpenZKTool } from '@openzktool/sdk'
// Initialize SDK
const zk = new OpenZKTool({
circuit: 'kyc_transfer',
network: 'testnet'
})
// Private data (never revealed!)
const inputs = {
age: 25, // 🔒 Secret
balance: 150, // 🔒 Secret
countryId: 11 // 🔒 Secret
}
// Generate proof in <1 second
const { proof, publicSignals } =
await zk.generateProof(inputs)
// Verify locally (instant)
const valid = await zk.verifyLocal(proof)
// Verify on Stellar/Ethereum
const tx = await zk.verifyOnChain(
proof,
'stellar' // or 'ethereum'
)
// Result: kycValid = 1 ✅
// Hidden: age, balance, countryPrivacy Preserved
Exact values never leave your device
Fast Verification
Constant time, no matter input size
Chain Agnostic
Same proof works everywhere
Built for Real-World Impact
Multi-chain privacy infrastructure solving real problems for financial institutions, developers, and 3.7 billion underserved users worldwide
Financial Privacy with Compliance
Enable institutions to verify user eligibility without collecting or storing sensitive personal data. Privacy-preserving KYC/AML that actually works.
Use Case: Prove: Age ≥ 18, Balance ≥ $1000, Country: Allowed — without revealing exact values
Cross-Border B2B Payments
Businesses can prove solvency and compliance for international transactions while keeping commercial relationships and financial details confidential.
Use Case: Prove credit-worthiness for $50K trade without revealing total assets or cash flow
Decentralized Identity
Self-sovereign identity that works across chains. Prove credentials, memberships, and qualifications without centralized databases.
Use Case: Prove accredited investor status without sharing portfolio or tax documents
Private DeFi & Trading
Execute trades, provide liquidity, and access lending markets without exposing positions, balances, or trading strategies to the public.
Use Case: Access DeFi lending with private collateral amounts and borrowing history
Regulatory Reporting
Prove compliance with regulations (tax thresholds, sanctions, AML) while minimizing unnecessary data disclosure to third parties.
Use Case: Prove tax bracket compliance without revealing exact income to service providers
Cross-Chain Privacy
Prove state or ownership on one chain while executing actions on another. Currently supports Ethereum and Stellar Soroban, with more chains coming.
Use Case: Prove Stellar asset ownership to unlock Ethereum features, or vice versa
Why Privacy Matters Now
Addressable market for privacy tech in finance (2024-2030)
Of financial institutions cite privacy as #1 barrier to blockchain adoption
Expected mass adoption of ZK privacy tech in TradFi and DeFi
Build the Future of Private Finance
Join developers and institutions building privacy-first applications across multiple blockchains
Meet Team X1 🦾
Expert hacker team from Xcapit Labs building the future of privacy-preserving blockchain technology.
Each member represented by their spirit animal 🐾
Fernando Boiero
Project Lead & Cryptography Advisor
Architecture, circuit design, security strategy
Maximiliano César Nivoli
Soroban Contract Lead
Rust contracts, verification logic, gas optimization
Francisco Anuar Ardúh
ZK Circuit / Cryptographer
Circom circuits, optimization, formal verification
Joel Edgar Dellamaggiore Kuns
ZKP Proof Specialist
Proof generation, WASM/browser support
Franco Schillage
DevOps & Infrastructure Lead
CI/CD, deployment, monitoring, infrastructure
Natalia Gatti & Carolina Medina
QA Specialists
Testing, security, documentation quality
Team Strengths
Academic Expertise
PhD-level cryptography, partnership with UTN
Stellar Experience
6+ months on Soroban, previous SCF grant
Blockchain Veterans
6+ years building on Ethereum & Layer 2s
Global Focus
LATAM expertise, remote-friendly, worldwide reach
Proven Track Record
Development Roadmap
Our phased approach to building comprehensive privacy and identity infrastructure for Stellar
PoC → MVP → Testnet → Mainnet
Privacy & Identity Layer on Stellar
Phase 0: Proof of Concept
✅ CompletedGoal:
Validate the feasibility of privacy-preserving verification using Zero-Knowledge Proofs across Stellar (Soroban) and EVM-compatible environments.
Core ZK Circuit Library
range_proof, solvency_check, compliance_verify, kyc_transfer
Multi-Chain Verifiers
EVM (Solidity) and Soroban (Rust no_std)
Demo Scripts & Documentation
Complete educational materials and examples
Web Landing Page
openzktool.vercel.app
Phase 1: MVP
🚧 UpcomingGoal:
Build the minimum viable product to make ZKP privacy verification accessible for developers through a clean SDK and modular architecture.
ZKP Core SDK (TypeScript/JS)
Interfaces for proof generation, verification, circuit management
Unified API Layer
REST/GraphQL endpoints for external systems
Integration Examples
Stellar and EVM (Polygon Amoy/Sepolia)
WASM/Browser Support
Client-side proof generation
Phase 2: Testnet
🧭 PlannedGoal:
Deploy the MVP to Stellar and EVM testnets, enabling interoperability and real network testing.
Contract Deployment
Deploy on Stellar Soroban testnet and EVM testnets
Hosted SDK/API Service
Public API endpoint for testnet
Documentation Portal
Technical docs and developer guides
Sample dApps
Reference implementations
Phase 3: Mainnet
🌐 FutureGoal:
Launch production-ready privacy and identity infrastructure on Stellar and EVM mainnets, supported by a no-code interface.
Playground UI
Visual interface to create ZKP circuits (no-code)
Open-Source SDK Release
@openzktool/sdk on npm
Mainnet Deployment
Production contracts on Stellar and EVM mainnets
Security Audit
Independent third-party audit
Roadmap Summary
| Phase | Network Scope | Focus | Verification |
|---|---|---|---|
| 0 – PoC | Local / Dev | Circuits & CLI | ✅ Reproducible repo |
| 1 – MVP | Dev / Local | SDK + API design | Unit testing |
| 2 – Testnet | Stellar + EVM Testnets | Interoperability | Cross-chain validation |
| 3 – Mainnet | Stellar + EVM Mainnets | Production & UI | Public verification |
Join us in building privacy infrastructure for the future of finance
Frequently Asked Questions
Everything you need to know about OpenZKTool and zero-knowledge proofs
Still have questions?
Join our community on GitHub Discussions or reach out directly
Build Together
OpenZKTool is a Digital Public Good — open source privacy infrastructure for everyone
Join developers, institutions, and privacy advocates building multi-chain privacy infrastructure for Web3
GitHub
Explore the code, report issues, and contribute to the open-source project
Discussions
Ask questions, share ideas, and engage with the community
Follow for updates, announcements, and ecosystem news
Connect professionally and follow Xcapit Labs
Xcapit Labs
Learn more about the team behind OpenZKTool
Reach out for partnerships, questions, or collaboration
Ways to Contribute
Code Contributions
Submit PRs, fix bugs, add features, improve documentation
Report Issues
Found a bug or have a feature request? Let us know on GitHub
Spread the Word
Share the project, write about it, and help grow the community
Open Source & Free
OpenZKTool is licensed under AGPL-3.0, ensuring the ecosystem remains open and accessible to everyone.
View License