refactor: update crisp verifier

Author: cedoor

examples/CRISP/circuits/src/main.nr

@@ -85,7 +85,7 @@ fn main(
     slot_address: pub Field,
     balance: Field,
     is_first_vote: pub bool,
-    is_mask_vote: pub bool,
+    is_mask_vote: bool,
 ) -> pub Field {
     // ============================================================================
     // STEP 1: Eligibility - Merkle Tree Proof

examples/CRISP/packages/crisp-contracts/contracts/CRISPVerifier.sol

@@ -7,85 +7,85 @@ pragma solidity >=0.8.21;
 
 uint256 constant N = 524288;
 uint256 constant LOG_N = 19;
-uint256 constant NUMBER_OF_PUBLIC_INPUTS = 23;
-uint256 constant VK_HASH = 0x28114d8cd5717ef99a68b06cac6ca166dbf7c9d93282ef76e5b5eedad6816774;
+uint256 constant NUMBER_OF_PUBLIC_INPUTS = 22;
+uint256 constant VK_HASH = 0x161721d9c0f8fd8ad867634f1eb55771d27a3f1c60aa85cabb575a08d580d5f2;
 library HonkVerificationKey {
   function loadVerificationKey() internal pure returns (Honk.VerificationKey memory) {
     Honk.VerificationKey memory vk = Honk.VerificationKey({
       circuitSize: uint256(524288),
       logCircuitSize: uint256(19),
-      publicInputsSize: uint256(23),
+      publicInputsSize: uint256(22),
       ql: Honk.G1Point({
-        x: uint256(0x2dbaf2000edfad3ec12c2db5576b031eaf174f2b4a76f97ae29d8a669d1377b8),
-        y: uint256(0x06b30a2c616a0206320fa7486906d05a925176d952afabdaeed9281875ddda60)
+        x: uint256(0x304b2b938a49864bdd7bdcbe9e2370a13b2a251e3447d75ed09e422be78d9c50),
+        y: uint256(0x04bbca50ca5ae2b9b3b18f0e159b3522cdfe77173be0e7ec41236a884a794408)
       }),
       qr: Honk.G1Point({
-        x: uint256(0x1da2454a7398ae8478aaab958ea003831e52e9de933581b717130eb26a417d0b),
-        y: uint256(0x11e8a64476f86641057518c5f75f2ad9fe296e413f39369a93467deef2588990)
+        x: uint256(0x1390a45d534b4b8d5068dd5f1e7fa38a1af50d3a5056032c934e715b922e8ed0),
+        y: uint256(0x0c5916359175df452c2230c30a26f0a548524ca3783d54399adf33af9cd59671)
       }),
       qo: Honk.G1Point({
-        x: uint256(0x2f34c756ac7d3d417733a0ecdd68d8b161adec0fa13d100357901c7d5172a1e4),
-        y: uint256(0x01dc05ef9042bbb0bff7307a3489d9938854a99062c6188b08edf7315e9ca917)
+        x: uint256(0x0ccc95b90215dacdb8fa61b5ad52a8b2fbb2a1741635f6b72cf2c2f726aa5c80),
+        y: uint256(0x25f343e7fd877ffd8e376ce69bc6959525aad661a89b14110341d43f51dcd656)
       }),
       q4: Honk.G1Point({
-        x: uint256(0x0260cb304ff1edfb12e9e3afdd5040a04016a0dbc6922cb76ea0acf22fbde3a9),
-        y: uint256(0x203fb2a6d48a2ba1e17713ebbdd4930008255342b235fb35ae298cad644e194e)
+        x: uint256(0x2d3ab65c5cd8dc2eb68adeaf6bc5691f42d386db01a7faaf5d39fddbf13cf076),
+        y: uint256(0x193110c2ba0b6710a07b05caadb82cdce74f0ee73f8602af0b236a924c456115)
       }),
       qm: Honk.G1Point({
-        x: uint256(0x00f7b7febe080bc9cfd42308b2ca0c8384682aecc00176a1fdcfc432dff2727c),
-        y: uint256(0x02972db2393a9939492a8e06da1a7e9e81f625582f3b57e86f8bbb74286225f2)
+        x: uint256(0x2deb985291d1c59a3e3e5cab9c637b7cceb853137c617d06b3d5450a7cd140c6),
+        y: uint256(0x00156295e7b2fdc531146bfa812c3e5101234513ef1bf9541563db700dcb4e64)
       }),
       qc: Honk.G1Point({
-        x: uint256(0x04153ea9de12537d3bc06bbedf07f266711a2212363cde167e8e5215a4bf004a),
-        y: uint256(0x0754ae0cd97c4bb427b4bbda12a6f77868432d1c11285f9c661007c368a069c6)
+        x: uint256(0x20deefccc64efc0d187a05e5c634526570b3406a7b64b1c8b410e3672a46c166),
+        y: uint256(0x12c1ccf451e9ecd1b133695d349e778a727e69940e239b41cca56c0db3137b7d)
       }),
       qLookup: Honk.G1Point({
-        x: uint256(0x136236e1bfc2af648ac078e134c1b4b9114b11937ebafcdd87f8ca7660715ebb),
-        y: uint256(0x02293c705250462935a653b7b993e13e2e8bc6480c45c84976d526cbdbd071df)
+        x: uint256(0x111ada27d4243c5df982e1cd77f2d9aff394ba4f2ba2faf8ec1a8e5b6d78d1e7),
+        y: uint256(0x1cf81a5fe339ef18222213e43155e149d0211317fe0a68d795681f31ef25ad0f)
       }),
       qArith: Honk.G1Point({
-        x: uint256(0x188652f1473dc922b628a81c95e8129edbb89a4b3775012359617085765a0ab5),
-        y: uint256(0x1efe5676ab0f0c01e36f87d061d0608e1b305a2d0ec6b7d47bbd57c754802b31)
+        x: uint256(0x2099c14715295c16acc838921d7466bd93797ebf3b7841bf192a53b7f2e1dd52),
+        y: uint256(0x165e1d6b01a29a34661dc75d3e2a905f4c870de0ef17164ce746f0523a154660)
       }),
       qDeltaRange: Honk.G1Point({
-        x: uint256(0x1c6bade5f84aa4b5a1c7d75beb5d35e03df62863ff7ed9687a4555d9ded7a2ac),
-        y: uint256(0x207e46cca2bef3ca8a0b11a3675faa63060d2a978728c6f163deffe490f19c53)
+        x: uint256(0x05444eb31c1087ad96f3e1fb536419efd68573f83c5fe3c86c5cc302523e5809),
+        y: uint256(0x170f7ea6d6d51b076e04682a576d52332a224447de4f152ffc325bd1a060d160)
       }),
       qElliptic: Honk.G1Point({
-        x: uint256(0x2cae063b9cc93e8b8876a904665021b298b6f68a914340a6298268e029bdb1f8),
-        y: uint256(0x07fb31ab4b40789b09dc9242dc81ddb0e8eea61caef54b946ba2004ace05fc1d)
+        x: uint256(0x25ee13c393de81c11527e9dbdf8c57af17c5001c001c9598c16d2e0fcd8fd945),
+        y: uint256(0x054ca4f24753b5b4ace266ddf8820ffd2f2a35cea1297305741f070c5bd99281)
       }),
       qMemory: Honk.G1Point({
-        x: uint256(0x0c7fde4f9c001e6e931fff797345930d9d6fe76c89271643f0e58d21ae81b8e6),
-        y: uint256(0x0137d4dc61ae4d48cf9a18b1f6980f36cea5b62a9e41b285f977a1425dfff664)
+        x: uint256(0x29d42b68b5ae2f106f2c89fb4bd2172ecb99ae4f3d6febddc3ddc9a2b4220bc8),
+        y: uint256(0x2200de8a86b9b70aff9ecbd33f7a33a1eac3d73b9b7c07c79d2bec10cbe233cb)
       }),
       qNnf: Honk.G1Point({
-        x: uint256(0x03f1b4c461b2c4e05f0f41ab95bbd69a2ae163287a1469d36dec686787702c38),
-        y: uint256(0x1015a592aa16badd76dcfc6498a7f9724a93feb39d743e5bd161ab56a956220d)
+        x: uint256(0x2d9aaacd2b74a8fcaa7015aabc26efab30a0d4b9c60536a3a7567f294b0d4bd5),
+        y: uint256(0x1d9d69cef83c55f60a5aa2f511586a97e9290cde519b352ec2bb2ce1fcb4ad66)
       }),
       qPoseidon2External: Honk.G1Point({
-        x: uint256(0x1993acfc332ab8ee921a7e2b9fb77bfe5e5d37fd168a20e069d7e7cf11254bb9),
-        y: uint256(0x1b5219beafe4b4777f6d9eb58a5f37c399b139a8db47d2597e1b40b864dbbb69)
+        x: uint256(0x0eb30db8c9ccd1cb565371a0361171ccfd9bea07a2ef38f8beeb317ebfeb671d),
+        y: uint256(0x0344077d2ad0137a14ef7375556ead4e9f57f9b6ba5fd076b9f4a59fd53ba74b)
       }),
       qPoseidon2Internal: Honk.G1Point({
-        x: uint256(0x0a2b7e1add88bf7119de5a577a9f29861414c7cc593f04da15ff80834324910c),
-        y: uint256(0x297e56859a32a69351b38ba3df8fa095f73b64e0eae2df7fb234ae0bee1e0e49)
+        x: uint256(0x139a47d1f2792784b06e1dc3d9b6c4759fadd9355df983610bb9a2d7f345de2e),
+        y: uint256(0x177d0e44fbdfd5db555aea470b4c69c9fc4990ee0f3df5fbd8cbbafceaadcaf4)
       }),
       s1: Honk.G1Point({
-        x: uint256(0x00ebb274c39dd7396bbb3e34dc8ecac6abad6dde306330914e2d276b4456ae96),
-        y: uint256(0x1989c35f90cc8bbec96740808767f2c7f4c54e5e207a42c8ad40c9a070ee4245)
+        x: uint256(0x250d5ab85fe20be9080a31fbdd77b6f1c705bd312874827cfeb06c89edb0b828),
+        y: uint256(0x1e97be3f4237c6d9507f90838fe7ec9da709677b58220a4381809abbeeaa1601)
       }),
       s2: Honk.G1Point({
-        x: uint256(0x232a3f5aba89278cfd7d5bdf674a6b5976cce3e9f82392c7614bda7594275b68),
-        y: uint256(0x2b4b30bee6b08549937151332f3c66e50bf90936acf73984a4ebba36bd95523e)
+        x: uint256(0x2856abdcadc46490ce13429f02f7e230e92b3d92088d0af994a78457ebbff096),
+        y: uint256(0x03558044d8abdc1fd68df093d03eedc0e411717a96ae0b1f776951526d29f8dc)
       }),
       s3: Honk.G1Point({
-        x: uint256(0x294d3220fc25828fb6c6f7422e550bb8936ec23a37c6bbd26bb28677b882855d),
-        y: uint256(0x03844786ecae63acfdee85b12d52bdcd8b6ecbc06c24508e26d994c8948a381e)
+        x: uint256(0x1b69436a4ab13a16fbd35e4b51093cb47d72c3b52509b11d11f5536a5e9be415),
+        y: uint256(0x210e1de93ccafd3202235d84a53cfc45cd51ff4d89f06dd91951f1581d03289f)
       }),
       s4: Honk.G1Point({
-        x: uint256(0x21936f3cf9cb6349bbb8e9c21f779fb80681e366aeba2e1b84fb2b420d43afa1),
-        y: uint256(0x23901abddcb15858c057c8f9b9bcc105c2e19e77b5873cef69d2c4be15afe0a5)
+        x: uint256(0x16c87bea9045009cf9c93a8476d8e9cf09b0e655c3ff081b6d9e41fbf3b7a7bd),
+        y: uint256(0x0e83ed848d55ae54435a4bccea312bb3d4b0e976c2b496a78127e79793920ed7)
       }),
       t1: Honk.G1Point({
         x: uint256(0x1f16b037f0b4c96ea2a30a118a44e139881c0db8a4d6c9fde7db5c1c1738e61f),
@@ -104,28 +104,28 @@ library HonkVerificationKey {
         y: uint256(0x2d7e8c1ecb92e2490049b50efc811df63f1ca97e58d5e82852dbec0c29715d71)
       }),
       id1: Honk.G1Point({
-        x: uint256(0x12fcaa0d0f8e91c5533f729ebba4e2545c8d473c13498299f2d2e24b84d57183),
-        y: uint256(0x2edf64b77938517dd1caecf82654480189dfc57aea2c6cd0cde3c2ae57efcdbf)
+        x: uint256(0x23b1f2efbdeeb410e97830fc5b10c065c72013f50f3296bd74fcd95effb5d65a),
+        y: uint256(0x21fb8fade888eb2a5a8655cc2417a493f84cf17614766e0ad7c7ee116f2d6bd1)
       }),
       id2: Honk.G1Point({
-        x: uint256(0x2d83105a3bac19a01524e00ae3ae317391d19c20fe1b2525028584ef7232ed5c),
-        y: uint256(0x142670352d6f9dcad4bbe96df9f9e6427ad1f8d47c1f73deb6e02d6a82186a90)
+        x: uint256(0x23fa78039b8067dac22e544800398731062f0d84a90a924c14c382aa3a93dbb2),
+        y: uint256(0x0d9b7703cb3fdf92de752f34d39d1fe89b6c478ea03b82a467afa21655091f6c)
       }),
       id3: Honk.G1Point({
-        x: uint256(0x2b66f51ae5238867b6ad475fe2e3cc3973a47ac54f9d95b7e48a562dd3a36ee9),
-        y: uint256(0x25b2175196af4891ddb3d8a88b2f2a0f364a01cb6324b1fbeaeceea062d8fd5b)
+        x: uint256(0x235aba7a0c7bc7538e25686f97815921d1baccf00cea2f6cddd4b92c0d75bb08),
+        y: uint256(0x131caacfa03ea02776f81540b5acfe63925c892b49323ef02a2a18bf1e9e3e9b)
       }),
       id4: Honk.G1Point({
-        x: uint256(0x2bbc091e46a8218ec8670975a59e5929dbe83f4e82db9ef550bf1a7e49337792),
-        y: uint256(0x0f9409da2321a815e1bd0fb8dcf14575f5bcc8c6f8bedac8da95b99b47a20702)
+        x: uint256(0x2f3c4a8b604ee5ee18130ce5f61ebea73bc21177a317eba9f844cdc8fb3e4a78),
+        y: uint256(0x21c2732d0d7806e657ef357640ea0bf54b05fbe159438f4b1f3e2474a0146217)
       }),
       lagrangeFirst: Honk.G1Point({
         x: uint256(0x0000000000000000000000000000000000000000000000000000000000000001),
         y: uint256(0x0000000000000000000000000000000000000000000000000000000000000002)
       }),
       lagrangeLast: Honk.G1Point({
-        x: uint256(0x1f4e48afdac1ac2d02df6f0f5ad020b79aaf63f66751345595d70ec73a075d3c),
-        y: uint256(0x28402c5dfe4a9d76324412598709621921778e05f47903e263b57933e0c104e6)
+        x: uint256(0x201bf56d76699ef5d702202b842e3924ae809100ae08d0240f94686ab043b0ad),
+        y: uint256(0x1687df2f4039907274584a4a7a58b4998a27216a9df48189d06bd1701cd7b4f2)
       })
     });
     return vk;