@aztec/ivc-integration 2.1.0-rc.9 → 3.0.0-devnet.2

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.
Files changed (62) hide show
  1. package/artifacts/app_creator.json +190 -1
  2. package/artifacts/app_reader.json +190 -1
  3. package/artifacts/keys/mock_hiding.ivc.vk +0 -0
  4. package/artifacts/keys/mock_rollup_root_verifier.sol +51 -54
  5. package/artifacts/mock_hiding.json +224 -1
  6. package/artifacts/mock_private_kernel_init.json +287 -1
  7. package/artifacts/mock_private_kernel_inner.json +337 -1
  8. package/artifacts/mock_private_kernel_reset.json +273 -1
  9. package/artifacts/mock_private_kernel_tail.json +242 -1
  10. package/artifacts/mock_rollup_root.json +241 -1
  11. package/artifacts/mock_rollup_tx_base_private.json +232 -0
  12. package/artifacts/mock_rollup_tx_base_public.json +1420 -0
  13. package/artifacts/mock_rollup_tx_merge.json +297 -0
  14. package/dest/prove_native.d.ts +5 -5
  15. package/dest/prove_native.d.ts.map +1 -1
  16. package/dest/prove_native.js +23 -19
  17. package/dest/prove_wasm.d.ts +2 -2
  18. package/dest/prove_wasm.d.ts.map +1 -1
  19. package/dest/prove_wasm.js +8 -6
  20. package/dest/scripts/generate_declaration_files.js +0 -6
  21. package/dest/scripts/generate_ts_from_abi.js +3 -3
  22. package/dest/types/index.d.ts +24 -24
  23. package/dest/types/index.d.ts.map +1 -1
  24. package/dest/types/index.js +8 -8
  25. package/dest/witgen.d.ts +48 -18
  26. package/dest/witgen.d.ts.map +1 -1
  27. package/dest/witgen.js +29 -43
  28. package/package.json +16 -16
  29. package/src/prove_native.ts +30 -28
  30. package/src/prove_wasm.ts +7 -7
  31. package/src/scripts/generate_declaration_files.ts +0 -8
  32. package/src/scripts/generate_ts_from_abi.ts +3 -3
  33. package/src/types/index.ts +30 -30
  34. package/src/witgen.ts +41 -31
  35. package/artifacts/keys/app_creator.vk.data.d.json.ts +0 -2
  36. package/artifacts/keys/app_creator.vk.data.json +0 -132
  37. package/artifacts/keys/app_reader.vk.data.d.json.ts +0 -2
  38. package/artifacts/keys/app_reader.vk.data.json +0 -132
  39. package/artifacts/keys/mock_hiding.vk.data.d.json.ts +0 -2
  40. package/artifacts/keys/mock_hiding.vk.data.json +0 -132
  41. package/artifacts/keys/mock_private_kernel_init.vk.data.d.json.ts +0 -2
  42. package/artifacts/keys/mock_private_kernel_init.vk.data.json +0 -132
  43. package/artifacts/keys/mock_private_kernel_inner.vk.data.d.json.ts +0 -2
  44. package/artifacts/keys/mock_private_kernel_inner.vk.data.json +0 -132
  45. package/artifacts/keys/mock_private_kernel_reset.vk.data.d.json.ts +0 -2
  46. package/artifacts/keys/mock_private_kernel_reset.vk.data.json +0 -132
  47. package/artifacts/keys/mock_private_kernel_tail.vk.data.d.json.ts +0 -2
  48. package/artifacts/keys/mock_private_kernel_tail.vk.data.json +0 -132
  49. package/artifacts/keys/mock_rollup_base_private.vk.data.d.json.ts +0 -2
  50. package/artifacts/keys/mock_rollup_base_private.vk.data.json +0 -120
  51. package/artifacts/keys/mock_rollup_base_public.vk.data.d.json.ts +0 -2
  52. package/artifacts/keys/mock_rollup_base_public.vk.data.json +0 -120
  53. package/artifacts/keys/mock_rollup_merge.vk.data.d.json.ts +0 -2
  54. package/artifacts/keys/mock_rollup_merge.vk.data.json +0 -120
  55. package/artifacts/keys/mock_rollup_root.vk.data.d.json.ts +0 -2
  56. package/artifacts/keys/mock_rollup_root.vk.data.json +0 -64
  57. package/artifacts/mock_rollup_base_private.json +0 -1
  58. package/artifacts/mock_rollup_base_public.json +0 -1
  59. package/artifacts/mock_rollup_merge.json +0 -1
  60. /package/artifacts/{mock_rollup_base_private.d.json.ts → mock_rollup_tx_base_private.d.json.ts} +0 -0
  61. /package/artifacts/{mock_rollup_base_public.d.json.ts → mock_rollup_tx_base_public.d.json.ts} +0 -0
  62. /package/artifacts/{mock_rollup_merge.d.json.ts → mock_rollup_tx_merge.d.json.ts} +0 -0
