diff --git a/barretenberg/sol/.gitignore b/barretenberg/sol/.gitignore
index 9a39bcb1ccd7..422f2b1ddac5 100644
--- a/barretenberg/sol/.gitignore
+++ b/barretenberg/sol/.gitignore
@@ -13,3 +13,5 @@ out/
 .foundry
 
 **/build*/*
+
+src/honk/keys
diff --git a/barretenberg/sol/src/honk/keys/Add2HonkVerificationKey.sol b/barretenberg/sol/src/honk/keys/Add2HonkVerificationKey.sol
deleted file mode 100644
index 3ea10080054c..000000000000
--- a/barretenberg/sol/src/honk/keys/Add2HonkVerificationKey.sol
+++ /dev/null
@@ -1,132 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-// Copyright 2022 Aztec
-pragma solidity >=0.8.21;
-
-import {Honk} from "../HonkTypes.sol";
-
-uint256 constant N = 4096;
-uint256 constant LOG_N = 12;
-uint256 constant NUMBER_OF_PUBLIC_INPUTS = 19;
-
-library Add2HonkVerificationKey {
-    function loadVerificationKey() internal pure returns (Honk.VerificationKey memory) {
-        Honk.VerificationKey memory vk = Honk.VerificationKey({
-            circuitSize: uint256(4096),
-            logCircuitSize: uint256(12),
-            publicInputsSize: uint256(19),
-            ql: Honk.G1Point({
-                x: uint256(0x0480a80b708d88511983399d7d454290cd7fc44f01efd7cd0adabac1da5209b7),
-                y: uint256(0x2ae668b0ee73a123a9d90f5783ad3d938b72e3c7ff79fcccab796e842df5300e)
-            }),
-            qr: Honk.G1Point({
-                x: uint256(0x1e7aa9fecacfbc874d011c148d75930b51c940588e6a380e41f799f9c69cfb88),
-                y: uint256(0x0b9b4ac921dfc8ce57cd538fbf365383670134d46e36172ddd5e919aab0f69fe)
-            }),
-            qo: Honk.G1Point({
-                x: uint256(0x146befe71bfafd7c8cacf465bc0f6dba8fdd56185107db610953dd288c8ac4ef),
-                y: uint256(0x1dbac6c97cd87f07224a107deaa892a4351fa3a6c66c0b546c74d9183cfcc0e2)
-            }),
-            q4: Honk.G1Point({
-                x: uint256(0x25a10a105906332d55a826bc2deea34ea123efabf2bcbe0aa480f07b4afd990f),
-                y: uint256(0x16cfacaba0fa48b46c8872e4e1006d63269f1028e8ad6541a15e55c50109efdb)
-            }),
-            qm: Honk.G1Point({
-                x: uint256(0x011aa91dcbc9f73a47cf04fbb009c601b9d38faad1fe4e2769fb68a05bb79029),
-                y: uint256(0x1188cea81d85d65acc2612fdbf9efe6fe3acd41065d2e31b0d20dfabd0645015)
-            }),
-            qc: Honk.G1Point({
-                x: uint256(0x21d8806ac728214aef9480cd6dceaab8c9a1683787bb21423977d63da55d960c),
-                y: uint256(0x1e71d022986981a229c8c5285409169bf87b9d5b84027a71f29c1359ffabeac1)
-            }),
-            qLookup: Honk.G1Point({
-                x: uint256(0x0073e7c223dd4f3e4734c4d9d9c9df394bd2eee2e12bac2fc49429a0443ec8b0),
-                y: uint256(0x20fac57db30195c2427a75a4d67231c1d1c74c8f84f009ab21d3c88e9657403d)
-            }),
-            qArith: Honk.G1Point({
-                x: uint256(0x1825408d0a4ad62b99c1e6929154bad54a08a289b15dab146e2fb6fa0573a023),
-                y: uint256(0x141d09f0721f2b88a1916e6535ab3daa95c19a8136892c58d1ed0f77868a6df1)
-            }),
-            qDeltaRange: Honk.G1Point({
-                x: uint256(0x25e69836196abcbacfc1c9a2bf7cc19417d235d8583a345fe1df0337c86f0c28),
-                y: uint256(0x00125a28683d96529c25b43a56648781127e4c1aec43349a37abdb4b77598a7a)
-            }),
-            qElliptic: Honk.G1Point({
-                x: uint256(0x025c989a5fbbc39a745dfa0c526d1b2c120d25144b16975f344bb8e0911f50aa),
-                y: uint256(0x17dcb48f840e14a56297e5e157ab5d29c1683a4f2321682c17677f325c27de6a)
-            }),
-            qMemory: Honk.G1Point({
-                x: uint256(0x0e37d60ed408d667df8521cfb6c11199144f17385f52e99a2cf25aa42d5b519e),
-                y: uint256(0x10e512a55f0b0f6843162f54501142264e8a0b784700897fec19f0d2dc956076)
-            }),
-            qNnf: Honk.G1Point({
-                x: uint256(0x0671f0554a8d6cb5ad4babb7b649e0f980cba43095f503f1089195afbef3a909),
-                y: uint256(0x1b00274b15fea30b24d6388f95ed6c5abf1821cf05d2f63aeaab68d29a3c0b89)
-            }),
-            qPoseidon2External: Honk.G1Point({
-                x: uint256(0x1e05165b8e92a199adc11aafdf37b7fa23724206b82e0864add6d4d3ef15d891),
-                y: uint256(0x1490b97e14d7a87ab24c2506b31a5f1c19e519f9e46735398b7d7d3a6e8b6291)
-            }),
-            qPoseidon2Internal: Honk.G1Point({
-                x: uint256(0x0f87e2add2aecbbb44ff4d16be602514b0c3fcbf5d33c2dc672ebe1d288060fb),
-                y: uint256(0x1ed340000e71abffb57d96455891648518d41edccc459afeec240ec3c2d708e6)
-            }),
-            s1: Honk.G1Point({
-                x: uint256(0x264144dd89013baad68f58a7ed1bee299d3cb30cef72c74f8281e54f393f992d),
-                y: uint256(0x1003297e229a545f611c421bbaadf4d4997c48ef653715c33bcb5e946e00da73)
-            }),
-            s2: Honk.G1Point({
-                x: uint256(0x08a84242ac40108d36e4c353a0f53137b19f6605fef5357835f1c57672127246),
-                y: uint256(0x1f745be60bc64aa2c8fed031e02f28fb41d7bdf195734f3cdd98540e2f27b6ea)
-            }),
-            s3: Honk.G1Point({
-                x: uint256(0x19f3714d613fdb9affa560dad993f689d244e15925fa8dbf102107dd45d2e3bb),
-                y: uint256(0x2f039724fd4feea838c73b8317d4e43e75b81af5630fa723e2f5c474b486ea3e)
-            }),
-            s4: Honk.G1Point({
-                x: uint256(0x1d9551766b9ee2591e7eb430a0b5bb52ffde35ca49de4f3de1461a24db3baebd),
-                y: uint256(0x2bad3f850fdace27dbee1d25cd3d8f16eb76a973e7ece72335e37d5b7c8dbfc0)
-            }),
-            t1: Honk.G1Point({
-                x: uint256(0x004067623374b7c3965c7d8444b57ac2d81269c7eb3cb4f7b16568b2f8234c96),
-                y: uint256(0x0e605f3ad72203e21301ef1b5333cae1d8063220d1996854beb0c4fbc33bba9d)
-            }),
-            t2: Honk.G1Point({
-                x: uint256(0x17aafa80bf54a7e6cc66472f9ccd70efa5044207a95191716ba0195b5a432266),
-                y: uint256(0x233ecaca2ddbebb0484a44e6f55b8c8614c7b5e0ce31b51d59d6b21322a307a1)
-            }),
-            t3: Honk.G1Point({
-                x: uint256(0x1466af934dc34b082708b0a26a61dae7d9d859cbd4661cfab6abf34e827d9d2a),
-                y: uint256(0x2666bf4c8a2aef1ab89aafded315580561c9d4a13f3ac4b255b478f544590eda)
-            }),
-            t4: Honk.G1Point({
-                x: uint256(0x0765bf6645e4cf63f05d9b0efd06acebce309c685a3b05e613574ccd7316677c),
-                y: uint256(0x09770f145625290cdcb08bae4e6f0a26897b5988fbaf9529e0a3326bfdb537ae)
-            }),
-            id1: Honk.G1Point({
-                x: uint256(0x05bfb4ce0a9f6a69fb44205a742406e8ecd6195effb821fd74673f143b8fb784),
-                y: uint256(0x0cb4d1ea4ff2bbae4408bf5c042142805a5c269d2e04f39bc381e217ce7b7fa5)
-            }),
-            id2: Honk.G1Point({
-                x: uint256(0x046c58b359c4b8877f65d0495cbc0ad2969f90382b6440180e10dcd89f01970a),
-                y: uint256(0x2ad062995f3aef527ee973dd72d46e673b8cd73b21cbf1de37684c7c3b73c77a)
-            }),
-            id3: Honk.G1Point({
-                x: uint256(0x0fce0505d3be8c6c68ecf25ce305177b7fe909a519e1f67b510b045d54ecda18),
-                y: uint256(0x1f5f0d8ea09c635fbc27e46c3c2b121fb90faa52538146856a9f9fd357f1db26)
-            }),
-            id4: Honk.G1Point({
-                x: uint256(0x0a28ef915cc27e1919e69bcf92fa524511a917c343a27eed2c8ae2035b01abe3),
-                y: uint256(0x0687fa4d062dbaaab480c0fe76f2559b96fbd9fe62ff167986f9fe55e673e4d2)
-            }),
-            lagrangeFirst: Honk.G1Point({
-                x: uint256(0x0000000000000000000000000000000000000000000000000000000000000001),
-                y: uint256(0x0000000000000000000000000000000000000000000000000000000000000002)
-            }),
-            lagrangeLast: Honk.G1Point({
-                x: uint256(0x2ed6a3b223499815a89227050bc92d10c56d4c487469fe1778117a317a37ba4d),
-                y: uint256(0x136619e4162f7df511e48b9cf191ac91e15550db414672a7b826b14dc6f8bdf3)
-            })
-        });
-        return vk;
-    }
-}
diff --git a/barretenberg/sol/src/honk/keys/BlakeHonkVerificationKey.sol b/barretenberg/sol/src/honk/keys/BlakeHonkVerificationKey.sol
deleted file mode 100644
index 2612e10c4606..000000000000
--- a/barretenberg/sol/src/honk/keys/BlakeHonkVerificationKey.sol
+++ /dev/null
@@ -1,132 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-// Copyright 2022 Aztec
-pragma solidity >=0.8.21;
-
-import {Honk} from "../HonkTypes.sol";
-
-uint256 constant N = 32768;
-uint256 constant LOG_N = 15;
-uint256 constant NUMBER_OF_PUBLIC_INPUTS = 20;
-
-library BlakeHonkVerificationKey {
-    function loadVerificationKey() internal pure returns (Honk.VerificationKey memory) {
-        Honk.VerificationKey memory vk = Honk.VerificationKey({
-            circuitSize: uint256(32768),
-            logCircuitSize: uint256(15),
-            publicInputsSize: uint256(20),
-            ql: Honk.G1Point({
-                x: uint256(0x1dbc2d49981f1318140ca1106a52550e1c079613c92a2b23206d1504cfb2f86b),
-                y: uint256(0x04d743fe1aa6c0e790573ff504c0b5068b8d630459835db49d24004e0f010ad3)
-            }),
-            qr: Honk.G1Point({
-                x: uint256(0x06d4bd3d2520f2a248394d32ae446f689484f908ddcf272e978d431784e205f1),
-                y: uint256(0x175cf52a76ee209fd0ff22a663db695c0d290b60d71138236aef5b329ab19432)
-            }),
-            qo: Honk.G1Point({
-                x: uint256(0x2381d95872adb9e4f3955b2c49f978ee03b98cdb0abdf39b0968a507501c9dba),
-                y: uint256(0x1b008ca9ebed2b85934fb415d074922e1def59790d010bb15729d3824beea8a7)
-            }),
-            q4: Honk.G1Point({
-                x: uint256(0x2f2580b9ccf05cf1b0f017e01456a6bfdafcf9b3166c576c687de3c9e3c50304),
-                y: uint256(0x0b371c7aab9c618ce48d244ef8356cde119972b5c40caf4a5f38ad817d448451)
-            }),
-            qm: Honk.G1Point({
-                x: uint256(0x2be5953099867a3a2150e243842f051637662c71e3d7c19eb666f2dcb7d35ed6),
-                y: uint256(0x1400e3f66ff58817c736185766bad7b06df6fc22d6394a458e2ee79f31d14797)
-            }),
-            qc: Honk.G1Point({
-                x: uint256(0x1cebfae35f0e17cea692772e1b0f64a860a185a35fe4d91d52b1e08b133ef525),
-                y: uint256(0x1398b2c0e75952e2614ec248b7f2002e710035f2ec026a386c1940e12203a173)
-            }),
-            qLookup: Honk.G1Point({
-                x: uint256(0x2f52fd71248e5fb7fcda49e0778edcf84065f4c837dc259c99350f66d2756526),
-                y: uint256(0x07f7f722d2341b84f37e028a0993f9ba6eb0539524e258a6666f2149f7edba7e)
-            }),
-            qArith: Honk.G1Point({
-                x: uint256(0x0a2f3de6c4da1c2f6711875e52ee30c1eb7676fe3f04dee0cbe51d8e9314968d),
-                y: uint256(0x1163146d3736c646b9f0d3e446b742a925732850136119397601ab9c729406ac)
-            }),
-            qDeltaRange: Honk.G1Point({
-                x: uint256(0x0f75fa9241e6b995002a5dec650dd8ee11b2c95463b42b9bfd6886d861a81dcc),
-                y: uint256(0x000b33ecd7762627f56dd05319f6c2a8f577d84c23736426a14a815ea240dd10)
-            }),
-            qElliptic: Honk.G1Point({
-                x: uint256(0x23d68410cad93a2213d42fc11507040613f1c36376c79fc119af71f9240ddf85),
-                y: uint256(0x08036d4655c57be0f4c5e4165dbb99102feb96cdff2eb5c7f02358c7ce06d1ea)
-            }),
-            qMemory: Honk.G1Point({
-                x: uint256(0x1133465e96ae5ca432246d0fb87ce71c0f37b36dfdf404a6c97c487242a6bf71),
-                y: uint256(0x1edd6fa7f5b8c58ac5bcfea2db37b96f66e55376162e9230d6b8b88f5ae04c6d)
-            }),
-            qNnf: Honk.G1Point({
-                x: uint256(0x2634efbf217db5182ee476472d9a87972acb13713640fbd542b74510b53823d3),
-                y: uint256(0x1f4efbc506f80a69e5185539cf24ea43e3d7a416989e8d5697fe651f5b525282)
-            }),
-            qPoseidon2External: Honk.G1Point({
-                x: uint256(0x1bb2a291b05e1a09d92da67dce13ecfdf4311c3a6c717ed1822331033bb535a0),
-                y: uint256(0x2ce5b67d60b91124c3906f07d0ce01476a3fc9cfcca33200d2aafba321b282ca)
-            }),
-            qPoseidon2Internal: Honk.G1Point({
-                x: uint256(0x292fc33ecaeee0a93a3db74c63ecb036702ae9d9e10f115b4a41ca026748a8e9),
-                y: uint256(0x191404cfbc6ecde452a8dc5e2f2971948fff39018c5ccd820c8454679a299e8d)
-            }),
-            s1: Honk.G1Point({
-                x: uint256(0x0a185ce3c7f2823ad60e0217165c591d0fc4743a4ffd8df74e735eb842ec37d1),
-                y: uint256(0x16003f72a8338960f090006eb8313aa3773a445c2dbc974e03337c0f0a643ffe)
-            }),
-            s2: Honk.G1Point({
-                x: uint256(0x274cf54ae7f12682a78a2682118ef13862e8697325d1280d3758ae907238ba0c),
-                y: uint256(0x06114456c109ea3e28becc1819131ca5902491ccf9738f27918a92c74d5808f4)
-            }),
-            s3: Honk.G1Point({
-                x: uint256(0x1860e83dbaee0d906588cc79b49323f24d983b79a9dc90bf838d8fd8d5075c74),
-                y: uint256(0x197f83bc73cde1744420bbfb265c78c4f97beb3f4d89c988b431a2e002dd7aad)
-            }),
-            s4: Honk.G1Point({
-                x: uint256(0x3037389763af5b68ca15943e765c1a58b2a5b3ac251a9d942bf6367bf718f9ee),
-                y: uint256(0x0ab24e2474238a7130b1da39c972873619dc1f2cdf8719f840daaeb14c04861e)
-            }),
-            t1: Honk.G1Point({
-                x: uint256(0x2d063c46ff66cce30b90a92ac814ecdb93e8f4881222ee7ce76651bf3ad54e07),
-                y: uint256(0x0215718164a2dbf8fc7da2fcf053b162d84e8703001218f0ad90d1f8d7526ba0)
-            }),
-            t2: Honk.G1Point({
-                x: uint256(0x1bdccd1181f8c909975dd24a69fd1c26ed6e513cd237106bacd9ac5e790374f2),
-                y: uint256(0x1ba438e74f962c1b769f452da854110d0635d48e4d74d282ad06ae0e2830ac91)
-            }),
-            t3: Honk.G1Point({
-                x: uint256(0x21313b069a809e1ab2df2a959cfd9a407933547daf0af170b0e6851d5f4e1014),
-                y: uint256(0x11a24ca630551e13681edd34cb75746b12ee1806cc3c2c7e670f3a1bb4f30a1f)
-            }),
-            t4: Honk.G1Point({
-                x: uint256(0x2a0724cfe33e0ee4b3f81929ef0cd1da5e113987c9aed1534cca51dae3d9bc2d),
-                y: uint256(0x26983a78aa5c4f3103c7e6128a32f0fae2779a6f0efb2b60facdd09153d403c9)
-            }),
-            id1: Honk.G1Point({
-                x: uint256(0x036e9faa607b6e7b97aa939face171293464ea9983674c2a23dc3586cb3646a0),
-                y: uint256(0x1c44f59189b7da985accbd2810512c34b938f6892324326f3d8ed0445abf7cb3)
-            }),
-            id2: Honk.G1Point({
-                x: uint256(0x25e2e65c5b496b09b0fbb4a4f5f26b0d7525b1c4973efcedc641052b05d1eeca),
-                y: uint256(0x2ebbcc2e263835cdf1d29d1381895cadf5a74583998a7e23139e04d6ef110ecb)
-            }),
-            id3: Honk.G1Point({
-                x: uint256(0x28bcb49916bccb9286a5fcc44bc513ed9df38d2042335556f7d7788ca87ad268),
-                y: uint256(0x004daa3b3de855f9aac2dd1a04392f9c1bc9d9678b96b94705ca30361ff10c2c)
-            }),
-            id4: Honk.G1Point({
-                x: uint256(0x13756493eec9a875b3984e91dd380a82db0f76ec4cd9b7f7c7393eca89525d51),
-                y: uint256(0x1d1d4b3d152e00a6dc81dfd10caba54e964046c86ee19e39f43f1989bbab1d03)
-            }),
-            lagrangeFirst: Honk.G1Point({
-                x: uint256(0x0000000000000000000000000000000000000000000000000000000000000001),
-                y: uint256(0x0000000000000000000000000000000000000000000000000000000000000002)
-            }),
-            lagrangeLast: Honk.G1Point({
-                x: uint256(0x17e0906260294d3d5c54eac5f5d339729e238f870f5e304f258cad591b9f6e8f),
-                y: uint256(0x10dd66d911bcc3d85f85797e451edfd1d98b78130650208c3f8cf586c9e902c4)
-            })
-        });
-        return vk;
-    }
-}
diff --git a/barretenberg/sol/src/honk/keys/EcdsaHonkVerificationKey.sol b/barretenberg/sol/src/honk/keys/EcdsaHonkVerificationKey.sol
deleted file mode 100644
index 32416150e400..000000000000
--- a/barretenberg/sol/src/honk/keys/EcdsaHonkVerificationKey.sol
+++ /dev/null
@@ -1,132 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-// Copyright 2022 Aztec
-pragma solidity >=0.8.21;
-
-import {Honk} from "../HonkTypes.sol";
-
-uint256 constant N = 65536;
-uint256 constant LOG_N = 16;
-uint256 constant NUMBER_OF_PUBLIC_INPUTS = 22;
-
-library EcdsaHonkVerificationKey {
-    function loadVerificationKey() internal pure returns (Honk.VerificationKey memory) {
-        Honk.VerificationKey memory vk = Honk.VerificationKey({
-            circuitSize: uint256(65536),
-            logCircuitSize: uint256(16),
-            publicInputsSize: uint256(22),
-            ql: Honk.G1Point({
-                x: uint256(0x222da11caac0ef8c8d024bcd3ce7ef9da65cba415dc078d6c1e99efb9d296476),
-                y: uint256(0x06b0caa4e59eeea611e3d82aa4c1be032ea48d1ebe99a2120c6b1d34ad52cad2)
-            }),
-            qr: Honk.G1Point({
-                x: uint256(0x21e30ea6ddc102c69e495eb2fea0c35a5ff332e9ee84f53b8fb4631334ea43da),
-                y: uint256(0x1f0949f1e19f70d19120b05fd63f5a0011d7d26d8d68c5126e8f2f87f2c96640)
-            }),
-            qo: Honk.G1Point({
-                x: uint256(0x195fd185370fead6c4a67e4966ee902847709ff7b9a408fe61028fe8e41a4f6c),
-                y: uint256(0x2b7402e6aae9acf9aa178a122329b2337628d1ac1829d4436553a292fe6ee9db)
-            }),
-            q4: Honk.G1Point({
-                x: uint256(0x2d86c5fcb734347d1fe12c89a3821942ad92f3d487e5248f4679821da50992d7),
-                y: uint256(0x2909d7ffd3e7bbff48ec38a63b31e9871b574da7513162f7e35f2adb2188b24e)
-            }),
-            qm: Honk.G1Point({
-                x: uint256(0x198c7255cce12fc3ab78a81b317e7767b3bb2da41cbe6b704f6945afb88578b4),
-                y: uint256(0x1dd51e2a194f4302874917d4694a80e0876b503e7aa9be663b458daac22ae850)
-            }),
-            qc: Honk.G1Point({
-                x: uint256(0x0928eca70f2df77dfe083e779ac86bfc03f0e4d1eac2bf07f7726e4be44844ea),
-                y: uint256(0x137c94cc81fb56857d48f64c3dde2877a79f8077ce08d481a1c57d90e59f3bb8)
-            }),
-            qLookup: Honk.G1Point({
-                x: uint256(0x148815ca04dbcfecb81c13d5339275f8b670d99a36d80115c6c632ad74e4bb2e),
-                y: uint256(0x158c91fa2cb7239b8ed4514762fdefe02bf610e31c09c1a7e483716d1c0079ea)
-            }),
-            qArith: Honk.G1Point({
-                x: uint256(0x20394d5902df2484805d610fa80bbca7e88fd770d69f95cf79fe68cb7f853395),
-                y: uint256(0x1cc036a3c3a9ffa1e690e85a2c8559d1c353d29958ca5423f78920352ce85440)
-            }),
-            qDeltaRange: Honk.G1Point({
-                x: uint256(0x15fcc88179a42b2e971f7d5a710cd683c5704bda5b988d71694f4dac3e520950),
-                y: uint256(0x017ecfec3f1aa9d402f7850e540a23a008ce4bf83a137a6cc0c859ddb6bd09cd)
-            }),
-            qElliptic: Honk.G1Point({
-                x: uint256(0x0cbb876b4b320f9cf4a32400a6fd7fccf62c4eb5f973a8584fe76113f575b5fb),
-                y: uint256(0x2a7d7e704697d287c2fca5911ed04eac8345eb96fce690c0ec0ffcd696cea904)
-            }),
-            qMemory: Honk.G1Point({
-                x: uint256(0x3030d61ef1f8e59aa0a5b50d08cad060a400a52075936ccc2b697fbbd5d350b6),
-                y: uint256(0x0ec3fee2986ad108a8780830283539990e53b70dc4d17508e5895da68d48af67)
-            }),
-            qNnf: Honk.G1Point({
-                x: uint256(0x1cdcfdd117bf90784a61d894ca2ffcd755f8d38f31e2c6a02a835ca236b3ccae),
-                y: uint256(0x0556fc7b9419c4278ef1075b4ef24d0e4192340e73fd68c4e1f22b5d3b6f0ad5)
-            }),
-            qPoseidon2External: Honk.G1Point({
-                x: uint256(0x0503a7b85dcc9b1807cb3c47b11d210a597bf4aa37f580cf52513c60b57bd75f),
-                y: uint256(0x08962166fbdcf779cb4a711abb3fc45a92717ce9237557a4a425df9d026b7dba)
-            }),
-            qPoseidon2Internal: Honk.G1Point({
-                x: uint256(0x1118e6867495ec76ad45d30034f84ad2a8276c52b6e6cd1f225ae9f6bacaab6a),
-                y: uint256(0x26976de8a472a7c6761b297169b71178aaaf11140893e9add1c662d6ce68821b)
-            }),
-            s1: Honk.G1Point({
-                x: uint256(0x0b91942d57362b440406e9668d4bed43f45f8a17ec2d94e8bbfb9c8ed51bcea9),
-                y: uint256(0x06542cd207ccb494f9445828ae6391860f43822f7329691e63cff82dc00ead7e)
-            }),
-            s2: Honk.G1Point({
-                x: uint256(0x1b332b3aa473a04c80a16a2fea6977f2ab7a881c8e30cee89eaee5d0914a6d9c),
-                y: uint256(0x00c6ec7703d857a5bc384501e3ad7f219e5b6f504e44bb39c7b7deddf33b30a8)
-            }),
-            s3: Honk.G1Point({
-                x: uint256(0x034c7dd1508dcd81b35e4650227b17250e2c5f727f845e2741207f3311e17b02),
-                y: uint256(0x1039bbd1e98f2a1c722d4fe012b035ac19d3376dcfe65097ddbf12bd781f773d)
-            }),
-            s4: Honk.G1Point({
-                x: uint256(0x1ab810653d7f51a81fafad146e590655efcf7d657f40f9296692fa8e56bf5336),
-                y: uint256(0x02464db62a7f96655df1a58ed700c69c637965628cf8ad88efdac0efa4c981bb)
-            }),
-            t1: Honk.G1Point({
-                x: uint256(0x0b7b8581cf25a963e5ab081785d7a70504db9b8b710bd019de5be4c980a6536e),
-                y: uint256(0x0c9c04b32d4d51cc162b703f571ad5748859b9133c961345d71273183f2a68b2)
-            }),
-            t2: Honk.G1Point({
-                x: uint256(0x2d073920df90f0f98352d5bfc545f19e9622f5fa49d82300e5afb9acb6d030fd),
-                y: uint256(0x0cd29f3121acf9430707827d9b0805f991402d944261e1d648d9c08c7cec5475)
-            }),
-            t3: Honk.G1Point({
-                x: uint256(0x1df7f08d004e38c6cc24155081bf68c1a6444b526bd98beea00feabc8ea337f9),
-                y: uint256(0x0471714279ef8a51213c70cb4fa89e73caf1ad84fa8c1447f41f6eb6bb897491)
-            }),
-            t4: Honk.G1Point({
-                x: uint256(0x1d794f2aaa0524cb1d97c2ff125061a697ec693323edcff93f0e5a59bcd2101d),
-                y: uint256(0x1baa78d0546b9e189379cc5a85c90293b8c30eb1e6955e421866ef4454222a92)
-            }),
-            id1: Honk.G1Point({
-                x: uint256(0x186cfb4b0390d6df09d96587fdb8b69341eb8ac82804140a1788a25a96ca678e),
-                y: uint256(0x0140d3802bb7ae2de28fd7838813d05b7c7752e2f5e2eb8fdf1a34aa30afe8c6)
-            }),
-            id2: Honk.G1Point({
-                x: uint256(0x0c9130bdb71bcb34a79801d4a7339d34cc9156df2bfc87943af350689edbcb41),
-                y: uint256(0x1158cd1f937b53230ae2194f98169035f6fe234cc8569b0af9968cbb18878518)
-            }),
-            id3: Honk.G1Point({
-                x: uint256(0x235d4676fb2b58d1be798f994d59ecb609099f1171c13ba03c8b94e627022e0f),
-                y: uint256(0x17eef40d8198347905bdccb6bdf6c0a3d644f98e33d431f751309c685a01b251)
-            }),
-            id4: Honk.G1Point({
-                x: uint256(0x2eb5730274f685810be70c921eabc7c21c0ac1da5d258c932f3cb13ba0df6b20),
-                y: uint256(0x11379118f0c18ba026b5e3771cc4b1bbec2dc7a7b91394ae6fc8017a02b0d275)
-            }),
-            lagrangeFirst: Honk.G1Point({
-                x: uint256(0x0000000000000000000000000000000000000000000000000000000000000001),
-                y: uint256(0x0000000000000000000000000000000000000000000000000000000000000002)
-            }),
-            lagrangeLast: Honk.G1Point({
-                x: uint256(0x014334951df29e6970601497d10be93e00634f3e9fb0378838ce51953c7cbac6),
-                y: uint256(0x1479a189c5e510683391e1a710ac0152b0314c11e5ac820ceab13ef611319340)
-            })
-        });
-        return vk;
-    }
-}
diff --git a/barretenberg/sol/src/honk/keys/RecursiveHonkVerificationKey.sol b/barretenberg/sol/src/honk/keys/RecursiveHonkVerificationKey.sol
deleted file mode 100644
index a3e54d72417f..000000000000
--- a/barretenberg/sol/src/honk/keys/RecursiveHonkVerificationKey.sol
+++ /dev/null
@@ -1,132 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-// Copyright 2022 Aztec
-pragma solidity >=0.8.21;
-
-import {Honk} from "../HonkTypes.sol";
-
-uint256 constant N = 1048576;
-uint256 constant LOG_N = 20;
-uint256 constant NUMBER_OF_PUBLIC_INPUTS = 16;
-
-library RecursiveHonkVerificationKey {
-    function loadVerificationKey() internal pure returns (Honk.VerificationKey memory) {
-        Honk.VerificationKey memory vk = Honk.VerificationKey({
-            circuitSize: uint256(1048576),
-            logCircuitSize: uint256(20),
-            publicInputsSize: uint256(16),
-            ql: Honk.G1Point({
-                x: uint256(0x2d26dcedf30775b10b7b5d23a575efd46e95045fbcafedfb05e144c2aa7edf6d),
-                y: uint256(0x189bf6c6697af3d3a2067f655f5216cd2e97938d4797a6bfba0691fc0277fada)
-            }),
-            qr: Honk.G1Point({
-                x: uint256(0x0e7c54b4edab80856f4fabea396847d9c0e0dfb108d12f7cca3f66af637e6f55),
-                y: uint256(0x03a2c15b0527f285aef195962b9147ca4d6e551bc514a44a2d1bcb172dc979c6)
-            }),
-            qo: Honk.G1Point({
-                x: uint256(0x16f7603dff1b4de3a408ababf5c1f0cb6d681200a68b908fdae639e6f7ff4511),
-                y: uint256(0x155e43df56ff09f3173964d4f16102bc685f0ded024a8919cf2a89b85cabe33f)
-            }),
-            q4: Honk.G1Point({
-                x: uint256(0x1959af5df227eb226bdc5b28b150e3cfe698059a0280660afea908430493014e),
-                y: uint256(0x00a75ddb7c78411a5ec15357c7ae6f62847d96161cfafdc7d9d669e8e0231419)
-            }),
-            qm: Honk.G1Point({
-                x: uint256(0x24b9ffc894adf6cd9e7cc8b4de6fff0f0ca7f9d3a2fdf0871075ec23fd301261),
-                y: uint256(0x23075f89aab092a5d5b2d6642f3b3275a6181ef9ef07087ab3e0a6ea629cc540)
-            }),
-            qc: Honk.G1Point({
-                x: uint256(0x1a3d885069f88956a92a8345c0646777335ca800aab1e35f317d855e99aa531c),
-                y: uint256(0x0c47e6336854b472d15d75d14e1585fbaaf66671bf5ca30486f0ec15b4f574c2)
-            }),
-            qLookup: Honk.G1Point({
-                x: uint256(0x17c6d9d50e48678a2ac344538de4c7ece661d9ddf8d6ce71e63ee377b120f70f),
-                y: uint256(0x19c51b736e4c5a7d8380246160d19aad54bcdd8f21bebc775e9dfb36b9a73d45)
-            }),
-            qArith: Honk.G1Point({
-                x: uint256(0x2499cdf236366c4d57c2f73086e3611506d2001765312f0a6e7781b2ff84fbd8),
-                y: uint256(0x2e8dc357c969714b338e6541baf9652f50b2974dfb6190d3e5da521dcdb08af9)
-            }),
-            qDeltaRange: Honk.G1Point({
-                x: uint256(0x00fbf43060f5b779c78e58b0c15e12923a62045d9d876f2cdbd0d083ef9c45f7),
-                y: uint256(0x1ef290eab9cc24a075994fbbe42cd68c1f2fd36950d007d99e2e61a271cf1c13)
-            }),
-            qElliptic: Honk.G1Point({
-                x: uint256(0x1c26f9d337c25239c45f67a8f00754bb6aaa64a14394b2a6cf0f3c8298d93ade),
-                y: uint256(0x01bc640aa67f45fcc4c61c921fe40299ea3a9440f7496d20a87f3ba721afd3bd)
-            }),
-            qMemory: Honk.G1Point({
-                x: uint256(0x06704e80c73d522a6c0d271d0d7be32ccf123e5c295d32eb9b01cd469320c62f),
-                y: uint256(0x22eaaba8da07ab035b5dd26d0707400070c1cd433378309e45000c9f13c7624f)
-            }),
-            qNnf: Honk.G1Point({
-                x: uint256(0x02000475a782569f2d194386cce38a6d710be971a1a81bd8c92c404f87f05a43),
-                y: uint256(0x2cebd5ca539168fbef16a07b91007906d9b98c6e03fb0ad6a4a25bfe6b05d7dd)
-            }),
-            qPoseidon2External: Honk.G1Point({
-                x: uint256(0x2ee773f75be2976838a34e6d82c7132f5983544e2f3db31c1dfa90bf7d47de02),
-                y: uint256(0x2498bf496ac37d196ca51551ec3cdc07249c6082fb6fc7d7f0dfd37a721bafda)
-            }),
-            qPoseidon2Internal: Honk.G1Point({
-                x: uint256(0x11e082b6336724c75334ad632e19a063ab65e853a19a588a70c02032fe0a4a76),
-                y: uint256(0x13ebf7e86554cd89006ed3914506c6d5328068d5e06c73af401184781c4040f8)
-            }),
-            s1: Honk.G1Point({
-                x: uint256(0x067dc6b4dbb9968f7928c3b498bfd76ec79b803713ca25af9ca521d2c8039707),
-                y: uint256(0x08ff2df2516f5723801a6cb4be752cffe45fba164234dc251981fd249a39970c)
-            }),
-            s2: Honk.G1Point({
-                x: uint256(0x045c8d3b6bd01cd90f5a09ef7ea60ff0ce6495f648caeb8146ace7384830411d),
-                y: uint256(0x0ac548f97b9872bf3ef717610125de3ddacc7d5f7e7662b3d4ebf05d2eb1ed1d)
-            }),
-            s3: Honk.G1Point({
-                x: uint256(0x0138d46260c1914f238042755e184558919a30dad7bf5801ed2400d906be3669),
-                y: uint256(0x133a11205297d8f4ab8f890a0e373c1d579cb06e8e8f67356c51484be8937416)
-            }),
-            s4: Honk.G1Point({
-                x: uint256(0x1ef60cf15852c1c439179a1de8d6270803f387111a2532d45a8332d838570267),
-                y: uint256(0x2679530b38dcc0d04eb4b7b14f44ec44aa1dfb3499671a277e9214537097390f)
-            }),
-            t1: Honk.G1Point({
-                x: uint256(0x1f1156b93b4396e0dac3bd312fdc94243cf3e0cfba606d27d5999f4927ff92b3),
-                y: uint256(0x116a7935196d39ea9178a285c53a6b419d9961d76a65ed28914ca5cc3ffd2433)
-            }),
-            t2: Honk.G1Point({
-                x: uint256(0x23aebc5efc1d0e6d03030b242308fdf369409c76a0245d4f389193b554c30065),
-                y: uint256(0x19f38f8e7cf18f375d75db06fca92a0cbfc1214af084c189478e34dc04c77419)
-            }),
-            t3: Honk.G1Point({
-                x: uint256(0x15642d62fc17d119ba4afb77ab424e0a771b5bbb501c75790a1a4e2906931045),
-                y: uint256(0x21cea98314ec6efc5f8f1f648f42a7a5c1396036397af54a729801cc1c37d4e2)
-            }),
-            t4: Honk.G1Point({
-                x: uint256(0x1f3bd0ebf0709ac30745d0dafb183cdd5b4a42e59fe1e447cad24659049d13a7),
-                y: uint256(0x05900180ddd1cec6e340c70c9bff6f16c2efd51d298fee5fce4355fc26890195)
-            }),
-            id1: Honk.G1Point({
-                x: uint256(0x2bd6a3cf99e1dc7eaef20cef7f35ea393999a1d7136a044a395481b6ba11e8e3),
-                y: uint256(0x12641696d74551bbb1dada90b63265e871a4828d3e075a77631600fe4b925bea)
-            }),
-            id2: Honk.G1Point({
-                x: uint256(0x23ead4e558c7899cf02f54cea73220ce6a5a960499f3e0b83d4ccd2123177bad),
-                y: uint256(0x1b006d51b0a636626605560a5eaa3e3acbe0fca9eb9c29018a20ac7ba9d0728a)
-            }),
-            id3: Honk.G1Point({
-                x: uint256(0x293fb43acbd84cb4f8ea0fa4a8484f6ee56221100d6fa19b1f26d237bf02d1e5),
-                y: uint256(0x04ea174248f7372df94bdf7f8475551bb24db92eaedeb8c6311bfa298e7ae897)
-            }),
-            id4: Honk.G1Point({
-                x: uint256(0x12ff4a53b6d2e5a175ed657c757338ceb47fef1e725f65cede468374a416f108),
-                y: uint256(0x2da5490444810e3fb35d5fec5c27941833a71033794492a4940ec248b492bfbd)
-            }),
-            lagrangeFirst: Honk.G1Point({
-                x: uint256(0x0000000000000000000000000000000000000000000000000000000000000001),
-                y: uint256(0x0000000000000000000000000000000000000000000000000000000000000002)
-            }),
-            lagrangeLast: Honk.G1Point({
-                x: uint256(0x0165fcea6ebe5211b0ff2e488af14201f2ff309861695f95625be884ab65e2da),
-                y: uint256(0x2a43ae04d425e180c906d436a1c57beac2c613d6f5beeb9fc35e89fd24164d14)
-            })
-        });
-        return vk;
-    }
-}