Fix deployers aux files and keys

Author: Mechanix97

contracts/deployments/31337.json

@@ -0,0 +1,5 @@
+{
+  "CREATE2_SALT": "0x0000000000000000000000000000000000000000000000000000000000000009",
+  "SP1_VERIFIER_GATEWAY_GROTH16": "0x3c380a84855AFe756E7FB33fe59ae81466B19027",
+  "V3_0_0_SP1_VERIFIER_GROTH16": "0x6e325f6cEC3EeBD6cC1b68d2a6e93342a161e174"
+}

contracts/foundry.toml

@@ -4,4 +4,8 @@ out = "out"
 libs = ["lib"]
 
 # See more config options https://github.com/foundry-rs/foundry/blob/master/crates/config/README.md#all-options
-fs_permissions = [{ access = "read-write", path = "./script/output"}, {access = "read", path = "./script/deploy"}]
+fs_permissions = [
+    { access = "read-write", path = "./script/output"}, 
+    {access = "read", path = "./script/deploy"},
+    { access = "read-write", path = "./deployments"},
+]

contracts/scripts/anvil/deploy_sp1_contracts.sh

@@ -3,17 +3,41 @@
 # cd to the directory of this script so that this can be run from anywhere
 parent_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )
 # At this point we are in tests/integration
-echo "$parent_path"
+cd "$parent_path"
 
-# # Deploy Groth16 SP1 verifier gateway
-# forge script script/deploy/SP1VerifierGatewayGroth16Deployer.s.sol:SP1VerifierGatewayScript \
-#     --rpc-url "http://localhost:8545" \
-#     --private-key "0x5de4111afa1a4b94908f83103eb1f1706367c2e68ca870fc3fb9a804cdab365a" \
-#     --broadcast
+# Start an empty anvil chain in the background and dump its state to a json file upon exit
+anvil --dump-state state/sp1-deployed-anvil-state.json &
+
+# cd to /contracts
+cd ../../
+
+sleep 1
+
+export CHAINS='TESTNET'
+export RPC_TESTNET='http://localhost:8545'
+export OWNER='0x3C44CdDdB6a900fa2b585dd299e03d12FA4293BC'
+
+# Deploy Groth16 SP1 verifier gateway
+forge script script/deploy/SP1VerifierGatewayGroth16Deployer.s.sol:SP1VerifierGatewayScript \
+    --rpc-url "http://localhost:8545" \
+    --private-key "0x5de4111afa1a4b94908f83103eb1f1706367c2e68ca870fc3fb9a804cdab365a" \
+    --broadcast
 
 # # Deploy Groth16 SP1 verifier
-# forge script ./script/deploy/SP1VerifierGroth16Deployer.s.sol:SP1VerifierScript \
-#     --rpc-url "http://localhost:8545" \
-#     --private-key "0x7c852118294e51e653712a81e05800f419141751be58f605c371e15141b007a6" \
-#     --broadcast \
-#     --verify --verifier etherscan --multi 
+forge script ./script/deploy/SP1VerifierGroth16Deployer.s.sol:SP1VerifierScript \
+    --rpc-url "http://localhost:8545" \
+    --private-key "0x5de4111afa1a4b94908f83103eb1f1706367c2e68ca870fc3fb9a804cdab365a" \
+    --broadcast 
+
+
+# Kill the anvil process to save state
+pkill anvil
+
+# Anvil adds a block state, making the code to fail. We don't care about this, just the accounts and the deployed code
+cd "$parent_path"
+
+jq 'del(.block)' state/sp1-deployed-anvil-state.json > state/sp1-deployed-anvil-state-tmp.json
+
+cp -f state/sp1-deployed-anvil-state-tmp.json state/sp1-deployed-anvil-state.json
+
+rm state/sp1-deployed-anvil-state-tmp.json