package/artifacts/app_creator.json CHANGED
@@ -1 +1,190 @@
1
- {"noir_version":"1.0.0-beta.11+5b65f9637e85a4177692c3190cb35ea678fb15e9-aztec","hash":"4882796374571176769","abi":{"parameters":[{"name":"commitments_to_create","type":{"kind":"array","length":2,"type":{"kind":"field"}},"visibility":"private"}],"return_type":{"abi_type":{"kind":"struct","path":"mock_types::AppPublicInputs","fields":[{"name":"commitments","type":{"kind":"array","length":2,"type":{"kind":"field"}}},{"name":"read_requests","type":{"kind":"array","length":2,"type":{"kind":"field"}}}]},"visibility":"databus"},"error_types":{}},"bytecode":"H4sIAAAAAAAA/72SMQ5AQBBFZ5e9h5KOOIJIVKLUKCQaBRGd0hHEBZxCOI5OqdEjRoPYDYnf/PzJz8wrhsAuGT0J45StzuAqiq6g65GbD0ajdZ7dlqUfqOboFH1WWcNcT6cuR4SKdz8xERBnkuAdEzkx8eoy/HOHiXdBwv3HX1CcbZlhpjcsT1oAOXwIzGwCAAA=","debug_symbols":"dY/RCoMwDEX/Jc99EGWM+StjSKxRCqEtsRWG+O+LopsMfEpvTs+lnaGjNg+N830YoX7O0IpjdkPDwWJywet2XgwcsUlCpCs4cbUiCvkEtc/MBibkvF0aI/ptJhSlhQHynU4t7B3TelrMzy6u1fJx3+WqrL76Tf2XJrRO/l88oThsmfbYZ29PNL3jQY4fRwmWuiy0Nm1Muz8=","file_map":{},"expression_width":{"Bounded":{"width":4}}}
1
+ {
2
+ "noir_version": "1.0.0-beta.14+82ec52a8c755d30ce655a2005834186a4acfa0c7-aztec",
3
+ "hash": "7715122965904336290",
4
+ "abi": {
5
+ "parameters": [
6
+ {
7
+ "name": "commitments_to_create",
8
+ "type": {
9
+ "kind": "array",
10
+ "length": 2,
11
+ "type": {
12
+ "kind": "field"
13
+ }
14
+ },
15
+ "visibility": "private"
16
+ }
17
+ ],
18
+ "return_type": {
19
+ "abi_type": {
20
+ "kind": "struct",
21
+ "path": "mock_types::AppPublicInputs",
22
+ "fields": [
23
+ {
24
+ "name": "commitments",
25
+ "type": {
26
+ "kind": "array",
27
+ "length": 2,
28
+ "type": {
29
+ "kind": "field"
30
+ }
31
+ }
32
+ },
33
+ {
34
+ "name": "read_requests",
35
+ "type": {
36
+ "kind": "array",
37
+ "length": 2,
38
+ "type": {
39
+ "kind": "field"
40
+ }
41
+ }
42
+ }
43
+ ]
44
+ },
45
+ "visibility": "databus"
46
+ },
47
+ "error_types": {}
48
+ },
49
+ "bytecode": "H4sIAAAAAAAA/72SMQ5AQBBFZ5e9h5KOOIJIVKLUKCQaBRGd0hHEBZxCOI5OqdEjRoPYDYnf/PzJz8wrhsAuGT0J45StzuAqiq6g65GbD0ajdZ7dlqUfqOboFH1WWcNcT6cuR4SKdz8xERBnkuAdEzkx8eoy/HOHiXdBwv3HX1CcbZlhpjcsT1oAOXwIzGwCAAA=",
50
+ "debug_symbols": "dY/RCoMwDEX/Jc99EGWM+StjSKxRCqEtsRWG+O+LopsMfEpvTs+lnaGjNg+N830YoX7O0IpjdkPDwWJywet2XgwcsUlCpCs4cbUiCvkEtc/MBibkvF0aI/ptJhSlhQHynU4t7B3TelrMzy6u1fJx3+WqrL76Tf2XJrRO/l88oThsmfbYZ29PNL3jQY4fRwmWuiy0Nm1Muz8=",
51
+ "file_map": {},
52
+ "expression_width": {
53
+ "Bounded": {
54
+ "width": 4
55
+ }
56
+ },
57
+ "verificationKey": {
58
+ "bytes": "00000000000000000000000000000000000000000000000000000000000000070000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000077235d05dcd88c837615413187c38ed81300000000000000000000000000000000001e1625117fa2ec698849cb4805b0e20000000000000000000000000000006ec0e4cdca89c5d2d5608998018412155f00000000000000000000000000000000001c48ee29319190a6a73bc19db56bbd00000000000000000000000000000058504fdea85205ccbf2d915767c8ccdda100000000000000000000000000000000001c23e8ea4c6219c639f077166467b1000000000000000000000000000000384db3dba3b928914f9829e0db7258746500000000000000000000000000000000000d72406d2055d1bef3bf8c5a12ebc300000000000000000000000000000084ea2745af3c36b375358938bb8169a4ba0000000000000000000000000000000000270f18846b67d21afada41747f86540000000000000000000000000000003f89931854a188edaf1053502ecff9a20c00000000000000000000000000000000002934486db60ce956f43668d466db1c00000000000000000000000000000051473df88daca91c993a3db007dec11c360000000000000000000000000000000000230f50245d03a09e302ff27225daf10000000000000000000000000000006ea768e41226854eeb221d5b930a6365c600000000000000000000000000000000002ae2475197bb5dd2c84c0171d95c520000000000000000000000000000005323d419e4edcb8885f4d264936fab2baa00000000000000000000000000000000001213e59256c003e8ce669b160c08300000000000000000000000000000003c72f539731a53f860e7cb5289009dcc6000000000000000000000000000000000001aed44785e29e996967ac0baff0b4900000000000000000000000000000008ee426508eb5645e8353a344bec614d2e00000000000000000000000000000000000c2949c73631473e192a8032b2eabc00000000000000000000000000000050532fa733e8a76b4408d989390bc985a500000000000000000000000000000000002cf7fd5705e3df72d9ec728a49cbf5000000000000000000000000000000b4c0c889286cdd400148b35166f155844700000000000000000000000000000000000ec11cc3e88d4d5e70dede2321a89a0000000000000000000000000000005fbaa1cf529aeacead197e9cf045195aad000000000000000000000000000000000010eb03019c41b2aa52ddcd574899220000000000000000000000000000004d092c798d92d8d8867faaa8c7c4487e8700000000000000000000000000000000001a334e2a6e377cf356fa59354726830000000000000000000000000000006d6357972a5d96a3d094940f313c87bc6800000000000000000000000000000000001cef5f7df6bdf87e5618b3bc0f77b30000000000000000000000000000000d9fdb53a48ed6e7d6b8def8511e5290a800000000000000000000000000000000002661f030469ce75c2cf67a93dd885f000000000000000000000000000000d4163d4abb434c39d8f828e929b38cd32e00000000000000000000000000000000001327c844e736b4edc41c4164ed8d900000000000000000000000000000009192ac465e7ee6656f099e40e5a8b709b000000000000000000000000000000000000ddf9e9dd8363fd4119ac1d7955382000000000000000000000000000000c1ef702dd495b8bf5f29a26c9bc395f3c9000000000000000000000000000000000000196d43a3f837ea29755efb3d0582000000000000000000000000000000d46ee506247d9bc795c308335e1cb146a9000000000000000000000000000000000020cb38b987790363a999af2b598a7600000000000000000000000000000008c694784c064a39c1e3594698f6499e4c00000000000000000000000000000000002b58f55d6118557ad4b776990201c5000000000000000000000000000000146fe71fb1b7e6d55016734664f10d653b00000000000000000000000000000000002ad6f77a7f7c14780d95de8bd1f5b2000000000000000000000000000000d50afe030adf4289613e549353398294960000000000000000000000000000000000131ac1fc680fbc2584b74e5aece1f00000000000000000000000000000008a7955b2008eb1b292f52af6799ddd43e00000000000000000000000000000000000153308eea8f78ce074c90a27e83e5d0000000000000000000000000000000a35448e72b51b04e339c58837a31c5f5400000000000000000000000000000000001d43103f7bb8ec33a941bcbcd7e4680000000000000000000000000000009e0b8c412281f48848b6feee2be5d7f9a300000000000000000000000000000000001411c2f5de0d3d0f64b46a56e75d19000000000000000000000000000000b98ee627aaaa156e890b0cfd0f4b75c9580000000000000000000000000000000000007265c02520e542039f6fba0e7eae0000000000000000000000000000000e4664759457058ed8ef41cf3ee680963f00000000000000000000000000000000001feb4447beafac2bc34f64bfd94cab0000000000000000000000000000005de45ec6c3a3b870058ba5bc6094282411000000000000000000000000000000000029952987eca3b3915c121b02550a3f00000000000000000000000000000046feb5441f08ef568f41970d098f582d4a00000000000000000000000000000000001ffe4db75ae02bb7d0867cf42fdc4a0000000000000000000000000000007af5e66816bf5b5f1548ca4696919ff4e800000000000000000000000000000000000e3b0688ab8d2c3ad69163894533e60000000000000000000000000000005ca4103de0b28b3a09d8adcead7e1e71df00000000000000000000000000000000000da48a656ab40237abaff4e4020f5f0000000000000000000000000000000df307b5a3303015a33429039e2ccfecad00000000000000000000000000000000001523e4315dc5148e4e2dc17f4c518c000000000000000000000000000000b2fa3942fd9a57a0c758d676a322b5d812000000000000000000000000000000000025767ff0be131cc2a8bb080295c1c60000000000000000000000000000001122a323e56e4b21eaf7fbf4638481d9e400000000000000000000000000000000000c00a852095ca71972dc4ed5f4d211000000000000000000000000000000417d6a4d158a5094995ceb80eb0ee5005f00000000000000000000000000000000001b29210c91822f03596dd0ab84fb42000000000000000000000000000000713f9ef44ec66092125bffa74a8e4e4d90000000000000000000000000000000000001a0b9b3a17a929cc0bc2deb17a58d00000000000000000000000000000050eac9492f0b50b3d6f0cee6ee2904523700000000000000000000000000000000002d021010b4e8e744655c729a62febd000000000000000000000000000000f61206a96cd4c8e544dcde327633ecd469000000000000000000000000000000000022c1e6585d0e31fa86815fca07ac120000000000000000000000000000000a91a5614859d39089b99fb0d95e2d7146000000000000000000000000000000000006774f2fcb3e7c1bcac9a1604ee6e2000000000000000000000000000000e1cb46ad7b7e3c59480c9dce7a6b62924c0000000000000000000000000000000000031a4c3cba45249d41f3583f55033e000000000000000000000000000000fe2d64c2441e25c18f153cbaf7f192c9ff00000000000000000000000000000000002db1a5bc132734803450c6c6a83457000000000000000000000000000000319bd7aa3e284ea22227bb3f1a0ba397de000000000000000000000000000000000003fe385c5840ec451159f2cb96c58f000000000000000000000000000000931ae5d38d04ce9f2228f58c11d6c5f12000000000000000000000000000000000001e9680c388bcdb90933476d22c5b0b0000000000000000000000000000006d744f101f0d100247cf5336fae726c7140000000000000000000000000000000000209446461af1f8d7871902e67a577000000000000000000000000000000089fc384981a1af37b0be1ce879044366f2000000000000000000000000000000000017f6311774fcd838fb6feb56b39dae0000000000000000000000000000008c1f7dc25ee7bada52371806af895b292b00000000000000000000000000000000001b2963aae216c62599b69eebd09b1e0000000000000000000000000000007e73e6907a4ca4854c5227438ed1550e9800000000000000000000000000000000002a9266183655b2a1de3cd4b6c30c3700000000000000000000000000000098d080f7952748b4a25bc4f0079d5a39590000000000000000000000000000000000303bf903f0341b12dc05a19c4ab035000000000000000000000000000000e699da245b407d5ce004c4f4c86557086200000000000000000000000000000000000912f190130749f4fe66b143ee5e9b00000000000000000000000000000022557961090e1dc69eea9fbb46c81bbece00000000000000000000000000000000002e20b5ece5d20d374f06363f6746c30000000000000000000000000000006266db02cdb92d739977ea87a4b8a65cd5000000000000000000000000000000000008419f213471567534cadef7081e84000000000000000000000000000000c19f2b00e81b2797ae72796ba069721ad3000000000000000000000000000000000015a3fe2014184ddb386f5da2b3d3e60000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c3e4787511b270898ebe63b30a3ff36d8000000000000000000000000000000000002e00b651dd3da1a2cb53cf7af09ba300000000000000000000000000000079cba5aefeec8ebc066ea0435f4ede79e00000000000000000000000000000000000211bf9b08b76ecc34d05aab5eb78a80000000000000000000000000000006bcc7a05ff95a96b289424c5f733670d96000000000000000000000000000000000000c43726f75b6fda0de22ce0e0dfab0000000000000000000000000000001d0a09d7178ec93bad7858f96e64f0b48d00000000000000000000000000000000002f9b6e0b4e2c01968de5c32482aa7d00000000000000000000000000000082d3ebd5f53a7623864bc183fc98c5b19500000000000000000000000000000000000d94712df80aefbd2bd9214ed30ce4000000000000000000000000000000fe852be397a71eeadb3b1ed3844677785800000000000000000000000000000000001af6180aa3f6a0e228496782fa6925",
59
+ "fields": [
60
+ "0x0000000000000000000000000000000000000000000000000000000000000007",
61
+ "0x0000000000000000000000000000000000000000000000000000000000000010",
62
+ "0x000000000000000000000000000000000000000000000000000000000000000e",
63
+ "0x00000000000000000000000000000077235d05dcd88c837615413187c38ed813",
64
+ "0x00000000000000000000000000000000001e1625117fa2ec698849cb4805b0e2",
65
+ "0x0000000000000000000000000000006ec0e4cdca89c5d2d5608998018412155f",
66
+ "0x00000000000000000000000000000000001c48ee29319190a6a73bc19db56bbd",
67
+ "0x00000000000000000000000000000058504fdea85205ccbf2d915767c8ccdda1",
68
+ "0x00000000000000000000000000000000001c23e8ea4c6219c639f077166467b1",
69
+ "0x000000000000000000000000000000384db3dba3b928914f9829e0db72587465",
70
+ "0x00000000000000000000000000000000000d72406d2055d1bef3bf8c5a12ebc3",
71
+ "0x00000000000000000000000000000084ea2745af3c36b375358938bb8169a4ba",
72
+ "0x0000000000000000000000000000000000270f18846b67d21afada41747f8654",
73
+ "0x0000000000000000000000000000003f89931854a188edaf1053502ecff9a20c",
74
+ "0x00000000000000000000000000000000002934486db60ce956f43668d466db1c",
75
+ "0x00000000000000000000000000000051473df88daca91c993a3db007dec11c36",
76
+ "0x0000000000000000000000000000000000230f50245d03a09e302ff27225daf1",
77
+ "0x0000000000000000000000000000006ea768e41226854eeb221d5b930a6365c6",
78
+ "0x00000000000000000000000000000000002ae2475197bb5dd2c84c0171d95c52",
79
+ "0x0000000000000000000000000000005323d419e4edcb8885f4d264936fab2baa",
80
+ "0x00000000000000000000000000000000001213e59256c003e8ce669b160c0830",
81
+ "0x0000000000000000000000000000003c72f539731a53f860e7cb5289009dcc60",
82
+ "0x00000000000000000000000000000000001aed44785e29e996967ac0baff0b49",
83
+ "0x00000000000000000000000000000008ee426508eb5645e8353a344bec614d2e",
84
+ "0x00000000000000000000000000000000000c2949c73631473e192a8032b2eabc",
85
+ "0x00000000000000000000000000000050532fa733e8a76b4408d989390bc985a5",
86
+ "0x00000000000000000000000000000000002cf7fd5705e3df72d9ec728a49cbf5",
87
+ "0x000000000000000000000000000000b4c0c889286cdd400148b35166f1558447",
88
+ "0x00000000000000000000000000000000000ec11cc3e88d4d5e70dede2321a89a",
89
+ "0x0000000000000000000000000000005fbaa1cf529aeacead197e9cf045195aad",
90
+ "0x000000000000000000000000000000000010eb03019c41b2aa52ddcd57489922",
91
+ "0x0000000000000000000000000000004d092c798d92d8d8867faaa8c7c4487e87",
92
+ "0x00000000000000000000000000000000001a334e2a6e377cf356fa5935472683",
93
+ "0x0000000000000000000000000000006d6357972a5d96a3d094940f313c87bc68",
94
+ "0x00000000000000000000000000000000001cef5f7df6bdf87e5618b3bc0f77b3",
95
+ "0x0000000000000000000000000000000d9fdb53a48ed6e7d6b8def8511e5290a8",
96
+ "0x00000000000000000000000000000000002661f030469ce75c2cf67a93dd885f",
97
+ "0x000000000000000000000000000000d4163d4abb434c39d8f828e929b38cd32e",
98
+ "0x00000000000000000000000000000000001327c844e736b4edc41c4164ed8d90",
99
+ "0x0000000000000000000000000000009192ac465e7ee6656f099e40e5a8b709b0",
100
+ "0x00000000000000000000000000000000000ddf9e9dd8363fd4119ac1d7955382",
101
+ "0x000000000000000000000000000000c1ef702dd495b8bf5f29a26c9bc395f3c9",
102
+ "0x000000000000000000000000000000000000196d43a3f837ea29755efb3d0582",
103
+ "0x000000000000000000000000000000d46ee506247d9bc795c308335e1cb146a9",
104
+ "0x000000000000000000000000000000000020cb38b987790363a999af2b598a76",
105
+ "0x00000000000000000000000000000008c694784c064a39c1e3594698f6499e4c",
106
+ "0x00000000000000000000000000000000002b58f55d6118557ad4b776990201c5",
107
+ "0x000000000000000000000000000000146fe71fb1b7e6d55016734664f10d653b",
108
+ "0x00000000000000000000000000000000002ad6f77a7f7c14780d95de8bd1f5b2",
109
+ "0x000000000000000000000000000000d50afe030adf4289613e54935339829496",
110
+ "0x0000000000000000000000000000000000131ac1fc680fbc2584b74e5aece1f0",
111
+ "0x0000000000000000000000000000008a7955b2008eb1b292f52af6799ddd43e0",
112
+ "0x0000000000000000000000000000000000153308eea8f78ce074c90a27e83e5d",
113
+ "0x0000000000000000000000000000000a35448e72b51b04e339c58837a31c5f54",
114
+ "0x00000000000000000000000000000000001d43103f7bb8ec33a941bcbcd7e468",
115
+ "0x0000000000000000000000000000009e0b8c412281f48848b6feee2be5d7f9a3",
116
+ "0x00000000000000000000000000000000001411c2f5de0d3d0f64b46a56e75d19",
117
+ "0x000000000000000000000000000000b98ee627aaaa156e890b0cfd0f4b75c958",
118
+ "0x0000000000000000000000000000000000007265c02520e542039f6fba0e7eae",
119
+ "0x0000000000000000000000000000000e4664759457058ed8ef41cf3ee680963f",
120
+ "0x00000000000000000000000000000000001feb4447beafac2bc34f64bfd94cab",
121
+ "0x0000000000000000000000000000005de45ec6c3a3b870058ba5bc6094282411",
122
+ "0x000000000000000000000000000000000029952987eca3b3915c121b02550a3f",
123
+ "0x00000000000000000000000000000046feb5441f08ef568f41970d098f582d4a",
124
+ "0x00000000000000000000000000000000001ffe4db75ae02bb7d0867cf42fdc4a",
125
+ "0x0000000000000000000000000000007af5e66816bf5b5f1548ca4696919ff4e8",
126
+ "0x00000000000000000000000000000000000e3b0688ab8d2c3ad69163894533e6",
127
+ "0x0000000000000000000000000000005ca4103de0b28b3a09d8adcead7e1e71df",
128
+ "0x00000000000000000000000000000000000da48a656ab40237abaff4e4020f5f",
129
+ "0x0000000000000000000000000000000df307b5a3303015a33429039e2ccfecad",
130
+ "0x00000000000000000000000000000000001523e4315dc5148e4e2dc17f4c518c",
131
+ "0x000000000000000000000000000000b2fa3942fd9a57a0c758d676a322b5d812",
132
+ "0x000000000000000000000000000000000025767ff0be131cc2a8bb080295c1c6",
133
+ "0x0000000000000000000000000000001122a323e56e4b21eaf7fbf4638481d9e4",
134
+ "0x00000000000000000000000000000000000c00a852095ca71972dc4ed5f4d211",
135
+ "0x000000000000000000000000000000417d6a4d158a5094995ceb80eb0ee5005f",
136
+ "0x00000000000000000000000000000000001b29210c91822f03596dd0ab84fb42",
137
+ "0x000000000000000000000000000000713f9ef44ec66092125bffa74a8e4e4d90",
138
+ "0x000000000000000000000000000000000001a0b9b3a17a929cc0bc2deb17a58d",
139
+ "0x00000000000000000000000000000050eac9492f0b50b3d6f0cee6ee29045237",
140
+ "0x00000000000000000000000000000000002d021010b4e8e744655c729a62febd",
141
+ "0x000000000000000000000000000000f61206a96cd4c8e544dcde327633ecd469",
142
+ "0x000000000000000000000000000000000022c1e6585d0e31fa86815fca07ac12",
143
+ "0x0000000000000000000000000000000a91a5614859d39089b99fb0d95e2d7146",
144
+ "0x000000000000000000000000000000000006774f2fcb3e7c1bcac9a1604ee6e2",
145
+ "0x000000000000000000000000000000e1cb46ad7b7e3c59480c9dce7a6b62924c",
146
+ "0x0000000000000000000000000000000000031a4c3cba45249d41f3583f55033e",
147
+ "0x000000000000000000000000000000fe2d64c2441e25c18f153cbaf7f192c9ff",
148
+ "0x00000000000000000000000000000000002db1a5bc132734803450c6c6a83457",
149
+ "0x000000000000000000000000000000319bd7aa3e284ea22227bb3f1a0ba397de",
150
+ "0x000000000000000000000000000000000003fe385c5840ec451159f2cb96c58f",
151
+ "0x000000000000000000000000000000931ae5d38d04ce9f2228f58c11d6c5f120",
152
+ "0x00000000000000000000000000000000001e9680c388bcdb90933476d22c5b0b",
153
+ "0x0000000000000000000000000000006d744f101f0d100247cf5336fae726c714",
154
+ "0x0000000000000000000000000000000000209446461af1f8d7871902e67a5770",
155
+ "0x00000000000000000000000000000089fc384981a1af37b0be1ce879044366f2",
156
+ "0x000000000000000000000000000000000017f6311774fcd838fb6feb56b39dae",
157
+ "0x0000000000000000000000000000008c1f7dc25ee7bada52371806af895b292b",
158
+ "0x00000000000000000000000000000000001b2963aae216c62599b69eebd09b1e",
159
+ "0x0000000000000000000000000000007e73e6907a4ca4854c5227438ed1550e98",
160
+ "0x00000000000000000000000000000000002a9266183655b2a1de3cd4b6c30c37",
161
+ "0x00000000000000000000000000000098d080f7952748b4a25bc4f0079d5a3959",
162
+ "0x0000000000000000000000000000000000303bf903f0341b12dc05a19c4ab035",
163
+ "0x000000000000000000000000000000e699da245b407d5ce004c4f4c865570862",
164
+ "0x00000000000000000000000000000000000912f190130749f4fe66b143ee5e9b",
165
+ "0x00000000000000000000000000000022557961090e1dc69eea9fbb46c81bbece",
166
+ "0x00000000000000000000000000000000002e20b5ece5d20d374f06363f6746c3",
167
+ "0x0000000000000000000000000000006266db02cdb92d739977ea87a4b8a65cd5",
168
+ "0x000000000000000000000000000000000008419f213471567534cadef7081e84",
169
+ "0x000000000000000000000000000000c19f2b00e81b2797ae72796ba069721ad3",
170
+ "0x000000000000000000000000000000000015a3fe2014184ddb386f5da2b3d3e6",
171
+ "0x0000000000000000000000000000000000000000000000000000000000000001",
172
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
173
+ "0x0000000000000000000000000000000000000000000000000000000000000002",
174
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
175
+ "0x000000000000000000000000000000c3e4787511b270898ebe63b30a3ff36d80",
176
+ "0x00000000000000000000000000000000002e00b651dd3da1a2cb53cf7af09ba3",
177
+ "0x00000000000000000000000000000079cba5aefeec8ebc066ea0435f4ede79e0",
178
+ "0x0000000000000000000000000000000000211bf9b08b76ecc34d05aab5eb78a8",
179
+ "0x0000000000000000000000000000006bcc7a05ff95a96b289424c5f733670d96",
180
+ "0x000000000000000000000000000000000000c43726f75b6fda0de22ce0e0dfab",
181
+ "0x0000000000000000000000000000001d0a09d7178ec93bad7858f96e64f0b48d",
182
+ "0x00000000000000000000000000000000002f9b6e0b4e2c01968de5c32482aa7d",
183
+ "0x00000000000000000000000000000082d3ebd5f53a7623864bc183fc98c5b195",
184
+ "0x00000000000000000000000000000000000d94712df80aefbd2bd9214ed30ce4",
185
+ "0x000000000000000000000000000000fe852be397a71eeadb3b1ed38446777858",
186
+ "0x00000000000000000000000000000000001af6180aa3f6a0e228496782fa6925"
187
+ ],
188
+ "hash": ""
189
+ }
190
+ }
package/artifacts/app_reader.json CHANGED
@@ -1 +1,190 @@
1
- {"noir_version":"1.0.0-beta.11+5b65f9637e85a4177692c3190cb35ea678fb15e9-aztec","hash":"17464527987885002303","abi":{"parameters":[{"name":"commitments_to_read","type":{"kind":"array","length":2,"type":{"kind":"field"}},"visibility":"private"}],"return_type":{"abi_type":{"kind":"struct","path":"mock_types::AppPublicInputs","fields":[{"name":"commitments","type":{"kind":"array","length":2,"type":{"kind":"field"}}},{"name":"read_requests","type":{"kind":"array","length":2,"type":{"kind":"field"}}}]},"visibility":"databus"},"error_types":{}},"bytecode":"H4sIAAAAAAAA/72OvwpAUBjFv/vvPYxs5BGkTDJaDMpiINmMHkFewFOIx7EZLXbKN+ga7o1yltOp0zk/Apc4epHmpThdwFME3QAtEarf/fTD4N0PlX7sLKwXZ7CmyB/bNk5Mdw2aueq8Ze83qati4vAPEwF9JqHfBYbb/MbFMAvM9D6unoQDZNXoK2wCAAA=","debug_symbols":"dY/RCoMwDEX/Jc99cIgI/soYEmuUQmhLbIUh/vui6CYDn9Kb03NpF+ipy2Pr/BAmaJ4LdOKY3dhysJhc8LpdVgNnbJMQ6QouXK2IQj5B4zOzgRk575emiH6fCUVpYYB8r1MLB8e0nVbzs4t7taweh1zW9Vev1H9pQuvk/8UzisOO6YhD9vZC0zue5PxxlGCpz0Jb0860+wM=","file_map":{},"expression_width":{"Bounded":{"width":4}}}
1
+ {
2
+ "noir_version": "1.0.0-beta.14+82ec52a8c755d30ce655a2005834186a4acfa0c7-aztec",
3
+ "hash": "8008241468715247612",
4
+ "abi": {
5
+ "parameters": [
6
+ {
7
+ "name": "commitments_to_read",
8
+ "type": {
9
+ "kind": "array",
10
+ "length": 2,
11
+ "type": {
12
+ "kind": "field"
13
+ }
14
+ },
15
+ "visibility": "private"
16
+ }
17
+ ],
18
+ "return_type": {
19
+ "abi_type": {
20
+ "kind": "struct",
21
+ "path": "mock_types::AppPublicInputs",
22
+ "fields": [
23
+ {
24
+ "name": "commitments",
25
+ "type": {
26
+ "kind": "array",
27
+ "length": 2,
28
+ "type": {
29
+ "kind": "field"
30
+ }
31
+ }
32
+ },
33
+ {
34
+ "name": "read_requests",
35
+ "type": {
36
+ "kind": "array",
37
+ "length": 2,
38
+ "type": {
39
+ "kind": "field"
40
+ }
41
+ }
42
+ }
43
+ ]
44
+ },
45
+ "visibility": "databus"
46
+ },
47
+ "error_types": {}
48
+ },
49
+ "bytecode": "H4sIAAAAAAAA/72OvwpAUBjFv/vvPYxs5BGkTDJaDMpiINmMHkFewFOIx7EZLXbKN+ga7o1yltOp0zk/Apc4epHmpThdwFME3QAtEarf/fTD4N0PlX7sLKwXZ7CmyB/bNk5Mdw2aueq8Ze83qati4vAPEwF9JqHfBYbb/MbFMAvM9D6unoQDZNXoK2wCAAA=",
50
+ "debug_symbols": "dY/RCoMwDEX/Jc99cIgI/soYEmuUQmhLbIUh/vui6CYDn9Kb03NpF+ipy2Pr/BAmaJ4LdOKY3dhysJhc8LpdVgNnbJMQ6QouXK2IQj5B4zOzgRk575emiH6fCUVpYYB8r1MLB8e0nVbzs4t7taweh1zW9Vev1H9pQuvk/8UzisOO6YhD9vZC0zue5PxxlGCpz0Jb0860+wM=",
51
+ "file_map": {},
52
+ "expression_width": {
53
+ "Bounded": {
54
+ "width": 4
55
+ }
56
+ },
57
+ "verificationKey": {
58
+ "bytes": "00000000000000000000000000000000000000000000000000000000000000070000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000077235d05dcd88c837615413187c38ed81300000000000000000000000000000000001e1625117fa2ec698849cb4805b0e20000000000000000000000000000006ec0e4cdca89c5d2d5608998018412155f00000000000000000000000000000000001c48ee29319190a6a73bc19db56bbd00000000000000000000000000000058504fdea85205ccbf2d915767c8ccdda100000000000000000000000000000000001c23e8ea4c6219c639f077166467b1000000000000000000000000000000384db3dba3b928914f9829e0db7258746500000000000000000000000000000000000d72406d2055d1bef3bf8c5a12ebc3000000000000000000000000000000860c5b7aa3cc838b7900c5f59b7405932400000000000000000000000000000000002701d5a3fe37ef4760330eca54fb85000000000000000000000000000000c6fc73ca14b01bd85ff190febb2a25023200000000000000000000000000000000002d5c7b7d6c44c36be73c126ef5b6f5000000000000000000000000000000db604527764f56ef154006445b850665b500000000000000000000000000000000002f2942da01f5aa523558c7f0303e54000000000000000000000000000000ea4edbdbbc418e9b6638f193fb63ad3c530000000000000000000000000000000000041dd658ec4d5c2eb05189fbc3bd630000000000000000000000000000005323d419e4edcb8885f4d264936fab2baa00000000000000000000000000000000001213e59256c003e8ce669b160c08300000000000000000000000000000003c72f539731a53f860e7cb5289009dcc6000000000000000000000000000000000001aed44785e29e996967ac0baff0b4900000000000000000000000000000008ee426508eb5645e8353a344bec614d2e00000000000000000000000000000000000c2949c73631473e192a8032b2eabc00000000000000000000000000000050532fa733e8a76b4408d989390bc985a500000000000000000000000000000000002cf7fd5705e3df72d9ec728a49cbf5000000000000000000000000000000b4c0c889286cdd400148b35166f155844700000000000000000000000000000000000ec11cc3e88d4d5e70dede2321a89a0000000000000000000000000000005fbaa1cf529aeacead197e9cf045195aad000000000000000000000000000000000010eb03019c41b2aa52ddcd574899220000000000000000000000000000004d092c798d92d8d8867faaa8c7c4487e8700000000000000000000000000000000001a334e2a6e377cf356fa59354726830000000000000000000000000000006d6357972a5d96a3d094940f313c87bc6800000000000000000000000000000000001cef5f7df6bdf87e5618b3bc0f77b30000000000000000000000000000000d9fdb53a48ed6e7d6b8def8511e5290a800000000000000000000000000000000002661f030469ce75c2cf67a93dd885f000000000000000000000000000000d4163d4abb434c39d8f828e929b38cd32e00000000000000000000000000000000001327c844e736b4edc41c4164ed8d900000000000000000000000000000009192ac465e7ee6656f099e40e5a8b709b000000000000000000000000000000000000ddf9e9dd8363fd4119ac1d7955382000000000000000000000000000000c1ef702dd495b8bf5f29a26c9bc395f3c9000000000000000000000000000000000000196d43a3f837ea29755efb3d0582000000000000000000000000000000d46ee506247d9bc795c308335e1cb146a9000000000000000000000000000000000020cb38b987790363a999af2b598a7600000000000000000000000000000008c694784c064a39c1e3594698f6499e4c00000000000000000000000000000000002b58f55d6118557ad4b776990201c5000000000000000000000000000000146fe71fb1b7e6d55016734664f10d653b00000000000000000000000000000000002ad6f77a7f7c14780d95de8bd1f5b2000000000000000000000000000000d50afe030adf4289613e549353398294960000000000000000000000000000000000131ac1fc680fbc2584b74e5aece1f00000000000000000000000000000008a7955b2008eb1b292f52af6799ddd43e00000000000000000000000000000000000153308eea8f78ce074c90a27e83e5d0000000000000000000000000000000a35448e72b51b04e339c58837a31c5f5400000000000000000000000000000000001d43103f7bb8ec33a941bcbcd7e4680000000000000000000000000000009e0b8c412281f48848b6feee2be5d7f9a300000000000000000000000000000000001411c2f5de0d3d0f64b46a56e75d19000000000000000000000000000000b98ee627aaaa156e890b0cfd0f4b75c9580000000000000000000000000000000000007265c02520e542039f6fba0e7eae0000000000000000000000000000000e4664759457058ed8ef41cf3ee680963f00000000000000000000000000000000001feb4447beafac2bc34f64bfd94cab0000000000000000000000000000005de45ec6c3a3b870058ba5bc6094282411000000000000000000000000000000000029952987eca3b3915c121b02550a3f000000000000000000000000000000137d30ea822159e280549f50f26ed76de1000000000000000000000000000000000021e2b4a9436ba22460aaff62a1725e000000000000000000000000000000005fdb6c750832b641b1bcc735d58b661a000000000000000000000000000000000014d9c4fc2ae6159ace0286a3bf2e4c00000000000000000000000000000037611e930a743af7336a88ce20308ec51d0000000000000000000000000000000000289008434b282950eb1794f08d62d2000000000000000000000000000000205abaaad9da61455ed4ca8e819aeaa29d0000000000000000000000000000000000012761bddf7d7a1edb4da69af2f8870000000000000000000000000000008e2d03f53a74dbc02651aa2ec21cdcdcb00000000000000000000000000000000000123a0e169bb822d8c1ac9c4cf5be6a0000000000000000000000000000006340c208ed6e863d4508a120b59b7d4843000000000000000000000000000000000014a648066f9dff77a42282cf06ce71000000000000000000000000000000737b2aa0f8f9ccd8b567068a1bdf982c83000000000000000000000000000000000015f9792307460ee0492256e3488ebc0000000000000000000000000000001802a54e7c0f54729549ee17f3ed1da8f40000000000000000000000000000000000085811910cc278822f7a406f326da7000000000000000000000000000000bf70ff98c2865ece0d5ff63bdec241225400000000000000000000000000000000001b4babe67c4c7b156d6ebcbcf09f36000000000000000000000000000000b16cd7481f19cbc3bb7ce93bc2167caf7b00000000000000000000000000000000000ca703b5ca1430f8d957cb12f116360000000000000000000000000000000a91a5614859d39089b99fb0d95e2d7146000000000000000000000000000000000006774f2fcb3e7c1bcac9a1604ee6e2000000000000000000000000000000e1cb46ad7b7e3c59480c9dce7a6b62924c0000000000000000000000000000000000031a4c3cba45249d41f3583f55033e000000000000000000000000000000fe2d64c2441e25c18f153cbaf7f192c9ff00000000000000000000000000000000002db1a5bc132734803450c6c6a83457000000000000000000000000000000319bd7aa3e284ea22227bb3f1a0ba397de000000000000000000000000000000000003fe385c5840ec451159f2cb96c58f000000000000000000000000000000931ae5d38d04ce9f2228f58c11d6c5f12000000000000000000000000000000000001e9680c388bcdb90933476d22c5b0b0000000000000000000000000000006d744f101f0d100247cf5336fae726c7140000000000000000000000000000000000209446461af1f8d7871902e67a577000000000000000000000000000000089fc384981a1af37b0be1ce879044366f2000000000000000000000000000000000017f6311774fcd838fb6feb56b39dae0000000000000000000000000000008c1f7dc25ee7bada52371806af895b292b00000000000000000000000000000000001b2963aae216c62599b69eebd09b1e0000000000000000000000000000007e73e6907a4ca4854c5227438ed1550e9800000000000000000000000000000000002a9266183655b2a1de3cd4b6c30c3700000000000000000000000000000098d080f7952748b4a25bc4f0079d5a39590000000000000000000000000000000000303bf903f0341b12dc05a19c4ab035000000000000000000000000000000e699da245b407d5ce004c4f4c86557086200000000000000000000000000000000000912f190130749f4fe66b143ee5e9b00000000000000000000000000000022557961090e1dc69eea9fbb46c81bbece00000000000000000000000000000000002e20b5ece5d20d374f06363f6746c30000000000000000000000000000006266db02cdb92d739977ea87a4b8a65cd5000000000000000000000000000000000008419f213471567534cadef7081e84000000000000000000000000000000c19f2b00e81b2797ae72796ba069721ad3000000000000000000000000000000000015a3fe2014184ddb386f5da2b3d3e60000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000c3e4787511b270898ebe63b30a3ff36d8000000000000000000000000000000000002e00b651dd3da1a2cb53cf7af09ba300000000000000000000000000000079cba5aefeec8ebc066ea0435f4ede79e00000000000000000000000000000000000211bf9b08b76ecc34d05aab5eb78a80000000000000000000000000000006bcc7a05ff95a96b289424c5f733670d96000000000000000000000000000000000000c43726f75b6fda0de22ce0e0dfab0000000000000000000000000000001d0a09d7178ec93bad7858f96e64f0b48d00000000000000000000000000000000002f9b6e0b4e2c01968de5c32482aa7d00000000000000000000000000000082d3ebd5f53a7623864bc183fc98c5b19500000000000000000000000000000000000d94712df80aefbd2bd9214ed30ce4000000000000000000000000000000fe852be397a71eeadb3b1ed3844677785800000000000000000000000000000000001af6180aa3f6a0e228496782fa6925",
59
+ "fields": [
60
+ "0x0000000000000000000000000000000000000000000000000000000000000007",
61
+ "0x0000000000000000000000000000000000000000000000000000000000000010",
62
+ "0x000000000000000000000000000000000000000000000000000000000000000e",
63
+ "0x00000000000000000000000000000077235d05dcd88c837615413187c38ed813",
64
+ "0x00000000000000000000000000000000001e1625117fa2ec698849cb4805b0e2",
65
+ "0x0000000000000000000000000000006ec0e4cdca89c5d2d5608998018412155f",
66
+ "0x00000000000000000000000000000000001c48ee29319190a6a73bc19db56bbd",
67
+ "0x00000000000000000000000000000058504fdea85205ccbf2d915767c8ccdda1",
68
+ "0x00000000000000000000000000000000001c23e8ea4c6219c639f077166467b1",
69
+ "0x000000000000000000000000000000384db3dba3b928914f9829e0db72587465",
70
+ "0x00000000000000000000000000000000000d72406d2055d1bef3bf8c5a12ebc3",
71
+ "0x000000000000000000000000000000860c5b7aa3cc838b7900c5f59b74059324",
72
+ "0x00000000000000000000000000000000002701d5a3fe37ef4760330eca54fb85",
73
+ "0x000000000000000000000000000000c6fc73ca14b01bd85ff190febb2a250232",
74
+ "0x00000000000000000000000000000000002d5c7b7d6c44c36be73c126ef5b6f5",
75
+ "0x000000000000000000000000000000db604527764f56ef154006445b850665b5",
76
+ "0x00000000000000000000000000000000002f2942da01f5aa523558c7f0303e54",
77
+ "0x000000000000000000000000000000ea4edbdbbc418e9b6638f193fb63ad3c53",
78
+ "0x0000000000000000000000000000000000041dd658ec4d5c2eb05189fbc3bd63",
79
+ "0x0000000000000000000000000000005323d419e4edcb8885f4d264936fab2baa",
80
+ "0x00000000000000000000000000000000001213e59256c003e8ce669b160c0830",
81
+ "0x0000000000000000000000000000003c72f539731a53f860e7cb5289009dcc60",
82
+ "0x00000000000000000000000000000000001aed44785e29e996967ac0baff0b49",
83
+ "0x00000000000000000000000000000008ee426508eb5645e8353a344bec614d2e",
84
+ "0x00000000000000000000000000000000000c2949c73631473e192a8032b2eabc",
85
+ "0x00000000000000000000000000000050532fa733e8a76b4408d989390bc985a5",
86
+ "0x00000000000000000000000000000000002cf7fd5705e3df72d9ec728a49cbf5",
87
+ "0x000000000000000000000000000000b4c0c889286cdd400148b35166f1558447",
88
+ "0x00000000000000000000000000000000000ec11cc3e88d4d5e70dede2321a89a",
89
+ "0x0000000000000000000000000000005fbaa1cf529aeacead197e9cf045195aad",
90
+ "0x000000000000000000000000000000000010eb03019c41b2aa52ddcd57489922",
91
+ "0x0000000000000000000000000000004d092c798d92d8d8867faaa8c7c4487e87",
92
+ "0x00000000000000000000000000000000001a334e2a6e377cf356fa5935472683",
93
+ "0x0000000000000000000000000000006d6357972a5d96a3d094940f313c87bc68",
94
+ "0x00000000000000000000000000000000001cef5f7df6bdf87e5618b3bc0f77b3",
95
+ "0x0000000000000000000000000000000d9fdb53a48ed6e7d6b8def8511e5290a8",
96
+ "0x00000000000000000000000000000000002661f030469ce75c2cf67a93dd885f",
97
+ "0x000000000000000000000000000000d4163d4abb434c39d8f828e929b38cd32e",
98
+ "0x00000000000000000000000000000000001327c844e736b4edc41c4164ed8d90",
99
+ "0x0000000000000000000000000000009192ac465e7ee6656f099e40e5a8b709b0",
100
+ "0x00000000000000000000000000000000000ddf9e9dd8363fd4119ac1d7955382",
101
+ "0x000000000000000000000000000000c1ef702dd495b8bf5f29a26c9bc395f3c9",
102
+ "0x000000000000000000000000000000000000196d43a3f837ea29755efb3d0582",
103
+ "0x000000000000000000000000000000d46ee506247d9bc795c308335e1cb146a9",
104
+ "0x000000000000000000000000000000000020cb38b987790363a999af2b598a76",
105
+ "0x00000000000000000000000000000008c694784c064a39c1e3594698f6499e4c",
106
+ "0x00000000000000000000000000000000002b58f55d6118557ad4b776990201c5",
107
+ "0x000000000000000000000000000000146fe71fb1b7e6d55016734664f10d653b",
108
+ "0x00000000000000000000000000000000002ad6f77a7f7c14780d95de8bd1f5b2",
109
+ "0x000000000000000000000000000000d50afe030adf4289613e54935339829496",
110
+ "0x0000000000000000000000000000000000131ac1fc680fbc2584b74e5aece1f0",
111
+ "0x0000000000000000000000000000008a7955b2008eb1b292f52af6799ddd43e0",
112
+ "0x0000000000000000000000000000000000153308eea8f78ce074c90a27e83e5d",
113
+ "0x0000000000000000000000000000000a35448e72b51b04e339c58837a31c5f54",
114
+ "0x00000000000000000000000000000000001d43103f7bb8ec33a941bcbcd7e468",
115
+ "0x0000000000000000000000000000009e0b8c412281f48848b6feee2be5d7f9a3",
116
+ "0x00000000000000000000000000000000001411c2f5de0d3d0f64b46a56e75d19",
117
+ "0x000000000000000000000000000000b98ee627aaaa156e890b0cfd0f4b75c958",
118
+ "0x0000000000000000000000000000000000007265c02520e542039f6fba0e7eae",
119
+ "0x0000000000000000000000000000000e4664759457058ed8ef41cf3ee680963f",
120
+ "0x00000000000000000000000000000000001feb4447beafac2bc34f64bfd94cab",
121
+ "0x0000000000000000000000000000005de45ec6c3a3b870058ba5bc6094282411",
122
+ "0x000000000000000000000000000000000029952987eca3b3915c121b02550a3f",
123
+ "0x000000000000000000000000000000137d30ea822159e280549f50f26ed76de1",
124
+ "0x000000000000000000000000000000000021e2b4a9436ba22460aaff62a1725e",
125
+ "0x000000000000000000000000000000005fdb6c750832b641b1bcc735d58b661a",
126
+ "0x000000000000000000000000000000000014d9c4fc2ae6159ace0286a3bf2e4c",
127
+ "0x00000000000000000000000000000037611e930a743af7336a88ce20308ec51d",
128
+ "0x0000000000000000000000000000000000289008434b282950eb1794f08d62d2",
129
+ "0x000000000000000000000000000000205abaaad9da61455ed4ca8e819aeaa29d",
130
+ "0x0000000000000000000000000000000000012761bddf7d7a1edb4da69af2f887",
131
+ "0x0000000000000000000000000000008e2d03f53a74dbc02651aa2ec21cdcdcb0",
132
+ "0x0000000000000000000000000000000000123a0e169bb822d8c1ac9c4cf5be6a",
133
+ "0x0000000000000000000000000000006340c208ed6e863d4508a120b59b7d4843",
134
+ "0x000000000000000000000000000000000014a648066f9dff77a42282cf06ce71",
135
+ "0x000000000000000000000000000000737b2aa0f8f9ccd8b567068a1bdf982c83",
136
+ "0x000000000000000000000000000000000015f9792307460ee0492256e3488ebc",
137
+ "0x0000000000000000000000000000001802a54e7c0f54729549ee17f3ed1da8f4",
138
+ "0x0000000000000000000000000000000000085811910cc278822f7a406f326da7",
139
+ "0x000000000000000000000000000000bf70ff98c2865ece0d5ff63bdec2412254",
140
+ "0x00000000000000000000000000000000001b4babe67c4c7b156d6ebcbcf09f36",
141
+ "0x000000000000000000000000000000b16cd7481f19cbc3bb7ce93bc2167caf7b",
142
+ "0x00000000000000000000000000000000000ca703b5ca1430f8d957cb12f11636",
143
+ "0x0000000000000000000000000000000a91a5614859d39089b99fb0d95e2d7146",
144
+ "0x000000000000000000000000000000000006774f2fcb3e7c1bcac9a1604ee6e2",
145
+ "0x000000000000000000000000000000e1cb46ad7b7e3c59480c9dce7a6b62924c",
146
+ "0x0000000000000000000000000000000000031a4c3cba45249d41f3583f55033e",
147
+ "0x000000000000000000000000000000fe2d64c2441e25c18f153cbaf7f192c9ff",
148
+ "0x00000000000000000000000000000000002db1a5bc132734803450c6c6a83457",
149
+ "0x000000000000000000000000000000319bd7aa3e284ea22227bb3f1a0ba397de",
150
+ "0x000000000000000000000000000000000003fe385c5840ec451159f2cb96c58f",
151
+ "0x000000000000000000000000000000931ae5d38d04ce9f2228f58c11d6c5f120",
152
+ "0x00000000000000000000000000000000001e9680c388bcdb90933476d22c5b0b",
153
+ "0x0000000000000000000000000000006d744f101f0d100247cf5336fae726c714",
154
+ "0x0000000000000000000000000000000000209446461af1f8d7871902e67a5770",
155
+ "0x00000000000000000000000000000089fc384981a1af37b0be1ce879044366f2",
156
+ "0x000000000000000000000000000000000017f6311774fcd838fb6feb56b39dae",
157
+ "0x0000000000000000000000000000008c1f7dc25ee7bada52371806af895b292b",
158
+ "0x00000000000000000000000000000000001b2963aae216c62599b69eebd09b1e",
159
+ "0x0000000000000000000000000000007e73e6907a4ca4854c5227438ed1550e98",
160
+ "0x00000000000000000000000000000000002a9266183655b2a1de3cd4b6c30c37",
161
+ "0x00000000000000000000000000000098d080f7952748b4a25bc4f0079d5a3959",
162
+ "0x0000000000000000000000000000000000303bf903f0341b12dc05a19c4ab035",
163
+ "0x000000000000000000000000000000e699da245b407d5ce004c4f4c865570862",
164
+ "0x00000000000000000000000000000000000912f190130749f4fe66b143ee5e9b",
165
+ "0x00000000000000000000000000000022557961090e1dc69eea9fbb46c81bbece",
166
+ "0x00000000000000000000000000000000002e20b5ece5d20d374f06363f6746c3",
167
+ "0x0000000000000000000000000000006266db02cdb92d739977ea87a4b8a65cd5",
168
+ "0x000000000000000000000000000000000008419f213471567534cadef7081e84",
169
+ "0x000000000000000000000000000000c19f2b00e81b2797ae72796ba069721ad3",
170
+ "0x000000000000000000000000000000000015a3fe2014184ddb386f5da2b3d3e6",
171
+ "0x0000000000000000000000000000000000000000000000000000000000000001",
172
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
173
+ "0x0000000000000000000000000000000000000000000000000000000000000002",
174
+ "0x0000000000000000000000000000000000000000000000000000000000000000",
175
+ "0x000000000000000000000000000000c3e4787511b270898ebe63b30a3ff36d80",
176
+ "0x00000000000000000000000000000000002e00b651dd3da1a2cb53cf7af09ba3",
177
+ "0x00000000000000000000000000000079cba5aefeec8ebc066ea0435f4ede79e0",
178
+ "0x0000000000000000000000000000000000211bf9b08b76ecc34d05aab5eb78a8",
179
+ "0x0000000000000000000000000000006bcc7a05ff95a96b289424c5f733670d96",
180
+ "0x000000000000000000000000000000000000c43726f75b6fda0de22ce0e0dfab",
181
+ "0x0000000000000000000000000000001d0a09d7178ec93bad7858f96e64f0b48d",
182
+ "0x00000000000000000000000000000000002f9b6e0b4e2c01968de5c32482aa7d",
183
+ "0x00000000000000000000000000000082d3ebd5f53a7623864bc183fc98c5b195",
184
+ "0x00000000000000000000000000000000000d94712df80aefbd2bd9214ed30ce4",
185
+ "0x000000000000000000000000000000fe852be397a71eeadb3b1ed38446777858",
186
+ "0x00000000000000000000000000000000001af6180aa3f6a0e228496782fa6925"
187
+ ],
188
+ "hash": ""
189
+ }
190
+ }
package/artifacts/keys/mock_hiding.ivc.vk CHANGED
Binary file
package/artifacts/keys/mock_rollup_root_verifier.sol CHANGED
@@ -5,7 +5,7 @@ pragma solidity >=0.8.21;
5
5
  uint256 constant N = 33554432;
