@aztec/stdlib 0.84.0-alpha-testnet.0 → 0.84.0-nightly.20250405

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 (36) hide show
  1. package/dest/avm/avm.d.ts +1272 -22
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm.js +71 -3
  4. package/dest/avm/avm_proving_request.d.ts +585 -0
  5. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  6. package/dest/epoch-helpers/index.d.ts +9 -0
  7. package/dest/epoch-helpers/index.d.ts.map +1 -1
  8. package/dest/epoch-helpers/index.js +15 -2
  9. package/dest/interfaces/proving-job.d.ts +585 -0
  10. package/dest/interfaces/proving-job.d.ts.map +1 -1
  11. package/dest/logs/log_with_tx_data.d.ts +3 -2
  12. package/dest/logs/log_with_tx_data.d.ts.map +1 -1
  13. package/dest/logs/log_with_tx_data.js +3 -2
  14. package/dest/logs/pending_tagged_log.d.ts +3 -2
  15. package/dest/logs/pending_tagged_log.d.ts.map +1 -1
  16. package/dest/logs/pending_tagged_log.js +1 -1
  17. package/dest/messaging/l1_to_l2_message_source.d.ts +5 -0
  18. package/dest/messaging/l1_to_l2_message_source.d.ts.map +1 -1
  19. package/dest/tests/factories.d.ts +4 -1
  20. package/dest/tests/factories.d.ts.map +1 -1
  21. package/dest/tests/factories.js +14 -2
  22. package/dest/tx/index.d.ts +1 -0
  23. package/dest/tx/index.d.ts.map +1 -1
  24. package/dest/tx/index.js +1 -0
  25. package/dest/tx/validator/error_texts.d.ts +19 -0
  26. package/dest/tx/validator/error_texts.d.ts.map +1 -0
  27. package/dest/tx/validator/error_texts.js +26 -0
  28. package/package.json +6 -6
  29. package/src/avm/avm.ts +99 -1
  30. package/src/epoch-helpers/index.ts +19 -0
  31. package/src/logs/log_with_tx_data.ts +4 -3
  32. package/src/logs/pending_tagged_log.ts +3 -2
  33. package/src/messaging/l1_to_l2_message_source.ts +7 -0
  34. package/src/tests/factories.ts +35 -0
  35. package/src/tx/index.ts +1 -0
  36. package/src/tx/validator/error_texts.ts +33 -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,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AACzC,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;AAED,KAAK,wBAAwB,GAAG,qBAAqB,GAAG,0BAA0B,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BnF,qBAAa,oCAAqC,SAAQ,yCAAyD;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACtH,qBAAa,mCAAoC,SAAQ,wCAAoD;CAAG;AAIhH,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqDD,qBAAa,qCAAsC,SAAQ,0CAA0D;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACxH,qBAAa,oCAAqC,SAAQ,yCAAqD;CAAG;AAKlH,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,SAAS;aAEF,4BAA4B,EAAE;QAC5C,UAAU,EAAE,EAAE,EAAE,CAAC;QACjB,UAAU,EAAE,EAAE,EAAE,CAAC;KAElB;aACe,yBAAyB,EAAE;QACzC,UAAU,EAAE,EAAE,EAAE,CAAC;QACjB,UAAU,EAAE,EAAE,EAAE,CAAC;KAElB;aACe,kBAAkB,EAAE,mBAAmB,EAAE;aACzC,qBAAqB,EAAE,mBAAmB,EAAE;aAG5C,oBAAoB,EAAE,mBAAmB,GAAG,IAAI;gBAdhD,4BAA4B,EAAE;QAC5C,UAAU,EAAE,EAAE,EAAE,CAAC;QACjB,UAAU,EAAE,EAAE,EAAE,CAAC;KAElB,EACe,yBAAyB,EAAE;QACzC,UAAU,EAAE,EAAE,EAAE,CAAC;QACjB,UAAU,EAAE,EAAE,EAAE,CAAC;KAElB,EACe,kBAAkB,EAAE,mBAAmB,EAAE,EACzC,qBAAqB,EAAE,mBAAmB,EAAE,EAG5C,oBAAoB,EAAE,mBAAmB,GAAG,IAAI;IAGlE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,SAAS;IA2ChC,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAchB;CACF;AAED,qBAAa,iBAAiB;IAEnB,EAAE,EAAE,SAAS;aAEJ,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;aACxC,mCAAmC,EAAE,qCAAqC,EAAE;aAC5E,kCAAkC,EAAE,oCAAoC,EAAE;gBAZnF,EAAE,EAAE,SAAS,EAEJ,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,EAC7C,mCAAmC,GAAE,qCAAqC,EAAO,EACjF,kCAAkC,GAAE,oCAAoC,EAAO;IAGjG,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;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,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,EAAE,MAAM,gBAAgB,CAAC;AACxD,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;AAED,KAAK,wBAAwB,GAAG,qBAAqB,GAAG,0BAA0B,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BnF,qBAAa,oCAAqC,SAAQ,yCAAyD;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACtH,qBAAa,mCAAoC,SAAQ,wCAAoD;CAAG;AAIhH,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqDD,qBAAa,qCAAsC,SAAQ,0CAA0D;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACxH,qBAAa,oCAAqC,SAAQ,yCAAqD;CAAG;AAGlH,cAAM,oCAAoC;aAGtB,aAAa,EAAE,MAAM;aAErB,eAAe,EAAE,MAAM;aACvB,eAAe,EAAE,MAAM;gBAHvB,aAAa,EAAE,MAAM,EAErB,eAAe,EAAE,MAAM,EACvB,eAAe,EAAE,MAAM;IAGzC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAWhB;CACF;AAGD,qBAAa,uBAAwB,SAAQ,oCAAoC;CAAG;AAGpF,qBAAa,uBAAwB,SAAQ,oCAAoC;CAAG;AAGpF,qBAAa,uBAAuB;aAIhB,aAAa,EAAE,MAAM;aAErB,eAAe,EAAE,MAAM;aACvB,eAAe,EAAE,MAAM;aAEvB,WAAW,EAAE,aAAa;aAC1B,UAAU,EAAE,aAAa;gBANzB,aAAa,EAAE,MAAM,EAErB,eAAe,EAAE,MAAM,EACvB,eAAe,EAAE,MAAM,EAEvB,WAAW,EAAE,aAAa,EAC1B,UAAU,EAAE,aAAa;IAG3C,MAAM,CAAC,MAAM,CACX,aAAa,EAAE,MAAM,EACrB,eAAe,EAAE,MAAM,EACvB,eAAe,EAAE,MAAM,EACvB,WAAW,EAAE,MAAM,CAAC,YAAY,EAAE,sBAAsB,CAAC,EACzD,UAAU,EAAE,MAAM,CAAC,YAAY,EAAE,sBAAsB,CAAC,GACvD,uBAAuB;IAoB1B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAahB;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,SAAS;aAEF,4BAA4B,EAAE;QAC5C,UAAU,EAAE,EAAE,EAAE,CAAC;QACjB,UAAU,EAAE,EAAE,EAAE,CAAC;KAElB;aACe,yBAAyB,EAAE;QACzC,UAAU,EAAE,EAAE,EAAE,CAAC;QACjB,UAAU,EAAE,EAAE,EAAE,CAAC;KAElB;aACe,kBAAkB,EAAE,mBAAmB,EAAE;aACzC,qBAAqB,EAAE,mBAAmB,EAAE;aAG5C,oBAAoB,EAAE,mBAAmB,GAAG,IAAI;gBAdhD,4BAA4B,EAAE;QAC5C,UAAU,EAAE,EAAE,EAAE,CAAC;QACjB,UAAU,EAAE,EAAE,EAAE,CAAC;KAElB,EACe,yBAAyB,EAAE;QACzC,UAAU,EAAE,EAAE,EAAE,CAAC;QACjB,UAAU,EAAE,EAAE,EAAE,CAAC;KAElB,EACe,kBAAkB,EAAE,mBAAmB,EAAE,EACzC,qBAAqB,EAAE,mBAAmB,EAAE,EAG5C,oBAAoB,EAAE,mBAAmB,GAAG,IAAI;IAGlE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,SAAS;IA2ChC,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAchB;CACF;AAED,qBAAa,iBAAiB;IAEnB,EAAE,EAAE,SAAS;aAEJ,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;aACxC,mCAAmC,EAAE,qCAAqC,EAAE;aAC5E,kCAAkC,EAAE,oCAAoC,EAAE;aAC1E,qBAAqB,EAAE,uBAAuB,EAAE;aAChD,qBAAqB,EAAE,uBAAuB,EAAE;aAChD,qBAAqB,EAAE,uBAAuB,EAAE;gBAfzD,EAAE,EAAE,SAAS,EAEJ,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,EAC7C,mCAAmC,GAAE,qCAAqC,EAAO,EACjF,kCAAkC,GAAE,oCAAoC,EAAO,EAC/E,qBAAqB,GAAE,uBAAuB,EAAO,EACrD,qBAAqB,GAAE,uBAAuB,EAAO,EACrD,qBAAqB,GAAE,uBAAuB,EAAO;IAGvE,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAoDhB;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
