Tutorial on generating and verifying Noir zero-knowledge proofs in Stellar smart contracts. Demonstrates setting up a local Stellar testnet, compiling Noir circuits, generating proofs with Barretenberg, and verifying them on-chain using Soroban.
This technical tutorial walks through the complete workflow for integrating Noir zero-knowledge circuits with Stellar smart contracts. The speaker demonstrates compiling a simple Noir circuit that checks if a limit price exceeds market price, generating proofs using Barretenberg (bb.js), and verifying them on-chain via Soroban contracts. The tutorial covers setting up a local Stellar development environment using Docker, deploying the UltraHonk verifier contract, and shows both backend (Node.js) and frontend (React/WASM) proof generation. The speaker notes current CPU instruction limits for on-chain verification and recommends using local testnet development until protocol 26 upgrades resolve these constraints.