@aztec/stdlib 0.83.1 → 0.84.0

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 (86) hide show
  1. package/dest/abi/abi.d.ts +2 -2
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +1 -1
  4. package/dest/abi/contract_artifact.d.ts.map +1 -1
  5. package/dest/abi/contract_artifact.js +21 -9
  6. package/dest/avm/avm.d.ts +1203 -694
  7. package/dest/avm/avm.d.ts.map +1 -1
  8. package/dest/avm/avm.js +58 -6
  9. package/dest/avm/avm_circuit_public_inputs.d.ts +80 -80
  10. package/dest/avm/avm_proving_request.d.ts +672 -447
  11. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  12. package/dest/config/config.d.ts +2 -1
  13. package/dest/config/config.d.ts.map +1 -1
  14. package/dest/contract/artifact_hash.d.ts +5 -5
  15. package/dest/contract/artifact_hash.d.ts.map +1 -1
  16. package/dest/contract/artifact_hash.js +8 -8
  17. package/dest/contract/index.d.ts +1 -1
  18. package/dest/contract/index.d.ts.map +1 -1
  19. package/dest/contract/index.js +1 -1
  20. package/dest/contract/interfaces/contract_class.d.ts +23 -19
  21. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  22. package/dest/contract/interfaces/contract_class.js +4 -4
  23. package/dest/contract/interfaces/contract_instance.d.ts +2 -2
  24. package/dest/contract/private_function_membership_proof.d.ts +1 -1
  25. package/dest/contract/private_function_membership_proof.js +6 -6
  26. package/dest/contract/utility_function_membership_proof.d.ts +27 -0
  27. package/dest/contract/utility_function_membership_proof.d.ts.map +1 -0
  28. package/dest/contract/{unconstrained_function_membership_proof.js → utility_function_membership_proof.js} +13 -13
  29. package/dest/interfaces/allowed_element.d.ts +53 -0
  30. package/dest/interfaces/allowed_element.d.ts.map +1 -0
  31. package/dest/interfaces/allowed_element.js +18 -0
  32. package/dest/interfaces/configs.d.ts +17 -34
  33. package/dest/interfaces/configs.d.ts.map +1 -1
  34. package/dest/interfaces/configs.js +2 -17
  35. package/dest/interfaces/proving-job.d.ts +672 -447
  36. package/dest/interfaces/proving-job.d.ts.map +1 -1
  37. package/dest/interfaces/public_state_source.d.ts +8 -0
  38. package/dest/interfaces/public_state_source.d.ts.map +1 -0
  39. package/dest/interfaces/public_state_source.js +1 -0
  40. package/dest/interfaces/pxe.d.ts +7 -8
  41. package/dest/interfaces/pxe.d.ts.map +1 -1
  42. package/dest/interfaces/pxe.js +1 -1
  43. package/dest/interfaces/server.d.ts +1 -0
  44. package/dest/interfaces/server.d.ts.map +1 -1
  45. package/dest/interfaces/server.js +1 -0
  46. package/dest/logs/tx_scoped_l2_log.d.ts +1 -1
  47. package/dest/noir/index.d.ts +3 -1
  48. package/dest/noir/index.d.ts.map +1 -1
  49. package/dest/noir/index.js +1 -0
  50. package/dest/note/extended_note.d.ts +3 -3
  51. package/dest/proofs/proof.d.ts +0 -1
  52. package/dest/proofs/proof.d.ts.map +1 -1
  53. package/dest/proofs/proof.js +6 -11
  54. package/dest/tests/factories.d.ts +4 -3
  55. package/dest/tests/factories.d.ts.map +1 -1
  56. package/dest/tests/factories.js +15 -6
  57. package/dest/trees/database_public_state_source.d.ts +11 -0
  58. package/dest/trees/database_public_state_source.d.ts.map +1 -0
  59. package/dest/trees/database_public_state_source.js +18 -0
  60. package/dest/trees/index.d.ts +1 -0
  61. package/dest/trees/index.d.ts.map +1 -1
  62. package/dest/trees/index.js +1 -0
  63. package/dest/tx/call_context.d.ts +1 -1
  64. package/dest/tx/tree_snapshots.d.ts +6 -6
  65. package/package.json +6 -6
  66. package/src/abi/abi.ts +2 -2
  67. package/src/abi/contract_artifact.ts +22 -8
  68. package/src/avm/avm.ts +89 -5
  69. package/src/config/config.ts +2 -1
  70. package/src/contract/artifact_hash.ts +9 -9
  71. package/src/contract/index.ts +1 -1
  72. package/src/contract/interfaces/contract_class.ts +21 -17
  73. package/src/contract/private_function_membership_proof.ts +6 -6
  74. package/src/contract/{unconstrained_function_membership_proof.ts → utility_function_membership_proof.ts} +18 -18
  75. package/src/interfaces/allowed_element.ts +21 -0
  76. package/src/interfaces/configs.ts +3 -18
  77. package/src/interfaces/public_state_source.ts +9 -0
  78. package/src/interfaces/pxe.ts +8 -9
  79. package/src/interfaces/server.ts +1 -0
  80. package/src/noir/index.ts +2 -1
  81. package/src/proofs/proof.ts +6 -16
  82. package/src/tests/factories.ts +23 -6
  83. package/src/trees/database_public_state_source.ts +30 -0
  84. package/src/trees/index.ts +1 -0
  85. package/dest/contract/unconstrained_function_membership_proof.d.ts +0 -27
  86. package/dest/contract/unconstrained_function_membership_proof.d.ts.map +0 -1