6
6
  uint256 constant LOG_N = 25;
7
7
  uint256 constant NUMBER_OF_PUBLIC_INPUTS = 17;
8
- uint256 constant VK_HASH = 0x15beb4544cfdb1e2b6fddea3ef7329fbf364ea070a4751d70fdc931e0fdb054e;
8
+ uint256 constant VK_HASH = 0x132cd81124fb8980a92a6b476b1523fdd052380ad73d416cb3437a8253794e87;
9
9
  library HonkVerificationKey {
10
10
  function loadVerificationKey() internal pure returns (Honk.VerificationKey memory) {
11
11
  Honk.VerificationKey memory vk = Honk.VerificationKey({
@@ -13,76 +13,76 @@ library HonkVerificationKey {
13
13
  logCircuitSize: uint256(25),
14
14
  publicInputsSize: uint256(17),
15
15
  ql: Honk.G1Point({
16
- x: uint256(0x2eba67059cbacbde61a1895dceb2678d7300800986651d8496c9437dcf3bc8fc),
17
- y: uint256(0x0efdc4bd61f31fe65c41d65c488c52ba5a8ff999d26230fa192385d9f9c44974)
16
+ x: uint256(0x24e8686ba78f69376ba8858e8ee6a1a5d2018c7cb5429183e0fc7d117e908d71),
17
+ y: uint256(0x2f0c7111ddd4bdd0816fb6fd8ffd98414ad4aa47f45b6a64f4a25786e3ee76b6)
18
18
  }),
19
19
  qr: Honk.G1Point({
20
- x: uint256(0x05a8b7d679e1fc3a3706afa3a5150e6a88dfcf0121cea94c5dd89a7603484048),
21
- y: uint256(0x28f71eaa5fd895620e184c02b33c25050bf828e25ddd68def0d1fdb4397fb26b)
20
+ x: uint256(0x21d4b1e720f59ed0794074025a07a73296b4e138eb587967508ae4d43359624a),
21
+ y: uint256(0x0ee0aadf61a13d7d0b0472f8b346ba03837ec1e504ce167d8fa6fdc1968b964f)
22
22
  }),
23
23
  qo: Honk.G1Point({
24
- x: uint256(0x279025cc22ee882028129553142093e4bb8f3c29521305c738727eae33259baa),
25
- y: uint256(0x231e2647fcb7c58b5d4e26f10dea0033921753ecb49d9fccb74d1b7d981f6480)
24
+ x: uint256(0x2b3560376657985298208dc26a26180b682cac479d14d2a7f98b5be013cc5a82),
25
+ y: uint256(0x17fa1bc765eea07cf366bf1963cb3356f656447a6ea872e9b88e78f75b564a38)
26
26
  }),
27
27
  q4: Honk.G1Point({
28
- x: uint256(0x26a8769c4950535230d530e09d86faa2b6b453482e7c543df8753a4aef32fbf4),
29
- y: uint256(0x11e7170a8c5082e6cd14e591322b81ccb2844eda056f82f5c1c667b4b7d7a2a5)
28
+ x: uint256(0x0f269a9709496b1f7ab4d295c490d1cc4a7a6b6b3868ce0103c46f1a3e0a37bd),
29
+ y: uint256(0x2a358a969b18da4679870a7a39a3cbaefc1040c14f84016ad8f0c5faf76dd14d)
30
30
  }),
31
31
  qm: Honk.G1Point({
32
- x: uint256(0x2c74cbfc3178905fa9470f49296f1d853b533a557abdb9e995087ed26d07f1d3),
33
- y: uint256(0x29154e002ac6e2ff17b0e93a26d807ef7947b352a75d1c49c8069784304ee73b)
32
+ x: uint256(0x1a519249e980dec0ea6e78f7f1c5ff29318399ba711817d02f109242d9c405ca),
33
+ y: uint256(0x285023990cbe94154e9b525794f9c90d1d34dd4afcd97eefcce07c16658e940a)
34
34
  }),
35
35
  qc: Honk.G1Point({
36
- x: uint256(0x25cdacdd92019f6c80cbbfc8d13a255fa0793f983e267b622cb0c09171ef850d),
37
- y: uint256(0x2f91a571db395a9dd08a8fd5913441c128b721aeaec1b91475df4ec21f540fc1)
36
+ x: uint256(0x00525f18e52cdd2ae19e21509d4b2ac3bdd58c412da4e2e9a1627fe5af071f38),
37
+ y: uint256(0x277d2a485d7ee3256c037b2026f8dd69f718c660e7ce0a27532a3402e4ec9250)
38
38
  }),
39
39
  qLookup: Honk.G1Point({
40
40
  x: uint256(0x0c4032c3079594eb75a8449d3d5ce8bc3661650d53f9b24d923d8f404cb0bbc9),
41
41
  y: uint256(0x1084d709650356d40f0158fd6da81f54eb5fe796a0ca89441369b7c24301f851)
42
42
  }),
43
43
  qArith: Honk.G1Point({
44
- x: uint256(0x1dd09e03db9d961dc49e74e58cabfbed3fb309686ca30e8792911b9194e8f9b0),
45
- y: uint256(0x2d1e5cbe65ea33a00e7f25f9cbee1d542c58ea99913f827baee138a6f2aab263)
44
+ x: uint256(0x03a9a183b20d4f70998c4b3872d6689ee3a7a5c63cc5b6ca61fc237f6d76f4bf),
45
+ y: uint256(0x2c9e7d1ab5a06710f3d02689b829adc1ed409a016810b02941824f392b51b694)
46
46
  }),
47
47
  qDeltaRange: Honk.G1Point({
48
- x: uint256(0x2484220e6091fe2255841f40c64bf291bbc85c9854d083e1eb318f03abddeb03),
49
- y: uint256(0x0a92004a9f04527baed315a45cc534dd68b02cbe1cdfff48ed9d63be7b4da2e7)
48
+ x: uint256(0x1c4863ce062d034d0f285064a7edd33953b921ad1233aeef36c958a24f752cdb),
49
+ y: uint256(0x1a569e780eb3863ca9f180f277d798ed8e4f4f03a051db0f56168ea748f1ad0c)
50
50
  }),
51
51
  qElliptic: Honk.G1Point({
52
- x: uint256(0x19be870b35e25ac606bc0e81bf66a03b8a7862521b0ee9e6738a572ff134e7e6),
53
- y: uint256(0x151925d430c1cbc75318913f055f45c0b4dac33b2f987c45e030b1d4019f085e)
52
+ x: uint256(0x1a85cfd399542977bde5916d92fc5e19c42816c83e55c2a18792a8daf8c088c0),
53
+ y: uint256(0x1d23199c6672d6cbffc6657af57a15cc124407c1b6a22dabfb10745927d5cb4e)
54
54
  }),
55
55
  qMemory: Honk.G1Point({
56
- x: uint256(0x09ca7a9b77420946c0da2ec02e6b8c685b950c1a377c26e7b8ec9a449e932f79),
57
- y: uint256(0x226d3640a6d6b873a61b020d9218104e90e00614aae841a5ff6742d69814de7d)
56
+ x: uint256(0x09fb61f5e638da4979f33572fce4c639d304fdc007d8b755aae3362eee9764fd),
57
+ y: uint256(0x28705bb5078d8ea55feee44387259665a7444d20b204786c4da954ea677316c6)
58
58
  }),
59
59
  qNnf: Honk.G1Point({
60
- x: uint256(0x03555f9266f655c18ad5f0c8f7a448d4c2851405129009175a6b1e63d1e5be76),
61
- y: uint256(0x028b490a9e7bc250a4a28b39be7c611881fe3854c5f4485c24ff669125efb732)
60
+ x: uint256(0x2b8e9c8f65415928cdca8c1a13109a7d343756d34c9852064e5c6fe5b7719df9),
61
+ y: uint256(0x2ba4dd86569a52fbaf4d8dea0dc2756724a83d8ed138ca2523fc13e7749d3c0b)
62
62
  }),
63
63
  qPoseidon2External: Honk.G1Point({
64
- x: uint256(0x2b24c13a487578221b5bf8024d6cbf4363d425ae4557a010e93d7317affadecc),
65
- y: uint256(0x080faed2107e528dc1d63fe61d7004e9d70b990b7daeaf1f5b53ba7a6be065c8)
64
+ x: uint256(0x174680a74f2c28880d474f113f2bd14f5a4187af72bed65fa1d75bc7a4fe7b47),
65
+ y: uint256(0x2b082da992cafd0f1619474ac4c8409fc3ac152a39c0d9f99088851b22e9f0df)
66
66
  }),
67
67
  qPoseidon2Internal: Honk.G1Point({
68
- x: uint256(0x2ef943de70d89b002b86cd6d8a5b2bf71b75de98d1f11cbc3b211037b0b04203),
69
- y: uint256(0x0abd0a91f8132da3140abbe61cf28588d99754ab0fbe7877e886c45df951b4b8)
68
+ x: uint256(0x00de42cc25791d408bfd31925bdace2d06118c7d8ab8f7f637305ce2be3b7319),
69
+ y: uint256(0x12941731d04ebd365925ebdafe5987352101d95a2464ec3ccfd17c4600698355)
70
70
  }),
71
71
  s1: Honk.G1Point({
72
- x: uint256(0x096963140247d364ab0ea9fc956fa4511c272ea6824ecab5ca2664fd5189baeb),
73
- y: uint256(0x0d93e66a25e69d82a29f64ce4b858b2f50120e0d334b02bde9410e03148b3bb2)
72
+ x: uint256(0x04167527ffaf5c2c483846b0e5c7ac2fe7293869ddc3b998fec82182bf125449),
73
+ y: uint256(0x014c7d8509f40008cbda838ecd0fd3e10aa691db5359761157b46ec7eefdd2f4)
74
74
  }),
75
75
  s2: Honk.G1Point({
76
- x: uint256(0x1ff25f6c0872ed7e29bb48c65c36b4e49be415d203244c7c44c5882f00c4812e),
77
- y: uint256(0x2413ffd636c111bd30abc67c9ce478f7dde7f4187e6211cdde9e774e815bcd9f)
76
+ x: uint256(0x1074d00bc77080d87f7d9b831a63e3c3cad0413836701d483f54c968808376ed),
77
+ y: uint256(0x18867db28321a09afb3419ad90ab8aad6921b7f8878c9b49140fec02eef1317a)
78
78
  }),
79
79
  s3: Honk.G1Point({
80
- x: uint256(0x1da9ec5698691ae6e9aeedddddcc985056667a694483686093eb169369c634fa),
81
- y: uint256(0x0bd8e858df949e3481e205652bc4b6f30e9581ad415ca32279402eca44544594)
80
+ x: uint256(0x24b7674a46d0b8e6950ce41a5847416bc2245a3b1cb1ce8bfe60c7998f95908f),
81
+ y: uint256(0x07ea71d81c0c73d2fda995bde44937ce92d48463b1c6ad5456028f643c2a90c5)
82
82
  }),
83
83
  s4: Honk.G1Point({
84
- x: uint256(0x01bf1e74e636882f1adbf6732e27d901cb1658e560c475f30c0263edbd2e289a),
85
- y: uint256(0x149a686eed2b7ce6ffffa0503d013f49f82258bd981f7303eced08615342d928)
84
+ x: uint256(0x0e8c910fb665e55110e0d199f2e8eefb6fb30a8b623521dad6b129bdbcee3fc1),
85
+ y: uint256(0x25e435633a1356c7aedf25e13a3bac12e3c821daafe28f925006c413cbf774ef)
86
86
  }),
87
87
  t1: Honk.G1Point({
88
88
  x: uint256(0x0450f8716810dff987300c3bc10a892b1c1c2637db3f8fecd9d8bb38442cc468),
@@ -101,28 +101,28 @@ library HonkVerificationKey {
101
101
  y: uint256(0x2c6b2a0de0a3fefdfc4fb4f3b8381d2c37ccc495848c2887f98bfbaca776ca39)
102
102
  }),
103
103
  id1: Honk.G1Point({
104
- x: uint256(0x0e8daaf7739faae6ff542991224deb9c6184ea0ffdc9db216b134c6dadb568f1),
105
- y: uint256(0x116a347b5a487fba7d5494cd2bb8c46efd35e63d644ddcb1d0cb37a2ffb040a0)
104
+ x: uint256(0x28c57bcc83bd4a13b1c7b46d50aeb4293ca2e171678883e37396e38d7753172c),
105
+ y: uint256(0x014818d6797d82472c4dfc9e9d59cc206cdaf4f2f7cf16eed918afd8a117de87)
106
106
  }),
107
107
  id2: Honk.G1Point({
108
- x: uint256(0x19ac0e5f031ce82aecd40e55ab5e8bd82fd0877104a27cda9ab2757e7b13e3ef),
109
- y: uint256(0x12375cb3087e5a45cfb9138c90e5d6642d25d128cd662cc2ea7c79f84e907d08)
108
+ x: uint256(0x1af703e49ccfc901ff269589826080ea7c84be27130e1e9e75e8d32a24df0739),
109
+ y: uint256(0x007c484c6ba586d4fb1dfe5c199dd5cf930effdf54edc8ef3fab6af504779ddb)
110
110
  }),
111
111
  id3: Honk.G1Point({
112
- x: uint256(0x2335c96bbfeec1ff7fcbd4a4c863f4feaa9e96e1e978421fcc11b6795a7515c8),
113
- y: uint256(0x21cd29f3865cf6921470a23cb7be89240cef751dec50aa50ae86d24ab426856e)
112
+ x: uint256(0x1e33f109d506df3522e7f6061eecdc2e86d54516c79b16ccee1e4a85dc0d17e5),
113
+ y: uint256(0x18aabb90390730dbf9f6e2386c15adfc8851a191a29a18ef0a588cadfc0b03ef)
114
114
  }),
115
115
  id4: Honk.G1Point({
116
- x: uint256(0x1cd094dea552bd522e97561692d7349d9b1bf3f619fd0d72907930d8dec5db73),
117
- y: uint256(0x18229a95a2f55a30f893a4340a21d06a5aa1e3e0af55669318bdc196acecf240)
116
+ x: uint256(0x075da9457c89a0b65f003b855a6898efb99c64ffdc2d9f5be82eb27c0f371ae5),
117
+ y: uint256(0x21543d24087cc843db2eaa3d23ed28054e02f24577eb03662994c009057e73be)
118
118
  }),
119
119
  lagrangeFirst: Honk.G1Point({
120
120
  x: uint256(0x0000000000000000000000000000000000000000000000000000000000000001),
121
121
  y: uint256(0x0000000000000000000000000000000000000000000000000000000000000002)
122
122
  }),
123
123
  lagrangeLast: Honk.G1Point({
124
- x: uint256(0x0f5e2881303db24f8788adfb02154431eebdce474c488803b97bebe9f904bfe7),
125
- y: uint256(0x2dccdbc7fa8df48412f9a580827ffb78c81d2e334900e25dae24d879fd41c780)
124
+ x: uint256(0x2408250136bc5d8d7320a1c043c024ce9cb1085261fa51d4c51ac447f45154c0),
125
+ y: uint256(0x23473d742ff251ab6d6ff87dc283d28339aba00a152f82097a18493f12758729)
126
126
  })
127
127
  });
128
128
  return vk;
@@ -593,16 +593,13 @@ library TranscriptLib {
593
593
  alpha0[4] = proof.zPerm.y;
594
594
 
595
595
  nextPreviousChallenge = FrLib.fromBytes32(keccak256(abi.encodePacked(alpha0)));
596
- (alphas[0], alphas[1]) = splitChallenge(nextPreviousChallenge);
596
+ Fr alpha;
597
+ (alpha,) = splitChallenge(nextPreviousChallenge);
597
598
 
598
- for (uint256 i = 1; i < NUMBER_OF_ALPHAS / 2; i++) {
599
- nextPreviousChallenge = FrLib.fromBytes32(keccak256(abi.encodePacked(Fr.unwrap(nextPreviousChallenge))));
600
- (alphas[2 * i], alphas[2 * i + 1]) = splitChallenge(nextPreviousChallenge);
601
- }
602
- if (((NUMBER_OF_ALPHAS & 1) == 1) && (NUMBER_OF_ALPHAS > 2)) {
603
- nextPreviousChallenge = FrLib.fromBytes32(keccak256(abi.encodePacked(Fr.unwrap(nextPreviousChallenge))));
604
- Fr unused;
605
- (alphas[NUMBER_OF_ALPHAS - 1], unused) = splitChallenge(nextPreviousChallenge);
599
+ // Compute powers of alpha for batching subrelations
600
+ alphas[0] = alpha;
601
+ for (uint256 i = 1; i < NUMBER_OF_ALPHAS; i++) {
602
+ alphas[i] = alphas[i - 1] * alpha;
606
603
  }
607
604
  }
608
605