@aztec/ivc-integration 3.0.0-canary.a9708bd → 3.0.0-devnet.2-patch.1

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 (70) hide show
  1. package/artifacts/app_creator.json +190 -1
  2. package/artifacts/app_reader.json +190 -1
  3. package/artifacts/keys/avm.vk +0 -0
  4. package/artifacts/keys/mock_hiding.ivc.vk +0 -0
  5. package/artifacts/keys/mock_rollup_root_verifier.sol +2219 -5052
  6. package/artifacts/mock_hiding.json +224 -1
  7. package/artifacts/mock_private_kernel_init.json +287 -1
  8. package/artifacts/mock_private_kernel_inner.json +337 -1
  9. package/artifacts/mock_private_kernel_reset.json +273 -1
  10. package/artifacts/mock_private_kernel_tail.json +242 -1
  11. package/artifacts/mock_rollup_root.json +241 -1
  12. package/artifacts/mock_rollup_tx_base_private.json +232 -0
  13. package/artifacts/mock_rollup_tx_base_public.json +1420 -0
  14. package/artifacts/mock_rollup_tx_merge.json +297 -0
  15. package/dest/bb_working_directory.d.ts +1 -1
  16. package/dest/index.d.ts +1 -1
  17. package/dest/prove_native.d.ts +6 -6
  18. package/dest/prove_native.d.ts.map +1 -1
  19. package/dest/prove_native.js +22 -39
  20. package/dest/scripts/generate_declaration_files.d.ts +1 -1
  21. package/dest/scripts/generate_declaration_files.js +0 -6
  22. package/dest/scripts/generate_ts_from_abi.d.ts +1 -1
  23. package/dest/scripts/generate_ts_from_abi.js +3 -3
  24. package/dest/serve.d.ts +1 -1
  25. package/dest/serve.js +34 -17
  26. package/dest/types/index.d.ts +26 -26
  27. package/dest/types/index.d.ts.map +1 -1
  28. package/dest/types/index.js +8 -8
  29. package/dest/witgen.d.ts +52 -22
  30. package/dest/witgen.d.ts.map +1 -1
  31. package/dest/witgen.js +48 -47
  32. package/package.json +23 -25
  33. package/src/prove_native.ts +26 -59
  34. package/src/scripts/generate_declaration_files.ts +0 -8
  35. package/src/scripts/generate_ts_from_abi.ts +3 -3
  36. package/src/serve.ts +43 -16
  37. package/src/types/index.ts +31 -31
  38. package/src/witgen.ts +60 -34
  39. package/artifacts/keys/app_creator.vk.data.d.json.ts +0 -2
  40. package/artifacts/keys/app_creator.vk.data.json +0 -132
  41. package/artifacts/keys/app_reader.vk.data.d.json.ts +0 -2
  42. package/artifacts/keys/app_reader.vk.data.json +0 -132
  43. package/artifacts/keys/mock_hiding.vk.data.d.json.ts +0 -2
  44. package/artifacts/keys/mock_hiding.vk.data.json +0 -132
  45. package/artifacts/keys/mock_private_kernel_init.vk.data.d.json.ts +0 -2
  46. package/artifacts/keys/mock_private_kernel_init.vk.data.json +0 -132
  47. package/artifacts/keys/mock_private_kernel_inner.vk.data.d.json.ts +0 -2
  48. package/artifacts/keys/mock_private_kernel_inner.vk.data.json +0 -132
  49. package/artifacts/keys/mock_private_kernel_reset.vk.data.d.json.ts +0 -2
  50. package/artifacts/keys/mock_private_kernel_reset.vk.data.json +0 -132
  51. package/artifacts/keys/mock_private_kernel_tail.vk.data.d.json.ts +0 -2
  52. package/artifacts/keys/mock_private_kernel_tail.vk.data.json +0 -132
  53. package/artifacts/keys/mock_rollup_base_private.vk.data.d.json.ts +0 -2
  54. package/artifacts/keys/mock_rollup_base_private.vk.data.json +0 -120
  55. package/artifacts/keys/mock_rollup_base_public.vk.data.d.json.ts +0 -2
  56. package/artifacts/keys/mock_rollup_base_public.vk.data.json +0 -120
  57. package/artifacts/keys/mock_rollup_merge.vk.data.d.json.ts +0 -2
  58. package/artifacts/keys/mock_rollup_merge.vk.data.json +0 -120
  59. package/artifacts/keys/mock_rollup_root.vk.data.d.json.ts +0 -2
  60. package/artifacts/keys/mock_rollup_root.vk.data.json +0 -64
  61. package/artifacts/mock_rollup_base_private.json +0 -1
  62. package/artifacts/mock_rollup_base_public.json +0 -1
  63. package/artifacts/mock_rollup_merge.json +0 -1
  64. package/dest/prove_wasm.d.ts +0 -4
  65. package/dest/prove_wasm.d.ts.map +0 -1
  66. package/dest/prove_wasm.js +0 -36
  67. package/src/prove_wasm.ts +0 -57
  68. /package/artifacts/{mock_rollup_base_private.d.json.ts → mock_rollup_tx_base_private.d.json.ts} +0 -0
  69. /package/artifacts/{mock_rollup_base_public.d.json.ts → mock_rollup_tx_base_public.d.json.ts} +0 -0
  70. /package/artifacts/{mock_rollup_merge.d.json.ts → mock_rollup_tx_merge.d.json.ts} +0 -0
@@ -1,120 +0,0 @@
1
- {
2
- "keyAsBytes": "0000000000000000000000000000000000000000000000000000000000000016000000000000000000000000000000000000000000000000000000000000001b0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000e9c23809e3edc056548d96cfac442399cc0000000000000000000000000000000000299287a56d2b3880d159bf47db504e000000000000000000000000000000f6a557004bc532416b936a970b32d4098000000000000000000000000000000000002e78d84cffe4e858147e11397c872a000000000000000000000000000000f52cb9cc4e99f48a09eabc25bb48b6f60f000000000000000000000000000000000028f3b6c7005075b1a74fba966eebb3000000000000000000000000000000639b80ed8f82f8a57510aa2560c1e7b3cf00000000000000000000000000000000000a98c2d0e92d0fcbe96fa3f761c689000000000000000000000000000000b6a4eb7fc0092fb4cd20259c65f111fcb400000000000000000000000000000000001395d3ac31c38604cb87c87ce37e7a000000000000000000000000000000158e090aaca685c9c622e4a9974c966d0c00000000000000000000000000000000002d175257c1edeaee0d66c7bb7121d600000000000000000000000000000036ea76e58dcccf639c735e5bf869d3f76b0000000000000000000000000000000000246c0acea71f4f7515920f9f662582000000000000000000000000000000d05103d6ef9dc19c4378496e5c89c547be00000000000000000000000000000000000a9d0d6623e3f19e7bc2e2356373420000000000000000000000000000001e766f472344f88ef6ebde6d2db869869a000000000000000000000000000000000015012c977ac7856c46ece789cda6bf0000000000000000000000000000000f32827c0f5314033165f0e7e5ae72dd700000000000000000000000000000000000195a8794db8d767addb6e5ad70dc100000000000000000000000000000002434f4b1301f16031efef6c38633d9569e000000000000000000000000000000000012bbb8c038a93e1792e2f59e2f95e000000000000000000000000000000034bf455921d47465058c9788e3384b9d54000000000000000000000000000000000002714a0a57995b7f23cacc78a10b29000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db000000000000000000000000000000000025043141e7a515687c6d80d0853b760000000000000000000000000000003447e05ab4400999c9704862944ef03bb300000000000000000000000000000000000d8d5f85133d06d56249c6463ac0230000000000000000000000000000008ac6c533a6b1e6cbdfe8f063440245494f0000000000000000000000000000000000096fe10999a224cc898adaee926fae000000000000000000000000000000233dba3f7b88dd004fac4b423f3507a8570000000000000000000000000000000000018260ef27673c8e7ec6f81935539800000000000000000000000000000050ecc8a670b32f49a23ff5c73342ccdfe200000000000000000000000000000000001570f51612dd385d75f70c7a432c1a00000000000000000000000000000056ef0f4119faf4295ebb2ebe41ac044ee100000000000000000000000000000000000cbabaee662fce96bb7c859e448505000000000000000000000000000000026eb0eb16dd1c423943e7515e31cef71800000000000000000000000000000000001cc67a53409dc3f71d3b40ec286b90000000000000000000000000000000f06abe6440d5f58198571c0af484b6aa5200000000000000000000000000000000000d90150cef46884ee50e6aa3d17e60000000000000000000000000000000f6b0f4e96585ce492fb47f3ada7dadef8900000000000000000000000000000000001710bfde4bd4c12da93e2ca266342400000000000000000000000000000006cf104cc5856f5da9df32e6f5e619083000000000000000000000000000000000002ba7c7727e8a320ea459a886ebd4c3000000000000000000000000000000c0d8457e7a45d2d37af8319015d4d9716700000000000000000000000000000000001ab4a1ba09a614bf073500ff7e36c00000000000000000000000000000006b3a34117d436dbf3c2e390170b73e3a9300000000000000000000000000000000002a3889ef2b81665ea6cc9db5ab4742000000000000000000000000000000bdbc4fe3a57a84c22dee9cc74e9b99ed7000000000000000000000000000000000002c5d98db921eaeb4c5d8496d15f658000000000000000000000000000000e0c0cefdbd25597f10ccb7c2d198ca75cd000000000000000000000000000000000017a3edd1bf13f9d715c71cf34c31eb0000000000000000000000000000009469743e1058f440d9b6cba1b8fe601b1300000000000000000000000000000000001fab1060b892cadc48f207311ce2e10000000000000000000000000000008650bf5edbda7aac119a047e84b59d606c000000000000000000000000000000000005d21ec20b696ad737d6148ba82b6f0000000000000000000000000000004c3fbc77d23665ac0fbd2991b654efab820000000000000000000000000000000000205e74c2872e9c7a200789e190ef00000000000000000000000000000000aa20eb57e9def7ff319e0ae08ba738ec7b0000000000000000000000000000000000125fe4b9ea33cef56ad9152459fda60000000000000000000000000000001337088355db0e16b31969b3c5ceba538100000000000000000000000000000000001e3dacfeef499e2f96035a263f42f8000000000000000000000000000000c039da18dc25a0f92b2b3067faef2302d500000000000000000000000000000000002c5f769171d9db5150e16e8cbedec6000000000000000000000000000000bb8e64974a7c4e8c9ce812ca7001e766a800000000000000000000000000000000002a3e9010bc44367cff06d1dba8f7ee000000000000000000000000000000c2750c675ec5d7268e51c0d4941ce345eb000000000000000000000000000000000000f539983b91676cd825cdeee68f04000000000000000000000000000000318a944a1b799085b3d50783e3b77d8a4b00000000000000000000000000000000001ccacfe79658a4384f47412656528d0000000000000000000000000000003dba0b92f5b057046287f7151b6acbf82500000000000000000000000000000000001c45fc8c0a318b63459485b755e68100000000000000000000000000000033813f4174c329a19da0dc03281d735a9000000000000000000000000000000000002ca91c2c82fd47bbb8f49cb33ad0cf00000000000000000000000000000034d68c0aad58281fe7fca0e89cffe8c09800000000000000000000000000000000000dac6e7afb7f14316c17d66fb66a8500000000000000000000000000000035c5c9ccc12057156f9d2871e6a6f2f868000000000000000000000000000000000021c9829c78fa09cf10617cb51d4a770000000000000000000000000000008ae94155fa8984c43a3d4cff4bed7cbc7e000000000000000000000000000000000022c28aac79506b4ab7146258eb472e0000000000000000000000000000006dc55576b4f85909e9fe9b4f2928a75f3600000000000000000000000000000000002e88671812a4c09f770c3f9c676950000000000000000000000000000000e33735dfc5c0bbd831ddb2db211ae2904600000000000000000000000000000000002cfc60cb8d89cc756783ab035cd027000000000000000000000000000000856b3e8f99d5899cedeed6504e58bc0d26000000000000000000000000000000000008ab6ecbbd81d1d2f80c89ca62059000000000000000000000000000000085d8f1e3a13b5e881212ad3477b6ca28fc00000000000000000000000000000000000292db64820617e7c2cf9821f2400e0000000000000000000000000000002b80d6b55199d55c762fbaec636a525f3e0000000000000000000000000000000000217f0ffe90bea51c49a1b331adae9c0000000000000000000000000000000ed2d8303f6f9c83d86d5c13f3fb4e99dd000000000000000000000000000000000009c45c61155d314160b50b20e35c940000000000000000000000000000009cf5a0abb80a3b2fe13b28fe8f315409b70000000000000000000000000000000000188a2ffed7f8cbe84c7a0f1b018cd000000000000000000000000000000085656153a6120eebdf3a488dccad95d00d000000000000000000000000000000000023cd626f5dde3ce81de0e7d4f74dc200000000000000000000000000000052c3cfa63996daa8314b276628262510920000000000000000000000000000000000061998dda79b7c5b9adc0113867766000000000000000000000000000000b3105a6e5e3268bb6240ed2c345f5ff3db0000000000000000000000000000000000225ce8d1f417dd9b831fe8022aa11d000000000000000000000000000000cf91f0cb73295831bc93869fc19cdbad9900000000000000000000000000000000001ee5d0cdde02f62e468b034f988c56000000000000000000000000000000183a142ac675e313630847be47fe912b9100000000000000000000000000000000001558e16ed49142b74e4a2085b2228700000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003e042ea7f07e19851eec4974c2c33d513700000000000000000000000000000000000445b0dbcd5f51f152503ec1ceb4d7000000000000000000000000000000b53a616982c902407598c8029fe1f2f8a400000000000000000000000000000000002d6c8b38fbe44a78dd43ebffe7c1fc",
3
- "keyAsFields": [
4
- "0x0000000000000000000000000000000000000000000000000000000000000016",
5
- "0x000000000000000000000000000000000000000000000000000000000000001b",
6
- "0x0000000000000000000000000000000000000000000000000000000000000001",
7
- "0x000000000000000000000000000000e9c23809e3edc056548d96cfac442399cc",
8
- "0x0000000000000000000000000000000000299287a56d2b3880d159bf47db504e",
9
- "0x000000000000000000000000000000f6a557004bc532416b936a970b32d40980",
10
- "0x00000000000000000000000000000000002e78d84cffe4e858147e11397c872a",
11
- "0x000000000000000000000000000000f52cb9cc4e99f48a09eabc25bb48b6f60f",
12
- "0x000000000000000000000000000000000028f3b6c7005075b1a74fba966eebb3",
13
- "0x000000000000000000000000000000639b80ed8f82f8a57510aa2560c1e7b3cf",
14
- "0x00000000000000000000000000000000000a98c2d0e92d0fcbe96fa3f761c689",
15
- "0x000000000000000000000000000000b6a4eb7fc0092fb4cd20259c65f111fcb4",
16
- "0x00000000000000000000000000000000001395d3ac31c38604cb87c87ce37e7a",
17
- "0x000000000000000000000000000000158e090aaca685c9c622e4a9974c966d0c",
18
- "0x00000000000000000000000000000000002d175257c1edeaee0d66c7bb7121d6",
19
- "0x00000000000000000000000000000036ea76e58dcccf639c735e5bf869d3f76b",
20
- "0x0000000000000000000000000000000000246c0acea71f4f7515920f9f662582",
21
- "0x000000000000000000000000000000d05103d6ef9dc19c4378496e5c89c547be",
22
- "0x00000000000000000000000000000000000a9d0d6623e3f19e7bc2e235637342",
23
- "0x0000000000000000000000000000001e766f472344f88ef6ebde6d2db869869a",
24
- "0x000000000000000000000000000000000015012c977ac7856c46ece789cda6bf",
25
- "0x0000000000000000000000000000000f32827c0f5314033165f0e7e5ae72dd70",
26
- "0x0000000000000000000000000000000000195a8794db8d767addb6e5ad70dc10",
27
- "0x0000000000000000000000000000002434f4b1301f16031efef6c38633d9569e",
28
- "0x000000000000000000000000000000000012bbb8c038a93e1792e2f59e2f95e0",
29
- "0x00000000000000000000000000000034bf455921d47465058c9788e3384b9d54",
30
- "0x000000000000000000000000000000000002714a0a57995b7f23cacc78a10b29",
31
- "0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db",
32
- "0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76",
33
- "0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3",
34
- "0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023",
35
- "0x0000000000000000000000000000008ac6c533a6b1e6cbdfe8f063440245494f",
36
- "0x0000000000000000000000000000000000096fe10999a224cc898adaee926fae",
37
- "0x000000000000000000000000000000233dba3f7b88dd004fac4b423f3507a857",
38
- "0x0000000000000000000000000000000000018260ef27673c8e7ec6f819355398",
39
- "0x00000000000000000000000000000050ecc8a670b32f49a23ff5c73342ccdfe2",
40
- "0x00000000000000000000000000000000001570f51612dd385d75f70c7a432c1a",
41
- "0x00000000000000000000000000000056ef0f4119faf4295ebb2ebe41ac044ee1",
42
- "0x00000000000000000000000000000000000cbabaee662fce96bb7c859e448505",
43
- "0x000000000000000000000000000000026eb0eb16dd1c423943e7515e31cef718",
44
- "0x00000000000000000000000000000000001cc67a53409dc3f71d3b40ec286b90",
45
- "0x000000000000000000000000000000f06abe6440d5f58198571c0af484b6aa52",
46
- "0x00000000000000000000000000000000000d90150cef46884ee50e6aa3d17e60",
47
- "0x000000000000000000000000000000f6b0f4e96585ce492fb47f3ada7dadef89",
48
- "0x00000000000000000000000000000000001710bfde4bd4c12da93e2ca2663424",
49
- "0x00000000000000000000000000000006cf104cc5856f5da9df32e6f5e6190830",
50
- "0x00000000000000000000000000000000002ba7c7727e8a320ea459a886ebd4c3",
51
- "0x000000000000000000000000000000c0d8457e7a45d2d37af8319015d4d97167",
52
- "0x00000000000000000000000000000000001ab4a1ba09a614bf073500ff7e36c0",
53
- "0x0000000000000000000000000000006b3a34117d436dbf3c2e390170b73e3a93",
54
- "0x00000000000000000000000000000000002a3889ef2b81665ea6cc9db5ab4742",
55
- "0x000000000000000000000000000000bdbc4fe3a57a84c22dee9cc74e9b99ed70",
56
- "0x00000000000000000000000000000000002c5d98db921eaeb4c5d8496d15f658",
57
- "0x000000000000000000000000000000e0c0cefdbd25597f10ccb7c2d198ca75cd",
58
- "0x000000000000000000000000000000000017a3edd1bf13f9d715c71cf34c31eb",
59
- "0x0000000000000000000000000000009469743e1058f440d9b6cba1b8fe601b13",
60
- "0x00000000000000000000000000000000001fab1060b892cadc48f207311ce2e1",
61
- "0x0000000000000000000000000000008650bf5edbda7aac119a047e84b59d606c",
62
- "0x000000000000000000000000000000000005d21ec20b696ad737d6148ba82b6f",
63
- "0x0000000000000000000000000000004c3fbc77d23665ac0fbd2991b654efab82",
64
- "0x0000000000000000000000000000000000205e74c2872e9c7a200789e190ef00",
65
- "0x000000000000000000000000000000aa20eb57e9def7ff319e0ae08ba738ec7b",
66
- "0x0000000000000000000000000000000000125fe4b9ea33cef56ad9152459fda6",
67
- "0x0000000000000000000000000000001337088355db0e16b31969b3c5ceba5381",
68
- "0x00000000000000000000000000000000001e3dacfeef499e2f96035a263f42f8",
69
- "0x000000000000000000000000000000c039da18dc25a0f92b2b3067faef2302d5",
70
- "0x00000000000000000000000000000000002c5f769171d9db5150e16e8cbedec6",
71
- "0x000000000000000000000000000000bb8e64974a7c4e8c9ce812ca7001e766a8",
72
- "0x00000000000000000000000000000000002a3e9010bc44367cff06d1dba8f7ee",
73
- "0x000000000000000000000000000000c2750c675ec5d7268e51c0d4941ce345eb",
74
- "0x000000000000000000000000000000000000f539983b91676cd825cdeee68f04",
75
- "0x000000000000000000000000000000318a944a1b799085b3d50783e3b77d8a4b",
76
- "0x00000000000000000000000000000000001ccacfe79658a4384f47412656528d",
77
- "0x0000000000000000000000000000003dba0b92f5b057046287f7151b6acbf825",
78
- "0x00000000000000000000000000000000001c45fc8c0a318b63459485b755e681",
79
- "0x00000000000000000000000000000033813f4174c329a19da0dc03281d735a90",
80
- "0x00000000000000000000000000000000002ca91c2c82fd47bbb8f49cb33ad0cf",
81
- "0x00000000000000000000000000000034d68c0aad58281fe7fca0e89cffe8c098",
82
- "0x00000000000000000000000000000000000dac6e7afb7f14316c17d66fb66a85",
83
- "0x00000000000000000000000000000035c5c9ccc12057156f9d2871e6a6f2f868",
84
- "0x000000000000000000000000000000000021c9829c78fa09cf10617cb51d4a77",
85
- "0x0000000000000000000000000000008ae94155fa8984c43a3d4cff4bed7cbc7e",
86
- "0x000000000000000000000000000000000022c28aac79506b4ab7146258eb472e",
87
- "0x0000000000000000000000000000006dc55576b4f85909e9fe9b4f2928a75f36",
88
- "0x00000000000000000000000000000000002e88671812a4c09f770c3f9c676950",
89
- "0x000000000000000000000000000000e33735dfc5c0bbd831ddb2db211ae29046",
90
- "0x00000000000000000000000000000000002cfc60cb8d89cc756783ab035cd027",
91
- "0x000000000000000000000000000000856b3e8f99d5899cedeed6504e58bc0d26",
92
- "0x000000000000000000000000000000000008ab6ecbbd81d1d2f80c89ca620590",
93
- "0x00000000000000000000000000000085d8f1e3a13b5e881212ad3477b6ca28fc",
94
- "0x00000000000000000000000000000000000292db64820617e7c2cf9821f2400e",
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
- "0x0000000000000000000000000000003e042ea7f07e19851eec4974c2c33d5137",
116
- "0x00000000000000000000000000000000000445b0dbcd5f51f152503ec1ceb4d7",
117
- "0x000000000000000000000000000000b53a616982c902407598c8029fe1f2f8a4",
118
- "0x00000000000000000000000000000000002d6c8b38fbe44a78dd43ebffe7c1fc"
119
- ]
120
- }
@@ -1,2 +0,0 @@
1
- const vk: { keyAsBytes: string; keyAsFields: string[] };
2
- export = vk;
@@ -1,120 +0,0 @@
1
- {
2
- "keyAsBytes": "0000000000000000000000000000000000000000000000000000000000000015000000000000000000000000000000000000000000000000000000000000001b00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000005c40f28eb6120dceafb2eca5ffd2450762000000000000000000000000000000000011956181cda5362995d0f19e952afa000000000000000000000000000000c68fd308419d632b8c1c4bd6706a20daf200000000000000000000000000000000002cee60539d3408e6c8900ded5b8d2100000000000000000000000000000080519e906dfaff5b72f33beb119080d420000000000000000000000000000000000003e9b29c2ffb211a75b6727e99eeb4000000000000000000000000000000dc834503f30bab34550069b9202991f9fb00000000000000000000000000000000002f7ebb74a240a262c09e99be3f075d000000000000000000000000000000f7034b215686fd692b7bd2ab101bca24bd0000000000000000000000000000000000153b5f8d2a60768aab01f533f97f50000000000000000000000000000000c2df29a4009d6657357971439f289ee8a3000000000000000000000000000000000002e29dbbe656a13ddac45e41ebcc100000000000000000000000000000009568cb0fb38ab37d4bfa5adeae6cac0fdb0000000000000000000000000000000000032e712d92b8e9180cf76e473a5c94000000000000000000000000000000e93cdeab4d2dae04a152024fde3da697e000000000000000000000000000000000000a5d7258d858a069e016fe086a14740000000000000000000000000000006b865dfed38d5420b87d660533cb248170000000000000000000000000000000000024fbd0e9e7b45abd1678c9dac70a72000000000000000000000000000000c08ff4c315e601cf577e5a6f84777e25e300000000000000000000000000000000000ad94574349fb383faaafd59db234f000000000000000000000000000000efdaddd2a94b39f3a01b880b1ad8f5e11b00000000000000000000000000000000000f29d024b348584e9e6c747968d0280000000000000000000000000000000cf53095fc0683d3cd28b7f24bb8a8bdf3000000000000000000000000000000000017900c51e25a7fa45e69342b560184000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db000000000000000000000000000000000025043141e7a515687c6d80d0853b760000000000000000000000000000003447e05ab4400999c9704862944ef03bb300000000000000000000000000000000000d8d5f85133d06d56249c6463ac023000000000000000000000000000000678622d6c54fdba3e86aa586206c8915f3000000000000000000000000000000000005b74153e4fadfa97790568543febc0000000000000000000000000000005e4d364332ca61c24e556818ad6a297bf400000000000000000000000000000000001f491002c036a07ef0f8418e40cce100000000000000000000000000000003dea8d05e50ee5980e2dd47b0d653bbf4000000000000000000000000000000000002b652264db536ec1eaaa6e62e0ded000000000000000000000000000000ec59abdaf05d882b33bf58b0586f577d2000000000000000000000000000000000002098fd7f664e47c48a5ef863b180e4000000000000000000000000000000db2f2de0eedbc51a31ee6940adb2fcccd8000000000000000000000000000000000012b88e21748f2b19bcb17ac340ecfc00000000000000000000000000000041e296e320728dd8dad8a4b1b8379783a100000000000000000000000000000000000db4c6831573512bef58eb0b212ffe00000000000000000000000000000038e5e88be7cdaa21f4a15ffbecd244610d00000000000000000000000000000000000d2dde2375114a5ef459b740950ef90000000000000000000000000000001c1608dbf1e55e1643cde805ad05705e700000000000000000000000000000000000036845a9a313eaa08e16a4f4219f31000000000000000000000000000000d73dfc394ae0a5927261e2eb01c04aa72f00000000000000000000000000000000000fcd321d72de2be101c6d4940c84620000000000000000000000000000006e3b2d245706fcf81a88ad0611b499669d000000000000000000000000000000000001ac304b409a337f55a201d32c36b2000000000000000000000000000000b99c7a35f47f2e58792e496dc889048d9b0000000000000000000000000000000000119594eaf6cf3d6f9bb063198b624100000000000000000000000000000074b7c270b65f843550a579dff852d87d8000000000000000000000000000000000000bcd21f87faeb0013ea42334d71b510000000000000000000000000000007db711ffee7fe98c772ef69bb9543ae03d0000000000000000000000000000000000293aff77463e1bb8fc2737694b78b9000000000000000000000000000000f334f4984b028bf3ec32b0d6713151913a0000000000000000000000000000000000268846ed7329bdae5030f33c0f50e7000000000000000000000000000000a3fdec9036eccbc812ef1e34d1e302d8620000000000000000000000000000000000296b78186acde013459df821db443f00000000000000000000000000000057aa6cb7a16e9278549fdc5ad2f22d1c9900000000000000000000000000000000002d0402a749380eea4c8b9fc63f89a00000000000000000000000000000001b0fa5ed490d74cb7ea36e33e01efdab4300000000000000000000000000000000001b349768e2f66b2c63ef4fb411d2bb000000000000000000000000000000400eb65644e19ca7d9ab75d968ba0eccf60000000000000000000000000000000000020e1f2941b7e355ac83c88296a9e3000000000000000000000000000000cf0a07ceb188dd08e87b87c15544fac97b00000000000000000000000000000000000404e98d18be0c9d212517b5bdb37200000000000000000000000000000068c8a1fe5bc51346df8252442a74b000b4000000000000000000000000000000000029c3a3523b9a95571abaed97c51984000000000000000000000000000000762329e73983c16330a8d6405ae1c20bb6000000000000000000000000000000000025d3949eee7b46213543e5eaa20dd100000000000000000000000000000044f0898fed8ba83d8347c0f21d3ea8c2aa00000000000000000000000000000000001e427d9b02c03086d02db7bbdf82fb000000000000000000000000000000e4f1b9b774c689cd5fa3c8045d2966ba5c00000000000000000000000000000000000ec81281f24027cc5f172ec50173d5000000000000000000000000000000002c080168193c21d6a5de47037093d84000000000000000000000000000000000001bebc47be5adcc92e25855bda9dcba000000000000000000000000000000d3f3ce7a296170662938614e65b6860021000000000000000000000000000000000022ec4ab176412f935d87d7305f3b900000000000000000000000000000004dc2ff1f7d3aaa16b40f93704b52ad415100000000000000000000000000000000000d008117d39a2f4b4b602992eb65e900000000000000000000000000000068fe8e939e46c5eb175f4f354b70018d6c00000000000000000000000000000000002e119df11daebbda2a55afaaaf71b3000000000000000000000000000000fde27035ea298abba99f7826bcf0a1d412000000000000000000000000000000000027ec55f47553fb08982fbd6eac6a4c000000000000000000000000000000e49464d64e8b22a20cd3875afa81f81306000000000000000000000000000000000029fc7f54af44d21fb38a0535514b7d00000000000000000000000000000088c1436a1ef243cfbb6a41dd459e1a988700000000000000000000000000000000000245916833b778b5f0a1bdb48da1950000000000000000000000000000002b80d6b55199d55c762fbaec636a525f3e0000000000000000000000000000000000217f0ffe90bea51c49a1b331adae9c0000000000000000000000000000000ed2d8303f6f9c83d86d5c13f3fb4e99dd000000000000000000000000000000000009c45c61155d314160b50b20e35c940000000000000000000000000000009cf5a0abb80a3b2fe13b28fe8f315409b70000000000000000000000000000000000188a2ffed7f8cbe84c7a0f1b018cd000000000000000000000000000000085656153a6120eebdf3a488dccad95d00d000000000000000000000000000000000023cd626f5dde3ce81de0e7d4f74dc200000000000000000000000000000052c3cfa63996daa8314b276628262510920000000000000000000000000000000000061998dda79b7c5b9adc0113867766000000000000000000000000000000b3105a6e5e3268bb6240ed2c345f5ff3db0000000000000000000000000000000000225ce8d1f417dd9b831fe8022aa11d000000000000000000000000000000cf91f0cb73295831bc93869fc19cdbad9900000000000000000000000000000000001ee5d0cdde02f62e468b034f988c56000000000000000000000000000000183a142ac675e313630847be47fe912b9100000000000000000000000000000000001558e16ed49142b74e4a2085b222870000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f99cb68c76fba8c64ee87056629c31203500000000000000000000000000000000000992723b411149934f407089a4f4b0000000000000000000000000000000a3610bc0aee3d94b8fb7497bcc2548594f00000000000000000000000000000000001959dc792736e332e4b08503d6b610",
3
- "keyAsFields": [
4
- "0x0000000000000000000000000000000000000000000000000000000000000015",
5
- "0x000000000000000000000000000000000000000000000000000000000000001b",
6
- "0x0000000000000000000000000000000000000000000000000000000000000001",
7
- "0x0000000000000000000000000000005c40f28eb6120dceafb2eca5ffd2450762",
8
- "0x000000000000000000000000000000000011956181cda5362995d0f19e952afa",
9
- "0x000000000000000000000000000000c68fd308419d632b8c1c4bd6706a20daf2",
10
- "0x00000000000000000000000000000000002cee60539d3408e6c8900ded5b8d21",
11
- "0x00000000000000000000000000000080519e906dfaff5b72f33beb119080d420",
12
- "0x000000000000000000000000000000000003e9b29c2ffb211a75b6727e99eeb4",
13
- "0x000000000000000000000000000000dc834503f30bab34550069b9202991f9fb",
14
- "0x00000000000000000000000000000000002f7ebb74a240a262c09e99be3f075d",
15
- "0x000000000000000000000000000000f7034b215686fd692b7bd2ab101bca24bd",
16
- "0x0000000000000000000000000000000000153b5f8d2a60768aab01f533f97f50",
17
- "0x000000000000000000000000000000c2df29a4009d6657357971439f289ee8a3",
18
- "0x000000000000000000000000000000000002e29dbbe656a13ddac45e41ebcc10",
19
- "0x0000000000000000000000000000009568cb0fb38ab37d4bfa5adeae6cac0fdb",
20
- "0x0000000000000000000000000000000000032e712d92b8e9180cf76e473a5c94",
21
- "0x000000000000000000000000000000e93cdeab4d2dae04a152024fde3da697e0",
22
- "0x00000000000000000000000000000000000a5d7258d858a069e016fe086a1474",
23
- "0x0000000000000000000000000000006b865dfed38d5420b87d660533cb248170",
24
- "0x000000000000000000000000000000000024fbd0e9e7b45abd1678c9dac70a72",
25
- "0x000000000000000000000000000000c08ff4c315e601cf577e5a6f84777e25e3",
26
- "0x00000000000000000000000000000000000ad94574349fb383faaafd59db234f",
27
- "0x000000000000000000000000000000efdaddd2a94b39f3a01b880b1ad8f5e11b",
28
- "0x00000000000000000000000000000000000f29d024b348584e9e6c747968d028",
29
- "0x0000000000000000000000000000000cf53095fc0683d3cd28b7f24bb8a8bdf3",
30
- "0x000000000000000000000000000000000017900c51e25a7fa45e69342b560184",
31
- "0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db",
32
- "0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76",
33
- "0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3",
34
- "0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023",
35
- "0x000000000000000000000000000000678622d6c54fdba3e86aa586206c8915f3",
36
- "0x000000000000000000000000000000000005b74153e4fadfa97790568543febc",
37
- "0x0000000000000000000000000000005e4d364332ca61c24e556818ad6a297bf4",
38
- "0x00000000000000000000000000000000001f491002c036a07ef0f8418e40cce1",
39
- "0x00000000000000000000000000000003dea8d05e50ee5980e2dd47b0d653bbf4",
40
- "0x000000000000000000000000000000000002b652264db536ec1eaaa6e62e0ded",
41
- "0x000000000000000000000000000000ec59abdaf05d882b33bf58b0586f577d20",
42
- "0x00000000000000000000000000000000002098fd7f664e47c48a5ef863b180e4",
43
- "0x000000000000000000000000000000db2f2de0eedbc51a31ee6940adb2fcccd8",
44
- "0x000000000000000000000000000000000012b88e21748f2b19bcb17ac340ecfc",
45
- "0x00000000000000000000000000000041e296e320728dd8dad8a4b1b8379783a1",
46
- "0x00000000000000000000000000000000000db4c6831573512bef58eb0b212ffe",
47
- "0x00000000000000000000000000000038e5e88be7cdaa21f4a15ffbecd244610d",
48
- "0x00000000000000000000000000000000000d2dde2375114a5ef459b740950ef9",
49
- "0x0000000000000000000000000000001c1608dbf1e55e1643cde805ad05705e70",
50
- "0x0000000000000000000000000000000000036845a9a313eaa08e16a4f4219f31",
51
- "0x000000000000000000000000000000d73dfc394ae0a5927261e2eb01c04aa72f",
52
- "0x00000000000000000000000000000000000fcd321d72de2be101c6d4940c8462",
53
- "0x0000000000000000000000000000006e3b2d245706fcf81a88ad0611b499669d",
54
- "0x000000000000000000000000000000000001ac304b409a337f55a201d32c36b2",
55
- "0x000000000000000000000000000000b99c7a35f47f2e58792e496dc889048d9b",
56
- "0x0000000000000000000000000000000000119594eaf6cf3d6f9bb063198b6241",
57
- "0x00000000000000000000000000000074b7c270b65f843550a579dff852d87d80",
58
- "0x00000000000000000000000000000000000bcd21f87faeb0013ea42334d71b51",
59
- "0x0000000000000000000000000000007db711ffee7fe98c772ef69bb9543ae03d",
60
- "0x0000000000000000000000000000000000293aff77463e1bb8fc2737694b78b9",
61
- "0x000000000000000000000000000000f334f4984b028bf3ec32b0d6713151913a",
62
- "0x0000000000000000000000000000000000268846ed7329bdae5030f33c0f50e7",
63
- "0x000000000000000000000000000000a3fdec9036eccbc812ef1e34d1e302d862",
64
- "0x0000000000000000000000000000000000296b78186acde013459df821db443f",
65
- "0x00000000000000000000000000000057aa6cb7a16e9278549fdc5ad2f22d1c99",
66
- "0x00000000000000000000000000000000002d0402a749380eea4c8b9fc63f89a0",
67
- "0x0000000000000000000000000000001b0fa5ed490d74cb7ea36e33e01efdab43",
68
- "0x00000000000000000000000000000000001b349768e2f66b2c63ef4fb411d2bb",
69
- "0x000000000000000000000000000000400eb65644e19ca7d9ab75d968ba0eccf6",
70
- "0x0000000000000000000000000000000000020e1f2941b7e355ac83c88296a9e3",
71
- "0x000000000000000000000000000000cf0a07ceb188dd08e87b87c15544fac97b",
72
- "0x00000000000000000000000000000000000404e98d18be0c9d212517b5bdb372",
73
- "0x00000000000000000000000000000068c8a1fe5bc51346df8252442a74b000b4",
74
- "0x000000000000000000000000000000000029c3a3523b9a95571abaed97c51984",
75
- "0x000000000000000000000000000000762329e73983c16330a8d6405ae1c20bb6",
76
- "0x000000000000000000000000000000000025d3949eee7b46213543e5eaa20dd1",
77
- "0x00000000000000000000000000000044f0898fed8ba83d8347c0f21d3ea8c2aa",
78
- "0x00000000000000000000000000000000001e427d9b02c03086d02db7bbdf82fb",
79
- "0x000000000000000000000000000000e4f1b9b774c689cd5fa3c8045d2966ba5c",
80
- "0x00000000000000000000000000000000000ec81281f24027cc5f172ec50173d5",
81
- "0x000000000000000000000000000000002c080168193c21d6a5de47037093d840",
82
- "0x00000000000000000000000000000000001bebc47be5adcc92e25855bda9dcba",
83
- "0x000000000000000000000000000000d3f3ce7a296170662938614e65b6860021",
84
- "0x000000000000000000000000000000000022ec4ab176412f935d87d7305f3b90",
85
- "0x0000000000000000000000000000004dc2ff1f7d3aaa16b40f93704b52ad4151",
86
- "0x00000000000000000000000000000000000d008117d39a2f4b4b602992eb65e9",
87
- "0x00000000000000000000000000000068fe8e939e46c5eb175f4f354b70018d6c",
88
- "0x00000000000000000000000000000000002e119df11daebbda2a55afaaaf71b3",
89
- "0x000000000000000000000000000000fde27035ea298abba99f7826bcf0a1d412",
90
- "0x000000000000000000000000000000000027ec55f47553fb08982fbd6eac6a4c",
91
- "0x000000000000000000000000000000e49464d64e8b22a20cd3875afa81f81306",
92
- "0x000000000000000000000000000000000029fc7f54af44d21fb38a0535514b7d",
93
- "0x00000000000000000000000000000088c1436a1ef243cfbb6a41dd459e1a9887",
94
- "0x00000000000000000000000000000000000245916833b778b5f0a1bdb48da195",
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
- "0x000000000000000000000000000000f99cb68c76fba8c64ee87056629c312035",
116
- "0x00000000000000000000000000000000000992723b411149934f407089a4f4b0",
117
- "0x000000000000000000000000000000a3610bc0aee3d94b8fb7497bcc2548594f",
118
- "0x00000000000000000000000000000000001959dc792736e332e4b08503d6b610"
119
- ]
120
- }
@@ -1,2 +0,0 @@
1
- const vk: { keyAsBytes: string; keyAsFields: string[] };
2
- export = vk;
@@ -1,64 +0,0 @@
1
- {
2
- "keyAsBytes": "0000000000000000000000000000000000000000000000000000000000000019000000000000000000000000000000000000000000000000000000000000001100000000000000000000000000000000000000000000000000000000000000010525239d65ca39520920129eececec222472b4cf06041f7f569761724df30382141564f3412562999713ec89abcf9a80617e0c060b3478623f1cd1dfe6964eb51e05b24ee03e36105295d22047dc6a8e2f817b3211eb473ac996df95e89acbb51fe478f3dff6570e3154d12f7ac4835528c1420cb68c1a6582bf45363242d9b518512788dc26e2e6e3f5134f8e1912c5aed055a1b14fb4715b77fe2a6082756d0e94213011b14e874ee64bee889c835c613aa1cb40b277a1ed50160d0fd994e72c91cd8646e5641d9632d7404a6c84c1fa9d4cde216839a060196632ebd323ff30587171206c25f7def959563238e66bc6e2a52956964056a410bc58c844bdcf09c7bb066e7574577fc3f088ea5c6b8fda5b36f537b440afc3016085a9c9d07b2ab951598a3348f2ab76cc2f394e387192f5e6e052d8e45a44bd129f0bfddc30038aefe7ed0ee53459d7576b13b7e3d422e08f050b3bd71109150ca3508f52700fb08bdb488a0e5d2c57a49f8a92f3033acf4bbc02e70c4b424f35da77dd8deb0c4032c3079594eb75a8449d3d5ce8bc3661650d53f9b24d923d8f404cb0bbc91084d709650356d40f0158fd6da81f54eb5fe796a0ca89441369b7c24301f851239f384745325e4fc147ba09871771b225ea7ca88e24cdc76104d850b88fb28d1b66c85dc5d757c6527e9e37555ed16a2a277f6f440741edb96ea1e7839439041bd0789926521dcebd729f1f0ee8c443a6e5b30de405826415bed2878a97b9ea072385598be71e41d71d4fed942cb6148209392c15674b7d4b9b6002369b8175062360d456389acc94aa8f022d3b44ef8cd5b76fc305b796ef72e2187c5d09251196ec90adf12e0fc48235e72ebdc7e11c91f14f9536cb03d6d47aded99ff64620ec0f8558010e6b5007b92761fccdbbc6a188887e5a570f53833e7123857d171ab9c618e91ce809a42821417e212b7ec91e951e6ddf837b7c3e2f44e916bf5a0af6eb47c0b75fe9f8bbfcbeada4976587bc7788efe2e4aa1c84f1afc8ce82b528c88a6a4e7ea2ae480d9baec4f80c24f90f749f41f4686d826bbdc2da9e3c5110d133e0805ff26d4c47e41e47fac17b019a0a5f7a5204fd84626b2014b5d0cd2f515cd4fdf4b9e7537bea5d9f5dc419b226ab640f327990bf43f6aa80c68cdc28cdc9b571c7471a50b867026f6221bfd1bff28e246d5b1922f27dcd8fd1770912cc1a888807bcca35b7d4152a52d314b497584af0d515bb742517c90eeae8e62b5f729a2d15301ac1cc2b00330dcde6e1ecfa28cdd0647d19242dc2de7ac1a103ed1fb4f0145855f3c565fa14652ece8ef3cf7f548ba0fc4152ff794cc53b8824f48fef8bb25ca0d74e2a69f362db47d55703566f74cde9d9874b945f315370145a58e3036a4ff4eb4730b124b6763ea6e7c657da45ddbac996bafef6bc6b790b49709932fde5383c8d71b0cfc39ed10325615052d921f0658d94b0d13fcd0f215e35be7e284778b145528f7f0c9770fac9c826752837c10a87d5ada3b0d80b2cbd4fda31edd16bf784391a529969b3a69579dfb1fc61e6d90e8bc8a63cad7a2e3e5b42125c890b4924d1eeec5728374650bf04fd6620ae84a0e276ef4a7cc71be95132c436ce83bdb1bdd515b10386223f1bc4a2db4ebc8ee964b1cecb987708a5b4cfb2254e123950b21e44e0050dff3984f19df17da6c49d2b1dcf69cefa18ae310e233eef72c52db5d4cfd715b49f4909b2cb31903e94d440ca1eb33a500a0c2a931c8d9832c782ed12e38d17ba291b8140fb82dd477c7c26339adabe7a2797a948b1fd646171e68010b5b40454e3b7b55a77f97e54664d229205aa085b2e1aaf600af7a74f1e4ed6a3f099db4dd0c4bed01df547d08b940e4fc58fbefd2aee85e66b9059e1431de898e70be74d1454b5d412e8ae81ce134c7a6a484af216e0a9eea69252eedb991083a685d8afc6d23d9d42ed571f4857a3d6ff13d3cc0450f8716810dff987300c3bc10a892b1c1c2637db3f8fecd9d8bb38442cc46810005567f9eb3d3a97098baa0d71c65db2bf83f8a194086a4cca39916b578faf103bcf2cf468d53c71d57b5c0ab31231e12e1ce3a444583203ea04c16ec69eb20c5d6e7a8b0b14d4ed8f51217ae8af4207277f4116e0af5a9268b38a5d34910b0924c2d3fa7bd443b6244e3f29179883c120acb66ce414b5147c31531392c53007e5e59aa353dc977d4e082214179998a8086106f1eaaf33ee0b012cbd77066f132b76a71278e567595f3aaf837a72eb0ab515191143e5a3c8bd5875264866282c6b2a0de0a3fefdfc4fb4f3b8381d2c37ccc495848c2887f98bfbaca776ca39000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020dbbd62013ed7ada7a11f284b00836574434f47f0a241c2e7a1dbbf0b9167f5006a7c60a518306f5db4d889c6b8e100dc34de915a0d0e9ae197e7f90823dda8c",
3
- "keyAsFields": [
4
- "0x0000000000000000000000000000000000000000000000000000000000000019",
5
- "0x0000000000000000000000000000000000000000000000000000000000000011",
6
- "0x0000000000000000000000000000000000000000000000000000000000000001",
7
- "0x0525239d65ca39520920129eececec222472b4cf06041f7f569761724df30382",
8
- "0x141564f3412562999713ec89abcf9a80617e0c060b3478623f1cd1dfe6964eb5",
9
- "0x1e05b24ee03e36105295d22047dc6a8e2f817b3211eb473ac996df95e89acbb5",
10
- "0x1fe478f3dff6570e3154d12f7ac4835528c1420cb68c1a6582bf45363242d9b5",
11
- "0x18512788dc26e2e6e3f5134f8e1912c5aed055a1b14fb4715b77fe2a6082756d",
12
- "0x0e94213011b14e874ee64bee889c835c613aa1cb40b277a1ed50160d0fd994e7",
13
- "0x2c91cd8646e5641d9632d7404a6c84c1fa9d4cde216839a060196632ebd323ff",
14
- "0x30587171206c25f7def959563238e66bc6e2a52956964056a410bc58c844bdcf",
15
- "0x09c7bb066e7574577fc3f088ea5c6b8fda5b36f537b440afc3016085a9c9d07b",
16
- "0x2ab951598a3348f2ab76cc2f394e387192f5e6e052d8e45a44bd129f0bfddc30",
17
- "0x038aefe7ed0ee53459d7576b13b7e3d422e08f050b3bd71109150ca3508f5270",
18
- "0x0fb08bdb488a0e5d2c57a49f8a92f3033acf4bbc02e70c4b424f35da77dd8deb",
19
- "0x0c4032c3079594eb75a8449d3d5ce8bc3661650d53f9b24d923d8f404cb0bbc9",
20
- "0x1084d709650356d40f0158fd6da81f54eb5fe796a0ca89441369b7c24301f851",
21
- "0x239f384745325e4fc147ba09871771b225ea7ca88e24cdc76104d850b88fb28d",
22
- "0x1b66c85dc5d757c6527e9e37555ed16a2a277f6f440741edb96ea1e783943904",
23
- "0x1bd0789926521dcebd729f1f0ee8c443a6e5b30de405826415bed2878a97b9ea",
24
- "0x072385598be71e41d71d4fed942cb6148209392c15674b7d4b9b6002369b8175",
25
- "0x062360d456389acc94aa8f022d3b44ef8cd5b76fc305b796ef72e2187c5d0925",
26
- "0x1196ec90adf12e0fc48235e72ebdc7e11c91f14f9536cb03d6d47aded99ff646",
27
- "0x20ec0f8558010e6b5007b92761fccdbbc6a188887e5a570f53833e7123857d17",
28
- "0x1ab9c618e91ce809a42821417e212b7ec91e951e6ddf837b7c3e2f44e916bf5a",
29
- "0x0af6eb47c0b75fe9f8bbfcbeada4976587bc7788efe2e4aa1c84f1afc8ce82b5",
30
- "0x28c88a6a4e7ea2ae480d9baec4f80c24f90f749f41f4686d826bbdc2da9e3c51",
31
- "0x10d133e0805ff26d4c47e41e47fac17b019a0a5f7a5204fd84626b2014b5d0cd",
32
- "0x2f515cd4fdf4b9e7537bea5d9f5dc419b226ab640f327990bf43f6aa80c68cdc",
33
- "0x28cdc9b571c7471a50b867026f6221bfd1bff28e246d5b1922f27dcd8fd17709",
34
- "0x12cc1a888807bcca35b7d4152a52d314b497584af0d515bb742517c90eeae8e6",
35
- "0x2b5f729a2d15301ac1cc2b00330dcde6e1ecfa28cdd0647d19242dc2de7ac1a1",
36
- "0x03ed1fb4f0145855f3c565fa14652ece8ef3cf7f548ba0fc4152ff794cc53b88",
37
- "0x24f48fef8bb25ca0d74e2a69f362db47d55703566f74cde9d9874b945f315370",
38
- "0x145a58e3036a4ff4eb4730b124b6763ea6e7c657da45ddbac996bafef6bc6b79",
39
- "0x0b49709932fde5383c8d71b0cfc39ed10325615052d921f0658d94b0d13fcd0f",
40
- "0x215e35be7e284778b145528f7f0c9770fac9c826752837c10a87d5ada3b0d80b",
41
- "0x2cbd4fda31edd16bf784391a529969b3a69579dfb1fc61e6d90e8bc8a63cad7a",
42
- "0x2e3e5b42125c890b4924d1eeec5728374650bf04fd6620ae84a0e276ef4a7cc7",
43
- "0x1be95132c436ce83bdb1bdd515b10386223f1bc4a2db4ebc8ee964b1cecb9877",
44
- "0x08a5b4cfb2254e123950b21e44e0050dff3984f19df17da6c49d2b1dcf69cefa",
45
- "0x18ae310e233eef72c52db5d4cfd715b49f4909b2cb31903e94d440ca1eb33a50",
46
- "0x0a0c2a931c8d9832c782ed12e38d17ba291b8140fb82dd477c7c26339adabe7a",
47
- "0x2797a948b1fd646171e68010b5b40454e3b7b55a77f97e54664d229205aa085b",
48
- "0x2e1aaf600af7a74f1e4ed6a3f099db4dd0c4bed01df547d08b940e4fc58fbefd",
49
- "0x2aee85e66b9059e1431de898e70be74d1454b5d412e8ae81ce134c7a6a484af2",
50
- "0x16e0a9eea69252eedb991083a685d8afc6d23d9d42ed571f4857a3d6ff13d3cc",
51
- "0x0450f8716810dff987300c3bc10a892b1c1c2637db3f8fecd9d8bb38442cc468",
52
- "0x10005567f9eb3d3a97098baa0d71c65db2bf83f8a194086a4cca39916b578faf",
53
- "0x103bcf2cf468d53c71d57b5c0ab31231e12e1ce3a444583203ea04c16ec69eb2",
54
- "0x0c5d6e7a8b0b14d4ed8f51217ae8af4207277f4116e0af5a9268b38a5d34910b",
55
- "0x0924c2d3fa7bd443b6244e3f29179883c120acb66ce414b5147c31531392c530",
56
- "0x07e5e59aa353dc977d4e082214179998a8086106f1eaaf33ee0b012cbd77066f",
57
- "0x132b76a71278e567595f3aaf837a72eb0ab515191143e5a3c8bd587526486628",
58
- "0x2c6b2a0de0a3fefdfc4fb4f3b8381d2c37ccc495848c2887f98bfbaca776ca39",
59
- "0x0000000000000000000000000000000000000000000000000000000000000001",
60
- "0x0000000000000000000000000000000000000000000000000000000000000002",
61
- "0x0dbbd62013ed7ada7a11f284b00836574434f47f0a241c2e7a1dbbf0b9167f50",
62
- "0x06a7c60a518306f5db4d889c6b8e100dc34de915a0d0e9ae197e7f90823dda8c"
63
- ]
64
- }
@@ -1 +0,0 @@
1
- {"noir_version":"1.0.0-beta.11+a92d049c8771332a383aec07474691764c4d90f0-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}}}