diff --git a/.vscode/settings.json b/.vscode/settings.json
new file mode 100644
index 0000000..4add659
--- /dev/null
+++ b/.vscode/settings.json
@@ -0,0 +1,22 @@
+{
+  "workbench.colorCustomizations": {
+    "activityBar.activeBackground": "#7f40bf",
+    "activityBar.background": "#7f40bf",
+    "activityBar.foreground": "#e7e7e7",
+    "activityBar.inactiveForeground": "#e7e7e799",
+    "activityBarBadge.background": "#c78f58",
+    "activityBarBadge.foreground": "#15202b",
+    "commandCenter.border": "#e7e7e799",
+    "sash.hoverBorder": "#7f40bf",
+    "statusBar.background": "#663399",
+    "statusBar.foreground": "#e7e7e7",
+    "statusBarItem.hoverBackground": "#7f40bf",
+    "statusBarItem.remoteBackground": "#663399",
+    "statusBarItem.remoteForeground": "#e7e7e7",
+    "titleBar.activeBackground": "#663399",
+    "titleBar.activeForeground": "#e7e7e7",
+    "titleBar.inactiveBackground": "#66339999",
+    "titleBar.inactiveForeground": "#e7e7e799"
+  },
+  "peacock.color": "#639"
+}
\ No newline at end of file
diff --git a/verifier/networks/codexdisttestnetwork/proof_main.circom b/verifier/networks/codexdisttestnetwork/proof_main.circom
deleted file mode 100644
index 1018d4b..0000000
--- a/verifier/networks/codexdisttestnetwork/proof_main.circom
+++ /dev/null
@@ -1,4 +0,0 @@
-pragma circom 2.0.0;
-include "sample_cells.circom";
-// SampleAndProven( maxDepth, maxLog2NSlots, blockTreeDepth, nFieldElemsPerCell, nSamples )
-component main {public [entropy,dataSetRoot,slotIndex]} = SampleAndProve(32, 8, 5, 67, 5);
diff --git a/verifier/networks/codexdisttestnetwork/proof_main.r1cs b/verifier/networks/codexdisttestnetwork/proof_main.r1cs
deleted file mode 100644
index ffdf186..0000000
Binary files a/verifier/networks/codexdisttestnetwork/proof_main.r1cs and /dev/null differ
diff --git a/verifier/networks/codexdisttestnetwork/proof_main.wasm b/verifier/networks/codexdisttestnetwork/proof_main.wasm
deleted file mode 100644
index 8f1f7d5..0000000
Binary files a/verifier/networks/codexdisttestnetwork/proof_main.wasm and /dev/null differ
diff --git a/verifier/networks/codexdisttestnetwork/proof_main.zkey b/verifier/networks/codexdisttestnetwork/proof_main.zkey
deleted file mode 100644
index c14082d..0000000
Binary files a/verifier/networks/codexdisttestnetwork/proof_main.zkey and /dev/null differ
diff --git a/verifier/networks/hardhat/proof_main.circom b/verifier/networks/hardhat/proof_main.circom
deleted file mode 100644
index 1018d4b..0000000
--- a/verifier/networks/hardhat/proof_main.circom
+++ /dev/null
@@ -1,4 +0,0 @@
-pragma circom 2.0.0;
-include "sample_cells.circom";
-// SampleAndProven( maxDepth, maxLog2NSlots, blockTreeDepth, nFieldElemsPerCell, nSamples )
-component main {public [entropy,dataSetRoot,slotIndex]} = SampleAndProve(32, 8, 5, 67, 5);
diff --git a/verifier/networks/hardhat/proof_main.r1cs b/verifier/networks/hardhat/proof_main.r1cs
deleted file mode 100644
index a2b9c6b..0000000
Binary files a/verifier/networks/hardhat/proof_main.r1cs and /dev/null differ
diff --git a/verifier/networks/hardhat/proof_main.wasm b/verifier/networks/hardhat/proof_main.wasm
deleted file mode 100644
index 30fe6f0..0000000
Binary files a/verifier/networks/hardhat/proof_main.wasm and /dev/null differ
diff --git a/verifier/networks/hardhat/proof_main.zkey b/verifier/networks/hardhat/proof_main.zkey
deleted file mode 100644
index 999a12a..0000000
Binary files a/verifier/networks/hardhat/proof_main.zkey and /dev/null differ