MONEROCHAN Verifier

This crate provides verifiers for MONEROCHAN Groth16 and Plonk zero-knowledge proofs. These proofs are expected to be generated using the MONEROCHAN SDK.

Features

Groth16 and Plonk proof verification are supported in no-std environments. Verification in the MONEROCHAN zkVM context is patched, in order to make use of the bn254 precompiles.

Pre-generated verification keys

Verification keys for Groth16 and Plonk are stored in the bn254-vk directory. These vkeys are used to verify all MONEROCHAN proofs.

These vkeys are the same as those found locally in ~/.monerochan/circuits/<circuit_name>/<version>/<circuit_name>_vk.bin, and should be automatically updated after every release.

Tests

Run tests with the following command:

cargo test --package monerochan-verifier

These tests generate a groth16/plonk proof and verify it.

Acknowledgements

Adapted from @Bisht13's gnark-bn254-verifier crate.