@@ -4,8 +4,10 @@ import { z } from 'zod';
4
4
  import { AztecAddress } from '../aztec-address/index.js';
5
5
  import { PublicKeys } from '../keys/public_keys.js';
6
6
  import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
7
+ import { MerkleTreeId } from '../trees/merkle_tree_id.js';
7
8
  import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
8
9
  import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
10
+ import { TreeSnapshots } from '../tx/index.js';
9
11
  import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
10
12
  import { serializeWithMessagePack } from './message_pack.js';
11
13
  ////////////////////////////////////////////////////////////////////////////
@@ -225,6 +227,63 @@ export class AvmSequentialInsertHintPublicDataTree extends AvmSequentialInsertHi
225
227
  }
226
228
  export class AvmSequentialInsertHintNullifierTree extends AvmSequentialInsertHintFactory(NullifierLeafPreimage) {
227
229
  }
230
+ // Hint for checkpoint actions that don't change the state.
231
+ class AvmCheckpointActionNoStateChangeHint {
232
+ actionCounter;
233
+ oldCheckpointId;
234
+ newCheckpointId;
235
+ constructor(// key
236
+ actionCounter, // current checkpoint evolution
237
+ oldCheckpointId, newCheckpointId){
238
+ this.actionCounter = actionCounter;
239
+ this.oldCheckpointId = oldCheckpointId;
240
+ this.newCheckpointId = newCheckpointId;
241
+ }
242
+ static get schema() {
243
+ return z.object({
244
+ actionCounter: z.number().int().nonnegative(),
245
+ oldCheckpointId: z.number().int().nonnegative(),
246
+ newCheckpointId: z.number().int().nonnegative()
247
+ }).transform(({ actionCounter, oldCheckpointId, newCheckpointId })=>new AvmCheckpointActionNoStateChangeHint(actionCounter, oldCheckpointId, newCheckpointId));
248
+ }
249
+ }
250
+ // Hint for MerkleTreeDB.createCheckpoint.
251
+ export class AvmCreateCheckpointHint extends AvmCheckpointActionNoStateChangeHint {
252
+ }
253
+ // Hint for MerkleTreeDB.commitCheckpoint.
254
+ export class AvmCommitCheckpointHint extends AvmCheckpointActionNoStateChangeHint {
255
+ }
256
+ // Hint for MerkleTreeDB.revertCheckpoint.
257
+ export class AvmRevertCheckpointHint {
258
+ actionCounter;
259
+ oldCheckpointId;
260
+ newCheckpointId;
261
+ stateBefore;
262
+ stateAfter;
263
+ // We use explicit fields for MessagePack.
264
+ constructor(// key
265
+ actionCounter, // current checkpoint evolution
266
+ oldCheckpointId, newCheckpointId, // state evolution
267
+ stateBefore, stateAfter){
268
+ this.actionCounter = actionCounter;
269
+ this.oldCheckpointId = oldCheckpointId;
270
+ this.newCheckpointId = newCheckpointId;
271
+ this.stateBefore = stateBefore;
272
+ this.stateAfter = stateAfter;
273
+ }
274
+ static create(actionCounter, oldCheckpointId, newCheckpointId, stateBefore, stateAfter) {
275
+ return new AvmRevertCheckpointHint(actionCounter, oldCheckpointId, newCheckpointId, new TreeSnapshots(stateBefore[MerkleTreeId.L1_TO_L2_MESSAGE_TREE], stateBefore[MerkleTreeId.NOTE_HASH_TREE], stateBefore[MerkleTreeId.NULLIFIER_TREE], stateBefore[MerkleTreeId.PUBLIC_DATA_TREE]), new TreeSnapshots(stateAfter[MerkleTreeId.L1_TO_L2_MESSAGE_TREE], stateAfter[MerkleTreeId.NOTE_HASH_TREE], stateAfter[MerkleTreeId.NULLIFIER_TREE], stateAfter[MerkleTreeId.PUBLIC_DATA_TREE]));
276
+ }
277
+ static get schema() {
278
+ return z.object({
279
+ actionCounter: z.number().int().nonnegative(),
280
+ oldCheckpointId: z.number().int().nonnegative(),
281
+ newCheckpointId: z.number().int().nonnegative(),
282
+ stateBefore: TreeSnapshots.schema,
283
+ stateAfter: TreeSnapshots.schema
284
+ }).transform(({ actionCounter, oldCheckpointId, newCheckpointId, stateBefore, stateAfter })=>new AvmRevertCheckpointHint(actionCounter, oldCheckpointId, newCheckpointId, stateBefore, stateAfter));
285
+ }
286
+ }
228
287
  ////////////////////////////////////////////////////////////////////////////
