@aztec/stdlib 0.82.2 → 0.82.3

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 (114) hide show
  1. package/dest/avm/avm.d.ts +919 -1252
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm.js +138 -111
  4. package/dest/avm/avm_proving_request.d.ts +400 -575
  5. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  6. package/dest/block/l2_block_downloader/l2_block_stream.d.ts +1 -0
  7. package/dest/block/l2_block_downloader/l2_block_stream.d.ts.map +1 -1
  8. package/dest/block/l2_block_downloader/l2_block_stream.js +6 -0
  9. package/dest/database-version/version_manager.d.ts +4 -2
  10. package/dest/database-version/version_manager.d.ts.map +1 -1
  11. package/dest/database-version/version_manager.js +13 -9
  12. package/dest/epoch-helpers/index.d.ts +2 -0
  13. package/dest/epoch-helpers/index.d.ts.map +1 -1
  14. package/dest/epoch-helpers/index.js +3 -0
  15. package/dest/file-store/factory.d.ts +7 -0
  16. package/dest/file-store/factory.d.ts.map +1 -0
  17. package/dest/file-store/factory.js +46 -0
  18. package/dest/file-store/gcs.d.ts +22 -0
  19. package/dest/file-store/gcs.d.ts.map +1 -0
  20. package/dest/file-store/gcs.js +115 -0
  21. package/dest/file-store/http.d.ts +15 -0
  22. package/dest/file-store/http.d.ts.map +1 -0
  23. package/dest/file-store/http.js +53 -0
  24. package/dest/file-store/index.d.ts +3 -0
  25. package/dest/file-store/index.d.ts.map +1 -0
  26. package/dest/file-store/index.js +2 -0
  27. package/dest/file-store/interface.d.ts +24 -0
  28. package/dest/file-store/interface.d.ts.map +1 -0
  29. package/dest/file-store/interface.js +1 -0
  30. package/dest/file-store/local.d.ts +16 -0
  31. package/dest/file-store/local.d.ts.map +1 -0
  32. package/dest/file-store/local.js +40 -0
  33. package/dest/interfaces/aztec-node-admin.d.ts +9 -1
  34. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  35. package/dest/interfaces/aztec-node-admin.js +2 -1
  36. package/dest/interfaces/aztec-node.d.ts +3 -0
  37. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  38. package/dest/interfaces/aztec-node.js +2 -0
  39. package/dest/interfaces/p2p.d.ts +2 -0
  40. package/dest/interfaces/p2p.d.ts.map +1 -1
  41. package/dest/interfaces/p2p.js +2 -1
  42. package/dest/interfaces/prover-node.d.ts +4 -0
  43. package/dest/interfaces/prover-node.d.ts.map +1 -1
  44. package/dest/interfaces/prover-node.js +5 -1
  45. package/dest/interfaces/proving-job.d.ts +400 -575
  46. package/dest/interfaces/proving-job.d.ts.map +1 -1
  47. package/dest/interfaces/service.d.ts +3 -0
  48. package/dest/interfaces/service.d.ts.map +1 -1
  49. package/dest/interfaces/service.js +7 -0
  50. package/dest/interfaces/world_state.d.ts +13 -15
  51. package/dest/interfaces/world_state.d.ts.map +1 -1
  52. package/dest/snapshots/download.d.ts +9 -0
  53. package/dest/snapshots/download.d.ts.map +1 -0
  54. package/dest/snapshots/download.js +37 -0
  55. package/dest/snapshots/index.d.ts +4 -0
  56. package/dest/snapshots/index.d.ts.map +1 -0
  57. package/dest/snapshots/index.js +3 -0
  58. package/dest/snapshots/types.d.ts +97 -0
  59. package/dest/snapshots/types.d.ts.map +1 -0
  60. package/dest/snapshots/types.js +27 -0
  61. package/dest/snapshots/upload.d.ts +5 -0
  62. package/dest/snapshots/upload.d.ts.map +1 -0
  63. package/dest/snapshots/upload.js +37 -0
  64. package/dest/tests/factories.d.ts +13 -7
  65. package/dest/tests/factories.d.ts.map +1 -1
  66. package/dest/tests/factories.js +37 -25
  67. package/dest/trees/merkle_tree_id.d.ts +8 -0
  68. package/dest/trees/merkle_tree_id.d.ts.map +1 -1
  69. package/dest/trees/merkle_tree_id.js +10 -0
  70. package/dest/trees/nullifier_leaf.d.ts +11 -2
  71. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  72. package/dest/trees/nullifier_leaf.js +12 -7
  73. package/dest/trees/nullifier_membership_witness.d.ts +7 -7
  74. package/dest/trees/public_data_leaf.d.ts +13 -0
  75. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  76. package/dest/trees/public_data_leaf.js +6 -0
  77. package/dest/trees/public_data_witness.d.ts +7 -7
  78. package/dest/validators/index.d.ts +3 -0
  79. package/dest/validators/index.d.ts.map +1 -0
  80. package/dest/validators/index.js +1 -0
  81. package/dest/validators/schemas.d.ts +342 -0
  82. package/dest/validators/schemas.d.ts.map +1 -0
  83. package/dest/validators/schemas.js +40 -0
  84. package/dest/validators/types.d.ts +39 -0
  85. package/dest/validators/types.d.ts.map +1 -0
  86. package/dest/validators/types.js +1 -0
  87. package/package.json +11 -7
  88. package/src/avm/avm.ts +131 -106
  89. package/src/block/l2_block_downloader/l2_block_stream.ts +6 -0
  90. package/src/database-version/version_manager.ts +12 -8
  91. package/src/epoch-helpers/index.ts +8 -0
  92. package/src/file-store/factory.ts +61 -0
  93. package/src/file-store/gcs.ts +121 -0
  94. package/src/file-store/http.ts +58 -0
  95. package/src/file-store/index.ts +2 -0
  96. package/src/file-store/interface.ts +19 -0
  97. package/src/file-store/local.ts +46 -0
  98. package/src/interfaces/aztec-node-admin.ts +11 -1
  99. package/src/interfaces/aztec-node.ts +7 -0
  100. package/src/interfaces/p2p.ts +4 -0
  101. package/src/interfaces/prover-node.ts +10 -0
  102. package/src/interfaces/service.ts +13 -0
  103. package/src/interfaces/world_state.ts +17 -15
  104. package/src/snapshots/download.ts +60 -0
  105. package/src/snapshots/index.ts +3 -0
  106. package/src/snapshots/types.ts +58 -0
  107. package/src/snapshots/upload.ts +53 -0
  108. package/src/tests/factories.ts +74 -54
  109. package/src/trees/merkle_tree_id.ts +12 -0
  110. package/src/trees/nullifier_leaf.ts +9 -5
  111. package/src/trees/public_data_leaf.ts +9 -0
  112. package/src/validators/index.ts +3 -0
  113. package/src/validators/schemas.ts +53 -0
  114. package/src/validators/types.ts +37 -0
