In order to convert the verification key into a format suitable to verify the computation on the ethereum blockchain, we need to have access to the unprocessed verification key.
Currently, Pepper only exports the processed verification key. This change makes so that if we provide a fourth argument to the ./pepper_compile_and_setup_V.sh, it will write the unprocessed verification key into that file. I will create a separate repo that will contain a script to convert this file into a smart contract verifier.
I tested the change both with 4 as well as 3 parameters.
In order to convert the verification key into a format suitable to verify the computation on the ethereum blockchain, we need to have access to the unprocessed verification key.
Currently, Pepper only exports the processed verification key. This change makes so that if we provide a fourth argument to the
./pepper_compile_and_setup_V.sh
, it will write the unprocessed verification key into that file. I will create a separate repo that will contain a script to convert this file into a smart contract verifier.I tested the change both with 4 as well as 3 parameters.