deploy Verifier.sol contract for snappframe (https://github.com/DalaiLlaama/snappframes)
run truffle migrate --network development or truffle migrate --network ropsten (or replace with whichever network you want). if using Ganache, make sure to provide .secret file for your mnemonic.