@aztec/ivc-integration 4.0.0-nightly.20250907 → 4.0.0-nightly.20260108

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 (69) 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 +92 -92
  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 +1394 -0
  13. package/artifacts/mock_rollup_tx_merge.json +297 -0
  14. package/dest/bb_working_directory.d.ts +1 -1
  15. package/dest/index.d.ts +1 -1
  16. package/dest/prove_native.d.ts +7 -7
  17. package/dest/prove_native.d.ts.map +1 -1
  18. package/dest/prove_native.js +24 -44
  19. package/dest/scripts/generate_declaration_files.d.ts +1 -1
  20. package/dest/scripts/generate_declaration_files.js +0 -6
  21. package/dest/scripts/generate_ts_from_abi.d.ts +1 -1
  22. package/dest/scripts/generate_ts_from_abi.js +3 -3
  23. package/dest/serve.d.ts +1 -1
  24. package/dest/serve.js +34 -17
  25. package/dest/types/index.d.ts +27 -28
  26. package/dest/types/index.d.ts.map +1 -1
  27. package/dest/types/index.js +8 -9
  28. package/dest/witgen.d.ts +52 -22
  29. package/dest/witgen.d.ts.map +1 -1
  30. package/dest/witgen.js +48 -47
  31. package/package.json +23 -25
  32. package/src/prove_native.ts +27 -65
  33. package/src/scripts/generate_declaration_files.ts +0 -8
  34. package/src/scripts/generate_ts_from_abi.ts +3 -3
  35. package/src/serve.ts +43 -16
  36. package/src/types/index.ts +32 -33
  37. package/src/witgen.ts +60 -34
  38. package/artifacts/keys/app_creator.vk.data.d.json.ts +0 -2
  39. package/artifacts/keys/app_creator.vk.data.json +0 -132
  40. package/artifacts/keys/app_reader.vk.data.d.json.ts +0 -2
  41. package/artifacts/keys/app_reader.vk.data.json +0 -132
  42. package/artifacts/keys/mock_hiding.vk.data.d.json.ts +0 -2
  43. package/artifacts/keys/mock_hiding.vk.data.json +0 -132
  44. package/artifacts/keys/mock_private_kernel_init.vk.data.d.json.ts +0 -2
  45. package/artifacts/keys/mock_private_kernel_init.vk.data.json +0 -132
  46. package/artifacts/keys/mock_private_kernel_inner.vk.data.d.json.ts +0 -2
  47. package/artifacts/keys/mock_private_kernel_inner.vk.data.json +0 -132
  48. package/artifacts/keys/mock_private_kernel_reset.vk.data.d.json.ts +0 -2
  49. package/artifacts/keys/mock_private_kernel_reset.vk.data.json +0 -132
  50. package/artifacts/keys/mock_private_kernel_tail.vk.data.d.json.ts +0 -2
  51. package/artifacts/keys/mock_private_kernel_tail.vk.data.json +0 -132
  52. package/artifacts/keys/mock_rollup_base_private.vk.data.d.json.ts +0 -2
  53. package/artifacts/keys/mock_rollup_base_private.vk.data.json +0 -120
  54. package/artifacts/keys/mock_rollup_base_public.vk.data.d.json.ts +0 -2
  55. package/artifacts/keys/mock_rollup_base_public.vk.data.json +0 -120
  56. package/artifacts/keys/mock_rollup_merge.vk.data.d.json.ts +0 -2
  57. package/artifacts/keys/mock_rollup_merge.vk.data.json +0 -120
  58. package/artifacts/keys/mock_rollup_root.vk.data.d.json.ts +0 -2
  59. package/artifacts/keys/mock_rollup_root.vk.data.json +0 -64
  60. package/artifacts/mock_rollup_base_private.json +0 -1
  61. package/artifacts/mock_rollup_base_public.json +0 -1
  62. package/artifacts/mock_rollup_merge.json +0 -1
  63. package/dest/prove_wasm.d.ts +0 -4
  64. package/dest/prove_wasm.d.ts.map +0 -1
  65. package/dest/prove_wasm.js +0 -36
  66. package/src/prove_wasm.ts +0 -57
  67. /package/artifacts/{mock_rollup_base_private.d.json.ts → mock_rollup_tx_base_private.d.json.ts} +0 -0
  68. /package/artifacts/{mock_rollup_base_public.d.json.ts → mock_rollup_tx_base_public.d.json.ts} +0 -0
  69. /package/artifacts/{mock_rollup_merge.d.json.ts → mock_rollup_tx_merge.d.json.ts} +0 -0