@@ -1 +1 @@
1
- {"version":3,"file":"avm.d.ts","sourceRoot":"","sources":["../../src/avm/avm.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAI9C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGxE,qBAAa,mBAAmB;aAEZ,SAAS,EAAE,YAAY;aACvB,eAAe,EAAE,YAAY;aAC7B,QAAQ,EAAE,EAAE,EAAE;IACvB,YAAY,EAAE,OAAO;gBAHZ,SAAS,EAAE,YAAY,EACvB,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,EAAE,EAAE,EACvB,YAAY,EAAE,OAAO;IAG9B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;OAYhB;CACF;AAED,qBAAa,oBAAoB;aAEb,OAAO,EAAE,EAAE;aACX,YAAY,EAAE,EAAE;aAChB,oBAAoB,EAAE,EAAE;aACxB,cAAc,EAAE,MAAM;gBAHtB,OAAO,EAAE,EAAE,EACX,YAAY,EAAE,EAAE,EAChB,oBAAoB,EAAE,EAAE,EACxB,cAAc,EAAE,MAAM;IAGxC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAYhB;CACF;AAED,qBAAa,yBAAyB;aACR,OAAO,EAAE,EAAE;aAAkB,UAAU,EAAE,EAAE;gBAA3C,OAAO,EAAE,EAAE,EAAkB,UAAU,EAAE,EAAE;IAEvE,MAAM,KAAK,MAAM;;;;;;;;;;;;OAOhB;CACF;AAED,qBAAa,uBAAuB;aAEhB,OAAO,EAAE,YAAY;aACrB,IAAI,EAAE,EAAE;aACR,QAAQ,EAAE,YAAY;aACtB,sBAAsB,EAAE,EAAE;aAC1B,uBAAuB,EAAE,EAAE;aAC3B,kBAAkB,EAAE,EAAE;aACtB,UAAU,EAAE,UAAU;gBANtB,OAAO,EAAE,YAAY,EACrB,IAAI,EAAE,EAAE,EACR,QAAQ,EAAE,YAAY,EACtB,sBAAsB,EAAE,EAAE,EAC1B,uBAAuB,EAAE,EAAE,EAC3B,kBAAkB,EAAE,EAAE,EACtB,UAAU,EAAE,UAAU;IAGxC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BhB;CACF;AAED,qBAAa,iBAAiB;aACA,SAAS,EAAE,EAAE;aAAkB,KAAK,EAAE,EAAE;aAAkB,WAAW,EAAE,EAAE,EAAE;gBAA3E,SAAS,EAAE,EAAE,EAAkB,KAAK,EAAE,EAAE,EAAkB,WAAW,EAAE,EAAE,EAAE;IAEvG,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAQhB;CACF;AAED,qBAAa,yBAAyB;IACjB,WAAW,EAAE,wBAAwB;aAAkB,aAAa,EAAE,EAAE,EAAE;gBAA1E,WAAW,EAAE,wBAAwB,EAAkB,aAAa,EAAE,EAAE,EAAE;IAE7F,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAOhB;CACF;AAED,qBAAa,wBAAwB;aAEjB,eAAe,EAAE,qBAAqB;aACtC,YAAY,EAAE,EAAE;aAChB,kBAAkB,EAAE,EAAE,EAAE;gBAFxB,eAAe,EAAE,qBAAqB,EACtC,YAAY,EAAE,EAAE,EAChB,kBAAkB,EAAE,EAAE,EAAE;IAG1C,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAWhB;CACF;AAED,qBAAa,yBAAyB;aAElB,YAAY,EAAE,0BAA0B;aACxC,SAAS,EAAE,EAAE;aACb,WAAW,EAAE,EAAE,EAAE;gBAFjB,YAAY,EAAE,0BAA0B,EACxC,SAAS,EAAE,EAAE,EACb,WAAW,EAAE,EAAE,EAAE;IAGnC,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAWhB;CACF;AAED,qBAAa,0BAA0B;aAGnB,WAAW,EAAE,yBAAyB;aACtC,eAAe,EAAE,0BAA0B;aAC3C,aAAa,EAAE,EAAE,EAAE;gBAFnB,WAAW,EAAE,yBAAyB,EACtC,eAAe,EAAE,0BAA0B,EAC3C,aAAa,EAAE,EAAE,EAAE;IAGrC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAWhB;CACF;AAED,qBAAa,iBAAiB;aAEV,aAAa,EAAE,mBAAmB,EAAE;aACpC,iBAAiB,EAAE,uBAAuB,EAAE;aAC5C,eAAe,EAAE,oBAAoB,EAAE;aACvC,mBAAmB,EAAE,yBAAyB,EAAE;aAChD,eAAe,EAAE,yBAAyB,EAAE;aAC5C,gBAAgB,EAAE,0BAA0B,EAAE;aAC9C,cAAc,EAAE,wBAAwB,EAAE;aAC1C,eAAe,EAAE,yBAAyB,EAAE;aAC5C,aAAa,EAAE,iBAAiB,EAAE;aAClC,cAAc,EAAE,iBAAiB,EAAE;aACnC,kBAAkB,EAAE,iBAAiB,EAAE;gBAVvC,aAAa,GAAE,mBAAmB,EAAO,EACzC,iBAAiB,GAAE,uBAAuB,EAAO,EACjD,eAAe,GAAE,oBAAoB,EAAO,EAC5C,mBAAmB,GAAE,yBAAyB,EAAO,EACrD,eAAe,GAAE,yBAAyB,EAAO,EACjD,gBAAgB,GAAE,0BAA0B,EAAO,EACnD,cAAc,GAAE,wBAAwB,EAAO,EAC/C,eAAe,GAAE,yBAAyB,EAAO,EACjD,aAAa,GAAE,iBAAiB,EAAO,EACvC,cAAc,GAAE,iBAAiB,EAAO,EACxC,kBAAkB,GAAE,iBAAiB,EAAO;IAG9D,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2ChB;CACF;AAED,qBAAa,gBAAgB;aAET,YAAY,EAAE,MAAM;aACpB,QAAQ,EAAE,EAAE,EAAE;aACd,KAAK,EAAE,iBAAiB;IACjC,YAAY,EAAE,sBAAsB;gBAH3B,YAAY,EAAE,MAAM,EAAE,qBAAqB;IAC3C,QAAQ,EAAE,EAAE,EAAE,EACd,KAAK,EAAE,iBAAiB,EACjC,YAAY,EAAE,sBAAsB;IAG7C,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAYhB;IAEM,wBAAwB,IAAI,MAAM;IAKlC,QAAQ,IAAI,MAAM;IAGzB,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;CAG9B"}
1
+ {"version":3,"file":"avm.d.ts","sourceRoot":"","sources":["../../src/avm/avm.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAK9C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAMxE,qBAAa,oBAAoB;aAEb,OAAO,EAAE,EAAE;aACX,YAAY,EAAE,EAAE;aAChB,oBAAoB,EAAE,EAAE;aACxB,cAAc,EAAE,MAAM;gBAHtB,OAAO,EAAE,EAAE,EACX,YAAY,EAAE,EAAE,EAChB,oBAAoB,EAAE,EAAE,EACxB,cAAc,EAAE,MAAM;IAGxC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAYhB;CACF;AAED,qBAAa,yBAAyB;aACR,OAAO,EAAE,EAAE;aAAkB,UAAU,EAAE,EAAE;gBAA3C,OAAO,EAAE,EAAE,EAAkB,UAAU,EAAE,EAAE;IAEvE,MAAM,KAAK,MAAM;;;;;;;;;;;;OAOhB;CACF;AAED,qBAAa,uBAAuB;aAEhB,OAAO,EAAE,YAAY;aACrB,IAAI,EAAE,EAAE;aACR,QAAQ,EAAE,YAAY;aACtB,sBAAsB,EAAE,EAAE;aAC1B,uBAAuB,EAAE,EAAE;aAC3B,kBAAkB,EAAE,EAAE;aACtB,UAAU,EAAE,UAAU;gBANtB,OAAO,EAAE,YAAY,EACrB,IAAI,EAAE,EAAE,EACR,QAAQ,EAAE,YAAY,EACtB,sBAAsB,EAAE,EAAE,EAC1B,uBAAuB,EAAE,EAAE,EAC3B,kBAAkB,EAAE,EAAE,EACtB,UAAU,EAAE,UAAU;IAGxC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BhB;CACF;AAMD,qBAAa,qBAAqB;aAEd,OAAO,EAAE,sBAAsB;aAE/B,MAAM,EAAE,YAAY;aACpB,KAAK,EAAE,MAAM;aAEb,IAAI,EAAE,EAAE,EAAE;gBALV,OAAO,EAAE,sBAAsB,EAE/B,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,MAAM,EAEb,IAAI,EAAE,EAAE,EAAE;IAG5B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAShB;CACF;AAGD,qBAAa,4BAA4B;aAErB,OAAO,EAAE,sBAAsB;aAE/B,MAAM,EAAE,YAAY;aACpB,KAAK,EAAE,EAAE;aAET,KAAK,EAAE,MAAM;aACb,cAAc,EAAE,OAAO;gBANvB,OAAO,EAAE,sBAAsB,EAE/B,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,EAAE,EAET,KAAK,EAAE,MAAM,EACb,cAAc,EAAE,OAAO;IAGzC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAahB;CACF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsCD,qBAAa,oCAAqC,SAAQ,yCAAiD;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9G,qBAAa,mCAAoC,SAAQ,wCAA4C;CAAG;AAIxG,qBAAa,mBAAmB;aAEZ,OAAO,EAAE,sBAAsB;aAE/B,MAAM,EAAE,YAAY;aACpB,KAAK,EAAE,MAAM;aAEb,KAAK,EAAE,EAAE;gBALT,OAAO,EAAE,sBAAsB,EAE/B,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,MAAM,EAEb,KAAK,EAAE,EAAE;IAG3B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAShB;CACF;AAKD,qBAAa,mBAAmB;aAEZ,SAAS,EAAE,YAAY;aACvB,eAAe,EAAE,YAAY;aAC7B,QAAQ,EAAE,EAAE,EAAE;IACvB,YAAY,EAAE,OAAO;gBAHZ,SAAS,EAAE,YAAY,EACvB,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,EAAE,EAAE,EACvB,YAAY,EAAE,OAAO;IAG9B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;OAYhB;CACF;AAED,qBAAa,iBAAiB;aAEV,aAAa,EAAE,mBAAmB,EAAE;aAEpC,iBAAiB,EAAE,uBAAuB,EAAE;aAC5C,eAAe,EAAE,oBAAoB,EAAE;aACvC,mBAAmB,EAAE,yBAAyB,EAAE;aAEhD,mBAAmB,EAAE,qBAAqB,EAAE;aAC5C,0BAA0B,EAAE,4BAA4B,EAAE;aAC1D,kCAAkC,EAAE,oCAAoC,EAAE;aAC1E,iCAAiC,EAAE,mCAAmC,EAAE;aACxE,iBAAiB,EAAE,mBAAmB,EAAE;gBAVxC,aAAa,GAAE,mBAAmB,EAAO,EAEzC,iBAAiB,GAAE,uBAAuB,EAAO,EACjD,eAAe,GAAE,oBAAoB,EAAO,EAC5C,mBAAmB,GAAE,yBAAyB,EAAO,EAErD,mBAAmB,GAAE,qBAAqB,EAAO,EACjD,0BAA0B,GAAE,4BAA4B,EAAO,EAC/D,kCAAkC,GAAE,oCAAoC,EAAO,EAC/E,iCAAiC,GAAE,mCAAmC,EAAO,EAC7E,iBAAiB,GAAE,mBAAmB,EAAO;IAG/D,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAqChB;CACF;AAED,qBAAa,gBAAgB;aAET,YAAY,EAAE,MAAM;aACpB,QAAQ,EAAE,EAAE,EAAE;aACd,KAAK,EAAE,iBAAiB;IACjC,YAAY,EAAE,sBAAsB;gBAH3B,YAAY,EAAE,MAAM,EAAE,qBAAqB;IAC3C,QAAQ,EAAE,EAAE,EAAE,EACd,KAAK,EAAE,iBAAiB,EACjC,YAAY,EAAE,sBAAsB;IAG7C,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAYhB;IAEM,wBAAwB,IAAI,MAAM;IAKlC,QAAQ,IAAI,MAAM;IAGzB,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;CAG9B"}
package/dest/avm/avm.js CHANGED
@@ -1,33 +1,16 @@
1
- import { Fr } from '@aztec/foundation/fields';
2
1
  import { jsonParseWithSchema, jsonStringify } from '@aztec/foundation/json-rpc';
3
2
  import { schemas } from '@aztec/foundation/schemas';
4
3
  import { z } from 'zod';
5
4
  import { AztecAddress } from '../aztec-address/index.js';
6
5
  import { PublicKeys } from '../keys/public_keys.js';
7
- import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
8
- import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
6
+ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
7
+ import { NullifierLeaf } from '../trees/nullifier_leaf.js';
8
+ import { PublicDataTreeLeaf } from '../trees/public_data_leaf.js';
9
9
  import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
10
10
  import { serializeWithMessagePack } from './message_pack.js';
11
- export class AvmEnqueuedCallHint {
12
- msgSender;
13
- contractAddress;
14
- calldata;
15
- isStaticCall;
16
- constructor(msgSender, contractAddress, calldata, isStaticCall){
17
- this.msgSender = msgSender;
18
- this.contractAddress = contractAddress;
19
- this.calldata = calldata;
20
- this.isStaticCall = isStaticCall;
21
- }
22
- static get schema() {
23
- return z.object({
24
- msgSender: AztecAddress.schema,
25
- contractAddress: AztecAddress.schema,
26
- calldata: schemas.Fr.array(),
27
- isStaticCall: z.boolean()
28
- }).transform(({ msgSender, contractAddress, calldata, isStaticCall })=>new AvmEnqueuedCallHint(msgSender, contractAddress, calldata, isStaticCall));
29
- }
30
- }
11
+ ////////////////////////////////////////////////////////////////////////////
12
+ // Hints (contracts)
13
+ ////////////////////////////////////////////////////////////////////////////
31
14
  export class AvmContractClassHint {
32
15
  classId;
33
16
  artifactHash;
@@ -91,90 +74,138 @@ export class AvmContractInstanceHint {
91
74
  }).transform(({ address, salt, deployer, currentContractClassId, originalContractClassId, initializationHash, publicKeys })=>new AvmContractInstanceHint(address, salt, deployer, currentContractClassId, originalContractClassId, initializationHash, publicKeys));
92
75
  }
93
76
  }
