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:
If you have any concerns, questions, or issues, please submit a request to our support team here: