Lucien from Boundless and Matteo from NetherMind demonstrate how to bring zero-knowledge proofs to Stellar via Boundless, enabling privacy, removing transaction limits, and unlocking new DeFi applications like private AMMs through verifiable off-chain computation.
Lucien and Matteo present Boundless, a smart contract marketplace for ZK compute that brings verifiable computation to Stellar. They cover major use cases: privacy (mixers and regulated financial applications), blockchain interoperability (proving one chain on another), and provable applications (perp DEXs, exchanges). Boundless reduces ZK proving costs by leveraging GPU compute and introduces proof of verifiable work rewarded by the Zero Knowledge Coin token. NetherMind is integrating the RISC Zero verifier on Soroban. A practical example demonstrates a private ZK AMM where swaps happen off-chain with proofs verified on-chain, enabling multiple trades in a single transaction. Future work includes Steel, a ZK processor that adds blockchain state and consensus data into ZK programs, enabling new composability patterns for Soroban.
