@aztec/ivc-integration 4.0.0-nightly.20260107 → 4.0.0-nightly.20260110
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/artifacts/app_creator.json +8 -8
- package/artifacts/app_reader.json +8 -8
- package/artifacts/keys/mock_hiding.ivc.vk +0 -0
- package/artifacts/keys/mock_rollup_root_verifier.sol +3 -3
- package/artifacts/mock_hiding.json +10 -10
- package/artifacts/mock_private_kernel_init.json +11 -11
- package/artifacts/mock_private_kernel_inner.json +11 -11
- package/artifacts/mock_private_kernel_reset.json +10 -10
- package/artifacts/mock_private_kernel_tail.json +10 -10
- package/artifacts/mock_rollup_root.json +9 -9
- package/artifacts/mock_rollup_tx_base_private.json +11 -11
- package/artifacts/mock_rollup_tx_base_public.json +15 -15
- package/artifacts/mock_rollup_tx_merge.json +11 -11
- package/dest/prove_native.d.ts +1 -3
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +2 -19
- package/package.json +16 -16
- package/src/prove_native.ts +0 -22
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
|
-
"noir_version": "1.0.0-beta.
|
|
3
|
-
"hash": "
|
|
2
|
+
"noir_version": "1.0.0-beta.18+78a54455147d9ddbec669e78ebd107aed5245111",
|
|
3
|
+
"hash": "9267570525694931578",
|
|
4
4
|
"abi": {
|
|
5
5
|
"parameters": [
|
|
6
6
|
{
|
|
@@ -46,7 +46,7 @@
|
|
|
46
46
|
},
|
|
47
47
|
"error_types": {}
|
|
48
48
|
},
|
|
49
|
-
"bytecode": "H4sIAAAAAAAA/
|
|
49
|
+
"bytecode": "H4sIAAAAAAAA/7WNIQ7CMBRA23W9BxIchBMQIAEBIShCgmhCxcQ68lfEZG+wthAsArUDEPBcZA6Jwa8n2Dqxp1/eI0bfHjGLBL2qYpKmHOSeQ2JzYz694XEN5eg+eG3mT6V2h/74u8jeJz0t//aHHM5B9eCgUUHtx9hjTNqOtUc07CJKfaIrHieQLUUkLb4EJKTFlssziBmTzCCcOyqV9PsQzAEAAA==",
|
|
50
50
|
"debug_symbols": "dY/RCoMwDEX/Jc8+OGWM+StjSKxRCqEtsRWG9N8XRTcZ7Cm9OT2XdoGeujS21g1+guaxQCeW2Y4te4PReqfbJRdwxDYKka7gxNUKKOQiNC4xFzAjp+3SFNBtM6IoLQsg1+vUwsEyradcfO3yv1rdb7tcV/VHv15yfmpCY+X3xTOKxY5pj0Ny5kTjKxzk+HEQb6hPQmvTxrT7DQ==",
|
|
51
51
|
"file_map": {},
|
|
52
52
|
"expression_width": {
|
|
@@ -55,7 +55,7 @@
|
|
|
55
55
|
}
|
|
56
56
|
},
|
|
57
57
|
"verificationKey": {
|
|
58
|
-
"bytes": "
|
|
58
|
+
"bytes": "00000000000000000000000000000000000000000000000000000000000000070000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000077235d05dcd88c837615413187c38ed81300000000000000000000000000000000001e1625117fa2ec698849cb4805b0e20000000000000000000000000000006ec0e4cdca89c5d2d5608998018412155f00000000000000000000000000000000001c48ee29319190a6a73bc19db56bbd00000000000000000000000000000058504fdea85205ccbf2d915767c8ccdda100000000000000000000000000000000001c23e8ea4c6219c639f077166467b1000000000000000000000000000000384db3dba3b928914f9829e0db7258746500000000000000000000000000000000000d72406d2055d1bef3bf8c5a12ebc300000000000000000000000000000084ea2745af3c36b375358938bb8169a4ba0000000000000000000000000000000000270f18846b67d21afada41747f86540000000000000000000000000000003f89931854a188edaf1053502ecff9a20c00000000000000000000000000000000002934486db60ce956f43668d466db1c00000000000000000000000000000051473df88daca91c993a3db007dec11c360000000000000000000000000000000000230f50245d03a09e302ff27225daf10000000000000000000000000000006ea768e41226854eeb221d5b930a6365c600000000000000000000000000000000002ae2475197bb5dd2c84c0171d95c520000000000000000000000000000005323d419e4edcb8885f4d264936fab2baa00000000000000000000000000000000001213e59256c003e8ce669b160c08300000000000000000000000000000003c72f539731a53f860e7cb5289009dcc6000000000000000000000000000000000001aed44785e29e996967ac0baff0b4900000000000000000000000000000008ee426508eb5645e8353a344bec614d2e00000000000000000000000000000000000c2949c73631473e192a8032b2eabc00000000000000000000000000000050532fa733e8a76b4408d989390bc985a500000000000000000000000000000000002cf7fd5705e3df72d9ec728a49cbf5000000000000000000000000000000b4c0c889286cdd400148b35166f155844700000000000000000000000000000000000ec11cc3e88d4d5e70dede2321a89a0000000000000000000000000000005fbaa1cf529aeacead197e9cf045195aad000000000000000000000000000000000010eb03019c41b2aa52ddcd574899220000000000000000000000000000004d092c798d92d8d8867faaa8c7c4487e8700000000000000000000000000000000001a334e2a6e377cf356fa59354726830000000000000000000000000000006d6357972a5d96a3d094940f313c87bc6800000000000000000000000000000000001cef5f7df6bdf87e5618b3bc0f77b30000000000000000000000000000000d9fdb53a48ed6e7d6b8def8511e5290a800000000000000000000000000000000002661f030469ce75c2cf67a93dd885f000000000000000000000000000000d4163d4abb434c39d8f828e929b38cd32e00000000000000000000000000000000001327c844e736b4edc41c4164ed8d900000000000000000000000000000009192ac465e7ee6656f099e40e5a8b709b000000000000000000000000000000000000ddf9e9dd8363fd4119ac1d7955382000000000000000000000000000000c1ef702dd495b8bf5f29a26c9bc395f3c9000000000000000000000000000000000000196d43a3f837ea29755efb3d0582000000000000000000000000000000d46ee506247d9bc795c308335e1cb146a9000000000000000000000000000000000020cb38b987790363a999af2b598a7600000000000000000000000000000008c694784c064a39c1e3594698f6499e4c00000000000000000000000000000000002b58f55d6118557ad4b776990201c5000000000000000000000000000000146fe71fb1b7e6d55016734664f10d653b00000000000000000000000000000000002ad6f77a7f7c14780d95de8bd1f5b2000000000000000000000000000000d50afe030adf4289613e549353398294960000000000000000000000000000000000131ac1fc680fbc2584b74e5aece1f00000000000000000000000000000008a7955b2008eb1b292f52af6799ddd43e00000000000000000000000000000000000153308eea8f78ce074c90a27e83e5d0000000000000000000000000000000a35448e72b51b04e339c58837a31c5f5400000000000000000000000000000000001d43103f7bb8ec33a941bcbcd7e4680000000000000000000000000000009e0b8c412281f48848b6feee2be5d7f9a300000000000000000000000000000000001411c2f5de0d3d0f64b46a56e75d19000000000000000000000000000000b98ee627aaaa156e890b0cfd0f4b75c9580000000000000000000000000000000000007265c02520e542039f6fba0e7eae0000000000000000000000000000000e4664759457058ed8ef41cf3ee680963f00000000000000000000000000000000001feb4447beafac2bc34f64bfd94cab0000000000000000000000000000005de45ec6c3a3b870058ba5bc6094282411000000000000000000000000000000000029952987eca3b3915c121b02550a3f0000000000000000000000000000007a41ff7534bd0547caa6dbec9ba8993f930000000000000000000000000000000000173debcd85701d44ebf902ac2cae58000000000000000000000000000000e9d5149db6d89dda62068ae78d41fb8937000000000000000000000000000000000024620f5d0265f290f9d79ae1423a970000000000000000000000000000005ca4103de0b28b3a09d8adcead7e1e71df00000000000000000000000000000000000da48a656ab40237abaff4e4020f5f0000000000000000000000000000000df307b5a3303015a33429039e2ccfecad00000000000000000000000000000000001523e4315dc5148e4e2dc17f4c518c0000000000000000000000000000002a8189eee0b0001a63c711ef535cc2c49300000000000000000000000000000000002cc860ca20358cd5bbe745d17f0124000000000000000000000000000000fa71af35736767cb77be87090a6d9fa3fe00000000000000000000000000000000000e79ebbd8a55dcd60db2b68f87062e000000000000000000000000000000e140549f23b5a9544b6d51cdecae31173a00000000000000000000000000000000002d0af5cabd9ce59f295e56d8d6e06f000000000000000000000000000000ccf090955e10d6037d72c4087d742055c000000000000000000000000000000000001c4f31179c7423984a3c443487e4d600000000000000000000000000000050eac9492f0b50b3d6f0cee6ee2904523700000000000000000000000000000000002d021010b4e8e744655c729a62febd000000000000000000000000000000f61206a96cd4c8e544dcde327633ecd469000000000000000000000000000000000022c1e6585d0e31fa86815fca07ac120000000000000000000000000000000a91a5614859d39089b99fb0d95e2d7146000000000000000000000000000000000006774f2fcb3e7c1bcac9a1604ee6e2000000000000000000000000000000e1cb46ad7b7e3c59480c9dce7a6b62924c0000000000000000000000000000000000031a4c3cba45249d41f3583f55033e000000000000000000000000000000fe2d64c2441e25c18f153cbaf7f192c9ff00000000000000000000000000000000002db1a5bc132734803450c6c6a83457000000000000000000000000000000319bd7aa3e284ea22227bb3f1a0ba397de000000000000000000000000000000000003fe385c5840ec451159f2cb96c58f000000000000000000000000000000931ae5d38d04ce9f2228f58c11d6c5f12000000000000000000000000000000000001e9680c388bcdb90933476d22c5b0b0000000000000000000000000000006d744f101f0d100247cf5336fae726c7140000000000000000000000000000000000209446461af1f8d7871902e67a577000000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d260000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b30000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e00000000000000000000000000000000001b917517920bad3d8bc01c9595092a000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d190000000000000000000000000000000000305e8992b148eedb22e6e992077a840000000000000000000000000000007c86847618681dc29d8a9363ab7c40e1c3000000000000000000000000000000000016465a5ccbb550cd2c63bd58116fe4000000000000000000000000000000439973ac12d7ca796d6fe98ca40e6ca6b700000000000000000000000000000000002e24d420fbf9508ed31de692db477b00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff96736194940000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c3e4787511b270898ebe63b30a3ff36d8000000000000000000000000000000000002e00b651dd3da1a2cb53cf7af09ba300000000000000000000000000000079cba5aefeec8ebc066ea0435f4ede79e00000000000000000000000000000000000211bf9b08b76ecc34d05aab5eb78a80000000000000000000000000000006bcc7a05ff95a96b289424c5f733670d96000000000000000000000000000000000000c43726f75b6fda0de22ce0e0dfab0000000000000000000000000000001d0a09d7178ec93bad7858f96e64f0b48d00000000000000000000000000000000002f9b6e0b4e2c01968de5c32482aa7d00000000000000000000000000000037f79758cdbdce36a70f59085799e062f400000000000000000000000000000000001d5e939c15c78e4d62c21a547811f20000000000000000000000000000001e64a89090f018afb85e6447d57b51516e000000000000000000000000000000000005abf57f58f84c4746f2ee4af5f892",
|
|
59
59
|
"fields": [
|
|
60
60
|
"0x0000000000000000000000000000000000000000000000000000000000000007",
|
|
61
61
|
"0x0000000000000000000000000000000000000000000000000000000000000010",
|
|
@@ -160,10 +160,10 @@
|
|
|
160
160
|
"0x00000000000000000000000000000000001b917517920bad3d8bc01c9595092a",
|
|
161
161
|
"0x000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d19",
|
|
162
162
|
"0x0000000000000000000000000000000000305e8992b148eedb22e6e992077a84",
|
|
163
|
-
"
|
|
164
|
-
"
|
|
165
|
-
"
|
|
166
|
-
"
|
|
163
|
+
"0x0000000000000000000000000000007c86847618681dc29d8a9363ab7c40e1c3",
|
|
164
|
+
"0x000000000000000000000000000000000016465a5ccbb550cd2c63bd58116fe4",
|
|
165
|
+
"0x000000000000000000000000000000439973ac12d7ca796d6fe98ca40e6ca6b7",
|
|
166
|
+
"0x00000000000000000000000000000000002e24d420fbf9508ed31de692db477b",
|
|
167
167
|
"0x00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce",
|
|
168
168
|
"0x0000000000000000000000000000000000043d063b130adfb37342af45d0155a",
|
|
169
169
|
"0x0000000000000000000000000000009330952ae74c573d1686d9cb4a00733854",
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
|
-
"noir_version": "1.0.0-beta.
|
|
3
|
-
"hash": "
|
|
2
|
+
"noir_version": "1.0.0-beta.18+78a54455147d9ddbec669e78ebd107aed5245111",
|
|
3
|
+
"hash": "13814615972001704592",
|
|
4
4
|
"abi": {
|
|
5
5
|
"parameters": [
|
|
6
6
|
{
|
|
@@ -46,7 +46,7 @@
|
|
|
46
46
|
},
|
|
47
47
|
"error_types": {}
|
|
48
48
|
},
|
|
49
|
-
"bytecode": "H4sIAAAAAAAA/
|
|
49
|
+
"bytecode": "H4sIAAAAAAAA/7WNIQ7CMBhG23W9BxIchBMQIAEBIShCgmhCxcQ68q+Iyd5gbSFYBGoHIOC5yBwSg992ga0Te/r73iNG3x4hCwS9qmwSxxzknkNkU20+PVQP9honqL2UtJWaUjo8riEf3Qevzfyp1O7QH38Xyfukp/nf/qqLQ9jvIowdwtQlvOJhBMlSBNLii0d8mm25PIOYMckMwmlJAT/Pi03MAQAA",
|
|
50
50
|
"debug_symbols": "dY/RCoMwDEX/Jc8+KCKCvzKGxBqlENoSW2FI/31RdJPBntKb03NpNxhpSHNv3eQX6B4bDGKZ7dyzNxitd7rdcgFX7KMQ6QpuXK2AQi5C5xJzAStyOi4tAd0xI4rSsgByo04tnCzTfsrF1y7/q3VTnXLdth+9qXJ+akJj5ffFK4rFgemMU3LmRuMrXOT6cRBvaExCe9PBtPsN",
|
|
51
51
|
"file_map": {},
|
|
52
52
|
"expression_width": {
|
|
@@ -55,7 +55,7 @@
|
|
|
55
55
|
}
|
|
56
56
|
},
|
|
57
57
|
"verificationKey": {
|
|
58
|
-
"bytes": "
|
|
58
|
+
"bytes": "00000000000000000000000000000000000000000000000000000000000000070000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000077235d05dcd88c837615413187c38ed81300000000000000000000000000000000001e1625117fa2ec698849cb4805b0e20000000000000000000000000000006ec0e4cdca89c5d2d5608998018412155f00000000000000000000000000000000001c48ee29319190a6a73bc19db56bbd00000000000000000000000000000058504fdea85205ccbf2d915767c8ccdda100000000000000000000000000000000001c23e8ea4c6219c639f077166467b1000000000000000000000000000000384db3dba3b928914f9829e0db7258746500000000000000000000000000000000000d72406d2055d1bef3bf8c5a12ebc3000000000000000000000000000000860c5b7aa3cc838b7900c5f59b7405932400000000000000000000000000000000002701d5a3fe37ef4760330eca54fb85000000000000000000000000000000c6fc73ca14b01bd85ff190febb2a25023200000000000000000000000000000000002d5c7b7d6c44c36be73c126ef5b6f5000000000000000000000000000000db604527764f56ef154006445b850665b500000000000000000000000000000000002f2942da01f5aa523558c7f0303e54000000000000000000000000000000ea4edbdbbc418e9b6638f193fb63ad3c530000000000000000000000000000000000041dd658ec4d5c2eb05189fbc3bd630000000000000000000000000000005323d419e4edcb8885f4d264936fab2baa00000000000000000000000000000000001213e59256c003e8ce669b160c08300000000000000000000000000000003c72f539731a53f860e7cb5289009dcc6000000000000000000000000000000000001aed44785e29e996967ac0baff0b4900000000000000000000000000000008ee426508eb5645e8353a344bec614d2e00000000000000000000000000000000000c2949c73631473e192a8032b2eabc00000000000000000000000000000050532fa733e8a76b4408d989390bc985a500000000000000000000000000000000002cf7fd5705e3df72d9ec728a49cbf5000000000000000000000000000000b4c0c889286cdd400148b35166f155844700000000000000000000000000000000000ec11cc3e88d4d5e70dede2321a89a0000000000000000000000000000005fbaa1cf529aeacead197e9cf045195aad000000000000000000000000000000000010eb03019c41b2aa52ddcd574899220000000000000000000000000000004d092c798d92d8d8867faaa8c7c4487e8700000000000000000000000000000000001a334e2a6e377cf356fa59354726830000000000000000000000000000006d6357972a5d96a3d094940f313c87bc6800000000000000000000000000000000001cef5f7df6bdf87e5618b3bc0f77b30000000000000000000000000000000d9fdb53a48ed6e7d6b8def8511e5290a800000000000000000000000000000000002661f030469ce75c2cf67a93dd885f000000000000000000000000000000d4163d4abb434c39d8f828e929b38cd32e00000000000000000000000000000000001327c844e736b4edc41c4164ed8d900000000000000000000000000000009192ac465e7ee6656f099e40e5a8b709b000000000000000000000000000000000000ddf9e9dd8363fd4119ac1d7955382000000000000000000000000000000c1ef702dd495b8bf5f29a26c9bc395f3c9000000000000000000000000000000000000196d43a3f837ea29755efb3d0582000000000000000000000000000000d46ee506247d9bc795c308335e1cb146a9000000000000000000000000000000000020cb38b987790363a999af2b598a7600000000000000000000000000000008c694784c064a39c1e3594698f6499e4c00000000000000000000000000000000002b58f55d6118557ad4b776990201c5000000000000000000000000000000146fe71fb1b7e6d55016734664f10d653b00000000000000000000000000000000002ad6f77a7f7c14780d95de8bd1f5b2000000000000000000000000000000d50afe030adf4289613e549353398294960000000000000000000000000000000000131ac1fc680fbc2584b74e5aece1f00000000000000000000000000000008a7955b2008eb1b292f52af6799ddd43e00000000000000000000000000000000000153308eea8f78ce074c90a27e83e5d0000000000000000000000000000000a35448e72b51b04e339c58837a31c5f5400000000000000000000000000000000001d43103f7bb8ec33a941bcbcd7e4680000000000000000000000000000009e0b8c412281f48848b6feee2be5d7f9a300000000000000000000000000000000001411c2f5de0d3d0f64b46a56e75d19000000000000000000000000000000b98ee627aaaa156e890b0cfd0f4b75c9580000000000000000000000000000000000007265c02520e542039f6fba0e7eae0000000000000000000000000000000e4664759457058ed8ef41cf3ee680963f00000000000000000000000000000000001feb4447beafac2bc34f64bfd94cab0000000000000000000000000000005de45ec6c3a3b870058ba5bc6094282411000000000000000000000000000000000029952987eca3b3915c121b02550a3f000000000000000000000000000000ab61a9c2163b75bd3158e7c867c90c7a4f00000000000000000000000000000000002feb57d183ccdc0694f2b2f0983a79000000000000000000000000000000c56cd07e7b577e2f17230be8d72fedbeb700000000000000000000000000000000001b371e92181113757574c61c25357300000000000000000000000000000037611e930a743af7336a88ce20308ec51d0000000000000000000000000000000000289008434b282950eb1794f08d62d2000000000000000000000000000000205abaaad9da61455ed4ca8e819aeaa29d0000000000000000000000000000000000012761bddf7d7a1edb4da69af2f8870000000000000000000000000000002a8189eee0b0001a63c711ef535cc2c49300000000000000000000000000000000002cc860ca20358cd5bbe745d17f0124000000000000000000000000000000fa71af35736767cb77be87090a6d9fa3fe00000000000000000000000000000000000e79ebbd8a55dcd60db2b68f87062e000000000000000000000000000000123da02ed755e4e682fb6d3cda130856aa000000000000000000000000000000000023ac932b04d3b430071cfe8fba1948000000000000000000000000000000f149931a91462b9c3433036a7372329c1400000000000000000000000000000000001f4f31baa2e2633807a548f1a765a7000000000000000000000000000000bf70ff98c2865ece0d5ff63bdec241225400000000000000000000000000000000001b4babe67c4c7b156d6ebcbcf09f36000000000000000000000000000000b16cd7481f19cbc3bb7ce93bc2167caf7b00000000000000000000000000000000000ca703b5ca1430f8d957cb12f116360000000000000000000000000000000a91a5614859d39089b99fb0d95e2d7146000000000000000000000000000000000006774f2fcb3e7c1bcac9a1604ee6e2000000000000000000000000000000e1cb46ad7b7e3c59480c9dce7a6b62924c0000000000000000000000000000000000031a4c3cba45249d41f3583f55033e000000000000000000000000000000fe2d64c2441e25c18f153cbaf7f192c9ff00000000000000000000000000000000002db1a5bc132734803450c6c6a83457000000000000000000000000000000319bd7aa3e284ea22227bb3f1a0ba397de000000000000000000000000000000000003fe385c5840ec451159f2cb96c58f000000000000000000000000000000931ae5d38d04ce9f2228f58c11d6c5f12000000000000000000000000000000000001e9680c388bcdb90933476d22c5b0b0000000000000000000000000000006d744f101f0d100247cf5336fae726c7140000000000000000000000000000000000209446461af1f8d7871902e67a577000000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d260000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b30000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e00000000000000000000000000000000001b917517920bad3d8bc01c9595092a000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d190000000000000000000000000000000000305e8992b148eedb22e6e992077a840000000000000000000000000000007c86847618681dc29d8a9363ab7c40e1c3000000000000000000000000000000000016465a5ccbb550cd2c63bd58116fe4000000000000000000000000000000439973ac12d7ca796d6fe98ca40e6ca6b700000000000000000000000000000000002e24d420fbf9508ed31de692db477b00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff96736194940000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c3e4787511b270898ebe63b30a3ff36d8000000000000000000000000000000000002e00b651dd3da1a2cb53cf7af09ba300000000000000000000000000000079cba5aefeec8ebc066ea0435f4ede79e00000000000000000000000000000000000211bf9b08b76ecc34d05aab5eb78a80000000000000000000000000000006bcc7a05ff95a96b289424c5f733670d96000000000000000000000000000000000000c43726f75b6fda0de22ce0e0dfab0000000000000000000000000000001d0a09d7178ec93bad7858f96e64f0b48d00000000000000000000000000000000002f9b6e0b4e2c01968de5c32482aa7d00000000000000000000000000000037f79758cdbdce36a70f59085799e062f400000000000000000000000000000000001d5e939c15c78e4d62c21a547811f20000000000000000000000000000001e64a89090f018afb85e6447d57b51516e000000000000000000000000000000000005abf57f58f84c4746f2ee4af5f892",
|
|
59
59
|
"fields": [
|
|
60
60
|
"0x0000000000000000000000000000000000000000000000000000000000000007",
|
|
61
61
|
"0x0000000000000000000000000000000000000000000000000000000000000010",
|
|
@@ -160,10 +160,10 @@
|
|
|
160
160
|
"0x00000000000000000000000000000000001b917517920bad3d8bc01c9595092a",
|
|
161
161
|
"0x000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d19",
|
|
162
162
|
"0x0000000000000000000000000000000000305e8992b148eedb22e6e992077a84",
|
|
163
|
-
"
|
|
164
|
-
"
|
|
165
|
-
"
|
|
166
|
-
"
|
|
163
|
+
"0x0000000000000000000000000000007c86847618681dc29d8a9363ab7c40e1c3",
|
|
164
|
+
"0x000000000000000000000000000000000016465a5ccbb550cd2c63bd58116fe4",
|
|
165
|
+
"0x000000000000000000000000000000439973ac12d7ca796d6fe98ca40e6ca6b7",
|
|
166
|
+
"0x00000000000000000000000000000000002e24d420fbf9508ed31de692db477b",
|
|
167
167
|
"0x00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce",
|
|
168
168
|
"0x0000000000000000000000000000000000043d063b130adfb37342af45d0155a",
|
|
169
169
|
"0x0000000000000000000000000000009330952ae74c573d1686d9cb4a00733854",
|
|
Binary file
|
|
@@ -5,7 +5,7 @@ pragma solidity >=0.8.21;
|
|
|
5
5
|
uint256 constant N = 16777216;
|
|
6
6
|
uint256 constant LOG_N = 24;
|
|
7
7
|
uint256 constant NUMBER_OF_PUBLIC_INPUTS = 17;
|
|
8
|
-
uint256 constant VK_HASH =
|
|
8
|
+
uint256 constant VK_HASH = 0x220a3987d5f366958990b88df16bd91791212ba43f6766da6174a30eef38507a;
|
|
9
9
|
library HonkVerificationKey {
|
|
10
10
|
function loadVerificationKey() internal pure returns (Honk.VerificationKey memory) {
|
|
11
11
|
Honk.VerificationKey memory vk = Honk.VerificationKey({
|
|
@@ -93,8 +93,8 @@ library HonkVerificationKey {
|
|
|
93
93
|
y: uint256(0x305e8992b148eedb22e6e992077a84482141c7ebe42000a1d58ccb74381f6d19)
|
|
94
94
|
}),
|
|
95
95
|
t3: Honk.G1Point({
|
|
96
|
-
x: uint256(
|
|
97
|
-
y: uint256(
|
|
96
|
+
x: uint256(0x16465a5ccbb550cd2c63bd58116fe47c86847618681dc29d8a9363ab7c40e1c3),
|
|
97
|
+
y: uint256(0x2e24d420fbf9508ed31de692db477b439973ac12d7ca796d6fe98ca40e6ca6b7)
|
|
98
98
|
}),
|
|
99
99
|
t4: Honk.G1Point({
|
|
100
100
|
x: uint256(0x043d063b130adfb37342af45d0155a28edd1a7e46c840d9c943fdf45521c64ce),
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
|
-
"noir_version": "1.0.0-beta.
|
|
3
|
-
"hash": "
|
|
2
|
+
"noir_version": "1.0.0-beta.18+78a54455147d9ddbec669e78ebd107aed5245111",
|
|
3
|
+
"hash": "7665491699352868168",
|
|
4
4
|
"abi": {
|
|
5
5
|
"parameters": [
|
|
6
6
|
{
|
|
@@ -71,11 +71,11 @@
|
|
|
71
71
|
},
|
|
72
72
|
"error_types": {}
|
|
73
73
|
},
|
|
74
|
-
"bytecode": "H4sIAAAAAAAA/
|
|
75
|
-
"debug_symbols": "
|
|
74
|
+
"bytecode": "H4sIAAAAAAAA/7XVt08bUQCAcQOh99577713TO+9t8MYY7DPYJ8B04+6GoPImiFSokwZoijZGe9PYGHLmCV7YPm8BWfgpt+d7r1Penp6z8Nx8/6jUdCLyvW9/LXNIGg220x7nVZRoxYMBvnbqFZjNVv0O9pWnc6s1QmS3iTeP6pO5E9TeknUWizvkCfyQt7IB/kiP+SPAlAgCkLBKASFojAUjiJQJIpC0SgGxaI4FI8SUCJKQskoBaWiNJSOMlAmykLZKAflojyUjwpQISpCxagElaIyVI4qUCWqQtWoBtWiOlSPGlAjakLNqAW1ojakRu2oA3WiLtSNelAv6kP9aAANoiE0jEbQKBpD42gCTaIpNI1m0CyaQ/NoAS2iJbSMBLSCNGgVadEa0qF1pEcbaBMZkBGJyIS20DYyIwuSkBXtoF20h2xoHx2gQ3SEjpHzXFNOnZSdPLPbnS/n3vJntUm0SIIoPaSo/v24yV9anxfZLM1qzaZbu8PxkFKyOmh+Kv2Q+2O447ssTy/klP/qtv3culE//bn9/TLG8fqsysWr/6j+v+zmSvnyLcrurpSv3qLs4Ur52pXygNZoMtt6RL10636ncnP3eN4mz7dpuyAJqkfVxcuXd55e3j6+fv4BgUHBIaFh4RGRUdExsXHxCYlJySmpaekZmVnZObl5+QWFRcUlpWXlFZVV1TW1dfUNjU3NLa1t6vaOzq7unt6+/oHBoeGR0bHxicmp6ZnZufmFxaVlYUWzql3Tres3Ng1G0bS1bbZI1p3dPdv+weHR8YlyqsjKmXJuv1MulEvlSrm22/8CREo3QwgIAAA=",
|
|
75
|
+
"debug_symbols": "dZDdCoMwDIXfJddeaN2P+CpjSK1RCqUtsR0M6bsvyrrphVdpcvqdkLPAgH2cOm1HN0P7WKAnbYyeOuOUDNpZni6pgNx2gRB5BDudKS8JbYDWRmMKeEkTt0+zl3arQRKrZQFoB65sOGqD6ysVf7o8R0WT4fp2/+HX6sBX53wtmks22DsIkdKTO6k0HW6GksW0GpKWvcFvDmO0ahdLePus5OA8OYVDJFztNo0XfAA=",
|
|
76
76
|
"file_map": {
|
|
77
77
|
"22": {
|
|
78
|
-
"source": "pub mod hash;\npub mod aes128;\npub mod array;\npub mod
|
|
78
|
+
"source": "pub mod hash;\npub mod aes128;\npub mod array;\npub mod vector;\npub mod ecdsa_secp256k1;\npub mod ecdsa_secp256r1;\npub mod embedded_curve_ops;\npub mod field;\npub mod collections;\npub mod compat;\npub mod convert;\npub mod option;\npub mod string;\npub mod test;\npub mod cmp;\npub mod ops;\npub mod default;\npub mod prelude;\npub mod runtime;\npub mod meta;\npub mod append;\npub mod mem;\npub mod panic;\npub mod hint;\n\nmod primitive_docs;\n\nuse convert::AsPrimitive;\n\n// Oracle calls are required to be wrapped in an unconstrained function\n// Thus, the only argument to the `println` oracle is expected to always be an ident\n#[oracle(print)]\nunconstrained fn print_oracle<T>(with_newline: bool, input: T) {}\n\nunconstrained fn print_unconstrained<T>(with_newline: bool, input: T) {\n print_oracle(with_newline, input);\n}\n\npub fn println<T>(input: T) {\n // Safety: a print statement cannot be constrained\n unsafe {\n print_unconstrained(true, input);\n }\n}\n\npub fn print<T>(input: T) {\n // Safety: a print statement cannot be constrained\n unsafe {\n print_unconstrained(false, input);\n }\n}\n\n/// Asserts the validity of the provided proof and public inputs against the provided verification key and hash.\n///\n/// The ACVM cannot determine whether the provided proof is valid during execution as this requires knowledge of\n/// the backend against which the program is being proven. However if an invalid proof if submitted, the program may\n/// fail to prove or the backend may generate a proof which will subsequently fail to verify.\n///\n/// # Important Note\n///\n/// If you are not developing your own backend such as [Barretenberg](https://github.com/AztecProtocol/barretenberg)\n/// you probably shouldn't need to interact with this function directly. It's easier and safer to use a verification\n/// library which is published by the developers of the backend which will document or enforce any safety requirements.\n///\n/// If you use this directly, you're liable to introduce underconstrainedness bugs and *your circuit will be insecure*.\n///\n/// # Arguments\n/// - verification_key: The verification key of the circuit to be verified.\n/// - proof: The proof to be verified.\n/// - public_inputs: The public inputs associated with `proof`\n/// - key_hash: The hash of `verification_key` of the form expected by the backend.\n/// - proof_type: An identifier for the proving scheme used to generate the proof to be verified. This allows\n/// for a single backend to support verifying multiple proving schemes.\n///\n/// # Constraining `key_hash`\n///\n/// The Noir compiler does not by itself constrain that `key_hash` is a valid hash of `verification_key`.\n/// This is because different backends may differ in how they hash their verification keys.\n/// It is then the responsibility of either the noir developer (by explicitly hashing the verification key\n/// in the correct manner) or by the proving system itself internally asserting the correctness of `key_hash`.\npub fn verify_proof_with_type<let N: u32, let M: u32, let K: u32>(\n verification_key: [Field; N],\n proof: [Field; M],\n public_inputs: [Field; K],\n key_hash: Field,\n proof_type: u32,\n) {\n if !crate::runtime::is_unconstrained() {\n crate::assert_constant(proof_type);\n }\n verify_proof_internal(verification_key, proof, public_inputs, key_hash, proof_type);\n}\n\n#[foreign(recursive_aggregation)]\nfn verify_proof_internal<let N: u32, let M: u32, let K: u32>(\n verification_key: [Field; N],\n proof: [Field; M],\n public_inputs: [Field; K],\n key_hash: Field,\n proof_type: u32,\n) {}\n\n// Asserts that the given value is known at compile-time.\n// Useful for debugging for-loop bounds.\n#[builtin(assert_constant)]\npub fn assert_constant<T>(x: T) {}\n\n// Asserts that the given value is both true and known at compile-time.\n// The message can be a string, a format string, or any value, as long as it is known at compile-time\n#[builtin(static_assert)]\npub fn static_assert<T>(predicate: bool, message: T) {}\n\n#[deprecated(\"wrapping operations should be done with the Wrapping traits. E.g: x.wrapping_add(y)\")]\npub fn wrapping_add<T>(x: T, y: T) -> T\nwhere\n T: AsPrimitive<Field>,\n Field: AsPrimitive<T>,\n{\n AsPrimitive::as_(x.as_() + y.as_())\n}\n#[deprecated(\"wrapping operations should be done with the Wrapping traits. E.g: x.wrapping_sub(y)\")]\npub fn wrapping_sub<T>(x: T, y: T) -> T\nwhere\n T: AsPrimitive<Field>,\n Field: AsPrimitive<T>,\n{\n //340282366920938463463374607431768211456 is 2^128, it is used to avoid underflow\n AsPrimitive::as_(x.as_() + 340282366920938463463374607431768211456 - y.as_())\n}\n#[deprecated(\"wrapping operations should be done with the Wrapping traits. E.g: x.wrapping_mul(y)\")]\npub fn wrapping_mul<T>(x: T, y: T) -> T\nwhere\n T: AsPrimitive<Field>,\n Field: AsPrimitive<T>,\n{\n AsPrimitive::as_(x.as_() * y.as_())\n}\n\n#[builtin(as_witness)]\npub fn as_witness(x: Field) {}\n",
|
|
79
79
|
"path": "std/lib.nr"
|
|
80
80
|
},
|
|
81
81
|
"51": {
|
|
@@ -89,7 +89,7 @@
|
|
|
89
89
|
}
|
|
90
90
|
},
|
|
91
91
|
"verificationKey": {
|
|
92
|
-
"bytes": "
|
|
92
|
+
"bytes": "0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000003c00000000000000000000000000000000000000000000000000000000000000fe000000000000000000000000000000cba835fa4e4257e4f1e61ea423986314c100000000000000000000000000000000002ddbdb3a6bee79dd841d4124da6a6f000000000000000000000000000000b0042c525ab1606df6a11e69e18d315e4b00000000000000000000000000000000002a5c3eb6870900b35e6b62ac2d33620000000000000000000000000000004131d7d410a4f2c7eb210bbe2ccb8cab370000000000000000000000000000000000125a615ea7fefedf0d2b1e82331a9c000000000000000000000000000000da480e665ffd380a1b4a430b6c791f87ef000000000000000000000000000000000027ea3d3ce2bec21bda80280680a0850000000000000000000000000000009d4712c5b4bc991d174b1b6648acf82640000000000000000000000000000000000007f5354129e33727c57dd32dd851e9000000000000000000000000000000af8ab0471738504be79f1da5abb14bcf5b00000000000000000000000000000000002f7ddb31a92e37b80aadc5fe8251710000000000000000000000000000001a0e330f7d2288e5cd30442d85e4ef0afb0000000000000000000000000000000000230705333f2f13f837977c1d2cae31000000000000000000000000000000e249333a79100daf678045e4681336c45900000000000000000000000000000000002ffb065321a00d0e4063849777eaa40000000000000000000000000000004a3e6bf8f52bd88fa42122b8537ba1f77f00000000000000000000000000000000002c546909b522d40faae9b202b41ef6000000000000000000000000000000b358b9058818bf5a8557046176f6cc4e9c00000000000000000000000000000000000850a256d73055f5bbd4b90b9987ec0000000000000000000000000000002d31ca1da49dd74d0ca563992b137edf160000000000000000000000000000000000241784fd0f0ae7d7b3f04a9c9d46e00000000000000000000000000000005a15d7ae81e4117d95e35dcbffe55d384a000000000000000000000000000000000014da2aca87fe81ff6cf550384ab8830000000000000000000000000000008064828eed74045bcbf7a4d19675c12bbf00000000000000000000000000000000001a64cb5f62da413d7998fd129334ee000000000000000000000000000000a2fbed9a1ce8ddd427b278e1da1120eaf6000000000000000000000000000000000028adc8f6296fb64616b2ab24f148e70000000000000000000000000000007c8cceb031116a101e3a1ee87d7873295900000000000000000000000000000000002b4d1bb5147a4c79e26ebae58411a90000000000000000000000000000005122c08613230e6b2af1317d43268e21590000000000000000000000000000000000064f7eda97f1983c485039a249a5280000000000000000000000000000003a49139b27d8947e4c719c23da79f232dc00000000000000000000000000000000000746584e013c32c3a44e50534f8158000000000000000000000000000000555abb28b99c47c3fe98ad9576e1c921ea000000000000000000000000000000000013295115ff3840253e61ad395da3cf000000000000000000000000000000f312beccb258b805d392ab69933ad953d100000000000000000000000000000000000c42a5aa8880cbe3b100389a051bb900000000000000000000000000000063dc60eeb91a5a8ef84eb9ee79348d115100000000000000000000000000000000002fe130ef73969f23d258f1fb9c60e9000000000000000000000000000000f187c269aaf098e4bb3dd632b978d3e2ea00000000000000000000000000000000002011c67fe3baf8539a8507486c9068000000000000000000000000000000583faba21d6fb7cb106c524b5282757b06000000000000000000000000000000000018ea510c37489d7a869ac4c5830039000000000000000000000000000000efcd956702aac87bb16a228d68f58ca1a300000000000000000000000000000000001cb1f3f6a7143f0dd8a821c4c64b680000000000000000000000000000001cc1459c984a6ccf2c535163139c44972a000000000000000000000000000000000003c093bac156e6e7f26f3ee663b2bf0000000000000000000000000000000af4ec32ec0ed0c62fc40782c74634b2950000000000000000000000000000000000145cd6b32e61cb45ce174a2ef0b0da0000000000000000000000000000003de7133d524779e3af0746ede126a2195900000000000000000000000000000000001be15ff9d27138876bbe8ba0fd01820000000000000000000000000000003cf6da8667d62b4a5fe6ff0b73d5c853b2000000000000000000000000000000000014227ecd27fde5df9035fb59b075a800000000000000000000000000000011120ac3cf51fd9a16a5650e042b30635300000000000000000000000000000000002b133fe6ffc732d2b54a048a1f1d8c000000000000000000000000000000f198883740b6a48e7f990c1366f1a8bff1000000000000000000000000000000000011d7e641acafe424eaf717509f3a06000000000000000000000000000000833052b2d1bb2d65e72260256994c07ca2000000000000000000000000000000000017c1f4fc475d70fcaa2e263a58c1670000000000000000000000000000006009e28ae0e536558b9128ac550e06126c000000000000000000000000000000000029bc0425b28cd08daf998eefd932750000000000000000000000000000003bfd41c113a697166c8c1ce53b30e4cdf5000000000000000000000000000000000024780777b3e981a902ad752ae3449e0000000000000000000000000000007f2a3700dcd5ff5a2818233db49dc45dcd000000000000000000000000000000000019d0b197a9137f156a52def91c4d86000000000000000000000000000000c6f2cd89e966ae61b2bad68e52bbbaf49c00000000000000000000000000000000000abe15fe91ac0d6d481b72a30ec293000000000000000000000000000000ea00fa57cb399c8d84462605c1e697b154000000000000000000000000000000000004f69e814a3037d613899338c2af580000000000000000000000000000004da18b28f35d8922bb1cbe300e7605daac0000000000000000000000000000000000232754e43acec87a4e2a3a7fd6f05800000000000000000000000000000046e38f374e0ca67578b1b678f773cd347f00000000000000000000000000000000001df4ff1394477335d8ddc1455e493a00000000000000000000000000000084e05e90a1f8432a0fa18e3b91e4deadf7000000000000000000000000000000000011e38d27c097e7a8c5b7bab58f33d9000000000000000000000000000000ee09d82976c6a38d8c2e7adbd899d3dd1400000000000000000000000000000000000c81bf09608b9687b212fc6d1e565f000000000000000000000000000000f71ae742b869763da08aa492c662e979ac0000000000000000000000000000000000178be4cc82e41e04d9a8bc066c98970000000000000000000000000000004b7d8a40591988cfd964ad77aec84769580000000000000000000000000000000000273d2b6e435e5429cdcd3d7d03ebde00000000000000000000000000000006dd16a635fdb404b0b5ffe285d658550300000000000000000000000000000000001b5c247a70cb05ff77796f8326eb5000000000000000000000000000000079b3acc6a37408a33379bcb1f1221c257100000000000000000000000000000000001e5f947ebac74e59dd72f1f59506a20000000000000000000000000000009e5df6d6e9c5a015767c13007cba973d2f00000000000000000000000000000000000a6290663a9223780cb8ced05d67e50000000000000000000000000000001a8cfa7e81d82b843a980e467a6ae7b33000000000000000000000000000000000001212ec4cfcc92715723b32b0ef8d5b000000000000000000000000000000f6088b30a62eec17e1659edd582b791d5a000000000000000000000000000000000016cd0a59fadc4ef237350d50c78a7b00000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d260000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b30000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e00000000000000000000000000000000001b917517920bad3d8bc01c9595092a000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d190000000000000000000000000000000000305e8992b148eedb22e6e992077a840000000000000000000000000000007c86847618681dc29d8a9363ab7c40e1c3000000000000000000000000000000000016465a5ccbb550cd2c63bd58116fe4000000000000000000000000000000439973ac12d7ca796d6fe98ca40e6ca6b700000000000000000000000000000000002e24d420fbf9508ed31de692db477b00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff967361949400000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002450679ccffab7a3297ecf4b4f6c3e8e9f00000000000000000000000000000000001dc880ce5d25edf745b2ed26ba1b5100000000000000000000000000000066449024adbc4e41b060641b47b884a9f900000000000000000000000000000000001be9f332cf334c9df66564f41527a9000000000000000000000000000000e14afaabf7854cf3a2219d3d4d0295804900000000000000000000000000000000001bd756ccfe84dd1bdfd019955c620a00000000000000000000000000000007f785d3baf2fc27bf3247521286add3e100000000000000000000000000000000000734f0963c07cb3f08a9ac396cf04b00000000000000000000000000000037f79758cdbdce36a70f59085799e062f400000000000000000000000000000000001d5e939c15c78e4d62c21a547811f20000000000000000000000000000001e64a89090f018afb85e6447d57b51516e000000000000000000000000000000000005abf57f58f84c4746f2ee4af5f892",
|
|
93
93
|
"fields": [
|
|
94
94
|
"0x0000000000000000000000000000000000000000000000000000000000000010",
|
|
95
95
|
"0x000000000000000000000000000000000000000000000000000000000000003c",
|
|
@@ -194,10 +194,10 @@
|
|
|
194
194
|
"0x00000000000000000000000000000000001b917517920bad3d8bc01c9595092a",
|
|
195
195
|
"0x000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d19",
|
|
196
196
|
"0x0000000000000000000000000000000000305e8992b148eedb22e6e992077a84",
|
|
197
|
-
"
|
|
198
|
-
"
|
|
199
|
-
"
|
|
200
|
-
"
|
|
197
|
+
"0x0000000000000000000000000000007c86847618681dc29d8a9363ab7c40e1c3",
|
|
198
|
+
"0x000000000000000000000000000000000016465a5ccbb550cd2c63bd58116fe4",
|
|
199
|
+
"0x000000000000000000000000000000439973ac12d7ca796d6fe98ca40e6ca6b7",
|
|
200
|
+
"0x00000000000000000000000000000000002e24d420fbf9508ed31de692db477b",
|
|
201
201
|
"0x00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce",
|
|
202
202
|
"0x0000000000000000000000000000000000043d063b130adfb37342af45d0155a",
|
|
203
203
|
"0x0000000000000000000000000000009330952ae74c573d1686d9cb4a00733854",
|