A domain-specific language for writing zero-knowledge circuits, developed by Aztec Labs. Used by Stellar/Soroban developers for privacy-preserving smart contract verification.
