The first on-chain ZK proof verifier powered by native Rust execution on Polkadot's PVM. It wraps a Rust-compiled halo2 ZK proof verifier behind a clean Solidity interface, and uses it to power a production-grade private governance system where voters prove eligibility without ever revealing their identity or wallet address.