How do I add ZK proofs within Casper?

ZK proof inclusion would require building the proof verification inside the smart contract. You would need to add either of the following to your contract:

• GitHub - paritytech/bn: Pairing cryptography library in Rust
• GitHub - zkcrypto/pairing: Pairing-friendly elliptic curve library.

Verifications would then need to use the associated library. One implementation completed on the Casper Network can be viewed here:

• GitHub - odradev/casper-zk-with-risc0: Zero Knowledge on Casper

If you have any concerns, questions, or issues, please submit a request to our support team here:

https://support.casperlabs.io/hc/en-gb/requests/new