229
288
  // Hints (other)
230
289
  ////////////////////////////////////////////////////////////////////////////
@@ -312,9 +371,12 @@ export class AvmExecutionHints {
312
371
  getLeafValueHints;
313
372
  sequentialInsertHintsPublicDataTree;
314
373
  sequentialInsertHintsNullifierTree;
374
+ createCheckpointHints;
375
+ commitCheckpointHints;
376
+ revertCheckpointHints;
315
377
  constructor(tx, // Contract hints.
316
378
  contractInstances = [], contractClasses = [], bytecodeCommitments = [], // Merkle DB hints.
317
- getSiblingPathHints = [], getPreviousValueIndexHints = [], getLeafPreimageHintsPublicDataTree = [], getLeafPreimageHintsNullifierTree = [], getLeafValueHints = [], sequentialInsertHintsPublicDataTree = [], sequentialInsertHintsNullifierTree = []){
379
+ getSiblingPathHints = [], getPreviousValueIndexHints = [], getLeafPreimageHintsPublicDataTree = [], getLeafPreimageHintsNullifierTree = [], getLeafValueHints = [], sequentialInsertHintsPublicDataTree = [], sequentialInsertHintsNullifierTree = [], createCheckpointHints = [], commitCheckpointHints = [], revertCheckpointHints = []){
318
380
  this.tx = tx;
319
381
  this.contractInstances = contractInstances;
320
382
  this.contractClasses = contractClasses;
@@ -326,6 +388,9 @@ export class AvmExecutionHints {
326
388
  this.getLeafValueHints = getLeafValueHints;
327
389
  this.sequentialInsertHintsPublicDataTree = sequentialInsertHintsPublicDataTree;
328
390
  this.sequentialInsertHintsNullifierTree = sequentialInsertHintsNullifierTree;
391
+ this.createCheckpointHints = createCheckpointHints;
392
+ this.commitCheckpointHints = commitCheckpointHints;
393
+ this.revertCheckpointHints = revertCheckpointHints;
329
394
  }
330
395
  static empty() {
331
396
  return new AvmExecutionHints(AvmTxHint.empty());
@@ -342,8 +407,11 @@ export class AvmExecutionHints {
342
407
  getLeafPreimageHintsNullifierTree: AvmGetLeafPreimageHintNullifierTree.schema.array(),
343
408
  getLeafValueHints: AvmGetLeafValueHint.schema.array(),
344
409
  sequentialInsertHintsPublicDataTree: AvmSequentialInsertHintPublicDataTree.schema.array(),
345
- sequentialInsertHintsNullifierTree: AvmSequentialInsertHintNullifierTree.schema.array()
346
- }).transform(({ tx, contractInstances, contractClasses, bytecodeCommitments, getSiblingPathHints, getPreviousValueIndexHints, getLeafPreimageHintsPublicDataTree, getLeafPreimageHintsNullifierTree, getLeafValueHints, sequentialInsertHintsPublicDataTree, sequentialInsertHintsNullifierTree })=>new AvmExecutionHints(tx, contractInstances, contractClasses, bytecodeCommitments, getSiblingPathHints, getPreviousValueIndexHints, getLeafPreimageHintsPublicDataTree, getLeafPreimageHintsNullifierTree, getLeafValueHints, sequentialInsertHintsPublicDataTree, sequentialInsertHintsNullifierTree));
410
+ sequentialInsertHintsNullifierTree: AvmSequentialInsertHintNullifierTree.schema.array(),
411
+ createCheckpointHints: AvmCreateCheckpointHint.schema.array(),
412
+ commitCheckpointHints: AvmCommitCheckpointHint.schema.array(),
413
+ revertCheckpointHints: AvmRevertCheckpointHint.schema.array()
414
+ }).transform(({ tx, contractInstances, contractClasses, bytecodeCommitments, getSiblingPathHints, getPreviousValueIndexHints, getLeafPreimageHintsPublicDataTree, getLeafPreimageHintsNullifierTree, getLeafValueHints, sequentialInsertHintsPublicDataTree, sequentialInsertHintsNullifierTree, createCheckpointHints, commitCheckpointHints, revertCheckpointHints })=>new AvmExecutionHints(tx, contractInstances, contractClasses, bytecodeCommitments, getSiblingPathHints, getPreviousValueIndexHints, getLeafPreimageHintsPublicDataTree, getLeafPreimageHintsNullifierTree, getLeafValueHints, sequentialInsertHintsPublicDataTree, sequentialInsertHintsNullifierTree, createCheckpointHints, commitCheckpointHints, revertCheckpointHints));
347
415
  }
348
416
  }
349
417
  export class AvmCircuitInputs {