From c6f9b99baafb098ebf02d35002dfd9d906b66879 Mon Sep 17 00:00:00 2001 From: Kyryl R Date: Wed, 19 Nov 2025 18:41:36 +0200 Subject: [PATCH] Updated TD1 and TD3 QueryProofNoirVerifiers --- .../verifier/TD1QueryProofNoirVerifier.sol | 68 +++++++++---------- .../verifier/TD3QueryProofNoirVerifier.sol | 68 +++++++++---------- package-lock.json | 4 +- package.json | 2 +- 4 files changed, 71 insertions(+), 71 deletions(-) diff --git a/contracts/sdk/verifier/TD1QueryProofNoirVerifier.sol b/contracts/sdk/verifier/TD1QueryProofNoirVerifier.sol index 6c29b32..599db4a 100644 --- a/contracts/sdk/verifier/TD1QueryProofNoirVerifier.sol +++ b/contracts/sdk/verifier/TD1QueryProofNoirVerifier.sol @@ -1,11 +1,11 @@ -// Verification Key Hash: 2a928dcd17e08b47cce4567bc03160b4c344ce7f3127383f1eab5f1e4b05e780 +// Verification Key Hash: b7e60c152a0e4f45a6aa9fe54313733e9c27464092376060a89d4773323fd090 // SPDX-License-Identifier: Apache-2.0 // Copyright 2022 Aztec pragma solidity >=0.8.4; library UltraVerificationKey { function verificationKeyHash() internal pure returns (bytes32) { - return 0x2a928dcd17e08b47cce4567bc03160b4c344ce7f3127383f1eab5f1e4b05e780; + return 0xb7e60c152a0e4f45a6aa9fe54313733e9c27464092376060a89d4773323fd090; } function loadVerificationKey(uint256 _vk, uint256 _omegaInverseLoc) internal pure { @@ -28,67 +28,67 @@ library UltraVerificationKey { ) // vk.domain_inverse mstore( add(_vk, 0x80), - 0x277df1535732c9900995dc3ff3234f83a8afa9e2d1c5332de9b694b707d026a9 + 0x12c1313819675bfc8f5c85fad60492794b4ca1fabee574232c9a7c7dfede3803 ) // vk.Q1.x mstore( add(_vk, 0xa0), - 0x031a2d6a0478ae515bee64f44d34a771353cd8ccf7ed7f2aed6b24cb5318f44a + 0x015dc0f065a3da65e03f27de656332b1e934cc3bdd1026e26447bd253e6f0c8d ) // vk.Q1.y mstore( add(_vk, 0xc0), - 0x0bd61501a563e38207d03dd22bd55a66c1ccf1ca0977f89790d51c8dbeeefc99 + 0x16f04bfd7a2cb3808109b2e18b0cf022cba202586d1cb8ae81f6afda1ae78c04 ) // vk.Q2.x mstore( add(_vk, 0xe0), - 0x274d2c447ccdeb97a4e065939851cc82d8e746dbeed9e5b97788f5ebb379a194 + 0x1212b1aa8ec0db634e9e99bc2f945a38e0e6a0628b6bd14aefb9e2b05988133c ) // vk.Q2.y mstore( add(_vk, 0x100), - 0x29398f18a57abb88f0764d94af659d10ff0ef830c0989c0bdf115b754694ba2b + 0x199d6e369d8dfb25ae3573c0a30a7ead31919510fabbfb543f917d68d7573bc3 ) // vk.Q3.x mstore( add(_vk, 0x120), - 0x1abd632bc72efa8acef7defa625f8dd72af5caf26373868f1dcbfd13a6109627 + 0x25a4df395b5cb8213af24e5f07fbe870ffbe90af122bd73fe66c367f2c053e15 ) // vk.Q3.y mstore( add(_vk, 0x140), - 0x1966288ea4c8bf39965e8832596724ddee258a8cd42964274117229365d9c4f7 + 0x2748417ab25fcc7b76e6e1e420917300ae14e624dfd6dbd84167494d4ba9c877 ) // vk.Q4.x mstore( add(_vk, 0x160), - 0x0d129f2134b516ce45e8cb93d102dcf8638a41ae5616f27b8f8b3bcf0eeeb6f5 + 0x1de5256af3b692b5102701c720465445b4261bfc47bf5640532ab7e4d8ce58aa ) // vk.Q4.y mstore( add(_vk, 0x180), - 0x28a1f65bfd524be06c0ae9190dc06640b8092ccac4a89eb20ad14d08b9884aec + 0x24dc5a3d42f7ab2a6ccae216fcde02dbe7a33739c814fb10e60e95b2851ffe1a ) // vk.Q_M.x mstore( add(_vk, 0x1a0), - 0x1f5ed25dd18187a783e964a572bb405216361b2ad2b4a77ab3f45daab40dc046 + 0x11c474e39caf7625fea53e57e74648f92342c8faee0d1518a3603d37bd8f522f ) // vk.Q_M.y mstore( add(_vk, 0x1c0), - 0x122ce15a08609eaf78637e7ffd8994d30f0ec3984fad5d201e6bff06689da249 + 0x0031fbfedef4af6e6f2e84e29a6e3118072b272c06dfe76fd52df7f31379327d ) // vk.Q_C.x mstore( add(_vk, 0x1e0), - 0x288efc4d16c791d2151eb34d4c7e43a2d0b9076d3f6006fe7dbfafb57103331d + 0x000bf05bb93c59a939a8a8a39b57cb260918c8de688b1fd457cfff733d1ee508 ) // vk.Q_C.y mstore( add(_vk, 0x200), - 0x1bb1b56bab3ccd00b74aafd58bbe1d03341fd84080be34747fd624bd00507d57 + 0x2faf1cff098e01e0f3dc5275de3191ad6a756f7a921ab2e33348e037a2cece49 ) // vk.Q_ARITHMETIC.x mstore( add(_vk, 0x220), - 0x0e6ee03697a1bf87e055901fc11dc5b25fcff2fd35a9816f73c60194f79cd4c2 + 0x120b8ba0015318ef1b59e89ec5d3c673bc4620ab5a5d4d681b83859777677f30 ) // vk.Q_ARITHMETIC.y mstore( add(_vk, 0x240), - 0x1c6d1543aff91bba815232d45e1e8e45efa671152a13d9006c620043ad67aedf + 0x2599d6c930005c58efd29ac392f02cebff1736c30410b4d8ef36d19753ea27a6 ) // vk.QSORT.x mstore( add(_vk, 0x260), - 0x0fc8b700b60e88a929d1c25cf9216fb43f51579bccd1255f9f16bf016d07f96a + 0x1591cdab2195ed2c559f3109f8196e07dcfdc7c55cb610378faf65901b9c2931 ) // vk.QSORT.y mstore( add(_vk, 0x280), @@ -108,35 +108,35 @@ library UltraVerificationKey { ) // vk.Q_AUX.y mstore( add(_vk, 0x300), - 0x20d2b76a52051410140dc92f27562a8c51526b5798cf36f136f4f66ee1686e3e + 0x1c7bdfce82b2cd0167f5aaa6cde90eb9df01ae2a969155eb523f1debac63c186 ) // vk.SIGMA1.x mstore( add(_vk, 0x320), - 0x2ae1e2d4dc370333e69195889578c342c533cf887cf7fbf7b4c49839677e0646 + 0x04346d06dae9fc62b389ce04097547af17acb9dffc52345e9dced6f22a606f6f ) // vk.SIGMA1.y mstore( add(_vk, 0x340), - 0x1a6b37306ff3fd34d41e43f280fafb573e54fbabfbfbfafab9c190191035e87d + 0x058d2746538a341e0bce836613bfd068d4f07b6bfaf430ff881c79e6504004e7 ) // vk.SIGMA2.x mstore( add(_vk, 0x360), - 0x15490e6f0fd4ec7a1c7be635849d256dba9edd1d188b4313857d76321b779b1b + 0x0fc6fb923c749f3ab5d52c5747478d86e5c0be28d02f0b6316b0b122de6b187d ) // vk.SIGMA2.y mstore( add(_vk, 0x380), - 0x0fb02e419434f5cb3575f08a7075e906ceb4928b057f4b2ded6900c02b540d03 + 0x2dcfc8cea0203bfaf6598a2047c0b5582d0757384ad0a0d7532d0376e7f27fa8 ) // vk.SIGMA3.x mstore( add(_vk, 0x3a0), - 0x25d97d928c36605470933abb8643f2310771ba9612be6e8fc95c6dc0a21e15c1 + 0x01aa98d686b216eed46b87bb1c508ff90c1484893b73cc8b1d1a44d98d38cca9 ) // vk.SIGMA3.y mstore( add(_vk, 0x3c0), - 0x2c73f6b2db8d6f65c3ab2d624520a6ca6bdba3d77524c1dd675a0c6f778783bd + 0x26dd6738887e87d915a37b8fed4abd78a84f61ea0631a3dd62e3b6ff2abd241c ) // vk.SIGMA4.x mstore( add(_vk, 0x3e0), - 0x072af1ad3849a4a76d6e044753344e680200484bd62d74ae34cd24e42764f396 + 0x26ce0653abfe2529f0cb42b04067b6135e5df7eaaddb8346891c41021b7cb3e8 ) // vk.SIGMA4.y mstore( add(_vk, 0x400), @@ -180,35 +180,35 @@ library UltraVerificationKey { ) // vk.TABLE_TYPE.y mstore( add(_vk, 0x540), - 0x21771baa1b67382068b0e30bbd45b52171c84f65fa965c091f0f157af294c809 + 0x2a0c144d53cc550e72fc7a2e3b2f8068ecbd7d95e101d02faf9a7f012f3c5e6c ) // vk.ID1.x mstore( add(_vk, 0x560), - 0x124e16e26b8181cb27d4cc82492ef8f94bb0da0ee066b1b74029ce028c892c14 + 0x165aeffdf181c44818e70bf5528f14f0fe0bb3266572e8528ee49f91980cfa34 ) // vk.ID1.y mstore( add(_vk, 0x580), - 0x1c46fe8b579fca04ea46902d851d8020e12ff54b8e17f3dacc614be873bc8beb + 0x292b8e96befa0f51168a3155f1ed425669a0bf52c337bece1010f14134446af9 ) // vk.ID2.x mstore( add(_vk, 0x5a0), - 0x14ad77a2a0c376b27f7896fd04262205d0b849c190e1ac5c69079ee45601e818 + 0x12d301c05b69f44abfc377a2f221d6d10cea82ab4d971500bb3e5414f3fc41fd ) // vk.ID2.y mstore( add(_vk, 0x5c0), - 0x27430c79ef97e19bfbd1c70db5b4c1fb77d983c7257057070a954572aa619e59 + 0x301298fa154b06d8d9011ff3f7bb66ad83881d17d70e21554c2369a82bd08fa2 ) // vk.ID3.x mstore( add(_vk, 0x5e0), - 0x1806ebdb9ab76d6c4eb92ebfc097cc1babc25425bb08992181fa9d7fc706b8af + 0x20b5b11f846f206d394bc33f27e05ec4cd818f0da7aec9c65fdfa8a6fbc264b6 ) // vk.ID3.y mstore( add(_vk, 0x600), - 0x1d053f62acc58b5342867cfe0d8817c60512df1377fc9671221f5ab4dc4808c5 + 0x1fa40b46f466a3c6033767e16ee79ec2031d1f21b12beb45e274d55ea0063c27 ) // vk.ID4.x mstore( add(_vk, 0x620), - 0x27ddf1560e6b440f43575cec10ea753f52f0f95b3773566b89572b3897cfdff6 + 0x16d94beaddbb20dac07ca02b8743927f237655a8e281122c8451bd21c45ca3d9 ) // vk.ID4.y mstore(add(_vk, 0x640), 0x00) // vk.contains_pairing_point_accumulator mstore(add(_vk, 0x660), 0) // vk.pairing_point_accumulator_public_input_indices diff --git a/contracts/sdk/verifier/TD3QueryProofNoirVerifier.sol b/contracts/sdk/verifier/TD3QueryProofNoirVerifier.sol index d831e1f..25eb0bf 100644 --- a/contracts/sdk/verifier/TD3QueryProofNoirVerifier.sol +++ b/contracts/sdk/verifier/TD3QueryProofNoirVerifier.sol @@ -1,11 +1,11 @@ -// Verification Key Hash: 53774c50aa1fa2855e77e6f9c877f743fd4db0e4fa46854ef53851ca3a7d83d1 +// Verification Key Hash: de79d8f954322a6929643d4ce9ef33b6395a1a7e4e445e513a3cab3ac9ca45f0 // SPDX-License-Identifier: Apache-2.0 // Copyright 2022 Aztec pragma solidity >=0.8.4; library UltraVerificationKey { function verificationKeyHash() internal pure returns (bytes32) { - return 0x53774c50aa1fa2855e77e6f9c877f743fd4db0e4fa46854ef53851ca3a7d83d1; + return 0xde79d8f954322a6929643d4ce9ef33b6395a1a7e4e445e513a3cab3ac9ca45f0; } function loadVerificationKey(uint256 _vk, uint256 _omegaInverseLoc) internal pure { @@ -28,67 +28,67 @@ library UltraVerificationKey { ) // vk.domain_inverse mstore( add(_vk, 0x80), - 0x0e0bae65032ff51442bb5f0086f3055b72c306d97c3ac2177ea371585b3f878e + 0x1bd37d8b9e21f08e4051dc553a50e873f42201adf6b9d1edc8e3612fb251acb8 ) // vk.Q1.x mstore( add(_vk, 0xa0), - 0x0231029486afd0847d3b815d0f754d6db56c8a70da026de7bb96a6cf2417e04f + 0x15c88cdfd3d4598e2eae8749a581c0e00b524d18c34b4424d515d939f354737d ) // vk.Q1.y mstore( add(_vk, 0xc0), - 0x244c45230892d88cf0465fe093b462136f5b0dc049fd2b141dcddcda934b2af8 + 0x27fd8f358d084b43e15bafec3fd8e6d0acdb4d50f5e2c8a7786d18bc223b36dd ) // vk.Q2.x mstore( add(_vk, 0xe0), - 0x1295df6917dbb2a46459ef6b1ab74c36bd0c43817dd4cd7a6ed288b4601913c0 + 0x19b6dab4e5d93a0f074df953091caaa6b6516df10329e56a683560a9ac7fc6ac ) // vk.Q2.y mstore( add(_vk, 0x100), - 0x187ce22f735d8d88d5a02030882697f4c0c684c5cf1082bf3657fdefc28eb2e1 + 0x2b8313569cbbbfd0d5017da67148d102f04419f06aa197caf9828e9d75e0a44f ) // vk.Q3.x mstore( add(_vk, 0x120), - 0x170b5d07aadee0274d1b5bfb4ddf24ad60c020619347ca34b348ccc2b08dab1e + 0x01072a1bc226248ac828b6c955de7522213826df6562437d78e52fab8c08f3cf ) // vk.Q3.y mstore( add(_vk, 0x140), - 0x2930e775143f63818cb23818e54f90bd50668939fe2647af9d449720474ca54a + 0x1abe8ca74c86dc86b8e7c6d592a7dba2d8506cd8b218366362771bc4cabe4ec1 ) // vk.Q4.x mstore( add(_vk, 0x160), - 0x2cbbae8d9299836d2e82794418eab9bf814eb081eba00aa2fdf992d164b69978 + 0x1289b7a45a6ec8e8949b86043dfef18c610bcba1ec3b57a5674961a2c8816b3d ) // vk.Q4.y mstore( add(_vk, 0x180), - 0x189ecf156d83d2c749f4f75ef8e008b5a3f604e58c643a86db35b54e3fb08d93 + 0x161d10df1323dc12ed5992efcbaa44e4dc121a67ebae61a7b1786d5aee4d0aae ) // vk.Q_M.x mstore( add(_vk, 0x1a0), - 0x2de008518eddfcfb960b3da2a82a82238638b7d6d536d434635824d166122223 + 0x21974daec142f7352b67bb082611292c934349f1749466c9c5edb88fb7e7fcdc ) // vk.Q_M.y mstore( add(_vk, 0x1c0), - 0x1dcf8d461f5e0bc819731f676d0430a3b99dd294861a2050f843df80dcfde326 + 0x246f9b050613f9611324548ec3e2d4204606a32fad4c29314fe44660285ea564 ) // vk.Q_C.x mstore( add(_vk, 0x1e0), - 0x2b9f77577b20a8b0d5b1a8b486556945bff62900ab51dfe9a9566e1d53e82dc3 + 0x29f8adec9758d3a49152deeabf9c1efc8ab5f1dd6ad8cea98397bc4466b0fa61 ) // vk.Q_C.y mstore( add(_vk, 0x200), - 0x013e7ef7f19c295262394bae20be08a807d0b465fb9f3d36c8f61b0c6cfbca08 + 0x201a0de04e94a22f553a296fd0e32bb4f07d939e59592b33ce74f44d40f29ef9 ) // vk.Q_ARITHMETIC.x mstore( add(_vk, 0x220), - 0x16b269c759637ff2236813733dcdffedb6724c350582b6a0db9acab119150fa5 + 0x0011163bcc8cdfa919e86c23d91bd2152bb2cb08f94b6ed31709d4ff4d47f7ce ) // vk.Q_ARITHMETIC.y mstore( add(_vk, 0x240), - 0x130ce571e9656d12d2e18da695a094b593b3032e9fc30b793cdcdc671129c12d + 0x15e809326a9f83547ad7c839ccaf6cf7f961a067b115310e3c521f1c4113cecc ) // vk.QSORT.x mstore( add(_vk, 0x260), - 0x2d725264e0f82557d48b2c243ecbd47b0ba3dca122bcdb54cabca28e0d91b7bc + 0x03e0b74f180c78e84f39ac39ad4dcc09f2ebd7e66df9efa5dd5cc8a79ffeeb55 ) // vk.QSORT.y mstore( add(_vk, 0x280), @@ -108,35 +108,35 @@ library UltraVerificationKey { ) // vk.Q_AUX.y mstore( add(_vk, 0x300), - 0x05c1e8bc697a5fa3eeadd14b666f16696ddaf45ff72366d44b2c2cb64743bd47 + 0x0d40ccb0d87179f15630cee09d1029a0ae41aea834dddbc75e42052cf9cd0d97 ) // vk.SIGMA1.x mstore( add(_vk, 0x320), - 0x2d41235e37a85b9672547931e61ce9ee330b06f218f633cba1375ee28114050b + 0x2e5a98aa93d7f80f90964fb77fc34d0757c08f02fc6c06057da7d0f50c688ded ) // vk.SIGMA1.y mstore( add(_vk, 0x340), - 0x0799797f5997d8844392ce5bd3e90f7cce28d1f3781db4201b633daea3f13fd6 + 0x2914b851d650e37a03583ff107d854521cde18629c883cbbb5c81f4d657cff2e ) // vk.SIGMA2.x mstore( add(_vk, 0x360), - 0x11c5a479b29ca8aa826dce1c9f856f46b86a9cc97f98f1c7eddaf13b93647a12 + 0x1d2e9fcb7f8dcb80589b44ed9e1108788f267c34e008e8ca3d53f7896b79c656 ) // vk.SIGMA2.y mstore( add(_vk, 0x380), - 0x03aa0347e938d25b8622beaf7a1946d22712d544d38febffff37aa763c56edc4 + 0x2edec8fc03678fa49e85884a7eb6e18330dc2b17f050542109547d650e627647 ) // vk.SIGMA3.x mstore( add(_vk, 0x3a0), - 0x0f07a109b1acfd0368d648a20274611ac96de3614a56dcc234243e5b8e309256 + 0x11a40a5575eb95936aef9602842eee05dc37688666d08aa62e3850d04ac57d18 ) // vk.SIGMA3.y mstore( add(_vk, 0x3c0), - 0x2a1632a7f3c5c459e04a3704370b0e8201a6cfc22568ec5bf4d60ab81a094903 + 0x0bebc0fe6a02f3e8ebf1c1653c5bd37ae73a064675e511eb25be35a3af90a580 ) // vk.SIGMA4.x mstore( add(_vk, 0x3e0), - 0x05afdeb870569ea1383c0544fda859e26fe8fc30ff2e56739ff4be5c70a00f22 + 0x232765a3cf7aedff3cc37ac50083e95b24f6cd6669490331fa9cd56450b9de7f ) // vk.SIGMA4.y mstore( add(_vk, 0x400), @@ -180,35 +180,35 @@ library UltraVerificationKey { ) // vk.TABLE_TYPE.y mstore( add(_vk, 0x540), - 0x299c414c07a461360a7eb720efdedd7b2e8d9b0113d5165f9bbc6ff37cf02129 + 0x29df4e5df3ee66518e4406f829c497589c395eddafacc034fdd47d27ad1ca180 ) // vk.ID1.x mstore( add(_vk, 0x560), - 0x10593957b62e996faae293f12bb213f8aab1b2bd8470dd1f7c2830f1a02685b0 + 0x12d8192b9a3727584022ea806a8f2f40c3688fb8ae8349f232faa0230cb943ec ) // vk.ID1.y mstore( add(_vk, 0x580), - 0x0d2b84d9b2bfe681638c9bece0a54ae1d68e99173b72f11f1733250fb93c0b81 + 0x0011109cc67f1066459d1b5713006e5734967faedd31b84c07ecbb4105b71074 ) // vk.ID2.x mstore( add(_vk, 0x5a0), - 0x001c6f4b0cced7059df6ac109292b05ad0274b588703de34418b43e9c54ee72f + 0x2dbc1c6ae809e692a65763cae142e8ecd7eabf6e59d3f385038faea40fbcce89 ) // vk.ID2.y mstore( add(_vk, 0x5c0), - 0x28d96619fe5f51d0769b98b90de98eba5d0a8d546f968f9a19788b03965c5cbd + 0x29c1a5535715ed29fdd86cf5f3d937755c42768d49db5c0fd42b2209641fab9c ) // vk.ID3.x mstore( add(_vk, 0x5e0), - 0x19cb342612e73a055081147a39a8a3d1799b85699671c2cf981497dbf87acf2f + 0x0756cfe2e386c233743192df4e53e26b96dc9ec0a4462bb746a4b4876669d32e ) // vk.ID3.y mstore( add(_vk, 0x600), - 0x068e1b7d6b632a63e46b48a9ee7d8dcf18b844231da5991689f2a339959648d6 + 0x1a03622c692b597057060452c9be7dda3c9fccf88ab231c7cada0542128a0fc8 ) // vk.ID4.x mstore( add(_vk, 0x620), - 0x26f7e009b2be97d9d6e7971d4dd86c9e1e663125a0635ff7f9aef9fb5f11a995 + 0x1d2cd18f57950c56736663238b9605795bec5a9be3615813389c797aba68eedd ) // vk.ID4.y mstore(add(_vk, 0x640), 0x00) // vk.contains_pairing_point_accumulator mstore(add(_vk, 0x660), 0) // vk.pairing_point_accumulator_public_input_indices diff --git a/package-lock.json b/package-lock.json index 20476c3..4cfcc4a 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "@rarimo/passport-contracts", - "version": "0.4.5", + "version": "0.4.6", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "@rarimo/passport-contracts", - "version": "0.4.5", + "version": "0.4.6", "license": "MIT", "dependencies": { "@openzeppelin/contracts": "5.2.0", diff --git a/package.json b/package.json index 933da4a..effa69e 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "@rarimo/passport-contracts", - "version": "0.4.5", + "version": "0.4.6", "license": "MIT", "author": "Zero Block Global Foundation", "readme": "README.md",