WEB3-350: Bootstrap groth16 (#445)

capossele · capossele · commit 03d446ae4abd · 2025-02-18T10:07:51.000Z
diff --git a/contracts/src/groth16/ControlID.sol b/contracts/src/groth16/ControlID.sol
@@ -20,7 +20,7 @@
 pragma solidity ^0.8.9;
 
 library ControlID {
-    bytes32 public constant CONTROL_ROOT = hex"8cdad9242664be3112aba377c5425a4df735eb1c6966472b561d2855932c0469";
+    bytes32 public constant CONTROL_ROOT = hex"91d639615549c55dc491e60a5c3d9d301c364549c3372023fddbf406202af45b";
     // NOTE: This has the opposite byte order to the value in the risc0 repository.
     bytes32 public constant BN254_CONTROL_ID = hex"04446e66d300eb7fb45c9726bb53c793dda407a62e9601618bb43c5c14657ac0";
 }
diff --git a/contracts/test/RiscZeroGroth16Verifier.t.sol b/contracts/test/RiscZeroGroth16Verifier.t.sol
@@ -138,6 +138,6 @@ contract RiscZeroGroth16VerifierTest is Test {
     }
 
     function testSelectorIsStable() external view {
-        require(verifier.SELECTOR() == hex"c101b42b");
+        require(verifier.SELECTOR() == hex"0807fd45");
     }
 }
diff --git a/contracts/test/TestReceipt.sol b/contracts/test/TestReceipt.sol
@@ -21,7 +21,7 @@ pragma solidity ^0.8.13;
 
 library TestReceipt {
     bytes public constant SEAL =
-        hex"c101b42b25016dc12080c5100a9841f324669460144c96d23619bb9e828e3a192c80ecfd1140eb491e6ba0b4b81afb4ff447e32cb9be3cecf003dc14959d680ae60dc11e040b0a98edd1abab11587de8a32f0095c37c7e43c03d7e5a709e0807c9c53a39127863b8b8ab606ee7527f4d1ff30a497b9c5c716b27946b68aad4408b6ab4d52bba359168a56baabe40a0da71463ccbeccab13c67e2029feb661b9e582cd1902fed2fbba2aa46f12326baf8e2b3bc85a413b25fed59692c4db8f6c3368bdbba2e0a48d161ea889d685b4ac1bd82c8ae190d35e656fd42d1086b362ad521acd22a62b65806ae08d4ca6ad0d6665bf8f4c9bd84717dc200adcd24e0cada3a621c";
+        hex"0807fd452cb7274448ae23b012d4ea38b0eb35fccd5b19048af7ffd4ebd99b29e6d035511645123ab27d5fcb3b03cc03a617dd1f1858a7111266c95a95cf6448c18d77d6059916b0bc07966e39763a61bb0ac74fc3737b1c76982383cb1764592b4f6ed212e08e322a8176375715bd454639da0d05130c6103a4e806f1a6a0727e02e10a0ad4bebaf16c239f31c73b0b93c08d7ce0ab8897f1e45e69f41cc5f23bf37bab287368ccb762814539c713cc409221ba950af3516beaee170d0ed91504cba0592ea8c9cda607702e4e2a7f54e9a5213d281745a4d78d7acb664c0b7cfbd5130c25076309ae6d73d19b97d9464cf15cc5fed59af58b9e68d04a8d6daa9d52cc30";
     bytes public constant JOURNAL = hex"6a75737420612073696d706c652072656365697074";
-    bytes32 public constant IMAGE_ID = hex"01ebed7f56116d9fdbae4a81c29c07daf43b17a1d5e4dd6eb0e971d689ccf88a";
+    bytes32 public constant IMAGE_ID = hex"5cc53b30ce1e97ab92e779a5ad9e1767f9e2c74c0f10891e4f951c60054123a9";
 }

Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,7 @@`
`20`	`20`	`pragma solidity ^0.8.9;`
`21`	`21`
`22`	`22`	`library ControlID {`
`23`		`- bytes32 public constant CONTROL_ROOT = hex"8cdad9242664be3112aba377c5425a4df735eb1c6966472b561d2855932c0469";`
	`23`	`+ bytes32 public constant CONTROL_ROOT = hex"91d639615549c55dc491e60a5c3d9d301c364549c3372023fddbf406202af45b";`
`24`	`24`	`// NOTE: This has the opposite byte order to the value in the risc0 repository.`
`25`	`25`	`bytes32 public constant BN254_CONTROL_ID = hex"04446e66d300eb7fb45c9726bb53c793dda407a62e9601618bb43c5c14657ac0";`
`26`	`26`	`}`
Original file line number	Diff line number	Diff line change
`@@ -138,6 +138,6 @@ contract RiscZeroGroth16VerifierTest is Test {`
`138`	`138`	`}`
`139`	`139`
`140`	`140`	`function testSelectorIsStable() external view {`
`141`		`- require(verifier.SELECTOR() == hex"c101b42b");`
	`141`	`+ require(verifier.SELECTOR() == hex"0807fd45");`
`142`	`142`	`}`
`143`	`143`	`}`
Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ pragma solidity ^0.8.13;`
`21`	`21`
`22`	`22`	`library TestReceipt {`
`23`	`23`	`bytes public constant SEAL =`
`24`		- hex"c101b42b25016dc12080c5100a9841f324669460144c96d23619bb9e828e3a192c80ecfd1140eb491e6ba0b4b81afb4ff447e32cb9be3cecf003dc14959d680ae60dc11e040b0a98edd1abab11587de8a32f0095c37c7e43c03d7e5a709e0807c9c53a39127863b8b8ab606ee7527f4d1ff30a497b9c5c716b27946b68aad4408b6ab4d52bba359168a56baabe40a0da71463ccbeccab13c67e2029feb661b9e582cd1902fed2fbba2aa46f12326baf8e2b3bc85a413b25fed59692c4db8f6c3368bdbba2e0a48d161ea889d685b4ac1bd82c8ae190d35e656fd42d1086b362ad521acd22a62b65806ae08d4ca6ad0d6665bf8f4c9bd84717dc200adcd24e0cada3a621c";
	`24`	+ hex"0807fd452cb7274448ae23b012d4ea38b0eb35fccd5b19048af7ffd4ebd99b29e6d035511645123ab27d5fcb3b03cc03a617dd1f1858a7111266c95a95cf6448c18d77d6059916b0bc07966e39763a61bb0ac74fc3737b1c76982383cb1764592b4f6ed212e08e322a8176375715bd454639da0d05130c6103a4e806f1a6a0727e02e10a0ad4bebaf16c239f31c73b0b93c08d7ce0ab8897f1e45e69f41cc5f23bf37bab287368ccb762814539c713cc409221ba950af3516beaee170d0ed91504cba0592ea8c9cda607702e4e2a7f54e9a5213d281745a4d78d7acb664c0b7cfbd5130c25076309ae6d73d19b97d9464cf15cc5fed59af58b9e68d04a8d6daa9d52cc30";
`25`	`25`	`bytes public constant JOURNAL = hex"6a75737420612073696d706c652072656365697074";`
`26`		`- bytes32 public constant IMAGE_ID = hex"01ebed7f56116d9fdbae4a81c29c07daf43b17a1d5e4dd6eb0e971d689ccf88a";`
	`26`	`+ bytes32 public constant IMAGE_ID = hex"5cc53b30ce1e97ab92e779a5ad9e1767f9e2c74c0f10891e4f951c60054123a9";`
`27`	`27`	`}`