update tests

Author: mattstam

contracts/test/SP1VerifierGroth16.t.sol

@@ -2,15 +2,15 @@
 pragma solidity ^0.8.20;
 
 import {Test, console} from "forge-std/Test.sol";
-import {SP1Verifier} from "../src/v3.0.0-rc3/SP1VerifierGroth16.sol";
+import {SP1Verifier} from "../src/v3.0.0-rc4/SP1VerifierGroth16.sol";
 
 contract SP1VerifierGroth16Test is Test {
     bytes32 internal constant PROGRAM_VKEY =
-        bytes32(0x0031d9b929d13038eb7c25790617a5ff09d3e3f6d20fc3f0bb70ada6c20206cd);
+        bytes32(0x00467584e2e560847e9e96b5102c082f5e07155429c6622988799df9d95dbb47);
     bytes internal constant PUBLIC_VALUES =
         hex"00000000000000000000000000000000000000000000000000000000000000140000000000000000000000000000000000000000000000000000000000001a6d0000000000000000000000000000000000000000000000000000000000002ac2";
     bytes internal constant PROOF_VALID =
-        hex"91ff06f3018012469797b672088e11fce5cf3b24608cbdf85609cd5f514d72683583ac531f17401a7e6dc84bc674dc9fbbf30f4ec6208ab587267e46269b728ffcb5ac4d2c3951eaf5b3c082750ac6ca369772a0907fd5dc02b01f6ff23cd4396f8f510c1a453dd45f069c48b6b4e597cf169237a08594f914ee2c188f1b89c2444029f51890876a3e64d57483554d818c0b55c8ceeb08983d5ba682a7854a2dfd6403b824a130c4a04118265db2925450ce879e15473d91280ab46f5d5779ac22eff16b044faba38a646c92d4ab8454bf0142bb8cffdd56a6c922aff15d55a8f0ce70860b883b929f6ca1afe2f0c774862093adf13ea8eefdcd9186d0c7d6d25fbf8a51";
+        hex"feb5e54e08d5ce8b93a002fbfc89f29003bf4a94d504e30674682a1bc9699ec0097e76e82b2c88a3841c9e498946abad576a3441e1e59251099a2f958b14a07881389899094b5a48ffc34608c4719fba1367b05985c668e1d960816c72dfaef70a33ea2a261408394e1191d4c5cd0dfd502111ab6232426e439c9c0847c83886085817620388bd7b4345b7eb65de1310470a907e11b9af950891b3494444cd88c8dd48361b54d46e02b57af4892b164535bdda23db428e1f0d18d90437cbf56e705e65a42fb8ed7ba78005546f8019f706cc586ee42e5781fe544975390d38deb61b99ef1309f10884fed2a0c4613410f58ae3597df856534c6814bc1d5f247edd034e1f";
     bytes internal constant PROOF_INVALID =
         hex"1b5a112d1e86fe060a33eb57cd5925bd7dc008d32908cdc747fa33650a996d292d4e";
 

contracts/test/SP1VerifierPlonk.t.sol

@@ -2,15 +2,15 @@
 pragma solidity ^0.8.20;
 
 import {Test, console} from "forge-std/Test.sol";
-import {SP1Verifier} from "../src/v3.0.0-rc3/SP1VerifierPlonk.sol";
+import {SP1Verifier} from "../src/v3.0.0-rc4/SP1VerifierPlonk.sol";
 
 contract SP1VerifierPlonkTest is Test {
     bytes32 internal constant PROGRAM_VKEY =
-        bytes32(0x0031d9b929d13038eb7c25790617a5ff09d3e3f6d20fc3f0bb70ada6c20206cd);
+        bytes32(0x00467584e2e560847e9e96b5102c082f5e07155429c6622988799df9d95dbb47);
     bytes internal constant PUBLIC_VALUES =
         hex"00000000000000000000000000000000000000000000000000000000000000140000000000000000000000000000000000000000000000000000000000001a6d0000000000000000000000000000000000000000000000000000000000002ac2";
     bytes internal constant PROOF_VALID =
-        hex"8fd4de721d6b0469a8040ae7157416844a099d215a218823b5eb39f5954beb654bb8a59f121e84cb80615c90a1ca83cbe6f4df4feae814933e9b8283e1ddbf4e9ef8673221c137d5464f5dd1375ed251fb67ec4d3aae7e7ac818fe7a2682fe7cab14dfb52175f23f1126869f63a2d78811783495fc6c3fc6cef4b4bb140883333fde86870c79a31a6dccfda11845a88deb8aea1b2739e24687a1b19550a1c6fad9fa438f118783416eb7cccc2b787b47039a0ae8fbb76ef0f84ac4bdf43c765d6f0f9d280b8db03225f82e8b6e2aee618d147f2547886c0f8f93e1f3bd844d7c549efe1c013420234a546cdaced9ae4c1be703b97f4250224e194152e13a7edd98984f5c008458712126d0fbedadbf6cf4cfc7c8be3f34a4bc4113ba8a1350f5134f315b065168bd7fa00715524c8c2a8912b54a1f37020d6f2b22e5a97153ee110540ef17909099a8c5fb056c7f8af19e6592d7ce841e1e4942fddb284c7a38aea4b2be1c6ce791a36c321b5185933ba44e42dfe9ddc4744b237f7090979261e39e4ce223d3b29ca347f5b765f6a7167901ee1819ff062b7a8e8c1af30cefb4950828491b0e4a3630525b4a02f129fd15fdc7c5c24f4b72668804b11bb7d4a9afe61c7f007ab65f996918dec04120c08dfb2a0cec01ef011c4f798c1432a88f9127a1700565edf0b4414852a52c61cd7dcb343416614bbbfe4f17437f68cc745432b70a25222217caf9aa90ff1fb961e30a3ce9279bcb8422dd2d2b371e461c7faaff78255e22f51ecb25a8695d9ddecbfbc0f42bbb85d515968a61f75fa68fb3ab28dd01943c624f59599167f96202ebb1d464f822b30639ac54baeeab57cf11364b6912e6ca69362c80e34ea68ff150ed0f70c881b0be58cba471ae4f1b21f2d688bd1fd245467fecd7807ce407a014b7a6ccac8460508773c447efc072db28fa2b0b217485075491257e42c4b5bb3544f6eae2686e0861032e9b9573b0266516f59e0e016fa249be783d736f912276f9918ac93a75ffba0a8b2f26921cdd0a6599a10d06f79ceca9bbd7636ed3a25f2055b4ae864b17f0d19d0aee604aac155f6b390fb70e573a97c08b4b149e3c235573fa9ecb7746d5c907f89d7e771fb560d02c0e8da26a5de94bc501051cb976085e693080afd6bb35752f171dbb662d1ec6df1fcc582d047dc5d9cfe1f5ea36d0e0d8befd4f9f13ec70aeb01c026c94deae2e";
+        hex"865350661628ddb69371fc7c9073a376b38903c7617210213158b4e2e45e205b512fb7f3036e95aa96a81d41d603aa7c43a2a3d7e2ba0d80367bc341a2b742f39aa7b3820fbd2c41e1ccb638d37e31244eedbc3a0ae327e66be2e85e88c2db616e8d6cab18fb0f0ea87b13ba77d4f74373f262e59f2fc1a3b6efdcd566e27d07d227cbfd0e641247b8549ba90fa21dcc3254b201b0581b5f10d0c91f3116d87552d5c035091810ea278254675eab7407f42df022a911099c88339ddbfccf26dd0e73721508f4ae8abf4ce2d487a796df1d1fa3845670fa73d47de7710303ea099a1f5eab132473c2666c1038188d76696c35d6a5123da47d6b3661a7675f27d574012abe17846cebb7b514d78941669bcbca4821e0b4386f7317dd1c1a059de9f24193a72b2ccc27d09485c268a7117e6e072852dc74dca498fcdcfbf7dd76966acbc3ac28ae942309476b7294d02e4ad5b8d7fa98665ca670825478bc9bd047629649781cd9a5057b25bff2f708d191e1dd2fd1206f76731e814cacf7e04683241b36dd2fef9020ac6dcb3c4953633a578923ddd907c35b4350c4a4d155fcc44558324407ec1d93937db2d6a45f55bcb0b3f2f7f1d5c6c7095d88e6b80618cadb76df6a0a6e102e8d260bfaf1ef97fadb440f1d9f4acc4e5db459c5ca3f80e32166c460041fe238cb33e8c688cda38f6efb7962ebc1851bb4ca2ed3b8abc6decae571371baf2ee68dd2812312932a1c14c1eab9b03192298d0c20101c5b7517ff92f4312bdcaca5c50b27d727f1822341c7ff2c31bc4d1b388c8939b1226f4bbf2631ba2da814157d71721d11922b356d2d0e6b321e4138950ec71886f246c52cc527eb10a95f975b85b898892838cfddba3be9109c8cbcf52b85affd937fdd5c8d5c8b294860e9f1275a44c45c857a16e337a5db20962b2a197bb610e4495039c4af621b00e0f0c842cbc5c9e9c859edf1093e9427d51d5cb970ece9a45bad0c0a3452089d62e252ebfd5d56aaa8a609d536db4ae79e51b901291d41925e4d93c0285728498bc4fe78a8b1720cf0bfa406a7c668155e1d0cec04a4972a71681ce3861330138f66ea1e7c878ee8b3a0b85c7fdca54da9d2206c10d1bc9340ce309242ea009e7daa6aa0d6556b15867240fa29997b938fd7d8be734963b0e431bbbcce8e0330e9232320df87f3d760184f7b68d540ea06a3db5b06365ddda1621523bef5";
     bytes internal constant PROOF_INVALID = hex"616a42052115dd50acf8e57f10c32ca72a6940";
 
     address internal verifier;