midnight-core-concepts:zero-knowledge

Zero-knowledge proofs in Midnight secure transactions by using ZK SNARKs to validate statements without revealing secret data. They map contract logic to provable constraints, allowing on-chain verification of private inputs against public constraints.

To build a zero-knowledge circuit in Midnight, you map your contract logic to provable constraints. You then generate proving keys, provide witness inputs for the private data, and create proofs for on-chain verification.

The ZK SNARK workflow in Midnight involves circuit generation, supplying witness inputs for sensitive state, and producing a proof. The network then verifies this proof against public inputs without leaking the underlying confidential data.

Use zero-knowledge proofs for privacy-preserving transactions when validating contracts or handling confidential data where sensitive state must remain hidden. They allow you to prove a private input satisfies a public constraint without leaking data.

On-chain verification of ZK SNARKs in Midnight requires circuit generation, proving keys, and public inputs. The framework validates the generated proof against these elements to ensure private inputs satisfy the constraints without exposure.