94
- export class AvmAppendTreeHint {
95
- leafIndex;
96
- value;
97
- siblingPath;
98
- constructor(leafIndex, value, siblingPath){
99
- this.leafIndex = leafIndex;
100
- this.value = value;
101
- this.siblingPath = siblingPath;
77
+ ////////////////////////////////////////////////////////////////////////////
78
+ // Hints (merkle db)
79
+ ////////////////////////////////////////////////////////////////////////////
80
+ // Hint for MerkleTreeDB.getSiblingPath.
81
+ export class AvmGetSiblingPathHint {
82
+ hintKey;
83
+ treeId;
84
+ index;
85
+ path;
86
+ constructor(hintKey, // params
87
+ treeId, index, // return
88
+ path){
89
+ this.hintKey = hintKey;
90
+ this.treeId = treeId;
91
+ this.index = index;
92
+ this.path = path;
102
93
  }
103
94
  static get schema() {
104
95
  return z.object({
105
- leafIndex: schemas.Fr,
106
- value: schemas.Fr,
107
- siblingPath: schemas.Fr.array()
108
- }).transform(({ leafIndex, value, siblingPath })=>new AvmAppendTreeHint(leafIndex, value, siblingPath));
96
+ hintKey: AppendOnlyTreeSnapshot.schema,
97
+ treeId: z.number().int().nonnegative(),
98
+ index: schemas.BigInt,
99
+ path: schemas.Fr.array()
100
+ }).transform(({ hintKey, treeId, index, path })=>new AvmGetSiblingPathHint(hintKey, treeId, index, path));
109
101
  }
110
102
  }
111
- export class AvmNullifierWriteTreeHint {
112
- lowLeafRead;
113
- insertionPath;
114
- constructor(lowLeafRead, insertionPath){
115
- this.lowLeafRead = lowLeafRead;
116
- this.insertionPath = insertionPath;
103
+ // Hint for MerkleTreeDB.getPreviousValueIndex.
104
+ export class AvmGetPreviousValueIndexHint {
105
+ hintKey;
106
+ treeId;
107
+ value;
108
+ index;
109
+ alreadyPresent;
110
+ constructor(hintKey, // params
111
+ treeId, value, // return
112
+ index, alreadyPresent){
113
+ this.hintKey = hintKey;
114
+ this.treeId = treeId;
115
+ this.value = value;
116
+ this.index = index;
117
+ this.alreadyPresent = alreadyPresent;
117
118
  }
118
119
  static get schema() {
119
120
  return z.object({
120
- lowLeafRead: AvmNullifierReadTreeHint.schema,
121
- insertionPath: schemas.Fr.array()
122
- }).transform(({ lowLeafRead, insertionPath })=>new AvmNullifierWriteTreeHint(lowLeafRead, insertionPath));
121
+ hintKey: AppendOnlyTreeSnapshot.schema,
122
+ treeId: z.number().int().nonnegative(),
123
+ value: schemas.Fr,
124
+ index: schemas.BigInt,
125
+ alreadyPresent: z.boolean()
126
+ }).transform(({ hintKey, treeId, value, index, alreadyPresent })=>new AvmGetPreviousValueIndexHint(hintKey, treeId, value, index, alreadyPresent));
123
127
  }
124
128
  }
