Video walkthrough on building zero-knowledge proofs using Circom circuits integrated with Stellar Soroban smart contracts. Covers circuit design with constraints, proof generation via snarkjs, conversion to Soroban-compatible hex format, and verification on testnet with working code examples.
A developer tutorial demonstrating zero-knowledge circuit development on Stellar. The walkthrough covers writing a simple Circom circuit (proving A times B equals C without revealing A or B), generating proofs locally with snarkjs, and verifying them on Stellar testnet via Soroban smart contracts. The speaker walks through backend setup with Grof 16 verifier contracts from Stellar's official examples, proof generation and conversion to hex using Circum2hex (a Rust tool), and frontend integration via React. The demo shows successful proof verification on-chain and demonstrates failure modes when public signals are altered. The speaker emphasizes that while Circom circuits are mathematically dense, modern AI-assisted development tools can help write and validate them, but production deployments require careful code review and full understanding of what is being deployed.