package/artifacts/keys/mock_rollup_base_public.vk.data.json DELETED
@@ -1,120 +0,0 @@
1
- {
2
- "keyAsBytes": "0000000000000000000000000000000000000000000000000000000000000016000000000000000000000000000000000000000000000000000000000000001b00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000001fb3753c6a035378a3af312d67a982c2e70000000000000000000000000000000000234e5333c91c9137ca5d34b8d3eef4000000000000000000000000000000c45b817f015231fbb0008f8e2b453314e600000000000000000000000000000000001c4fe7b0fb00b247e9e0fd54fafbf1000000000000000000000000000000e3b0d6a895e40ba8eea7d8e242eb1259bc00000000000000000000000000000000001e2bdd411d700e86f8c55447896c5f0000000000000000000000000000005f6906c85f94021590653672867348dadf00000000000000000000000000000000002f4e6733ffe76afb77fc6ad7062bd10000000000000000000000000000004519ab666a322caf6f46553752f2eac83400000000000000000000000000000000002f48194d0efff8e1b900d5222b48d500000000000000000000000000000090a241b3e2538ab4a981e15a17bac3a973000000000000000000000000000000000003a47a48b4a115a04573b621b6c763000000000000000000000000000000fd21164fa8778edce177efaa1240f683b5000000000000000000000000000000000000c8b0ff526d1cffd47b1be05cde590000000000000000000000000000005bac8ce096ea1a2439356eec76dfc3923d00000000000000000000000000000000000d0ce59390db169b59ebb1500eb95c000000000000000000000000000000aaa14205bdd5f022f5e92263c7ffe182ed00000000000000000000000000000000000b6c3dddd8949147a40e3efd7a86ac0000000000000000000000000000008b9cfbe00087402393abff2b3f849a3f5b00000000000000000000000000000000002f89e2c9702846d645fa3dd34d6b39000000000000000000000000000000255b95e76180c5b15e5ec49b3d34aacc83000000000000000000000000000000000015122e142ea78e6f3b6413d188d1e8000000000000000000000000000000d2357482d418665e0b0ce58e6e29a5c93f000000000000000000000000000000000017b87ff32b43d62accc36d9797174a000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db000000000000000000000000000000000025043141e7a515687c6d80d0853b760000000000000000000000000000003447e05ab4400999c9704862944ef03bb300000000000000000000000000000000000d8d5f85133d06d56249c6463ac023000000000000000000000000000000e97819ec81251dff581eedec69cb1d07dc000000000000000000000000000000000025fcd230aeb037ce5c002fb4f69f7e0000000000000000000000000000007bbbed366ea572d2cc8a6edb976af1a6b800000000000000000000000000000000002cdfdbda85f3736e47084cdc67694a0000000000000000000000000000004be659f4a31a37bcbfef2c20bfdcc9256c00000000000000000000000000000000002a44c018e86b2ae1d31535d793c0e1000000000000000000000000000000db170695c7f73226411ff46bdf7e700c3b000000000000000000000000000000000027d0c64a71f2f0e6d7140f9b6b42c40000000000000000000000000000005d071e766d36bdbcdd7ae706267085e0a6000000000000000000000000000000000027e5f131a0bdf3b678b8d67cb2393c000000000000000000000000000000ad026825d203661e17503f93e938fdbe3f000000000000000000000000000000000017c02d80ae37222af65def00a44880000000000000000000000000000000098c810b94e7cd4e5dee6e08cc69b7934e000000000000000000000000000000000000eb7c95eaa43d99093590d75be04100000000000000000000000000000034990557ae58368bb0dc9f5947c70dd5830000000000000000000000000000000000192817e053b4f6943ff91203c913ae000000000000000000000000000000abb7a01d61106f6139c8065e9130096b6500000000000000000000000000000000001a92e7fa6dc7108a6d2c6f46931376000000000000000000000000000000858a6233b0348f15048d74d1784fc92a5c00000000000000000000000000000000001415da265bc54776ed2dc1d5b259800000000000000000000000000000000abaee3c5d5919d0d059bd7dfeeb0b824000000000000000000000000000000000002974f3dabd23635263030f54d09e96000000000000000000000000000000c688aff25971cf74d228ab4cf50848b348000000000000000000000000000000000019f730cb8d3c5b2be1e667edc2439a000000000000000000000000000000b4d522cd7ca3e6aa7f94a82cccbacb4051000000000000000000000000000000000005c00e30805bf93c41ea4858e5dcd2000000000000000000000000000000c988d42b637ce144ebc2acbeebd4f26e760000000000000000000000000000000000169b42473d05ba6170067f810433820000000000000000000000000000008c0c73d67a9c30170cb92cd06ceb4a9554000000000000000000000000000000000026bb968d85dbf4920a5ceec6cccb6d000000000000000000000000000000d20b5338d4332b5f4eefd2b1c97d9459f2000000000000000000000000000000000019f21e2c3b20cc3852cc5c55551d4100000000000000000000000000000052f2132229b9a0eee679a4fc49028a6226000000000000000000000000000000000028b066890ba1687b7e38c97c626ffb000000000000000000000000000000a1c96f5a1a8b675ec4e7cc0d0623bbb8c20000000000000000000000000000000000002cb5fc7e8c5500d7e33bda917a5f000000000000000000000000000000cfe8a23f325cc79c2b35710bf576a680d200000000000000000000000000000000002648e157397382db86041fa209e458000000000000000000000000000000acb4d9f5407c7428f9c44237bb5973cee50000000000000000000000000000000000283430de765f2b1a1f33d9d305258b0000000000000000000000000000004e111f53a39f1339cb4e6c78741c14d0cf00000000000000000000000000000000002a5143696c4eaaff1ba76c6567a99f000000000000000000000000000000d2d4b984ee878a6e8a788af1879ca64dee00000000000000000000000000000000001558f8ee335e1a13be798974a3c86e000000000000000000000000000000059465e3a1ff8ab270b4101db30b7428710000000000000000000000000000000000068dcce86c8ef14a701f23fc5187d1000000000000000000000000000000d46cb6057ece9651ee2a9aeccc6bcaf8dd00000000000000000000000000000000002b15bd46e63b8bfb84f427be49202f0000000000000000000000000000002ec9814ad9f728a0bfa269b2fc08f55ad800000000000000000000000000000000002abfdc1ff18dec782ee11de3f65d98000000000000000000000000000000c399b0810f639371b6c676732dbde7de9c000000000000000000000000000000000007e69d9fe50e54091704b5d9a0b88f000000000000000000000000000000220bc6fcd85a8908c40d83d0b956035f2e00000000000000000000000000000000001f81e7c16b0007acedf807896912120000000000000000000000000000001a35440cfc0d7f7c160bf557d5c4046cb600000000000000000000000000000000001a4af660cc3f43ee10e6bc3681a9330000000000000000000000000000004e970760cfcc8cbd6e4c5f364ac0393e1f00000000000000000000000000000000000535368b71aeb50330d4498c08a7af000000000000000000000000000000d9cb13d741036b06ce0dda63d3af6a71e30000000000000000000000000000000000034074dc3eddd0da47fefc0956c3ac0000000000000000000000000000002b80d6b55199d55c762fbaec636a525f3e0000000000000000000000000000000000217f0ffe90bea51c49a1b331adae9c0000000000000000000000000000000ed2d8303f6f9c83d86d5c13f3fb4e99dd000000000000000000000000000000000009c45c61155d314160b50b20e35c940000000000000000000000000000009cf5a0abb80a3b2fe13b28fe8f315409b70000000000000000000000000000000000188a2ffed7f8cbe84c7a0f1b018cd000000000000000000000000000000085656153a6120eebdf3a488dccad95d00d000000000000000000000000000000000023cd626f5dde3ce81de0e7d4f74dc200000000000000000000000000000052c3cfa63996daa8314b276628262510920000000000000000000000000000000000061998dda79b7c5b9adc0113867766000000000000000000000000000000b3105a6e5e3268bb6240ed2c345f5ff3db0000000000000000000000000000000000225ce8d1f417dd9b831fe8022aa11d000000000000000000000000000000cf91f0cb73295831bc93869fc19cdbad9900000000000000000000000000000000001ee5d0cdde02f62e468b034f988c56000000000000000000000000000000183a142ac675e313630847be47fe912b9100000000000000000000000000000000001558e16ed49142b74e4a2085b222870000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e34315d18b7431c7c325e1a4714100b2be00000000000000000000000000000000000ce5a271c67d1011f183a1b639991c00000000000000000000000000000041ad79be1f4465e34afa82cea87ac5398700000000000000000000000000000000002e3cf19a21f2db3505cb02e5589ab4",
3
- "keyAsFields": [
4
- "0x0000000000000000000000000000000000000000000000000000000000000016",
5
- "0x000000000000000000000000000000000000000000000000000000000000001b",
6
- "0x0000000000000000000000000000000000000000000000000000000000000001",
7
- "0x0000000000000000000000000000001fb3753c6a035378a3af312d67a982c2e7",
8
- "0x0000000000000000000000000000000000234e5333c91c9137ca5d34b8d3eef4",
9
- "0x000000000000000000000000000000c45b817f015231fbb0008f8e2b453314e6",
10
- "0x00000000000000000000000000000000001c4fe7b0fb00b247e9e0fd54fafbf1",
11
- "0x000000000000000000000000000000e3b0d6a895e40ba8eea7d8e242eb1259bc",
12
- "0x00000000000000000000000000000000001e2bdd411d700e86f8c55447896c5f",
13
- "0x0000000000000000000000000000005f6906c85f94021590653672867348dadf",
14
- "0x00000000000000000000000000000000002f4e6733ffe76afb77fc6ad7062bd1",
15
- "0x0000000000000000000000000000004519ab666a322caf6f46553752f2eac834",
16
- "0x00000000000000000000000000000000002f48194d0efff8e1b900d5222b48d5",
17
- "0x00000000000000000000000000000090a241b3e2538ab4a981e15a17bac3a973",
18
- "0x000000000000000000000000000000000003a47a48b4a115a04573b621b6c763",
19
- "0x000000000000000000000000000000fd21164fa8778edce177efaa1240f683b5",
20
- "0x000000000000000000000000000000000000c8b0ff526d1cffd47b1be05cde59",
21
- "0x0000000000000000000000000000005bac8ce096ea1a2439356eec76dfc3923d",
22
- "0x00000000000000000000000000000000000d0ce59390db169b59ebb1500eb95c",
23
- "0x000000000000000000000000000000aaa14205bdd5f022f5e92263c7ffe182ed",
24
- "0x00000000000000000000000000000000000b6c3dddd8949147a40e3efd7a86ac",
25
- "0x0000000000000000000000000000008b9cfbe00087402393abff2b3f849a3f5b",
26
- "0x00000000000000000000000000000000002f89e2c9702846d645fa3dd34d6b39",
27
- "0x000000000000000000000000000000255b95e76180c5b15e5ec49b3d34aacc83",
28
- "0x000000000000000000000000000000000015122e142ea78e6f3b6413d188d1e8",
29
- "0x000000000000000000000000000000d2357482d418665e0b0ce58e6e29a5c93f",
30
- "0x000000000000000000000000000000000017b87ff32b43d62accc36d9797174a",
31
- "0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db",
32
- "0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76",
33
- "0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3",
34
- "0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023",
35
- "0x000000000000000000000000000000e97819ec81251dff581eedec69cb1d07dc",
36
- "0x000000000000000000000000000000000025fcd230aeb037ce5c002fb4f69f7e",
37
- "0x0000000000000000000000000000007bbbed366ea572d2cc8a6edb976af1a6b8",
38
- "0x00000000000000000000000000000000002cdfdbda85f3736e47084cdc67694a",
39
- "0x0000000000000000000000000000004be659f4a31a37bcbfef2c20bfdcc9256c",
40
- "0x00000000000000000000000000000000002a44c018e86b2ae1d31535d793c0e1",
41
- "0x000000000000000000000000000000db170695c7f73226411ff46bdf7e700c3b",
42
- "0x000000000000000000000000000000000027d0c64a71f2f0e6d7140f9b6b42c4",
43
- "0x0000000000000000000000000000005d071e766d36bdbcdd7ae706267085e0a6",
44
- "0x000000000000000000000000000000000027e5f131a0bdf3b678b8d67cb2393c",
45
- "0x000000000000000000000000000000ad026825d203661e17503f93e938fdbe3f",
46
- "0x000000000000000000000000000000000017c02d80ae37222af65def00a44880",
47
- "0x000000000000000000000000000000098c810b94e7cd4e5dee6e08cc69b7934e",
48
- "0x000000000000000000000000000000000000eb7c95eaa43d99093590d75be041",
49
- "0x00000000000000000000000000000034990557ae58368bb0dc9f5947c70dd583",
50
- "0x0000000000000000000000000000000000192817e053b4f6943ff91203c913ae",
51
- "0x000000000000000000000000000000abb7a01d61106f6139c8065e9130096b65",
52
- "0x00000000000000000000000000000000001a92e7fa6dc7108a6d2c6f46931376",
53
- "0x000000000000000000000000000000858a6233b0348f15048d74d1784fc92a5c",
54
- "0x00000000000000000000000000000000001415da265bc54776ed2dc1d5b25980",
55
- "0x0000000000000000000000000000000abaee3c5d5919d0d059bd7dfeeb0b8240",
56
- "0x00000000000000000000000000000000002974f3dabd23635263030f54d09e96",
57
- "0x000000000000000000000000000000c688aff25971cf74d228ab4cf50848b348",
58
- "0x000000000000000000000000000000000019f730cb8d3c5b2be1e667edc2439a",
59
- "0x000000000000000000000000000000b4d522cd7ca3e6aa7f94a82cccbacb4051",
60
- "0x000000000000000000000000000000000005c00e30805bf93c41ea4858e5dcd2",
61
- "0x000000000000000000000000000000c988d42b637ce144ebc2acbeebd4f26e76",
62
- "0x0000000000000000000000000000000000169b42473d05ba6170067f81043382",
63
- "0x0000000000000000000000000000008c0c73d67a9c30170cb92cd06ceb4a9554",
64
- "0x000000000000000000000000000000000026bb968d85dbf4920a5ceec6cccb6d",
65
- "0x000000000000000000000000000000d20b5338d4332b5f4eefd2b1c97d9459f2",
66
- "0x000000000000000000000000000000000019f21e2c3b20cc3852cc5c55551d41",
67
- "0x00000000000000000000000000000052f2132229b9a0eee679a4fc49028a6226",
68
- "0x000000000000000000000000000000000028b066890ba1687b7e38c97c626ffb",
69
- "0x000000000000000000000000000000a1c96f5a1a8b675ec4e7cc0d0623bbb8c2",
70
- "0x0000000000000000000000000000000000002cb5fc7e8c5500d7e33bda917a5f",
71
- "0x000000000000000000000000000000cfe8a23f325cc79c2b35710bf576a680d2",
72
- "0x00000000000000000000000000000000002648e157397382db86041fa209e458",
73
- "0x000000000000000000000000000000acb4d9f5407c7428f9c44237bb5973cee5",
74
- "0x0000000000000000000000000000000000283430de765f2b1a1f33d9d305258b",
75
- "0x0000000000000000000000000000004e111f53a39f1339cb4e6c78741c14d0cf",
76
- "0x00000000000000000000000000000000002a5143696c4eaaff1ba76c6567a99f",
77
- "0x000000000000000000000000000000d2d4b984ee878a6e8a788af1879ca64dee",
78
- "0x00000000000000000000000000000000001558f8ee335e1a13be798974a3c86e",
79
- "0x000000000000000000000000000000059465e3a1ff8ab270b4101db30b742871",
80
- "0x0000000000000000000000000000000000068dcce86c8ef14a701f23fc5187d1",
81
- "0x000000000000000000000000000000d46cb6057ece9651ee2a9aeccc6bcaf8dd",
82
- "0x00000000000000000000000000000000002b15bd46e63b8bfb84f427be49202f",
83
- "0x0000000000000000000000000000002ec9814ad9f728a0bfa269b2fc08f55ad8",
84
- "0x00000000000000000000000000000000002abfdc1ff18dec782ee11de3f65d98",
85
- "0x000000000000000000000000000000c399b0810f639371b6c676732dbde7de9c",
86
- "0x000000000000000000000000000000000007e69d9fe50e54091704b5d9a0b88f",
87
- "0x000000000000000000000000000000220bc6fcd85a8908c40d83d0b956035f2e",
88
- "0x00000000000000000000000000000000001f81e7c16b0007acedf80789691212",
89
- "0x0000000000000000000000000000001a35440cfc0d7f7c160bf557d5c4046cb6",
90
- "0x00000000000000000000000000000000001a4af660cc3f43ee10e6bc3681a933",
91
- "0x0000000000000000000000000000004e970760cfcc8cbd6e4c5f364ac0393e1f",
92
- "0x00000000000000000000000000000000000535368b71aeb50330d4498c08a7af",
93
- "0x000000000000000000000000000000d9cb13d741036b06ce0dda63d3af6a71e3",
94
- "0x0000000000000000000000000000000000034074dc3eddd0da47fefc0956c3ac",
95
- "0x0000000000000000000000000000002b80d6b55199d55c762fbaec636a525f3e",
96
- "0x0000000000000000000000000000000000217f0ffe90bea51c49a1b331adae9c",
97
- "0x0000000000000000000000000000000ed2d8303f6f9c83d86d5c13f3fb4e99dd",
98
- "0x000000000000000000000000000000000009c45c61155d314160b50b20e35c94",
99
- "0x0000000000000000000000000000009cf5a0abb80a3b2fe13b28fe8f315409b7",
100
- "0x0000000000000000000000000000000000188a2ffed7f8cbe84c7a0f1b018cd0",
101
- "0x00000000000000000000000000000085656153a6120eebdf3a488dccad95d00d",
102
- "0x000000000000000000000000000000000023cd626f5dde3ce81de0e7d4f74dc2",
103
- "0x00000000000000000000000000000052c3cfa63996daa8314b27662826251092",
104
- "0x0000000000000000000000000000000000061998dda79b7c5b9adc0113867766",
105
- "0x000000000000000000000000000000b3105a6e5e3268bb6240ed2c345f5ff3db",
106
- "0x0000000000000000000000000000000000225ce8d1f417dd9b831fe8022aa11d",
107
- "0x000000000000000000000000000000cf91f0cb73295831bc93869fc19cdbad99",
108
- "0x00000000000000000000000000000000001ee5d0cdde02f62e468b034f988c56",
109
- "0x000000000000000000000000000000183a142ac675e313630847be47fe912b91",
110
- "0x00000000000000000000000000000000001558e16ed49142b74e4a2085b22287",
111
- "0x0000000000000000000000000000000000000000000000000000000000000001",
112
- "0x0000000000000000000000000000000000000000000000000000000000000000",
113
- "0x0000000000000000000000000000000000000000000000000000000000000002",
114
- "0x0000000000000000000000000000000000000000000000000000000000000000",
115
- "0x000000000000000000000000000000e34315d18b7431c7c325e1a4714100b2be",
116
- "0x00000000000000000000000000000000000ce5a271c67d1011f183a1b639991c",
117
- "0x00000000000000000000000000000041ad79be1f4465e34afa82cea87ac53987",
118
- "0x00000000000000000000000000000000002e3cf19a21f2db3505cb02e5589ab4"
119
- ]
120
- }
package/artifacts/keys/mock_rollup_merge.vk.data.d.json.ts DELETED
@@ -1,2 +0,0 @@
1
- const vk: { keyAsBytes: string; keyAsFields: string[] };
2
- export = vk;
package/artifacts/keys/mock_rollup_merge.vk.data.json DELETED
@@ -1,120 +0,0 @@
1
- {
2
- "keyAsBytes": "0000000000000000000000000000000000000000000000000000000000000015000000000000000000000000000000000000000000000000000000000000001b000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000080bf4d2cf989eabe54df9f4b6834e18a620000000000000000000000000000000000099b034d06f1fc942a6787ec0771430000000000000000000000000000002474b68a57d3044df1ba386879912ec411000000000000000000000000000000000009fa11daf7c72b2be504d2e2f081c8000000000000000000000000000000b41baec51a1cf99728278aac32ad9b7a1a00000000000000000000000000000000001588ffa25f1de9134cf8c21fc0c4c30000000000000000000000000000003ad476bf8bb81db4a94af9e3039a0398c100000000000000000000000000000000000c5ecb62d4c33edbaf1fdccc665403000000000000000000000000000000e9f80a899f04e77f3e3d88260f8edee8d600000000000000000000000000000000002133ea089fadee64d55c7c11bd5387000000000000000000000000000000db2bd53e1ea74e0b29e55512fe97673f9c000000000000000000000000000000000022f0e828710b614f2b1aa38ab9218100000000000000000000000000000068284d0bab89446297b4569f69f6d5b9a000000000000000000000000000000000000d681127bbeaf9d38e57a30c0ef5b7000000000000000000000000000000b29b74b35882bf16bc053ba9d0a4c1b41b00000000000000000000000000000000000c8a323d1bdd88d2131d7c1d046501000000000000000000000000000000b9fe24126fa67e8272a9ef0604395d6e2f00000000000000000000000000000000000d86491c579c73e51caeb46adcf816000000000000000000000000000000825121f1dffd038d54d5ed25cac1cd45ba00000000000000000000000000000000001cd0d93181d32ae399e1c635d4d4f30000000000000000000000000000005fa8dd07883debcf0f4273e4deb8eb4a89000000000000000000000000000000000024bdfda8745df24869add3df3012a1000000000000000000000000000000078d679bdd099c7147918374f473ffe0a000000000000000000000000000000000002f2b5b7802daf110e39d5d5324f0e4000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db000000000000000000000000000000000025043141e7a515687c6d80d0853b760000000000000000000000000000003447e05ab4400999c9704862944ef03bb300000000000000000000000000000000000d8d5f85133d06d56249c6463ac023000000000000000000000000000000a8b2527df1958afbab358ee968c77e9f6000000000000000000000000000000000000985a0e0f7e0213e1510d727d7a91300000000000000000000000000000032de898cef2e3b1e43cee93a7f0bba42fc0000000000000000000000000000000000130b1a75ac2931042c1e035d3c506900000000000000000000000000000099f27a291f7c0502e718c93312603e325f00000000000000000000000000000000002850b87bd187355d50956731fb5bc7000000000000000000000000000000a2daf9c80f0dc9ae6c9b1578dfcb11944c000000000000000000000000000000000013e7b6c0801b999f7da4ff8e8b4f33000000000000000000000000000000f903a7ac0ef77d3dab90df957570ad0adb00000000000000000000000000000000001e92205863c042120e62fa72976c2a00000000000000000000000000000030ac08648cb405ec738c71b56f0a23cf8300000000000000000000000000000000002fcab9a3d1fe4bf2aa7b3880d8354c0000000000000000000000000000003bfe90d57a33a3a0118a944a66a2a6748d0000000000000000000000000000000000175f2161f845ed4198941e629b6375000000000000000000000000000000afc464bb0b593ebf23c309c0344b276d6d0000000000000000000000000000000000191c8aaa04e64c7b2577b5ce049673000000000000000000000000000000b05db9d8780f31b2ee8d362581df38ef0300000000000000000000000000000000001bfb1c50e476f9b6923f3f1d20afe8000000000000000000000000000000f624d0589d7619de8d0880974eb59a36dd000000000000000000000000000000000024d0fb6d33632927fd83144acdb7d1000000000000000000000000000000365c4bf6df44e7371664b8740c800e7f5e000000000000000000000000000000000017aa7495bcbd2ab98982cd7a7fc3f1000000000000000000000000000000e2202ca9e64d158c324577f550269d756000000000000000000000000000000000001b5ddabf8e80121538ecc11d0591aa000000000000000000000000000000cea726511ddd051fd8a278447bc23159e500000000000000000000000000000000002efb8871a6ba49696d6653ad6e929d000000000000000000000000000000b49d18309068057985cdc30ef028a031f30000000000000000000000000000000000129e3992f7a05ed858b5b389ccc87a00000000000000000000000000000083eed1bc97f2b31e1bb378fe9899d54665000000000000000000000000000000000013397b56ffafc8222fa0b04aecceff000000000000000000000000000000f11aa9ccfc68e5fadd2cb94246732fd7fb00000000000000000000000000000000000ba677eed57d50de346da488dac14e0000000000000000000000000000003a9b79d70e2692164167cf417d4abc0edb00000000000000000000000000000000000985ad0d94fb99b3de366a9807a81b0000000000000000000000000000002afc2461c1a3c15e208d7ecf5efcf0dcff00000000000000000000000000000000001b655688cc23d23e45765d0377a99a000000000000000000000000000000e25a8e62286f3d65061b901c4f72afe18c0000000000000000000000000000000000151f23d85beeaa4658d2ea5be035be000000000000000000000000000000a1a3a205063be592de782dccb2d33f3c0d000000000000000000000000000000000007de3bfa8bc07d8743205340d0814a000000000000000000000000000000ae74470de519c201e8d6b83b922bdbe93000000000000000000000000000000000000b0863f4d58674c9bb683caa13abf10000000000000000000000000000000e3137268a2f71f5646934dc4ece53c57b00000000000000000000000000000000001d7248bc1a6088ad4ec315d81a1a4e00000000000000000000000000000081b4ec9dea53550dc7726399e88e64f50a0000000000000000000000000000000000092545034209efd36310521ed73c86000000000000000000000000000000ccdd196eaa28e35b375c28f7a0d6cb94a6000000000000000000000000000000000015113fb125cefdb2d34407e9d46a22000000000000000000000000000000813fe0b344f335db6d60fb8468db5240f7000000000000000000000000000000000001b78d79f08bf51a25cf25a034bffb0000000000000000000000000000000a078d6d8a8aebc849a3c80ffd1e9aaf1d0000000000000000000000000000000000215220129af3d1147b7bfe4c3939fe000000000000000000000000000000c649aa9207c63b10b9b4cccc58c2a9f59f000000000000000000000000000000000017c15fda2fafe1fb354ed81908bd260000000000000000000000000000007411685c3a87527533eab9e4f5f8a3269000000000000000000000000000000000002740b655d85e8bb7a563fff50814870000000000000000000000000000002811b66d586920d5d0ab30525b9b1a3442000000000000000000000000000000000010b8d2f7348cffdd9d0f6baf612157000000000000000000000000000000f3d1a9fb67d75d28382149c0ae2ed2b46000000000000000000000000000000000002982c77b13836e8cc843a6815e5e160000000000000000000000000000002b80d6b55199d55c762fbaec636a525f3e0000000000000000000000000000000000217f0ffe90bea51c49a1b331adae9c0000000000000000000000000000000ed2d8303f6f9c83d86d5c13f3fb4e99dd000000000000000000000000000000000009c45c61155d314160b50b20e35c940000000000000000000000000000009cf5a0abb80a3b2fe13b28fe8f315409b70000000000000000000000000000000000188a2ffed7f8cbe84c7a0f1b018cd000000000000000000000000000000085656153a6120eebdf3a488dccad95d00d000000000000000000000000000000000023cd626f5dde3ce81de0e7d4f74dc200000000000000000000000000000052c3cfa63996daa8314b276628262510920000000000000000000000000000000000061998dda79b7c5b9adc0113867766000000000000000000000000000000b3105a6e5e3268bb6240ed2c345f5ff3db0000000000000000000000000000000000225ce8d1f417dd9b831fe8022aa11d000000000000000000000000000000cf91f0cb73295831bc93869fc19cdbad9900000000000000000000000000000000001ee5d0cdde02f62e468b034f988c56000000000000000000000000000000183a142ac675e313630847be47fe912b9100000000000000000000000000000000001558e16ed49142b74e4a2085b222870000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e604490ec6f908f1ba45d678c64055c00e000000000000000000000000000000000011f62033c8c5413882acb664a314ea0000000000000000000000000000005dce677a1689f552b3f4834d92a8fb03f80000000000000000000000000000000000128b1cfb8486ac84ee67e6f602cd3c",
3
- "keyAsFields": [
4
- "0x0000000000000000000000000000000000000000000000000000000000000015",
5
- "0x000000000000000000000000000000000000000000000000000000000000001b",
6
- "0x0000000000000000000000000000000000000000000000000000000000000001",
7
- "0x00000000000000000000000000000080bf4d2cf989eabe54df9f4b6834e18a62",
8
- "0x0000000000000000000000000000000000099b034d06f1fc942a6787ec077143",
9
- "0x0000000000000000000000000000002474b68a57d3044df1ba386879912ec411",
10
- "0x000000000000000000000000000000000009fa11daf7c72b2be504d2e2f081c8",
11
- "0x000000000000000000000000000000b41baec51a1cf99728278aac32ad9b7a1a",
12
- "0x00000000000000000000000000000000001588ffa25f1de9134cf8c21fc0c4c3",
13
- "0x0000000000000000000000000000003ad476bf8bb81db4a94af9e3039a0398c1",
14
- "0x00000000000000000000000000000000000c5ecb62d4c33edbaf1fdccc665403",
15
- "0x000000000000000000000000000000e9f80a899f04e77f3e3d88260f8edee8d6",
16
- "0x00000000000000000000000000000000002133ea089fadee64d55c7c11bd5387",
17
- "0x000000000000000000000000000000db2bd53e1ea74e0b29e55512fe97673f9c",
18
- "0x000000000000000000000000000000000022f0e828710b614f2b1aa38ab92181",
19
- "0x00000000000000000000000000000068284d0bab89446297b4569f69f6d5b9a0",
20
- "0x00000000000000000000000000000000000d681127bbeaf9d38e57a30c0ef5b7",
21
- "0x000000000000000000000000000000b29b74b35882bf16bc053ba9d0a4c1b41b",
22
- "0x00000000000000000000000000000000000c8a323d1bdd88d2131d7c1d046501",
23
- "0x000000000000000000000000000000b9fe24126fa67e8272a9ef0604395d6e2f",
24
- "0x00000000000000000000000000000000000d86491c579c73e51caeb46adcf816",
25
- "0x000000000000000000000000000000825121f1dffd038d54d5ed25cac1cd45ba",
26
- "0x00000000000000000000000000000000001cd0d93181d32ae399e1c635d4d4f3",
27
- "0x0000000000000000000000000000005fa8dd07883debcf0f4273e4deb8eb4a89",
28
- "0x000000000000000000000000000000000024bdfda8745df24869add3df3012a1",
29
- "0x000000000000000000000000000000078d679bdd099c7147918374f473ffe0a0",
30
- "0x00000000000000000000000000000000002f2b5b7802daf110e39d5d5324f0e4",
31
- "0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db",
32
- "0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76",
33
- "0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3",
34
- "0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023",
35
- "0x000000000000000000000000000000a8b2527df1958afbab358ee968c77e9f60",
36
- "0x00000000000000000000000000000000000985a0e0f7e0213e1510d727d7a913",
37
- "0x00000000000000000000000000000032de898cef2e3b1e43cee93a7f0bba42fc",
38
- "0x0000000000000000000000000000000000130b1a75ac2931042c1e035d3c5069",
39
- "0x00000000000000000000000000000099f27a291f7c0502e718c93312603e325f",
40
- "0x00000000000000000000000000000000002850b87bd187355d50956731fb5bc7",
41
- "0x000000000000000000000000000000a2daf9c80f0dc9ae6c9b1578dfcb11944c",
42
- "0x000000000000000000000000000000000013e7b6c0801b999f7da4ff8e8b4f33",
43
- "0x000000000000000000000000000000f903a7ac0ef77d3dab90df957570ad0adb",
44
- "0x00000000000000000000000000000000001e92205863c042120e62fa72976c2a",
45
- "0x00000000000000000000000000000030ac08648cb405ec738c71b56f0a23cf83",
46
- "0x00000000000000000000000000000000002fcab9a3d1fe4bf2aa7b3880d8354c",
47
- "0x0000000000000000000000000000003bfe90d57a33a3a0118a944a66a2a6748d",
48
- "0x0000000000000000000000000000000000175f2161f845ed4198941e629b6375",
49
- "0x000000000000000000000000000000afc464bb0b593ebf23c309c0344b276d6d",
50
- "0x0000000000000000000000000000000000191c8aaa04e64c7b2577b5ce049673",
51
- "0x000000000000000000000000000000b05db9d8780f31b2ee8d362581df38ef03",
52
- "0x00000000000000000000000000000000001bfb1c50e476f9b6923f3f1d20afe8",
53
- "0x000000000000000000000000000000f624d0589d7619de8d0880974eb59a36dd",
54
- "0x000000000000000000000000000000000024d0fb6d33632927fd83144acdb7d1",
55
- "0x000000000000000000000000000000365c4bf6df44e7371664b8740c800e7f5e",
56
- "0x000000000000000000000000000000000017aa7495bcbd2ab98982cd7a7fc3f1",
57
- "0x000000000000000000000000000000e2202ca9e64d158c324577f550269d7560",
58
- "0x00000000000000000000000000000000001b5ddabf8e80121538ecc11d0591aa",
59
- "0x000000000000000000000000000000cea726511ddd051fd8a278447bc23159e5",
60
- "0x00000000000000000000000000000000002efb8871a6ba49696d6653ad6e929d",
61
- "0x000000000000000000000000000000b49d18309068057985cdc30ef028a031f3",
62
- "0x0000000000000000000000000000000000129e3992f7a05ed858b5b389ccc87a",
63
- "0x00000000000000000000000000000083eed1bc97f2b31e1bb378fe9899d54665",
64
- "0x000000000000000000000000000000000013397b56ffafc8222fa0b04aecceff",
65
- "0x000000000000000000000000000000f11aa9ccfc68e5fadd2cb94246732fd7fb",
66
- "0x00000000000000000000000000000000000ba677eed57d50de346da488dac14e",
67
- "0x0000000000000000000000000000003a9b79d70e2692164167cf417d4abc0edb",
68
- "0x00000000000000000000000000000000000985ad0d94fb99b3de366a9807a81b",
69
- "0x0000000000000000000000000000002afc2461c1a3c15e208d7ecf5efcf0dcff",
70
- "0x00000000000000000000000000000000001b655688cc23d23e45765d0377a99a",
71
- "0x000000000000000000000000000000e25a8e62286f3d65061b901c4f72afe18c",
72
- "0x0000000000000000000000000000000000151f23d85beeaa4658d2ea5be035be",
73
- "0x000000000000000000000000000000a1a3a205063be592de782dccb2d33f3c0d",
74
- "0x000000000000000000000000000000000007de3bfa8bc07d8743205340d0814a",
75
- "0x000000000000000000000000000000ae74470de519c201e8d6b83b922bdbe930",
76
- "0x00000000000000000000000000000000000b0863f4d58674c9bb683caa13abf1",
77
- "0x0000000000000000000000000000000e3137268a2f71f5646934dc4ece53c57b",
78
- "0x00000000000000000000000000000000001d7248bc1a6088ad4ec315d81a1a4e",
79
- "0x00000000000000000000000000000081b4ec9dea53550dc7726399e88e64f50a",
80
- "0x0000000000000000000000000000000000092545034209efd36310521ed73c86",
81
- "0x000000000000000000000000000000ccdd196eaa28e35b375c28f7a0d6cb94a6",
82
- "0x000000000000000000000000000000000015113fb125cefdb2d34407e9d46a22",
83
- "0x000000000000000000000000000000813fe0b344f335db6d60fb8468db5240f7",
84
- "0x000000000000000000000000000000000001b78d79f08bf51a25cf25a034bffb",
85
- "0x0000000000000000000000000000000a078d6d8a8aebc849a3c80ffd1e9aaf1d",
86
- "0x0000000000000000000000000000000000215220129af3d1147b7bfe4c3939fe",
87
- "0x000000000000000000000000000000c649aa9207c63b10b9b4cccc58c2a9f59f",
88
- "0x000000000000000000000000000000000017c15fda2fafe1fb354ed81908bd26",
89
- "0x0000000000000000000000000000007411685c3a87527533eab9e4f5f8a32690",
90
- "0x00000000000000000000000000000000002740b655d85e8bb7a563fff5081487",
91
- "0x0000000000000000000000000000002811b66d586920d5d0ab30525b9b1a3442",
92
- "0x000000000000000000000000000000000010b8d2f7348cffdd9d0f6baf612157",
93
- "0x000000000000000000000000000000f3d1a9fb67d75d28382149c0ae2ed2b460",
94
- "0x00000000000000000000000000000000002982c77b13836e8cc843a6815e5e16",
95
- "0x0000000000000000000000000000002b80d6b55199d55c762fbaec636a525f3e",
96
- "0x0000000000000000000000000000000000217f0ffe90bea51c49a1b331adae9c",
97
- "0x0000000000000000000000000000000ed2d8303f6f9c83d86d5c13f3fb4e99dd",
98
- "0x000000000000000000000000000000000009c45c61155d314160b50b20e35c94",
99
- "0x0000000000000000000000000000009cf5a0abb80a3b2fe13b28fe8f315409b7",
100
- "0x0000000000000000000000000000000000188a2ffed7f8cbe84c7a0f1b018cd0",
101
- "0x00000000000000000000000000000085656153a6120eebdf3a488dccad95d00d",
102
- "0x000000000000000000000000000000000023cd626f5dde3ce81de0e7d4f74dc2",
103
- "0x00000000000000000000000000000052c3cfa63996daa8314b27662826251092",
104
- "0x0000000000000000000000000000000000061998dda79b7c5b9adc0113867766",
105
- "0x000000000000000000000000000000b3105a6e5e3268bb6240ed2c345f5ff3db",
106
- "0x0000000000000000000000000000000000225ce8d1f417dd9b831fe8022aa11d",
107
- "0x000000000000000000000000000000cf91f0cb73295831bc93869fc19cdbad99",
108
- "0x00000000000000000000000000000000001ee5d0cdde02f62e468b034f988c56",
109
- "0x000000000000000000000000000000183a142ac675e313630847be47fe912b91",
110
- "0x00000000000000000000000000000000001558e16ed49142b74e4a2085b22287",
111
- "0x0000000000000000000000000000000000000000000000000000000000000001",
112
- "0x0000000000000000000000000000000000000000000000000000000000000000",
113
- "0x0000000000000000000000000000000000000000000000000000000000000002",
114
- "0x0000000000000000000000000000000000000000000000000000000000000000",
115
- "0x000000000000000000000000000000e604490ec6f908f1ba45d678c64055c00e",
116
- "0x000000000000000000000000000000000011f62033c8c5413882acb664a314ea",
117
- "0x0000000000000000000000000000005dce677a1689f552b3f4834d92a8fb03f8",
118
- "0x0000000000000000000000000000000000128b1cfb8486ac84ee67e6f602cd3c"
119
- ]
120
- }
package/artifacts/keys/mock_rollup_root.vk.data.d.json.ts DELETED
@@ -1,2 +0,0 @@
1
- const vk: { keyAsBytes: string; keyAsFields: string[] };
2
- export = vk;
package/artifacts/keys/mock_rollup_root.vk.data.json DELETED
@@ -1,64 +0,0 @@
1
- {
2
- "keyAsBytes": "0000000000000000000000000000000000000000000000000000000000000019000000000000000000000000000000000000000000000000000000000000001100000000000000000000000000000000000000000000000000000000000000012c74cbfc3178905fa9470f49296f1d853b533a557abdb9e995087ed26d07f1d329154e002ac6e2ff17b0e93a26d807ef7947b352a75d1c49c8069784304ee73b25cdacdd92019f6c80cbbfc8d13a255fa0793f983e267b622cb0c09171ef850d2f91a571db395a9dd08a8fd5913441c128b721aeaec1b91475df4ec21f540fc12eba67059cbacbde61a1895dceb2678d7300800986651d8496c9437dcf3bc8fc0efdc4bd61f31fe65c41d65c488c52ba5a8ff999d26230fa192385d9f9c4497405a8b7d679e1fc3a3706afa3a5150e6a88dfcf0121cea94c5dd89a760348404828f71eaa5fd895620e184c02b33c25050bf828e25ddd68def0d1fdb4397fb26b279025cc22ee882028129553142093e4bb8f3c29521305c738727eae33259baa231e2647fcb7c58b5d4e26f10dea0033921753ecb49d9fccb74d1b7d981f648026a8769c4950535230d530e09d86faa2b6b453482e7c543df8753a4aef32fbf411e7170a8c5082e6cd14e591322b81ccb2844eda056f82f5c1c667b4b7d7a2a50c4032c3079594eb75a8449d3d5ce8bc3661650d53f9b24d923d8f404cb0bbc91084d709650356d40f0158fd6da81f54eb5fe796a0ca89441369b7c24301f8511dd09e03db9d961dc49e74e58cabfbed3fb309686ca30e8792911b9194e8f9b02d1e5cbe65ea33a00e7f25f9cbee1d542c58ea99913f827baee138a6f2aab2632484220e6091fe2255841f40c64bf291bbc85c9854d083e1eb318f03abddeb030a92004a9f04527baed315a45cc534dd68b02cbe1cdfff48ed9d63be7b4da2e719be870b35e25ac606bc0e81bf66a03b8a7862521b0ee9e6738a572ff134e7e6151925d430c1cbc75318913f055f45c0b4dac33b2f987c45e030b1d4019f085e09ca7a9b77420946c0da2ec02e6b8c685b950c1a377c26e7b8ec9a449e932f79226d3640a6d6b873a61b020d9218104e90e00614aae841a5ff6742d69814de7d03555f9266f655c18ad5f0c8f7a448d4c2851405129009175a6b1e63d1e5be76028b490a9e7bc250a4a28b39be7c611881fe3854c5f4485c24ff669125efb7322b24c13a487578221b5bf8024d6cbf4363d425ae4557a010e93d7317affadecc080faed2107e528dc1d63fe61d7004e9d70b990b7daeaf1f5b53ba7a6be065c82ef943de70d89b002b86cd6d8a5b2bf71b75de98d1f11cbc3b211037b0b042030abd0a91f8132da3140abbe61cf28588d99754ab0fbe7877e886c45df951b4b8096963140247d364ab0ea9fc956fa4511c272ea6824ecab5ca2664fd5189baeb0d93e66a25e69d82a29f64ce4b858b2f50120e0d334b02bde9410e03148b3bb21ff25f6c0872ed7e29bb48c65c36b4e49be415d203244c7c44c5882f00c4812e2413ffd636c111bd30abc67c9ce478f7dde7f4187e6211cdde9e774e815bcd9f1da9ec5698691ae6e9aeedddddcc985056667a694483686093eb169369c634fa0bd8e858df949e3481e205652bc4b6f30e9581ad415ca32279402eca4454459401bf1e74e636882f1adbf6732e27d901cb1658e560c475f30c0263edbd2e289a149a686eed2b7ce6ffffa0503d013f49f82258bd981f7303eced08615342d9280e8daaf7739faae6ff542991224deb9c6184ea0ffdc9db216b134c6dadb568f1116a347b5a487fba7d5494cd2bb8c46efd35e63d644ddcb1d0cb37a2ffb040a019ac0e5f031ce82aecd40e55ab5e8bd82fd0877104a27cda9ab2757e7b13e3ef12375cb3087e5a45cfb9138c90e5d6642d25d128cd662cc2ea7c79f84e907d082335c96bbfeec1ff7fcbd4a4c863f4feaa9e96e1e978421fcc11b6795a7515c821cd29f3865cf6921470a23cb7be89240cef751dec50aa50ae86d24ab426856e1cd094dea552bd522e97561692d7349d9b1bf3f619fd0d72907930d8dec5db7318229a95a2f55a30f893a4340a21d06a5aa1e3e0af55669318bdc196acecf2400450f8716810dff987300c3bc10a892b1c1c2637db3f8fecd9d8bb38442cc46810005567f9eb3d3a97098baa0d71c65db2bf83f8a194086a4cca39916b578faf103bcf2cf468d53c71d57b5c0ab31231e12e1ce3a444583203ea04c16ec69eb20c5d6e7a8b0b14d4ed8f51217ae8af4207277f4116e0af5a9268b38a5d34910b0924c2d3fa7bd443b6244e3f29179883c120acb66ce414b5147c31531392c53007e5e59aa353dc977d4e082214179998a8086106f1eaaf33ee0b012cbd77066f132b76a71278e567595f3aaf837a72eb0ab515191143e5a3c8bd5875264866282c6b2a0de0a3fefdfc4fb4f3b8381d2c37ccc495848c2887f98bfbaca776ca39000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020f5e2881303db24f8788adfb02154431eebdce474c488803b97bebe9f904bfe72dccdbc7fa8df48412f9a580827ffb78c81d2e334900e25dae24d879fd41c780",
3
- "keyAsFields": [
4
- "0x0000000000000000000000000000000000000000000000000000000000000019",
5
- "0x0000000000000000000000000000000000000000000000000000000000000011",
6
- "0x0000000000000000000000000000000000000000000000000000000000000001",
7
- "0x2c74cbfc3178905fa9470f49296f1d853b533a557abdb9e995087ed26d07f1d3",
8
- "0x29154e002ac6e2ff17b0e93a26d807ef7947b352a75d1c49c8069784304ee73b",
9
- "0x25cdacdd92019f6c80cbbfc8d13a255fa0793f983e267b622cb0c09171ef850d",
10
- "0x2f91a571db395a9dd08a8fd5913441c128b721aeaec1b91475df4ec21f540fc1",
11
- "0x2eba67059cbacbde61a1895dceb2678d7300800986651d8496c9437dcf3bc8fc",
12
- "0x0efdc4bd61f31fe65c41d65c488c52ba5a8ff999d26230fa192385d9f9c44974",
13
- "0x05a8b7d679e1fc3a3706afa3a5150e6a88dfcf0121cea94c5dd89a7603484048",
14
- "0x28f71eaa5fd895620e184c02b33c25050bf828e25ddd68def0d1fdb4397fb26b",
15
- "0x279025cc22ee882028129553142093e4bb8f3c29521305c738727eae33259baa",
16
- "0x231e2647fcb7c58b5d4e26f10dea0033921753ecb49d9fccb74d1b7d981f6480",
17
- "0x26a8769c4950535230d530e09d86faa2b6b453482e7c543df8753a4aef32fbf4",
18
- "0x11e7170a8c5082e6cd14e591322b81ccb2844eda056f82f5c1c667b4b7d7a2a5",
19
- "0x0c4032c3079594eb75a8449d3d5ce8bc3661650d53f9b24d923d8f404cb0bbc9",
20
- "0x1084d709650356d40f0158fd6da81f54eb5fe796a0ca89441369b7c24301f851",
21
- "0x1dd09e03db9d961dc49e74e58cabfbed3fb309686ca30e8792911b9194e8f9b0",
22
- "0x2d1e5cbe65ea33a00e7f25f9cbee1d542c58ea99913f827baee138a6f2aab263",
23
- "0x2484220e6091fe2255841f40c64bf291bbc85c9854d083e1eb318f03abddeb03",
24
- "0x0a92004a9f04527baed315a45cc534dd68b02cbe1cdfff48ed9d63be7b4da2e7",
25
- "0x19be870b35e25ac606bc0e81bf66a03b8a7862521b0ee9e6738a572ff134e7e6",
26
- "0x151925d430c1cbc75318913f055f45c0b4dac33b2f987c45e030b1d4019f085e",
27
- "0x09ca7a9b77420946c0da2ec02e6b8c685b950c1a377c26e7b8ec9a449e932f79",
28
- "0x226d3640a6d6b873a61b020d9218104e90e00614aae841a5ff6742d69814de7d",
29
- "0x03555f9266f655c18ad5f0c8f7a448d4c2851405129009175a6b1e63d1e5be76",
30
- "0x028b490a9e7bc250a4a28b39be7c611881fe3854c5f4485c24ff669125efb732",
31
- "0x2b24c13a487578221b5bf8024d6cbf4363d425ae4557a010e93d7317affadecc",
32
- "0x080faed2107e528dc1d63fe61d7004e9d70b990b7daeaf1f5b53ba7a6be065c8",
33
- "0x2ef943de70d89b002b86cd6d8a5b2bf71b75de98d1f11cbc3b211037b0b04203",
34
- "0x0abd0a91f8132da3140abbe61cf28588d99754ab0fbe7877e886c45df951b4b8",
35
- "0x096963140247d364ab0ea9fc956fa4511c272ea6824ecab5ca2664fd5189baeb",
36
- "0x0d93e66a25e69d82a29f64ce4b858b2f50120e0d334b02bde9410e03148b3bb2",
37
- "0x1ff25f6c0872ed7e29bb48c65c36b4e49be415d203244c7c44c5882f00c4812e",
38
- "0x2413ffd636c111bd30abc67c9ce478f7dde7f4187e6211cdde9e774e815bcd9f",
39
- "0x1da9ec5698691ae6e9aeedddddcc985056667a694483686093eb169369c634fa",
40
- "0x0bd8e858df949e3481e205652bc4b6f30e9581ad415ca32279402eca44544594",
41
- "0x01bf1e74e636882f1adbf6732e27d901cb1658e560c475f30c0263edbd2e289a",
42
- "0x149a686eed2b7ce6ffffa0503d013f49f82258bd981f7303eced08615342d928",
43
- "0x0e8daaf7739faae6ff542991224deb9c6184ea0ffdc9db216b134c6dadb568f1",
44
- "0x116a347b5a487fba7d5494cd2bb8c46efd35e63d644ddcb1d0cb37a2ffb040a0",
45
- "0x19ac0e5f031ce82aecd40e55ab5e8bd82fd0877104a27cda9ab2757e7b13e3ef",
46
- "0x12375cb3087e5a45cfb9138c90e5d6642d25d128cd662cc2ea7c79f84e907d08",
47
- "0x2335c96bbfeec1ff7fcbd4a4c863f4feaa9e96e1e978421fcc11b6795a7515c8",
48
- "0x21cd29f3865cf6921470a23cb7be89240cef751dec50aa50ae86d24ab426856e",
49
- "0x1cd094dea552bd522e97561692d7349d9b1bf3f619fd0d72907930d8dec5db73",
50
- "0x18229a95a2f55a30f893a4340a21d06a5aa1e3e0af55669318bdc196acecf240",
51
- "0x0450f8716810dff987300c3bc10a892b1c1c2637db3f8fecd9d8bb38442cc468",
52
- "0x10005567f9eb3d3a97098baa0d71c65db2bf83f8a194086a4cca39916b578faf",
53
- "0x103bcf2cf468d53c71d57b5c0ab31231e12e1ce3a444583203ea04c16ec69eb2",
54
- "0x0c5d6e7a8b0b14d4ed8f51217ae8af4207277f4116e0af5a9268b38a5d34910b",
55
- "0x0924c2d3fa7bd443b6244e3f29179883c120acb66ce414b5147c31531392c530",
56
- "0x07e5e59aa353dc977d4e082214179998a8086106f1eaaf33ee0b012cbd77066f",
57
- "0x132b76a71278e567595f3aaf837a72eb0ab515191143e5a3c8bd587526486628",
58
- "0x2c6b2a0de0a3fefdfc4fb4f3b8381d2c37ccc495848c2887f98bfbaca776ca39",
59
- "0x0000000000000000000000000000000000000000000000000000000000000001",
60
- "0x0000000000000000000000000000000000000000000000000000000000000002",
61
- "0x0f5e2881303db24f8788adfb02154431eebdce474c488803b97bebe9f904bfe7",
62
- "0x2dccdbc7fa8df48412f9a580827ffb78c81d2e334900e25dae24d879fd41c780"
63
- ]
64
- }
package/artifacts/mock_rollup_base_private.json DELETED
@@ -1 +0,0 @@
1
- {"noir_version":"1.0.0-beta.11+5b65f9637e85a4177692c3190cb35ea678fb15e9-aztec","hash":"7656801823992466972","abi":{"parameters":[{"name":"tube_data","type":{"kind":"struct","path":"mock_types::TubeData","fields":[{"name":"public_inputs","type":{"kind":"struct","path":"mock_types::KernelPublicInputs","fields":[{"name":"commitments","type":{"kind":"array","length":4,"type":{"kind":"field"}}}]}},{"name":"proof","type":{"kind":"array","length":535,"type":{"kind":"field"}}},{"name":"vk_data","type":{"kind":"struct","path":"types::proof::verification_key::VerificationKey","fields":[{"name":"key","type":{"kind":"array","length":115,"type":{"kind":"field"}}},{"name":"hash","type":{"kind":"field"}}]}}]},"visibility":"private"}],"return_type":{"abi_type":{"kind":"struct","path":"mock_types::RollupPublicInputs","fields":[{"name":"accumulated","type":{"kind":"integer","sign":"unsigned","width":32}}]},"visibility":"public"},"error_types":{}},"bytecode":"H4sIAAAAAAAA/43ZU5SdZxhH8XNObFsT2/bEtj2xbc/ERlNzartNkzK13ca2bTa7385K2l40Z63kdxFNLmat/36fcCj4JNThvQePWBEJhRKE/vsJa5SW6ddyzK6y8UXXtG6wOi6uc48i5Q82nrx21Mp6u86tOnnz1/l7okJ39Qnzd6e4+WPsHf9WjkhgTs2luTWPRmlezaf5tYAW1EJaWItoUS2mxbWEltRSWlrLaFktp+W1glbUSlpZq2hVrabVtYbW1FpaW6O1jtbVelpfG2hDbaSNtYk21WbaXFtoS22lrbWNttV22l47aEftpJ21i3bVbtpde2hP7aUx2lv7aF/tp/11gA7UQTpYh+hQHabDdYSO1FE6WsfoWB2n43WCTtRJOlmn6FSdptN1hs7UWI3TWTpb5+hcnafzdYEu1EW6WJfo0ptmidz+/kyoiTSxJtGkmkyTawpNqak0tabRtJpO02sGzaiZNLNm0ayaTbNrDs2puTS35tEozav5NL8W0IJaSAtrES2qxbS4ltCSWkpLaxktq+W0vFbQilpJK2sVrarVtLrW0JpaS2trtNbRulpP62sDbaiNtLE20abaTJtrC22prbS1ttG22k7bawftqJ20s3bRrtpNu2sP7am9NEZ7ax/tq/20vw7QgTpIB+sQHarDdLiO0JE6SkfrGB2r43S8TtCJOkkn6xSdqtN0us7QmRqrcTpLZ+scnavzdL4u0IW6SBfrEl2qy3S5rtCVeo+u0nv1Pr1fH9AH9SF9WB/RR/UxfVyf0Hh9Up/Sp/UZfVaf0+f1BX1RX9KX9RV9VV/T1/UNfVPf0rf1HX1XV+t7ukbX6vv6gX6oH+nH+omu00/1M/1cv9Av9Sv9Wr/Rb/U7/V5/0B/1J/1Zf9Ff9Tf9Xf/QP3W9btCNukk36xbdqtt0u+7QnbpLd+se3av7dL8e0IN6SA/rET2qx/S4ntCTekpP6xk9q+f0vF7Qi3pJL+sVvarX9LreUH7CsEY0gSbURJpYk2hSTabJNYWm1FSaWtNoWk2n6TWDZtRMmlmzaFbNptk1h+bUXJpb82iU5tV8ml8LaEEtpIW1iBbVYlpcS2hJLaWltYyW1XJaXitoRa2klbWKVtVqWl1raE2tpbU1WutoXa2n9bWBNtRG2libaFNtps21hbbUVtpa22hbbafttYN21E7aWbtoV+2m3bWH9tReGqO9tY/21X7aXwfoQB2kg3WIDtVhOlxH6EgdpaN1jI7VcTpeJ+hEnaSTdYpO1Wk6XWfoTI3VOJ2ls3WOztV5Ol8X6EJdpIt1iS7VZbpcV+hKvUdX6b16n96vD+iD+pA+rI/oo/qYPq5PaLw+qU/p0/qMPqvP6fP6gr6oL+nL+oq+qq/p6/qGvqlv6dv6jr6rq/U9XaNr9X39QD/Uj/Rj/UTX6af6mX6uX+iX+pV+rd/ot/qdfq8/6I/6k/6sv+iv+pv+rn/on7peN+hG3aSbdYtu1W26XXfoTt2lu3WP7tV9ul8P6EE9pIf1iB7VY3pcT+hJPaWn9Yye1XN6Xi/oRb2kl/WKXtVrel1vaMjuD2tEE2hCTaSJNYkm1WSaXFNoSk2lqTWNptV0ml4zaEbNpJk1i2bVbJo9cvudM3yHt35ENIEui9x+21jhu0foX38+KnRXn/DyyO3f+3/vpssj//x3In5NfO18Pbyz8MbC+wpvK7yr8KbCewpvKbyj8IbC+wlvJ7yb8GbCewlvJbyT8EbC+whvI7yL8CbCewhvIbyD5PH/ljcUvHvw5sF7B28dvHPwxsH7Bm8bvGvwpsF7Bm8ZvGPwhsH7BW8XvFvwZsF7BW8VvFPwRsH7BG8TvEvwJsF7BG8RvEPwBhEdCt4eeHfgzYH3Bt4aeGfgjYH3Bd4WeFfgTYH3BN4SeEfgDYH3A94OeDfgzYD3At4KeCfgjYD3Ad4GeBfgTYD3AN4CeAfgDSAmFLQ/3U/z0/u0Pp1P49P3tD1dT9PT87Q8HU/D0++0O91Os9PrtDqdTqPT57Q5XU6T0+O0OB1Og8eGgvamu2luepvWprNpbPqatqaraWp6mpamo2lo+pl2pptpZnqZVqaTaWT6mDami2liepgWpoNp4PhQ0L50L81L79K6dC6NS9/StnQtTUvP0rJ0LA1Lv9KudCvNSq/SqnQqjUqf0qZ0KU1Kj9KidCgNui4UtCfdSXPSm7QmnUlj0pe0JV1JU9KTtCQdSUPSj7Qj3Ugz0ou0Ip1II9KHtCFdSBPSg7QgHUgD7gwF7Uf30Xz0Hq1H59F49B1tR9fRdPQcLUfH0XB8L9NudBvNRq/RanQajUaf0WZ0GU1Gj9FidBgNxjc/7UV30Vz0Fq1FZ9FY9BVtRVfRVPQULUVH0VD0E+1EN9FM9BKtRCfRSPQRbUQX0UT0EC1EB9FAUeGgfegemofeoXXoHBqHvqFt6Bqahp6hZegYGoZ+oV3oFpqFXqFV6BQahT6hTegSmoQeoUXoEBokOhy0B91Bc9AbtAadQWPQF7QFXUFT0BO0BB1BQ9APtAPdQDPQC7QCnUAj0Ae0AV1AE9ADtAAdQAPEhIPtz+5n87P32frsfDY++55tz65n07Pn2fLseDY8+53tzm5ns7PX2ersdDY6+5xtzi5nk7PH2eLscDZ4bDjY3uxuNjd7m63NzmZjs6/Z1uxqNjV7mi3NjmZDs5/ZzuxmNjN7ma3MTmYjs4/ZxuxiNjF7mC3MDmYDx4eD7cvuZfOyd9m67Fw2LvuWbcuuZdOyZ9my7Fg2LPuV7cpuZbOyV9mq7FQ2KvuUbcouZZOyR9mi7FA26LpwsD3ZnWxO9iZbk53JxmRfsi3ZlWxK9iRbkh3JhmQ/sh3ZjWxG9iJbkZ3IRmQfsg3ZhWxC9iBbkB3IBtwZDrYfu4/Nx95j67Hz2HjsO7Ydu45Nx55jy7Hj2HDsN7Ybu43Nxl5jq7HT2GjsM7YZu4xNxh5ji7HD2GB/769IsLvYXOwtthY7i43FvmJbsavYVOwpthQ7ig3FfmI7sZvYTOwltlJm7zjsI7YRu4hbK3dWbqzcV7mtclflpso9lVsqd1RuqNxPuZ1yN+Vmyr2UWyl3Um6k3Ee5jXIX5SbKPZRbKHdQbqDcP7l9cvfk5sm9k1snd05unNw3uW1y1+SmyT2TWyZ3TG6Y3C+5XXK35GbJvZJbJXdKbpTcJ7lNcpfkJsk9klskd0hukNwfuT1yd+TmyL2RWyN3Rm6M3Be5LXJX5KbIPZFbIndEbojcD7kdcjfkZsi9kFshd0JuhNwHuQ1yF+QmyD2QWyB3QG6A3P+4/XH34+bHvY9bH3c+bnzc97jtcdfjpsc9j1sedzxueNzvuN1xt+Nmx72OWx13Om507NZbn7DeuSlvff4C94pf5/wfAAA=","debug_symbols":"jZLNroMgEIXfhbULhz9tX+XmxqBiQ0LQULjJjeHdiwa0Lmi6YZgZzgeczIpG2ftHp8w0P9H9Z0W9VVqrR6fnQTg1m1hdQ4Vy2jkrZSyht35ULcJK49DdeK0r9Ce03w89F2H26ISN3bpC0owxRuCktNx2oTrVdVkKwJIYCBxydtVDWc8w4wnASM1OAlwIuExooMlPaDBuDwIwekGQMoLSliQEpbfTBWi/RzCe/0F5DUXEJyvI4SWjN1qygpcJBHOcCITQ00yMQ/iNmRiUvQwQqqNpFYK4hg1rlei1TKM1eTO8TZr7X3Inz+Ji50GO3soNuvfiNS8=","file_map":{"22":{"source":"pub mod hash;\npub mod aes128;\npub mod array;\npub mod slice;\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\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\nmod tests {\n use super::ops::arith::WrappingMul;\n\n #[test(should_fail_with = \"custom message\")]\n fn test_static_assert_custom_message() {\n super::static_assert(1 == 2, \"custom message\");\n }\n\n #[test]\n fn test_wrapping_mul() {\n let zero: u128 = 0;\n let one: u128 = 1;\n let two_pow_64: u128 = 0x10000000000000000;\n let u128_max: u128 = 0xffffffffffffffffffffffffffffffff;\n\n // 1*0==0\n assert_eq(zero, zero.wrapping_mul(one));\n\n // 0*1==0\n assert_eq(zero, one.wrapping_mul(zero));\n\n // 1*1==1\n assert_eq(one, one.wrapping_mul(one));\n\n // 0 * ( 1 << 64 ) == 0\n assert_eq(zero, zero.wrapping_mul(two_pow_64));\n\n // ( 1 << 64 ) * 0 == 0\n assert_eq(zero, two_pow_64.wrapping_mul(zero));\n\n // 1 * ( 1 << 64 ) == 1 << 64\n assert_eq(two_pow_64, two_pow_64.wrapping_mul(one));\n\n // ( 1 << 64 ) * 1 == 1 << 64\n assert_eq(two_pow_64, one.wrapping_mul(two_pow_64));\n\n // ( 1 << 64 ) * ( 1 << 64 ) == 1 << 64\n assert_eq(zero, two_pow_64.wrapping_mul(two_pow_64));\n // -1 * -1 == 1\n assert_eq(one, u128_max.wrapping_mul(u128_max));\n }\n}\n","path":"std/lib.nr"},"50":{"source":"use dep::mock_types::{RollupPublicInputs, TubeData};\n\nfn main(tube_data: TubeData) -> pub RollupPublicInputs {\n tube_data.verify();\n RollupPublicInputs::new(1)\n}\n","path":"/home/aztec-dev/aztec-packages/noir-projects/mock-protocol-circuits/crates/mock-rollup-base-private/src/main.nr"},"51":{"source":"pub global MAX_COMMITMENTS_PER_CALL: u32 = 2;\npub global MAX_COMMITMENTS_PER_TX: u32 = 4;\npub global MAX_COMMITMENT_READ_REQUESTS_PER_CALL: u32 = 2;\npub global MAX_COMMITMENT_READ_REQUESTS_PER_TX: u32 = 4;\n\npub use protocol_types::{\n abis::avm_circuit_public_inputs::AvmCircuitPublicInputs,\n constants::{\n AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED,\n MEGA_VK_LENGTH_IN_FIELDS, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, PROOF_TYPE_AVM,\n PROOF_TYPE_OINK, PROOF_TYPE_PG, PROOF_TYPE_PG_FINAL, PROOF_TYPE_PG_TAIL,\n PROOF_TYPE_ROLLUP_HONK, PROOF_TYPE_ROOT_ROLLUP_HONK, TUBE_PROOF_LENGTH,\n ULTRA_VK_LENGTH_IN_FIELDS,\n },\n proof::verification_key::{RollupHonkVerificationKey, VerificationKey},\n traits::Serialize,\n};\n\npub struct TxRequest {\n pub number_of_calls: u32,\n}\n\npub struct AppPublicInputs {\n pub commitments: [Field; MAX_COMMITMENTS_PER_CALL],\n pub read_requests: [Field; MAX_COMMITMENT_READ_REQUESTS_PER_CALL],\n}\n\nimpl Default for AppPublicInputs {\n fn default() -> Self {\n Self {\n commitments: [0; MAX_COMMITMENTS_PER_CALL],\n read_requests: [0; MAX_COMMITMENT_READ_REQUESTS_PER_CALL],\n }\n }\n}\n\npub struct PrivateKernelPublicInputs {\n pub remaining_calls: u32,\n pub commitments: [Field; MAX_COMMITMENTS_PER_TX],\n pub read_requests: [Field; MAX_COMMITMENT_READ_REQUESTS_PER_TX],\n}\n\nimpl Default for PrivateKernelPublicInputs {\n fn default() -> Self {\n Self {\n remaining_calls: 0,\n commitments: [0; MAX_COMMITMENTS_PER_TX],\n read_requests: [0; MAX_COMMITMENT_READ_REQUESTS_PER_TX],\n }\n }\n}\n\npub struct PrivateKernelPublicInputsBuilder {\n pub remaining_calls: u32,\n pub commitments: BoundedVec<Field, MAX_COMMITMENTS_PER_TX>,\n pub read_requests: BoundedVec<Field, MAX_COMMITMENT_READ_REQUESTS_PER_TX>,\n}\n\nimpl PrivateKernelPublicInputsBuilder {\n pub fn from_tx(tx: TxRequest) -> Self {\n Self {\n remaining_calls: tx.number_of_calls,\n commitments: BoundedVec::new(),\n read_requests: BoundedVec::new(),\n }\n }\n\n pub fn from_previous_kernel(prev_kernel_public_inputs: PrivateKernelPublicInputs) -> Self {\n let mut builder = PrivateKernelPublicInputsBuilder {\n remaining_calls: prev_kernel_public_inputs.remaining_calls,\n commitments: BoundedVec::new(),\n read_requests: BoundedVec::new(),\n };\n for i in 0..MAX_COMMITMENTS_PER_TX {\n if prev_kernel_public_inputs.commitments[i] != 0 {\n builder.commitments.push(prev_kernel_public_inputs.commitments[i]);\n }\n }\n for i in 0..MAX_COMMITMENT_READ_REQUESTS_PER_TX {\n if prev_kernel_public_inputs.read_requests[i] != 0 {\n builder.read_requests.push(prev_kernel_public_inputs.read_requests[i]);\n }\n }\n builder\n }\n\n pub fn ingest_app_inputs(&mut self, app_inputs: AppPublicInputs) {\n for i in 0..MAX_COMMITMENTS_PER_CALL {\n if app_inputs.commitments[i] != 0 {\n self.commitments.push(app_inputs.commitments[i]);\n }\n }\n\n for i in 0..MAX_COMMITMENT_READ_REQUESTS_PER_CALL {\n if app_inputs.read_requests[i] != 0 {\n self.read_requests.push(app_inputs.read_requests[i]);\n }\n }\n\n self.remaining_calls -= 1;\n }\n\n pub fn finish(self) -> PrivateKernelPublicInputs {\n PrivateKernelPublicInputs {\n remaining_calls: self.remaining_calls,\n commitments: self.commitments.storage(),\n read_requests: self.read_requests.storage(),\n }\n }\n}\n\n#[derive(Serialize)]\npub struct KernelPublicInputs {\n pub commitments: [Field; MAX_COMMITMENTS_PER_TX],\n}\n\nimpl Default for KernelPublicInputs {\n fn default() -> Self {\n Self { commitments: [0; MAX_COMMITMENTS_PER_TX] }\n }\n}\n\n#[derive(Serialize)]\npub struct RollupPublicInputs {\n accumulated: u32,\n}\n\nimpl RollupPublicInputs {\n pub fn new(accumulated: u32) -> Self {\n Self { accumulated }\n }\n\n pub fn merge(self, other: Self) -> Self {\n Self { accumulated: self.accumulated + other.accumulated }\n }\n}\n\npub struct PreviousRollupData {\n base_or_merge_public_inputs: RollupPublicInputs,\n proof: [Field; NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH],\n vk: RollupHonkVerificationKey,\n}\n\nimpl PreviousRollupData {\n pub fn verify(self, is_root: bool) {\n let inputs = self.base_or_merge_public_inputs.serialize();\n\n std::verify_proof_with_type(\n self.vk.key,\n self.proof,\n inputs,\n self.vk.hash,\n if is_root {\n PROOF_TYPE_ROOT_ROLLUP_HONK\n } else {\n PROOF_TYPE_ROLLUP_HONK\n },\n );\n }\n\n pub fn public_inputs(self) -> RollupPublicInputs {\n self.base_or_merge_public_inputs\n }\n}\n\npub struct TubeData {\n pub public_inputs: KernelPublicInputs,\n pub proof: [Field; TUBE_PROOF_LENGTH],\n pub vk_data: VerificationKey<ULTRA_VK_LENGTH_IN_FIELDS>,\n}\n\nimpl TubeData {\n pub fn verify(self) {\n let inputs = KernelPublicInputs::serialize(self.public_inputs);\n std::verify_proof_with_type(\n self.vk_data.key,\n self.proof,\n inputs,\n self.vk_data.hash,\n PROOF_TYPE_ROLLUP_HONK,\n );\n }\n}\n","path":"/home/aztec-dev/aztec-packages/noir-projects/mock-protocol-circuits/crates/mock-types/src/lib.nr"}},"expression_width":{"Bounded":{"width":4}}}