125
- export class AvmNullifierReadTreeHint {
126
- lowLeafPreimage;
127
- lowLeafIndex;
128
- lowLeafSiblingPath;
129
- constructor(lowLeafPreimage, lowLeafIndex, lowLeafSiblingPath){
130
- this.lowLeafPreimage = lowLeafPreimage;
131
- this.lowLeafIndex = lowLeafIndex;
132
- this.lowLeafSiblingPath = lowLeafSiblingPath;
133
- }
134
- static get schema() {
135
- return z.object({
136
- lowLeafPreimage: NullifierLeafPreimage.schema,
137
- lowLeafIndex: schemas.Fr,
138
- lowLeafSiblingPath: schemas.Fr.array()
139
- }).transform(({ lowLeafPreimage, lowLeafIndex, lowLeafSiblingPath })=>new AvmNullifierReadTreeHint(lowLeafPreimage, lowLeafIndex, lowLeafSiblingPath));
140
- }
129
+ // Hint for MerkleTreeDB.getLeafPreimage.
130
+ // NOTE: I need this factory because in order to get hold of the schema, I need an actual instance of the class,
131
+ // having the type doesn't suffice since TS does type erasure in the end.
132
+ function AvmGetLeafPreimageHintFactory(klass) {
133
+ return class AvmGetLeafPreimageHint {
134
+ hintKey;
135
+ index;
136
+ leaf;
137
+ nextIndex;
138
+ nextValue;
139
+ constructor(hintKey, // params (tree id will be implicit)
140
+ index, // return
141
+ leaf, nextIndex, nextValue){
142
+ this.hintKey = hintKey;
143
+ this.index = index;
144
+ this.leaf = leaf;
145
+ this.nextIndex = nextIndex;
146
+ this.nextValue = nextValue;
147
+ }
148
+ static get schema() {
149
+ return z.object({
150
+ hintKey: AppendOnlyTreeSnapshot.schema,
151
+ index: schemas.BigInt,
152
+ leaf: klass.schema,
153
+ nextIndex: schemas.BigInt,
154
+ nextValue: schemas.Fr
155
+ }).transform(({ hintKey, index, leaf, nextIndex, nextValue })=>new AvmGetLeafPreimageHint(hintKey, index, leaf, nextIndex, nextValue));
156
+ }
157
+ };
141
158
  }
142
- export class AvmPublicDataReadTreeHint {
143
- leafPreimage;
144
- leafIndex;
145
- siblingPath;
146
- constructor(leafPreimage, leafIndex, siblingPath){
147
- this.leafPreimage = leafPreimage;
148
- this.leafIndex = leafIndex;
149
- this.siblingPath = siblingPath;
150
- }
151
- static empty() {
152
- return new AvmPublicDataReadTreeHint(PublicDataTreeLeafPreimage.empty(), Fr.ZERO, []);
159
+ // Note: only supported for PUBLIC_DATA_TREE and NULLIFIER_TREE.
160
+ export class AvmGetLeafPreimageHintPublicDataTree extends AvmGetLeafPreimageHintFactory(PublicDataTreeLeaf) {
161
+ }
162
+ export class AvmGetLeafPreimageHintNullifierTree extends AvmGetLeafPreimageHintFactory(NullifierLeaf) {
163
+ }
164
+ // Hint for MerkleTreeDB.getLeafValue.
165
+ // Note: only supported for NOTE_HASH_TREE and L1_TO_L2_MESSAGE_TREE.
166
+ export class AvmGetLeafValueHint {
167
+ hintKey;
168
+ treeId;
169
+ index;
170
+ value;
171
+ constructor(hintKey, // params
172
+ treeId, index, // return
173
+ value){
174
+ this.hintKey = hintKey;
175
+ this.treeId = treeId;
176
+ this.index = index;
177
+ this.value = value;
153
178
  }
154
179
  static get schema() {
155
180
  return z.object({
156
- leafPreimage: PublicDataTreeLeafPreimage.schema,
157
- leafIndex: schemas.Fr,
158
- siblingPath: schemas.Fr.array()
159
- }).transform(({ leafPreimage, leafIndex, siblingPath })=>new AvmPublicDataReadTreeHint(leafPreimage, leafIndex, siblingPath));
181
+ hintKey: AppendOnlyTreeSnapshot.schema,
182
+ treeId: z.number().int().nonnegative(),
183
+ index: schemas.BigInt,
184
+ value: schemas.Fr
185
+ }).transform(({ hintKey, treeId, index, value })=>new AvmGetLeafValueHint(hintKey, treeId, index, value));
160
186
  }
161
187
  }
162
- export class AvmPublicDataWriteTreeHint {
163
- lowLeafRead;
164
- newLeafPreimage;
165
- insertionPath;
166
- constructor(// To check the current slot has been written to
167
- lowLeafRead, newLeafPreimage, insertionPath){
168
- this.lowLeafRead = lowLeafRead;
169
- this.newLeafPreimage = newLeafPreimage;
170
- this.insertionPath = insertionPath;
188
+ ////////////////////////////////////////////////////////////////////////////
189
+ // Hints (other)
190
+ ////////////////////////////////////////////////////////////////////////////
191
+ export class AvmEnqueuedCallHint {
192
+ msgSender;
193
+ contractAddress;
194
+ calldata;
195
+ isStaticCall;
196
+ constructor(msgSender, contractAddress, calldata, isStaticCall){
197
+ this.msgSender = msgSender;
198
+ this.contractAddress = contractAddress;
199
+ this.calldata = calldata;
200
+ this.isStaticCall = isStaticCall;
171
201
  }
172
202
  static get schema() {
173
203
  return z.object({
174
- lowLeafRead: AvmPublicDataReadTreeHint.schema,
175
- newLeafPreimage: PublicDataTreeLeafPreimage.schema,
176
- insertionPath: schemas.Fr.array()
177
- }).transform(({ lowLeafRead, newLeafPreimage, insertionPath })=>new AvmPublicDataWriteTreeHint(lowLeafRead, newLeafPreimage, insertionPath));
204
+ msgSender: AztecAddress.schema,
205
+ contractAddress: AztecAddress.schema,
206
+ calldata: schemas.Fr.array(),
207
+ isStaticCall: z.boolean()
208
+ }).transform(({ msgSender, contractAddress, calldata, isStaticCall })=>new AvmEnqueuedCallHint(msgSender, contractAddress, calldata, isStaticCall));
178
209
  }
179
210
  }
180
211
  export class AvmExecutionHints {
@@ -182,25 +213,23 @@ export class AvmExecutionHints {
182
213
  contractInstances;
183
214
  contractClasses;
184
215
  bytecodeCommitments;
185
- publicDataReads;
186
- publicDataWrites;
187
- nullifierReads;
188
- nullifierWrites;
189
- noteHashReads;
190
- noteHashWrites;
191
- l1ToL2MessageReads;
192
- constructor(enqueuedCalls = [], contractInstances = [], contractClasses = [], bytecodeCommitments = [], publicDataReads = [], publicDataWrites = [], nullifierReads = [], nullifierWrites = [], noteHashReads = [], noteHashWrites = [], l1ToL2MessageReads = []){
216
+ getSiblingPathHints;
217
+ getPreviousValueIndexHints;
218
+ getLeafPreimageHintsPublicDataTree;
219
+ getLeafPreimageHintsNullifierTree;
220
+ getLeafValueHints;
221
+ constructor(enqueuedCalls = [], // Contract hints.
222
+ contractInstances = [], contractClasses = [], bytecodeCommitments = [], // Merkle DB hints.
223
+ getSiblingPathHints = [], getPreviousValueIndexHints = [], getLeafPreimageHintsPublicDataTree = [], getLeafPreimageHintsNullifierTree = [], getLeafValueHints = []){
193
224
  this.enqueuedCalls = enqueuedCalls;
194
225
  this.contractInstances = contractInstances;
195
226
  this.contractClasses = contractClasses;
196
227
  this.bytecodeCommitments = bytecodeCommitments;
197
- this.publicDataReads = publicDataReads;
198
- this.publicDataWrites = publicDataWrites;
199
- this.nullifierReads = nullifierReads;
200
- this.nullifierWrites = nullifierWrites;
201
- this.noteHashReads = noteHashReads;
202
- this.noteHashWrites = noteHashWrites;
203
- this.l1ToL2MessageReads = l1ToL2MessageReads;
228
+ this.getSiblingPathHints = getSiblingPathHints;
229
+ this.getPreviousValueIndexHints = getPreviousValueIndexHints;
230
+ this.getLeafPreimageHintsPublicDataTree = getLeafPreimageHintsPublicDataTree;
231
+ this.getLeafPreimageHintsNullifierTree = getLeafPreimageHintsNullifierTree;
232
+ this.getLeafValueHints = getLeafValueHints;
204
233
  }
205
234
  static empty() {
206
235
  return new AvmExecutionHints();
@@ -211,14 +240,12 @@ export class AvmExecutionHints {
211
240
  contractInstances: AvmContractInstanceHint.schema.array(),
212
241
  contractClasses: AvmContractClassHint.schema.array(),
213
242
  bytecodeCommitments: AvmBytecodeCommitmentHint.schema.array(),
214
- publicDataReads: AvmPublicDataReadTreeHint.schema.array(),
215
- publicDataWrites: AvmPublicDataWriteTreeHint.schema.array(),
216
- nullifierReads: AvmNullifierReadTreeHint.schema.array(),
217
- nullifierWrites: AvmNullifierWriteTreeHint.schema.array(),
218
- noteHashReads: AvmAppendTreeHint.schema.array(),
219
- noteHashWrites: AvmAppendTreeHint.schema.array(),
220
- l1ToL2MessageReads: AvmAppendTreeHint.schema.array()
221
- }).transform(({ enqueuedCalls, contractInstances, contractClasses, bytecodeCommitments, publicDataReads, publicDataWrites, nullifierReads, nullifierWrites, noteHashReads, noteHashWrites, l1ToL2MessageReads })=>new AvmExecutionHints(enqueuedCalls, contractInstances, contractClasses, bytecodeCommitments, publicDataReads, publicDataWrites, nullifierReads, nullifierWrites, noteHashReads, noteHashWrites, l1ToL2MessageReads));
243
+ getSiblingPathHints: AvmGetSiblingPathHint.schema.array(),
244
+ getPreviousValueIndexHints: AvmGetPreviousValueIndexHint.schema.array(),
245
+ getLeafPreimageHintsPublicDataTree: AvmGetLeafPreimageHintPublicDataTree.schema.array(),
246
+ getLeafPreimageHintsNullifierTree: AvmGetLeafPreimageHintNullifierTree.schema.array(),
247
+ getLeafValueHints: AvmGetLeafValueHint.schema.array()
248
+ }).transform(({ enqueuedCalls, contractInstances, contractClasses, bytecodeCommitments, getSiblingPathHints, getPreviousValueIndexHints, getLeafPreimageHintsPublicDataTree, getLeafPreimageHintsNullifierTree, getLeafValueHints })=>new AvmExecutionHints(enqueuedCalls, contractInstances, contractClasses, bytecodeCommitments, getSiblingPathHints, getPreviousValueIndexHints, getLeafPreimageHintsPublicDataTree, getLeafPreimageHintsNullifierTree, getLeafValueHints));
222
249
  }
223
250
  }
224
251
  export class AvmCircuitInputs {