ZK Email SDK verify on Circuitscan

load-from-sdk.sh

#!/bin/bash
# Set to any circuit on https://sdk.prove.email/
CIRCUIT="strobe/proof-of-price-2"

INSTANCE_SIZE=128
CHAIN=sepolia

CIRCUIT_DIR="${CIRCUIT//\//-}"
echo "Downloading $CIRCUIT to $CIRCUIT_DIR..."

mkdir $CIRCUIT_DIR
cd $CIRCUIT_DIR

curl -Lo project.zip https://sdk.prove.email/api/download/$CIRCUIT
unzip project.zip
CIRCUIT_NAME=`node -e "
  process.stdout.write(
    fs.readFileSync('index.ts', 'utf8')
      .match(/path.join\(__dirname, \".\/circuit\/([a-zA-Z0-9_-]+).circom\"\)/)[1])
"`

curl -Lo try.html https://sdk.prove.email/try/$CIRCUIT
# Circuit must be verified on sourcify or etherscan
CIRCUIT_ADDR=`node -e "
  process.stdout.write(
    fs.readFileSync('try.html', 'utf8')
      .split('verifierContractAddress')
      .pop()
      .slice(5,47))
"`

npm install

# This forces the cli to load dependencies from this root directory
echo '{"include":["node_modules"]}' >> circomkit.json

echo "Verifying $CIRCUIT_NAME at $CIRCUIT_ADDR on $CHAIN..."

MY_CMD="circuitscan verify:circom \
  circuit/$CIRCUIT_NAME.circom \
  $CHAIN \
  $CIRCUIT_ADDR \
  -k https://sdk.prove.email/api/download_zkey/$CIRCUIT \
  -v v2.1.8 \
  -s 0.7.4 \
  -i $INSTANCE_SIZE \
"
echo "Running $MY_CMD"
eval $MY_CMD