@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.
- package/dest/abi/abi.d.ts +2 -2
- package/dest/abi/abi.d.ts.map +1 -1
- package/dest/abi/abi.js +1 -1
- package/dest/abi/contract_artifact.d.ts.map +1 -1
- package/dest/abi/contract_artifact.js +21 -9
- package/dest/avm/avm.d.ts +1203 -694
- package/dest/avm/avm.d.ts.map +1 -1
- package/dest/avm/avm.js +58 -6
- package/dest/avm/avm_circuit_public_inputs.d.ts +80 -80
- package/dest/avm/avm_proving_request.d.ts +672 -447
- package/dest/avm/avm_proving_request.d.ts.map +1 -1
- package/dest/config/config.d.ts +2 -1
- package/dest/config/config.d.ts.map +1 -1
- package/dest/contract/artifact_hash.d.ts +5 -5
- package/dest/contract/artifact_hash.d.ts.map +1 -1
- package/dest/contract/artifact_hash.js +8 -8
- package/dest/contract/index.d.ts +1 -1
- package/dest/contract/index.d.ts.map +1 -1
- package/dest/contract/index.js +1 -1
- package/dest/contract/interfaces/contract_class.d.ts +23 -19
- package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
- package/dest/contract/interfaces/contract_class.js +4 -4
- package/dest/contract/interfaces/contract_instance.d.ts +2 -2
- package/dest/contract/private_function_membership_proof.d.ts +1 -1
- package/dest/contract/private_function_membership_proof.js +6 -6
- package/dest/contract/utility_function_membership_proof.d.ts +27 -0
- package/dest/contract/utility_function_membership_proof.d.ts.map +1 -0
- package/dest/contract/{unconstrained_function_membership_proof.js → utility_function_membership_proof.js} +13 -13
- package/dest/interfaces/allowed_element.d.ts +53 -0
- package/dest/interfaces/allowed_element.d.ts.map +1 -0
- package/dest/interfaces/allowed_element.js +18 -0
- package/dest/interfaces/configs.d.ts +17 -34
- package/dest/interfaces/configs.d.ts.map +1 -1
- package/dest/interfaces/configs.js +2 -17
- package/dest/interfaces/proving-job.d.ts +672 -447
- package/dest/interfaces/proving-job.d.ts.map +1 -1
- package/dest/interfaces/public_state_source.d.ts +8 -0
- package/dest/interfaces/public_state_source.d.ts.map +1 -0
- package/dest/interfaces/public_state_source.js +1 -0
- package/dest/interfaces/pxe.d.ts +7 -8
- package/dest/interfaces/pxe.d.ts.map +1 -1
- package/dest/interfaces/pxe.js +1 -1
- package/dest/interfaces/server.d.ts +1 -0
- package/dest/interfaces/server.d.ts.map +1 -1
- package/dest/interfaces/server.js +1 -0
- package/dest/logs/tx_scoped_l2_log.d.ts +1 -1
- package/dest/noir/index.d.ts +3 -1
- package/dest/noir/index.d.ts.map +1 -1
- package/dest/noir/index.js +1 -0
- package/dest/note/extended_note.d.ts +3 -3
- package/dest/proofs/proof.d.ts +0 -1
- package/dest/proofs/proof.d.ts.map +1 -1
- package/dest/proofs/proof.js +6 -11
- package/dest/tests/factories.d.ts +4 -3
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +15 -6
- package/dest/trees/database_public_state_source.d.ts +11 -0
- package/dest/trees/database_public_state_source.d.ts.map +1 -0
- package/dest/trees/database_public_state_source.js +18 -0
- package/dest/trees/index.d.ts +1 -0
- package/dest/trees/index.d.ts.map +1 -1
- package/dest/trees/index.js +1 -0
- package/dest/tx/call_context.d.ts +1 -1
- package/dest/tx/tree_snapshots.d.ts +6 -6
- package/package.json +6 -6
- package/src/abi/abi.ts +2 -2
- package/src/abi/contract_artifact.ts +22 -8
- package/src/avm/avm.ts +89 -5
- package/src/config/config.ts +2 -1
- package/src/contract/artifact_hash.ts +9 -9
- package/src/contract/index.ts +1 -1
- package/src/contract/interfaces/contract_class.ts +21 -17
- package/src/contract/private_function_membership_proof.ts +6 -6
- package/src/contract/{unconstrained_function_membership_proof.ts → utility_function_membership_proof.ts} +18 -18
- package/src/interfaces/allowed_element.ts +21 -0
- package/src/interfaces/configs.ts +3 -18
- package/src/interfaces/public_state_source.ts +9 -0
- package/src/interfaces/pxe.ts +8 -9
- package/src/interfaces/server.ts +1 -0
- package/src/noir/index.ts +2 -1
- package/src/proofs/proof.ts +6 -16
- package/src/tests/factories.ts +23 -6
- package/src/trees/database_public_state_source.ts +30 -0
- package/src/trees/index.ts +1 -0
- package/dest/contract/unconstrained_function_membership_proof.d.ts +0 -27
- 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
|
|
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
|
-
|
|
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
|
-
|
|
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
|
-
|
|
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
|
-
|
|
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;
|
|
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
|
-
|
|
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
|
-
|
|
14
|
+
txPublicSetupAllowList: z.array(AllowedElementSchema).optional(),
|
|
30
15
|
maxBlockSizeInBytes: z.number().optional(),
|
|
31
16
|
governanceProposerPayload: schemas.EthAddress.optional(),
|
|
32
17
|
maxL1TxInclusionTimeIntoSlot: z.number().optional(),
|