diff --git a/evm_bridge/src/verifier/verifier.ts b/evm_bridge/src/verifier/verifier.ts
index 218956d4..44c4a384 100644
--- a/evm_bridge/src/verifier/verifier.ts
+++ b/evm_bridge/src/verifier/verifier.ts
@@ -22,21 +22,21 @@ export class VerifierIndex {
     domain_size: number
     public: number
 
-    /* permutation commitments */
+    /** permutation commitments */
     sigma_comm: PolyComm<Group>[] // size PERMUTS
     coefficients_comm: PolyComm<Group>[] // size COLUMNS
     generic_comm: PolyComm<Group>
 
-    /* poseidon constraint selector polynomial commitments */
+    /** poseidon constraint selector polynomial commitments */
     psm_comm: PolyComm<Group>
 
-    /* EC addition selector polynomial commitment */
+    /** EC addition selector polynomial commitment */
     complete_add_comm: PolyComm<Group>
-    /* EC variable base scalar multiplication selector polynomial commitment */
+    /** EC variable base scalar multiplication selector polynomial commitment */
     mul_comm: PolyComm<Group>
-    /* endoscalar multiplication selector polynomial commitment */
+    /** endoscalar multiplication selector polynomial commitment */
     emul_comm: PolyComm<Group>
-    /* endoscalar multiplication scalar computation selector polynomial commitment */
+    /** endoscalar multiplication scalar computation selector polynomial commitment */
     endomul_scalar_comm: PolyComm<Group>
 
     constructor(
@@ -84,6 +84,11 @@ export class VerifierIndex {
 }
 
 export class Verifier extends Circuit {
+    /** Number of total registers */
+    static readonly COLUMNS: number = 15;
+    /** Number of registers that can be wired (participating in the permutation) */
+    static readonly PERMUTS: number = 7;
+
     @circuitMain
     static main(@public_ sg: Group, @public_ sg_scalar: Scalar, @public_ expected: Group) {
         let nonzero_length = g.length;
diff --git a/evm_bridge/test/proof_evals.json b/evm_bridge/test/proof_evals.json
deleted file mode 100644
index 3eea5a68..00000000
--- a/evm_bridge/test/proof_evals.json
+++ /dev/null
@@ -1,321 +0,0 @@
-{
-  "w": [
-    {
-      "zeta": [
-        "fe00d56723fdf3f214a8d553cc5e9b723710fe26a8c49d86bf782aed2198f830"
-      ],
-      "zeta_omega": [
-        "41010681f9f92afda4ed35b3dbe15a3cbc2493f1b694d586ca3f495312ccec2d"
-      ]
-    },
-    {
-      "zeta": [
-        "b95234dd3516a840d7c11691631f2da1543016c19801806d9400c16e33959732"
-      ],
-      "zeta_omega": [
-        "d915608909cd12d51a6143e2730fc0a920aa172496f1887643a5e9aec7d48f32"
-      ]
-    },
-    {
-      "zeta": [
-        "c79068a99bc82efd44b28eb392d1f70278bba7bf3c628929f2b509878b807c38"
-      ],
-      "zeta_omega": [
-        "15144fc537e409d9126e87b1aa1237d8f47f2567600dca2ef597d6eea36ea800"
-      ]
-    },
-    {
-      "zeta": [
-        "2e62ea4cc2abc082a2e473be4c12972a2e675423ceac88b7b2aa5ca1dfafdc04"
-      ],
-      "zeta_omega": [
-        "c17eb47a61419c632719c9064b23b66c88edaf8e8f1c94970a87776044597a08"
-      ]
-    },
-    {
-      "zeta": [
-        "9ba13d0ad173022546a623ddcb5ff9023ea65d9004a5dfc193415c17376ec200"
-      ],
-      "zeta_omega": [
-        "54dd11f2f67bad28006dbac2b3843e43041c8032d36272b027859efe14c81b26"
-      ]
-    },
-    {
-      "zeta": [
-        "9a2f71011487cdb6c08bc9a48247a7324046f95d0d4ccffa080c5fc872fe7a0a"
-      ],
-      "zeta_omega": [
-        "9c68ca7028ef14a83d7ad8024d3cc48d44d652b3f8e2ad499601d070ee1ace12"
-      ]
-    },
-    {
-      "zeta": [
-        "c276ec008ccffcf9e795894e12b988e960684070b1eb7d2c7d11b7ee17f4760b"
-      ],
-      "zeta_omega": [
-        "84902968ded4cde7260ca1e0cd6cf0ad47dc99883b8946e6073a918f2e21513c"
-      ]
-    },
-    {
-      "zeta": [
-        "0dacee1a0a63f270ca24d9f815f9f7d547525d7df7528535041734a620d1ce26"
-      ],
-      "zeta_omega": [
-        "c83917882a0c7a3dac0f68d4bf1a6f098f8d9e4fb3324fea96833acec9687f14"
-      ]
-    },
-    {
-      "zeta": [
-        "8ab8bf76983132316c0cce53f6bb65a3e3fd286d04ebf744b33aa650aaf0b21f"
-      ],
-      "zeta_omega": [
-        "a00c8794b4d3d8e41ead7801c3c14b4601d7f629d4be2f626b7883fc1bb49520"
-      ]
-    },
-    {
-      "zeta": [
-        "1acb3bfd43ff564ec4aa6eb81f9dfebc9d6d916d3c6d36fb12c338b86891401d"
-      ],
-      "zeta_omega": [
-        "f7b837183314987bb212e5e697dfa811126ee79077cc2adfda48582a14ebb026"
-      ]
-    },
-    {
-      "zeta": [
-        "40050a8d27797d4952d2101781db2cf215e269c7e27d20665268de3ae2bd020e"
-      ],
-      "zeta_omega": [
-        "74aa6fc5a1cad5d4ecd27ed2ef4494077498c746c50ac2f687f00b8cf433a818"
-      ]
-    },
-    {
-      "zeta": [
-        "eb8242636f1e9cd13eb772478bca3705da8a0318aa3df8d50d031826d987b83a"
-      ],
-      "zeta_omega": [
-        "7b9eb8e9ea76db063df822c17ef8a794c0470268781cc52dba35f27062159d1c"
-      ]
-    },
-    {
-      "zeta": [
-        "8f5d29a297d433167cfb540fddc11cc1759557683f2972fd37040f0d8632fa21"
-      ],
-      "zeta_omega": [
-        "bb7b8e81faffd8015538f518f686e562ff0aca32a5a3e44f8848d3daf3a7f133"
-      ]
-    },
-    {
-      "zeta": [
-        "e38e25fbe3aad5348d8a2d8cd9a08e604922b7ffc7cd6b76cfb90c84ae6a7a3d"
-      ],
-      "zeta_omega": [
-        "12aeb567ab077915b7d1f047bd555ce952018cd7b2d7bf57dccf885afb162439"
-      ]
-    },
-    {
-      "zeta": [
-        "5fa695a82f0d20c9aa629ea0fa3637cd13039e71d0a7ef1ab2bd40c5b33dd833"
-      ],
-      "zeta_omega": [
-        "5cf4e2d0496481523f7761bb10504f7eedb87be066723ba53d3ae4961f44cc30"
-      ]
-    }
-  ],
-  "z": {
-    "zeta": [
-      "c6880e0600a03c3cdb2b79602e0c73a08aa72590bcedbc109528577969a64221"
-    ],
-    "zeta_omega": [
-      "9157857902146d6081dbd7392df058b5c61992e33f15fe43a30b4332eafc3f29"
-    ]
-  },
-  "s": [
-    {
-      "zeta": [
-        "cd83fb6f22fe2c7d2874e414e1f87db33c9cc5ba3b933d4d2565cd4505bb3125"
-      ],
-      "zeta_omega": [
-        "d415e1c050919ee4ad83e92434a48129047f444c6b04da386bc17fac9a441b3d"
-      ]
-    },
-    {
-      "zeta": [
-        "7361b15d77fd6ccf72faabd26ff966335f35e95d809f7b3c9d4385924da5a51e"
-      ],
-      "zeta_omega": [
-        "90668d4740639d5f838cf588a411030aa509031991cc9250f9b21a76a46ab933"
-      ]
-    },
-    {
-      "zeta": [
-        "c1cfe0b75feffda515ea680c192dda6af023e96eccc4810c1b8bc07567e2c30d"
-      ],
-      "zeta_omega": [
-        "63974b53c05c81bf243500f758f2bc4e79589466fd4ee41dd01fa374b470ff27"
-      ]
-    },
-    {
-      "zeta": [
-        "664bc45467528a8938c7925d5d15c8f80b84c5758b749e1513423633e9dcb20d"
-      ],
-      "zeta_omega": [
-        "844cd3242501e0a9a48bf346ac1a2f5c2cef9e6454872450479537ce8c83602e"
-      ]
-    },
-    {
-      "zeta": [
-        "cf5fa48ec15f3c0f182102ac3275ddea342e5b4c1df28238b99859788ea4b00d"
-      ],
-      "zeta_omega": [
-        "4c4c8424525533cdbbc783be058b03210d558e53d78b1ccd6237d0fb6c31043c"
-      ]
-    },
-    {
-      "zeta": [
-        "1904aa4cc6dc26e12f2973dca9c4155bc90aab01c34a26cfcf4050b6f1d80428"
-      ],
-      "zeta_omega": [
-        "3c297ecb1d0e894da11ffbe035a2def2da92bcfaf2a5b3a46c90f16c1d936a30"
-      ]
-    }
-  ],
-  "coefficients": [
-    {
-      "zeta": [
-        "e31ab329dbc3f0f1126be4dbd6703c52182e39062bce240fbaecadeb80986f2c"
-      ],
-      "zeta_omega": [
-        "9a033cc1b4f7a8fd3406ca6d9c9130515b8252fbe48a002477ad66e2ca342702"
-      ]
-    },
-    {
-      "zeta": [
-        "2cf532f98c2a7999b08f56cef4211c2e70cb7e24b3a3de28148020dcd1d8c404"
-      ],
-      "zeta_omega": [
-        "cb0f000bd7162464b822d554f47d25317e6f17a002617248bfeeb611b9fd690d"
-      ]
-    },
-    {
-      "zeta": [
-        "f2584402e7e306d558ebf01601b025b2da66809e197460f2a32af50bbab71329"
-      ],
-      "zeta_omega": [
-        "bdfaffa623957891ab0f1ceaabe67706d6daa2caa9dfd9e76ab06d4fc2003226"
-      ]
-    },
-    {
-      "zeta": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ],
-      "zeta_omega": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ]
-    },
-    {
-      "zeta": [
-        "86a4197c5ea07b6810496757649a3a9e2741d311323970fbe5b916194f0f763f"
-      ],
-      "zeta_omega": [
-        "fd044cc7b82f296b1910770b1fc9933d6ce81fae53c070dc59e6826a585ff406"
-      ]
-    },
-    {
-      "zeta": [
-        "d473f72ba1bcb03a8ead40e9db871be2f294b9a4444285015e17a3f73a508315"
-      ],
-      "zeta_omega": [
-        "57fe3b68d88c218fe015e6574878a857315df5c58e6ada0be25dd4318d355928"
-      ]
-    },
-    {
-      "zeta": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ],
-      "zeta_omega": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ]
-    },
-    {
-      "zeta": [
-        "f2584402e7e306d558ebf01601b025b2da66809e197460f2a32af50bbab71329"
-      ],
-      "zeta_omega": [
-        "bdfaffa623957891ab0f1ceaabe67706d6daa2caa9dfd9e76ab06d4fc2003226"
-      ]
-    },
-    {
-      "zeta": [
-        "1e4e77fb730e806e097b47e5f5d141e04a32ffc2cc173f1bb8aa15e88b90d82d"
-      ],
-      "zeta_omega": [
-        "880a00b2faab9cf56332f13ea0649d37544aba6aac404c302a9f24617bfe9b33"
-      ]
-    },
-    {
-      "zeta": [
-        "debc2a241c271af3f3ede584ac8a03da411760c8a8b465f8298bd029d96e6f14"
-      ],
-      "zeta_omega": [
-        "5108d4f649ec73651336d46e860ad0d2092e352236ebbbc4952ada063ef44136"
-      ]
-    },
-    {
-      "zeta": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ],
-      "zeta_omega": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ]
-    },
-    {
-      "zeta": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ],
-      "zeta_omega": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ]
-    },
-    {
-      "zeta": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ],
-      "zeta_omega": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ]
-    },
-    {
-      "zeta": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ],
-      "zeta_omega": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ]
-    },
-    {
-      "zeta": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ],
-      "zeta_omega": [
-        "0000000000000000000000000000000000000000000000000000000000000000"
-      ]
-    }
-  ],
-  "lookup": null,
-  "generic_selector": {
-    "zeta": [
-      "e31ab329dbc3f0f1126be4dbd6703c52182e39062bce240fbaecadeb80986f2c"
-    ],
-    "zeta_omega": [
-      "9a033cc1b4f7a8fd3406ca6d9c9130515b8252fbe48a002477ad66e2ca342702"
-    ]
-  },
-  "poseidon_selector": {
-    "zeta": [
-      "0000000000000000000000000000000000000000000000000000000000000000"
-    ],
-    "zeta_omega": [
-      "0000000000000000000000000000000000000000000000000000000000000000"
-    ]
-  }
-}
\ No newline at end of file