@@ -1,24 +1,8 @@
1
1
  import type { EthAddress } from '@aztec/foundation/eth-address';
2
- import type { Fr } from '@aztec/foundation/fields';
3
2
  import { z } from 'zod';
4
- import type { FunctionSelector } from '../abi/function_selector.js';
5
3
  import type { AztecAddress } from '../aztec-address/index.js';
6
4
  import { type ZodFor } from '../schemas/index.js';
7
- type AllowedInstance = {
8
- address: AztecAddress;
9
- };
10
- type AllowedInstanceFunction = {
11
- address: AztecAddress;
12
- selector: FunctionSelector;
13
- };
14
- type AllowedClass = {
15
- classId: Fr;
16
- };
17
- type AllowedClassFunction = {
18
- classId: Fr;
19
- selector: FunctionSelector;
20
- };
21
- export type AllowedElement = AllowedInstance | AllowedInstanceFunction | AllowedClass | AllowedClassFunction;
5
+ import { type AllowedElement } from './allowed_element.js';
22
6
  /**
23
7
  * The sequencer configuration.
24
8
  */
@@ -42,7 +26,7 @@ export interface SequencerConfig {
42
26
  /** The path to the ACVM binary */
43
27
  acvmBinaryPath?: string;
44
28
  /** The list of functions calls allowed to run in setup */
45
- allowedInSetup?: AllowedElement[];
29
+ txPublicSetupAllowList?: AllowedElement[];
46
30
  /** Max block size */
47
31
  maxBlockSizeInBytes?: number;
48
32
  /** Payload address to vote for */
@@ -62,11 +46,11 @@ export declare const SequencerConfigSchema: z.ZodObject<{
62
46
  feeRecipient: z.ZodOptional<ZodFor<AztecAddress>>;
63
47
  acvmWorkingDirectory: z.ZodOptional<z.ZodString>;
64
48
  acvmBinaryPath: z.ZodOptional<z.ZodString>;
65
- allowedInSetup: z.ZodOptional<z.ZodArray<z.ZodUnion<[z.ZodObject<{
49
+ txPublicSetupAllowList: z.ZodOptional<z.ZodArray<z.ZodUnion<[z.ZodObject<{
66
50
  address: ZodFor<AztecAddress>;
67
- selector: ZodFor<FunctionSelector>;
51
+ selector: ZodFor<import("../abi/function_selector.js").FunctionSelector>;
68
52
  }, "strip", z.ZodTypeAny, {
69
- selector: FunctionSelector;
53
+ selector: import("../abi/function_selector.js").FunctionSelector;
70
54
  address: AztecAddress;
71
55
  }, {
72
56
  selector?: any;
@@ -78,18 +62,18 @@ export declare const SequencerConfigSchema: z.ZodObject<{
78
62
  }, {
79
63
  address?: any;
80
64
  }>, z.ZodObject<{
81
- classId: ZodFor<Fr>;
82
- selector: ZodFor<FunctionSelector>;
65
+ classId: ZodFor<import("@aztec/foundation/schemas").Fr>;
66
+ selector: ZodFor<import("../abi/function_selector.js").FunctionSelector>;
83
67
  }, "strip", z.ZodTypeAny, {
84
- selector: FunctionSelector;
85
- classId: Fr;
68
+ selector: import("../abi/function_selector.js").FunctionSelector;
69
+ classId: import("@aztec/foundation/schemas").Fr;
86
70
  }, {
87
71
  selector?: any;
88
72
  classId?: any;
89
73
  }>, z.ZodObject<{
90
- classId: ZodFor<Fr>;
74
+ classId: ZodFor<import("@aztec/foundation/schemas").Fr>;
91
75
  }, "strip", z.ZodTypeAny, {
92
- classId: Fr;
76
+ classId: import("@aztec/foundation/schemas").Fr;
93
77
  }, {
94
78
  classId?: any;
95
79
  }>]>, "many">>;
@@ -107,16 +91,16 @@ export declare const SequencerConfigSchema: z.ZodObject<{
107
91
  maxDABlockGas?: number | undefined;
108
92
  acvmWorkingDirectory?: string | undefined;
109
93
  acvmBinaryPath?: string | undefined;
110
- allowedInSetup?: ({
111
- selector: FunctionSelector;
94
+ txPublicSetupAllowList?: ({
95
+ selector: import("../abi/function_selector.js").FunctionSelector;
112
96
  address: AztecAddress;
113
97
  } | {
114
98
  address: AztecAddress;
115
99
  } | {
116
- selector: FunctionSelector;
117
- classId: Fr;
100
+ selector: import("../abi/function_selector.js").FunctionSelector;
101
+ classId: import("@aztec/foundation/schemas").Fr;
118
102
  } | {
119
- classId: Fr;
103
+ classId: import("@aztec/foundation/schemas").Fr;
120
104
  })[] | undefined;
121
105
  maxBlockSizeInBytes?: number | undefined;
122
106
  governanceProposerPayload?: EthAddress | undefined;
@@ -132,7 +116,7 @@ export declare const SequencerConfigSchema: z.ZodObject<{
132
116
  maxDABlockGas?: number | undefined;
133
117
  acvmWorkingDirectory?: string | undefined;
134
118
  acvmBinaryPath?: string | undefined;
135
- allowedInSetup?: ({
119
+ txPublicSetupAllowList?: ({
136
120
  selector?: any;
137
121
  address?: any;
138
122
  } | {
@@ -148,5 +132,4 @@ export declare const SequencerConfigSchema: z.ZodObject<{
148
132
  maxL1TxInclusionTimeIntoSlot?: number | undefined;
149
133
  enforceTimeTable?: boolean | undefined;
150
134
  }>;
151
- export {};
152
135
  //# sourceMappingURL=configs.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"configs.d.ts","sourceRoot":"","sources":["../../src/interfaces/configs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAE3D,KAAK,eAAe,GAAG;IAAE,OAAO,EAAE,YAAY,CAAA;CAAE,CAAC;AACjD,KAAK,uBAAuB,GAAG;IAAE,OAAO,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,gBAAgB,CAAA;CAAE,CAAC;AACrF,KAAK,YAAY,GAAG;IAAE,OAAO,EAAE,EAAE,CAAA;CAAE,CAAC;AACpC,KAAK,oBAAoB,GAAG;IAAE,OAAO,EAAE,EAAE,CAAC;IAAC,QAAQ,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAExE,MAAM,MAAM,cAAc,GAAG,eAAe,GAAG,uBAAuB,GAAG,YAAY,GAAG,oBAAoB,CAAC;AAE7G;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,gEAAgE;IAChE,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,uDAAuD;IACvD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,uDAAuD;IACvD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,gCAAgC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,iCAAiC;IACjC,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,+BAA+B;IAC/B,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,0DAA0D;IAC1D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kCAAkC;IAClC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,cAAc,CAAC,EAAE,cAAc,EAAE,CAAC;IAClC,qBAAqB;IACrB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,kCAAkC;IAClC,yBAAyB,CAAC,EAAE,UAAU,CAAC;IACvC,6DAA6D;IAC7D,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,gFAAgF;IAChF,4BAA4B,CAAC,EAAE,MAAM,CAAC;CACvC;AASD,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAeE,CAAC"}
1
+ {"version":3,"file":"configs.d.ts","sourceRoot":"","sources":["../../src/interfaces/configs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEhE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,KAAK,cAAc,EAAwB,MAAM,sBAAsB,CAAC;AAEjF;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,gEAAgE;IAChE,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,uDAAuD;IACvD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,uDAAuD;IACvD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,gCAAgC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,iCAAiC;IACjC,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,+BAA+B;IAC/B,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,0DAA0D;IAC1D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kCAAkC;IAClC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,sBAAsB,CAAC,EAAE,cAAc,EAAE,CAAC;IAC1C,qBAAqB;IACrB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,kCAAkC;IAClC,yBAAyB,CAAC,EAAE,UAAU,CAAC;IACvC,6DAA6D;IAC7D,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,gFAAgF;IAChF,4BAA4B,CAAC,EAAE,MAAM,CAAC;CACvC;AAED,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAeE,CAAC"}
@@ -1,21 +1,6 @@
1
1
  import { z } from 'zod';
2
2
  import { schemas } from '../schemas/index.js';
3
- const AllowedElementSchema = z.union([
4
- z.object({
5
- address: schemas.AztecAddress,
6
- selector: schemas.FunctionSelector
7
- }),
8
- z.object({
9
- address: schemas.AztecAddress
10
- }),
11
- z.object({
12
- classId: schemas.Fr,
13
- selector: schemas.FunctionSelector
14
- }),
15
- z.object({
16
- classId: schemas.Fr
17
- })
18
- ]);
3
+ import { AllowedElementSchema } from './allowed_element.js';
19
4
  export const SequencerConfigSchema = z.object({
20
5
  transactionPollingIntervalMS: z.number().optional(),
21
6
  maxTxsPerBlock: z.number().optional(),
@@ -26,7 +11,7 @@ export const SequencerConfigSchema = z.object({
26
11
  feeRecipient: schemas.AztecAddress.optional(),
27
12
  acvmWorkingDirectory: z.string().optional(),
28
13
  acvmBinaryPath: z.string().optional(),
29
- allowedInSetup: z.array(AllowedElementSchema).optional(),
14
+ txPublicSetupAllowList: z.array(AllowedElementSchema).optional(),
30
15
  maxBlockSizeInBytes: z.number().optional(),
31
16
  governanceProposerPayload: schemas.EthAddress.optional(),
32
17
  maxL1TxInclusionTimeIntoSlot: z.number().optional(),