bn254

Documentation

Overview

package main contains the trusted parameters for the bn254 curve as described in the doc.go file in the setup package (parent folder).

The parameters for the Prover and the Verifier are in the pk.bin and vk.bin files, respectively.

These files have been created using the script in the audit.go file. To audit the parameters you need to:

1) download the original source file `powersOfTau28_hez_final_18.ptau' from the snarkjs github page: https://github.com/iden3/snarkjs (direct file link: https://storage.googleapis.com/zkevm/ptau/powersOfTau28_hez_final_18.ptau)

2) Place the file in this directory

3) Run the audit.go main program with `go run .`

This will create the pk.audit and vs.audit files and test they match the pk.bin and vk.bin files.