Groth16 prover

This directory contains a reference CPU implementation of the Groth16 prover using libsnark.

Build

./build.sh

Generate parameters and inputs

./generate_parameters

Run

./main MNT4753 compute MNT4753-parameters MNT4753-input MNT4753-output
./main MNT6753 compute MNT6753-parameters MNT6753-input MNT6753-output

Check results

sha256sum MNT4753-output MNT6753-output