M Cargo.lock → Cargo.lock

@@ -1360,7 +1360,6 @@ "num-bigint",
  "num-traits",
  "serde_json",
  "solidity-verifiers",
- "test-lib",
 ]
 
 [[package]]
@@ -2970,10 +2969,6 @@ "fastrand",
  "rustix",
  "windows-sys 0.52.0",
 ]
-
-[[package]]
-name = "test-lib"
-version = "0.1.0"
 
 [[package]]
 name = "textwrap"

M Cargo.toml → Cargo.toml

@@ -9,7 +9,6 @@ [dependencies]
 ark-r1cs-std = { git = "https://github.com/arnaucube/ark-r1cs-std-cherry-picked/" }
 folding-schemes = { git = "https://github.com/privacy-scaling-explorations/folding-schemes.git", branch="feature/solidity-decider-verifier" }
 solidity-verifiers = { git = "https://github.com/privacy-scaling-explorations/folding-schemes.git", package="solidity-verifiers", branch="feature/solidity-decider-verifier" }
-test-lib = { path = "/Users/pierredm/work/personal/test-lib" }
 ark-light-bitcoin-client = { git = "https://github.com/dmpierre/ark-light-bitcoin-client.git" }
 ark-ff = "0.4.0"
 ark-relations = "0.4.0"

M setup-machine-and-run-proving.sh → setup-machine-and-run-proving.sh

@@ -2,8 +2,8 @@ #!/bin/bash
 # running on m7i.metal-24xl instance
 # run with `source ./setup-machine-and-run-proving.sh`
 sudo apt-get update
-sudo apt install build-essential -y
+sudo apt install build-essential tmux -y
 curl https://sh.rustup.rs -sSf | sh -s -- -y
 . "$HOME/.cargo/env"
 git clone https://github.com/dmpierre/folding-schemes-light-btc.git
-cd folding-schemes-light-btc && cargo run -r+# cd folding-schemes-light-btc && cargo run -r