Encryption deep dive
Zero-knowledge proofs
Prove that something is true without revealing the data behind it, and keep systems private and verifiable at the same time.
Privacy and proof, together
A zero-knowledge proof lets one party convince another that a statement is true, for example that a value lies within a range or that a computation was carried out correctly, without revealing anything beyond that fact.
We use zero-knowledge proofs where privacy and verifiability have to coexist: private transactions, credentials, compliance checks and verifiable computation, on blockchains and off them.
What we build with zero-knowledge proofs
-
zkSNARKs
Succinct, non-interactive proofs that are small and fast to verify, well suited to private transactions and on-chain verification.
- Circuit design and optimization
- Trusted setup ceremonies where the proof system needs one
- Prover performance tuning
- Integration with existing systems
-
zkSTARKs
Transparent proofs with no trusted setup. They rely only on hash functions, which are believed to resist attacks by quantum computers.
- Scalable proof generation
- No trusted setup
- Plausibly post-quantum security
- Suited to high-throughput workloads
-
Privacy-preserving smart contracts
Smart contracts that protect sensitive business logic and user data.
- Private state transitions
- Confidential transactions
- Selective disclosure
- Compliance checks without exposing the underlying data
Where it helps
Financial services
Private transactions and confidential trading, with compliance checks that do not expose sensitive financial data.
Healthcare
Share medical records and research results while protecting patient privacy.
Supply chain
Prove a product's authenticity and origin without revealing proprietary business information.
Identity
Prove attributes such as age or membership without exposing personal information.