Searching protocol for "groth16"
Test SNARK submissions with sample data.
BitVM2: SNARK verifier on Bitcoin.
Prove without revealing. Build privacy circuits.
Design ZK circuits & select proof systems.