This tool helps you convert snarkjs outputs (verification keys, proofs) to Aptos representations.

How to use

Clone this repo and cd into the repo root.

Say your BN254-based Groth16 verification key file is at /path/to/vk.json, and the corresponding proof at path/to/proof.json.

Run the following command, and you should see an example Move module generated at ./example_1.

export IN_VK_PATH=/path/to/vk.json
export IN_PUBLIC_INPUT_PATH=/path/to/public-input.json
export IN_PROOF_PATH=/path/to/proof.json
export OUT_DIR=./example_1
cargo run

The example module should contain a test that successfully verifies your Groth16 proof with your Groth16 verification key, if they match.

cd example_1
aptos move test