BGW Requirements emp-tool OpenSSL Compile To switch between poseidon hash and RSA, modify program.hpp. make prover make verifier Run ./run.sh ./verifier