@aztec/stdlib 3.0.0-nightly.20250924 → 3.0.0-nightly.20250926

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 (68) hide show
  1. package/dest/avm/avm_accumulated_data.d.ts +1 -0
  2. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  3. package/dest/avm/avm_accumulated_data.js +4 -0
  4. package/dest/avm/index.d.ts +0 -1
  5. package/dest/avm/index.d.ts.map +1 -1
  6. package/dest/avm/index.js +0 -1
  7. package/dest/file-store/factory.d.ts.map +1 -1
  8. package/dest/file-store/factory.js +18 -0
  9. package/dest/file-store/s3.d.ts +25 -0
  10. package/dest/file-store/s3.d.ts.map +1 -0
  11. package/dest/file-store/s3.js +187 -0
  12. package/dest/interfaces/aztec-node-admin.d.ts +6 -0
  13. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  14. package/dest/interfaces/pxe.d.ts +5 -179
  15. package/dest/interfaces/pxe.d.ts.map +1 -1
  16. package/dest/interfaces/pxe.js +2 -59
  17. package/dest/interfaces/slasher.d.ts +4 -0
  18. package/dest/interfaces/slasher.d.ts.map +1 -1
  19. package/dest/interfaces/slasher.js +1 -0
  20. package/dest/interfaces/validator.d.ts +6 -1
  21. package/dest/interfaces/validator.d.ts.map +1 -1
  22. package/dest/interfaces/validator.js +2 -1
  23. package/dest/rollup/avm_proof_data.d.ts +2 -12
  24. package/dest/rollup/avm_proof_data.d.ts.map +1 -1
  25. package/dest/rollup/avm_proof_data.js +0 -24
  26. package/dest/rollup/base_rollup_hints.d.ts +15 -16
  27. package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
  28. package/dest/rollup/base_rollup_hints.js +24 -25
  29. package/dest/rollup/block_root_rollup_private_inputs.d.ts +13 -13
  30. package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -1
  31. package/dest/rollup/block_root_rollup_private_inputs.js +20 -20
  32. package/dest/rollup/index.d.ts +1 -1
  33. package/dest/rollup/index.d.ts.map +1 -1
  34. package/dest/rollup/index.js +1 -1
  35. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts +1 -1
  36. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -1
  37. package/dest/rollup/public_tx_base_rollup_private_inputs.js +2 -2
  38. package/dest/rollup/{state_diff_hints.d.ts → tree_snapshot_diff_hints.d.ts} +22 -38
  39. package/dest/rollup/tree_snapshot_diff_hints.d.ts.map +1 -0
  40. package/dest/rollup/tree_snapshot_diff_hints.js +75 -0
  41. package/dest/rollup/tx_rollup_public_inputs.d.ts +4 -4
  42. package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -1
  43. package/dest/rollup/tx_rollup_public_inputs.js +7 -7
  44. package/dest/tests/factories.d.ts +4 -4
  45. package/dest/tests/factories.d.ts.map +1 -1
  46. package/dest/tests/factories.js +20 -25
  47. package/package.json +9 -8
  48. package/src/avm/avm_accumulated_data.ts +10 -0
  49. package/src/avm/index.ts +0 -1
  50. package/src/file-store/factory.ts +15 -0
  51. package/src/file-store/s3.ts +186 -0
  52. package/src/interfaces/pxe.ts +8 -80
  53. package/src/interfaces/slasher.ts +2 -0
  54. package/src/interfaces/validator.ts +5 -1
  55. package/src/rollup/avm_proof_data.ts +2 -31
  56. package/src/rollup/base_rollup_hints.ts +20 -21
  57. package/src/rollup/block_root_rollup_private_inputs.ts +14 -14
  58. package/src/rollup/index.ts +1 -1
  59. package/src/rollup/public_tx_base_rollup_private_inputs.ts +3 -2
  60. package/src/rollup/{state_diff_hints.ts → tree_snapshot_diff_hints.ts} +26 -41
  61. package/src/rollup/tx_rollup_public_inputs.ts +4 -4
  62. package/src/tests/factories.ts +25 -37
  63. package/dest/avm/public_data_hint.d.ts +0 -16
  64. package/dest/avm/public_data_hint.d.ts.map +0 -1
  65. package/dest/avm/public_data_hint.js +0 -27
  66. package/dest/rollup/state_diff_hints.d.ts.map +0 -1
  67. package/dest/rollup/state_diff_hints.js +0 -85
  68. package/src/avm/public_data_hint.ts +0 -38
@@ -1,13 +1,6 @@
1
1
  import { z } from 'zod';
2
- import { AbiTypeSchema, ContractArtifactSchema } from '../abi/abi.js';
3
- import { AuthWitness } from '../auth_witness/auth_witness.js';
4
- import { CompleteAddress, ContractClassWithIdSchema, ContractInstanceWithAddressSchema, ProtocolContractAddressesSchema } from '../contract/index.js';
5
- import { UniqueNote } from '../note/extended_note.js';
6
- import { NotesFilterSchema } from '../note/notes_filter.js';
7
- import { AbiDecodedSchema, optional, schemas } from '../schemas/schemas.js';
8
- import { SimulationOverrides, TxExecutionRequest, TxSimulationResult } from '../tx/index.js';
9
- import { TxProfileResult, UtilitySimulationResult } from '../tx/profiling.js';
10
- import { TxProvingResult } from '../tx/proven_tx.js';
2
+ import { AbiTypeSchema } from '../abi/abi.js';
3
+ import { schemas } from '../schemas/schemas.js';
11
4
  export const EventMetadataDefinitionSchema = z.object({
12
5
  eventSelector: schemas.EventSelector,
13
6
  abiType: AbiTypeSchema,
@@ -18,53 +11,3 @@ export const EventMetadataDefinitionSchema = z.object({
18
11
  EventType["Unencrypted"] = "Unencrypted";
19
12
  return EventType;
20
13
  }({});
21
- export const ContractMetadataSchema = z.object({
22
- contractInstance: z.union([
23
- ContractInstanceWithAddressSchema,
24
- z.undefined()
25
- ]),
26
- isContractInitialized: z.boolean(),
27
- isContractPublished: z.boolean()
28
- });
29
- export const ContractClassMetadataSchema = z.object({
30
- contractClass: z.union([
31
- ContractClassWithIdSchema,
32
- z.undefined()
33
- ]),
34
- isContractClassPubliclyRegistered: z.boolean(),
35
- artifact: z.union([
36
- ContractArtifactSchema,
37
- z.undefined()
38
- ])
39
- });
40
- const PXEInfoSchema = z.object({
41
- pxeVersion: z.string(),
42
- protocolContractAddresses: ProtocolContractAddressesSchema
43
- });
44
- export const PXESchema = {
45
- registerAccount: z.function().args(schemas.Fr, schemas.Fr).returns(CompleteAddress.schema),
46
- getRegisteredAccounts: z.function().returns(z.array(CompleteAddress.schema)),
47
- registerSender: z.function().args(schemas.AztecAddress).returns(schemas.AztecAddress),
48
- getSenders: z.function().returns(z.array(schemas.AztecAddress)),
49
- removeSender: z.function().args(schemas.AztecAddress).returns(z.void()),
50
- registerContractClass: z.function().args(ContractArtifactSchema).returns(z.void()),
51
- registerContract: z.function().args(z.object({
52
- instance: ContractInstanceWithAddressSchema,
53
- artifact: z.optional(ContractArtifactSchema)
54
- })).returns(z.void()),
55
- updateContract: z.function().args(schemas.AztecAddress, ContractArtifactSchema).returns(z.void()),
56
- getContracts: z.function().returns(z.array(schemas.AztecAddress)),
57
- proveTx: z.function().args(TxExecutionRequest.schema).returns(TxProvingResult.schema),
58
- profileTx: z.function().args(TxExecutionRequest.schema, z.union([
59
- z.literal('gates'),
60
- z.literal('full'),
61
- z.literal('execution-steps')
62
- ]), optional(z.boolean()), optional(schemas.AztecAddress)).returns(TxProfileResult.schema),
63
- simulateTx: z.function().args(TxExecutionRequest.schema, z.boolean(), optional(z.boolean()), optional(z.boolean()), optional(SimulationOverrides.schema), optional(z.array(schemas.AztecAddress))).returns(TxSimulationResult.schema),
64
- getNotes: z.function().args(NotesFilterSchema).returns(z.array(UniqueNote.schema)),
65
- simulateUtility: z.function().args(z.string(), z.array(z.any()), schemas.AztecAddress, optional(z.array(AuthWitness.schema)), optional(schemas.AztecAddress), optional(z.array(schemas.AztecAddress))).returns(UtilitySimulationResult.schema),
66
- getPXEInfo: z.function().returns(PXEInfoSchema),
67
- getContractMetadata: z.function().args(schemas.AztecAddress).returns(ContractMetadataSchema),
68
- getContractClassMetadata: z.function().args(schemas.Fr, optional(z.boolean())).returns(ContractClassMetadataSchema),
69
- getPrivateEvents: z.function().args(schemas.AztecAddress, EventMetadataDefinitionSchema, z.number(), z.number(), z.array(schemas.AztecAddress)).returns(z.array(AbiDecodedSchema))
70
- };
@@ -20,6 +20,7 @@ export interface SlasherConfig {
20
20
  slashOffenseExpirationRounds: number;
21
21
  slashMaxPayloadSize: number;
22
22
  slashGracePeriodL2Slots: number;
23
+ slashExecuteRoundsLookBack: number;
23
24
  }
24
25
  export declare const SlasherConfigSchema: z.ZodObject<{
25
26
  slashOverridePayload: z.ZodOptional<z.ZodType<EthAddress, any, string>>;
@@ -39,6 +40,7 @@ export declare const SlasherConfigSchema: z.ZodObject<{
39
40
  slashMaxPayloadSize: z.ZodNumber;
40
41
  slashGracePeriodL2Slots: z.ZodNumber;
41
42
  slashBroadcastedInvalidBlockPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
43
+ slashExecuteRoundsLookBack: z.ZodNumber;
42
44
  slashSelfAllowed: z.ZodOptional<z.ZodBoolean>;
43
45
  }, "strip", z.ZodTypeAny, {
44
46
  slashMinPenaltyPercentage: number;
@@ -57,6 +59,7 @@ export declare const SlasherConfigSchema: z.ZodObject<{
57
59
  slashMaxPayloadSize: number;
58
60
  slashGracePeriodL2Slots: number;
59
61
  slashBroadcastedInvalidBlockPenalty: bigint;
62
+ slashExecuteRoundsLookBack: number;
60
63
  slashOverridePayload?: EthAddress | undefined;
61
64
  slashSelfAllowed?: boolean | undefined;
62
65
  }, {
@@ -76,6 +79,7 @@ export declare const SlasherConfigSchema: z.ZodObject<{
76
79
  slashMaxPayloadSize: number;
77
80
  slashGracePeriodL2Slots: number;
78
81
  slashBroadcastedInvalidBlockPenalty: string | number | bigint;
82
+ slashExecuteRoundsLookBack: number;
79
83
  slashOverridePayload?: string | undefined;
80
84
  slashSelfAllowed?: boolean | undefined;
81
85
  }>;
@@ -1 +1 @@
1
- {"version":3,"file":"slasher.d.ts","sourceRoot":"","sources":["../../src/interfaces/slasher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEnD,MAAM,WAAW,aAAa;IAC5B,oBAAoB,CAAC,EAAE,UAAU,CAAC;IAClC,yBAAyB,EAAE,MAAM,CAAC;IAClC,yBAAyB,EAAE,MAAM,CAAC;IAClC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,qBAAqB,EAAE,UAAU,EAAE,CAAC;IACpC,oBAAoB,EAAE,UAAU,EAAE,CAAC;IACnC,+BAA+B,EAAE,MAAM,CAAC;IACxC,wCAAwC,EAAE,MAAM,CAAC;IACjD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,2BAA2B,EAAE,MAAM,CAAC;IACpC,sBAAsB,EAAE,MAAM,CAAC;IAC/B,mCAAmC,EAAE,MAAM,CAAC;IAC5C,sCAAsC,EAAE,MAAM,CAAC;IAC/C,qCAAqC,EAAE,MAAM,CAAC;IAC9C,mBAAmB,EAAE,MAAM,CAAC;IAC5B,4BAA4B,EAAE,MAAM,CAAC;IACrC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,uBAAuB,EAAE,MAAM,CAAC;CACjC;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmBE,CAAC"}
1
+ {"version":3,"file":"slasher.d.ts","sourceRoot":"","sources":["../../src/interfaces/slasher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEnD,MAAM,WAAW,aAAa;IAC5B,oBAAoB,CAAC,EAAE,UAAU,CAAC;IAClC,yBAAyB,EAAE,MAAM,CAAC;IAClC,yBAAyB,EAAE,MAAM,CAAC;IAClC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,qBAAqB,EAAE,UAAU,EAAE,CAAC;IACpC,oBAAoB,EAAE,UAAU,EAAE,CAAC;IACnC,+BAA+B,EAAE,MAAM,CAAC;IACxC,wCAAwC,EAAE,MAAM,CAAC;IACjD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,2BAA2B,EAAE,MAAM,CAAC;IACpC,sBAAsB,EAAE,MAAM,CAAC;IAC/B,mCAAmC,EAAE,MAAM,CAAC;IAC5C,sCAAsC,EAAE,MAAM,CAAC;IAC/C,qCAAqC,EAAE,MAAM,CAAC;IAC9C,mBAAmB,EAAE,MAAM,CAAC;IAC5B,4BAA4B,EAAE,MAAM,CAAC;IACrC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,uBAAuB,EAAE,MAAM,CAAC;IAChC,0BAA0B,EAAE,MAAM,CAAC;CACpC;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoBE,CAAC"}
@@ -18,5 +18,6 @@ export const SlasherConfigSchema = z.object({
18
18
  slashMaxPayloadSize: z.number(),
19
19
  slashGracePeriodL2Slots: z.number(),
20
20
  slashBroadcastedInvalidBlockPenalty: schemas.BigInt,
21
+ slashExecuteRoundsLookBack: z.number(),
21
22
  slashSelfAllowed: z.boolean().optional()
22
23
  });
@@ -23,10 +23,12 @@ export interface ValidatorClientConfig {
23
23
  disabledValidators: EthAddress[];
24
24
  /** Interval between polling for new attestations from peers */
25
25
  attestationPollingIntervalMs: number;
26
- /** Re-execute transactions before attesting */
26
+ /** Whether to re-execute transactions in a block proposal before attesting */
27
27
  validatorReexecute: boolean;
28
28
  /** Will re-execute until this many milliseconds are left in the slot */
29
29
  validatorReexecuteDeadlineMs: number;
30
+ /** Whether to always reexecute block proposals, even for non-validator nodes or when out of the currnet committee */
31
+ alwaysReexecuteBlockProposals?: boolean;
30
32
  }
31
33
  export type ValidatorClientFullConfig = ValidatorClientConfig & Pick<SequencerConfig, 'txPublicSetupAllowList'> & Pick<SlasherConfig, 'slashBroadcastedInvalidBlockPenalty'>;
32
34
  export declare const ValidatorClientConfigSchema: z.ZodObject<{
@@ -36,6 +38,7 @@ export declare const ValidatorClientConfigSchema: z.ZodObject<{
36
38
  attestationPollingIntervalMs: z.ZodNumber;
37
39
  validatorReexecute: z.ZodBoolean;
38
40
  validatorReexecuteDeadlineMs: z.ZodNumber;
41
+ alwaysReexecuteBlockProposals: z.ZodOptional<z.ZodBoolean>;
39
42
  }, "strip", z.ZodTypeAny, {
40
43
  disableValidator: boolean;
41
44
  disabledValidators: EthAddress[];
@@ -43,6 +46,7 @@ export declare const ValidatorClientConfigSchema: z.ZodObject<{
43
46
  validatorReexecute: boolean;
44
47
  validatorReexecuteDeadlineMs: number;
45
48
  validatorAddresses?: EthAddress[] | undefined;
49
+ alwaysReexecuteBlockProposals?: boolean | undefined;
46
50
  }, {
47
51
  disableValidator: boolean;
48
52
  disabledValidators: string[];
@@ -50,6 +54,7 @@ export declare const ValidatorClientConfigSchema: z.ZodObject<{
50
54
  validatorReexecute: boolean;
51
55
  validatorReexecuteDeadlineMs: number;
52
56
  validatorAddresses?: string[] | undefined;
57
+ alwaysReexecuteBlockProposals?: boolean | undefined;
53
58
  }>;
54
59
  export interface Validator {
55
60
  start(): Promise<void>;
@@ -1 +1 @@
1
- {"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/interfaces/validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AACtF,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAC/F,OAAO,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAEvE;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,6EAA6E;IAC7E,oBAAoB,CAAC,EAAE,WAAW,CAAC,KAAK,MAAM,EAAE,EAAE,CAAC,CAAC;IAEpD,iEAAiE;IACjE,kBAAkB,CAAC,EAAE,UAAU,EAAE,CAAC;IAElC,+BAA+B;IAC/B,gBAAgB,EAAE,OAAO,CAAC;IAE1B,6DAA6D;IAC7D,kBAAkB,EAAE,UAAU,EAAE,CAAC;IAEjC,+DAA+D;IAC/D,4BAA4B,EAAE,MAAM,CAAC;IAErC,+CAA+C;IAC/C,kBAAkB,EAAE,OAAO,CAAC;IAE5B,wEAAwE;IACxE,4BAA4B,EAAE,MAAM,CAAC;CACtC;AAED,MAAM,MAAM,yBAAyB,GAAG,qBAAqB,GAC3D,IAAI,CAAC,eAAe,EAAE,wBAAwB,CAAC,GAC/C,IAAI,CAAC,aAAa,EAAE,qCAAqC,CAAC,CAAC;AAE7D,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;EAOgC,CAAC;AAEzE,MAAM,WAAW,SAAS;IACxB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,yBAAyB,CAAC,GAAG,IAAI,CAAC;IAG/D,mBAAmB,CACjB,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,gBAAgB,EACxB,OAAO,EAAE,EAAE,EACX,cAAc,EAAE,cAAc,EAC9B,GAAG,EAAE,EAAE,EAAE,EACT,eAAe,EAAE,UAAU,GAAG,SAAS,EACvC,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAAC;IACtC,gBAAgB,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,SAAS,CAAC,CAAC;IAEnG,sBAAsB,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/D,mBAAmB,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAC5G,0BAA0B,CACxB,sBAAsB,EAAE,+BAA+B,EACvD,QAAQ,EAAE,UAAU,GACnB,OAAO,CAAC,SAAS,CAAC,CAAC;CACvB"}
1
+ {"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/interfaces/validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AACtF,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAC/F,OAAO,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAEvE;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,6EAA6E;IAC7E,oBAAoB,CAAC,EAAE,WAAW,CAAC,KAAK,MAAM,EAAE,EAAE,CAAC,CAAC;IAEpD,iEAAiE;IACjE,kBAAkB,CAAC,EAAE,UAAU,EAAE,CAAC;IAElC,+BAA+B;IAC/B,gBAAgB,EAAE,OAAO,CAAC;IAE1B,6DAA6D;IAC7D,kBAAkB,EAAE,UAAU,EAAE,CAAC;IAEjC,+DAA+D;IAC/D,4BAA4B,EAAE,MAAM,CAAC;IAErC,8EAA8E;IAC9E,kBAAkB,EAAE,OAAO,CAAC;IAE5B,wEAAwE;IACxE,4BAA4B,EAAE,MAAM,CAAC;IAErC,qHAAqH;IACrH,6BAA6B,CAAC,EAAE,OAAO,CAAC;CACzC;AAED,MAAM,MAAM,yBAAyB,GAAG,qBAAqB,GAC3D,IAAI,CAAC,eAAe,EAAE,wBAAwB,CAAC,GAC/C,IAAI,CAAC,aAAa,EAAE,qCAAqC,CAAC,CAAC;AAE7D,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;EAQgC,CAAC;AAEzE,MAAM,WAAW,SAAS;IACxB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,yBAAyB,CAAC,GAAG,IAAI,CAAC;IAG/D,mBAAmB,CACjB,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,gBAAgB,EACxB,OAAO,EAAE,EAAE,EACX,cAAc,EAAE,cAAc,EAC9B,GAAG,EAAE,EAAE,EAAE,EACT,eAAe,EAAE,UAAU,GAAG,SAAS,EACvC,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAAC;IACtC,gBAAgB,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,SAAS,CAAC,CAAC;IAEnG,sBAAsB,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/D,mBAAmB,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAC5G,0BAA0B,CACxB,sBAAsB,EAAE,+BAA+B,EACvD,QAAQ,EAAE,UAAU,GACnB,OAAO,CAAC,SAAS,CAAC,CAAC;CACvB"}
@@ -6,5 +6,6 @@ export const ValidatorClientConfigSchema = z.object({
6
6
  disabledValidators: z.array(schemas.EthAddress),
7
7
  attestationPollingIntervalMs: z.number().min(0),
8
8
  validatorReexecute: z.boolean(),
9
- validatorReexecuteDeadlineMs: z.number().min(0)
9
+ validatorReexecuteDeadlineMs: z.number().min(0),
10
+ alwaysReexecuteBlockProposals: z.boolean().optional()
10
11
  });
@@ -1,17 +1,7 @@
1
1
  import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED } from '@aztec/constants';
2
2
  import { Fr } from '@aztec/foundation/fields';
3
- import { BufferReader } from '@aztec/foundation/serialize';
4
3
  import { AvmCircuitPublicInputs } from '../avm/avm_circuit_public_inputs.js';
5
- import { RecursiveProof } from '../proofs/recursive_proof.js';
6
- import { VkData } from '../vks/vk_data.js';
7
- export declare class AvmProofData {
8
- publicInputs: AvmCircuitPublicInputs;
9
- proof: RecursiveProof<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>;
10
- vkData: VkData;
11
- constructor(publicInputs: AvmCircuitPublicInputs, proof: RecursiveProof<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>, vkData: VkData);
12
- static fromBuffer(buffer: Buffer | BufferReader): AvmProofData;
13
- toBuffer(): Buffer<ArrayBufferLike>;
14
- static empty(): AvmProofData;
15
- }
4
+ import type { ProofData } from '../proofs/proof_data.js';
5
+ export type AvmProofData = ProofData<AvmCircuitPublicInputs, typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>;
16
6
  export declare function enhanceProofWithPiValidationFlag(proof: Fr[], skipPublicInputsValidation: boolean): Fr[];
17
7
  //# sourceMappingURL=avm_proof_data.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"avm_proof_data.d.ts","sourceRoot":"","sources":["../../src/rollup/avm_proof_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oCAAoC,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EAAE,cAAc,EAA2B,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,qBAAa,YAAY;IAEd,YAAY,EAAE,sBAAsB;IACpC,KAAK,EAAE,cAAc,CAAC,OAAO,oCAAoC,CAAC;IAClE,MAAM,EAAE,MAAM;gBAFd,YAAY,EAAE,sBAAsB,EACpC,KAAK,EAAE,cAAc,CAAC,OAAO,oCAAoC,CAAC,EAClE,MAAM,EAAE,MAAM;IAGvB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,QAAQ;IAIR,MAAM,CAAC,KAAK;CAOb;AAGD,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,0BAA0B,EAAE,OAAO,GAAG,EAAE,EAAE,CAGvG"}
1
+ {"version":3,"file":"avm_proof_data.d.ts","sourceRoot":"","sources":["../../src/rollup/avm_proof_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oCAAoC,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAEzD,MAAM,MAAM,YAAY,GAAG,SAAS,CAAC,sBAAsB,EAAE,OAAO,oCAAoC,CAAC,CAAC;AAG1G,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,0BAA0B,EAAE,OAAO,GAAG,EAAE,EAAE,CAGvG"}
@@ -1,29 +1,5 @@
1
1
  import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED } from '@aztec/constants';
2
2
  import { Fr } from '@aztec/foundation/fields';
3
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
4
- import { AvmCircuitPublicInputs } from '../avm/avm_circuit_public_inputs.js';
5
- import { RecursiveProof, makeEmptyRecursiveProof } from '../proofs/recursive_proof.js';
6
- import { VkData } from '../vks/vk_data.js';
7
- export class AvmProofData {
8
- publicInputs;
9
- proof;
10
- vkData;
11
- constructor(publicInputs, proof, vkData){
12
- this.publicInputs = publicInputs;
13
- this.proof = proof;
14
- this.vkData = vkData;
15
- }
16
- static fromBuffer(buffer) {
17
- const reader = BufferReader.asReader(buffer);
18
- return new AvmProofData(reader.readObject(AvmCircuitPublicInputs), RecursiveProof.fromBuffer(reader), reader.readObject(VkData));
19
- }
20
- toBuffer() {
21
- return serializeToBuffer(this.publicInputs, this.proof, this.vkData);
22
- }
23
- static empty() {
24
- return new AvmProofData(AvmCircuitPublicInputs.empty(), makeEmptyRecursiveProof(AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED), VkData.empty());
25
- }
26
- }
27
3
  // TODO(#14234)[Unconditional PIs validation]: remove this function.
28
4
  export function enhanceProofWithPiValidationFlag(proof, skipPublicInputsValidation) {
29
5
  const skipPublicInputsField = skipPublicInputsValidation ? new Fr(1) : new Fr(0);
@@ -2,14 +2,13 @@ import { SpongeBlob } from '@aztec/blob-lib/types';
2
2
  import { ARCHIVE_HEIGHT, MAX_CONTRACT_CLASS_LOGS_PER_TX } from '@aztec/constants';
3
3
  import { Fr } from '@aztec/foundation/fields';
4
4
  import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
5
- import { MembershipWitness } from '@aztec/foundation/trees';
6
5
  import type { FieldsOf } from '@aztec/foundation/types';
7
- import { PublicDataHint } from '../avm/public_data_hint.js';
8
6
  import { ContractClassLogFields } from '../logs/index.js';
9
- import { AppendOnlyTreeSnapshot } from '../trees/index.js';
7
+ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
8
+ import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
10
9
  import { PartialStateReference } from '../tx/partial_state_reference.js';
11
10
  import { BlockConstantData } from './block_constant_data.js';
12
- import { PrivateBaseStateDiffHints } from './state_diff_hints.js';
11
+ import { TreeSnapshotDiffHints } from './tree_snapshot_diff_hints.js';
13
12
  export type BaseRollupHints = PrivateBaseRollupHints | PublicBaseRollupHints;
14
13
  export declare class PrivateBaseRollupHints {
15
14
  /**
@@ -23,15 +22,15 @@ export declare class PrivateBaseRollupHints {
23
22
  /**
24
23
  * Hints used while proving state diff validity.
25
24
  */
26
- stateDiffHints: PrivateBaseStateDiffHints;
25
+ treeSnapshotDiffHints: TreeSnapshotDiffHints;
27
26
  /**
28
- * Public data read hint for accessing the balance of the fee payer.
27
+ * Public data tree leaf preimage for accessing the balance of the fee payer.
29
28
  */
30
- feePayerFeeJuiceBalanceReadHint: PublicDataHint;
29
+ feePayerBalanceLeafPreimage: PublicDataTreeLeafPreimage;
31
30
  /**
32
31
  * Membership witnesses of blocks referred by each of the 2 kernels.
33
32
  */
34
- archiveRootMembershipWitness: MembershipWitness<typeof ARCHIVE_HEIGHT>;
33
+ anchorBlockArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
35
34
  /**
36
35
  * Preimages to the kernel's contractClassLogsHashes.
37
36
  */
@@ -52,15 +51,15 @@ export declare class PrivateBaseRollupHints {
52
51
  /**
53
52
  * Hints used while proving state diff validity.
54
53
  */
55
- stateDiffHints: PrivateBaseStateDiffHints,
54
+ treeSnapshotDiffHints: TreeSnapshotDiffHints,
56
55
  /**
57
- * Public data read hint for accessing the balance of the fee payer.
56
+ * Public data tree leaf preimage for accessing the balance of the fee payer.
58
57
  */
59
- feePayerFeeJuiceBalanceReadHint: PublicDataHint,
58
+ feePayerBalanceLeafPreimage: PublicDataTreeLeafPreimage,
60
59
  /**
61
60
  * Membership witnesses of blocks referred by each of the 2 kernels.
62
61
  */
63
- archiveRootMembershipWitness: MembershipWitness<typeof ARCHIVE_HEIGHT>,
62
+ anchorBlockArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>,
64
63
  /**
65
64
  * Preimages to the kernel's contractClassLogsHashes.
66
65
  */
@@ -70,7 +69,7 @@ export declare class PrivateBaseRollupHints {
70
69
  */
71
70
  constants: BlockConstantData);
72
71
  static from(fields: FieldsOf<PrivateBaseRollupHints>): PrivateBaseRollupHints;
73
- static getFields(fields: FieldsOf<PrivateBaseRollupHints>): readonly [PartialStateReference, SpongeBlob, PrivateBaseStateDiffHints, PublicDataHint, MembershipWitness<29>, [ContractClassLogFields], BlockConstantData];
72
+ static getFields(fields: FieldsOf<PrivateBaseRollupHints>): readonly [PartialStateReference, SpongeBlob, TreeSnapshotDiffHints, PublicDataTreeLeafPreimage, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [ContractClassLogFields], BlockConstantData];
74
73
  /**
75
74
  * Serializes the inputs to a buffer.
76
75
  * @returns The inputs serialized to a buffer.
@@ -97,7 +96,7 @@ export declare class PublicBaseRollupHints {
97
96
  /**
98
97
  * Membership witnesses of blocks referred by each of the 2 kernels.
99
98
  */
100
- archiveRootMembershipWitness: MembershipWitness<typeof ARCHIVE_HEIGHT>;
99
+ anchorBlockArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
101
100
  /**
102
101
  * Preimages to the kernel's contractClassLogsHashes.
103
102
  */
@@ -118,7 +117,7 @@ export declare class PublicBaseRollupHints {
118
117
  /**
119
118
  * Membership witnesses of blocks referred by each of the 2 kernels.
120
119
  */
121
- archiveRootMembershipWitness: MembershipWitness<typeof ARCHIVE_HEIGHT>,
120
+ anchorBlockArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>,
122
121
  /**
123
122
  * Preimages to the kernel's contractClassLogsHashes.
124
123
  */
@@ -128,7 +127,7 @@ export declare class PublicBaseRollupHints {
128
127
  */
129
128
  proverId: Fr);
130
129
  static from(fields: FieldsOf<PublicBaseRollupHints>): PublicBaseRollupHints;
131
- static getFields(fields: FieldsOf<PublicBaseRollupHints>): readonly [SpongeBlob, AppendOnlyTreeSnapshot, MembershipWitness<29>, [ContractClassLogFields], Fr];
130
+ static getFields(fields: FieldsOf<PublicBaseRollupHints>): readonly [SpongeBlob, AppendOnlyTreeSnapshot, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [ContractClassLogFields], Fr];
132
131
  /**
133
132
  * Serializes the inputs to a buffer.
134
133
  * @returns The inputs serialized to a buffer.
@@ -1 +1 @@
1
- {"version":3,"file":"base_rollup_hints.d.ts","sourceRoot":"","sources":["../../src/rollup/base_rollup_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,8BAA8B,EAAE,MAAM,kBAAkB,CAAC;AAElF,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAElE,MAAM,MAAM,eAAe,GAAG,sBAAsB,GAAG,qBAAqB,CAAC;AAE7E,qBAAa,sBAAsB;IAE/B;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,cAAc,EAAE,yBAAyB;IAChD;;OAEG;IACI,+BAA+B,EAAE,cAAc;IACtD;;OAEG;IACI,4BAA4B,EAAE,iBAAiB,CAAC,OAAO,cAAc,CAAC;IAC7E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IACpG;;OAEG;IACI,SAAS,EAAE,iBAAiB;;IA3BnC;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,cAAc,EAAE,yBAAyB;IAChD;;OAEG;IACI,+BAA+B,EAAE,cAAc;IACtD;;OAEG;IACI,4BAA4B,EAAE,iBAAiB,CAAC,OAAO,cAAc,CAAC;IAC7E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IACpG;;OAEG;IACI,SAAS,EAAE,iBAAiB;IAGrC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAYzD;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAaxE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;CAWb;AAED,qBAAa,qBAAqB;IAE9B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,WAAW,EAAE,sBAAsB;IAC1C;;OAEG;IACI,4BAA4B,EAAE,iBAAiB,CAAC,OAAO,cAAc,CAAC;IAC7E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IACpG;;OAEG;IACI,QAAQ,EAAE,EAAE;;IAnBnB;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,WAAW,EAAE,sBAAsB;IAC1C;;OAEG;IACI,4BAA4B,EAAE,iBAAiB,CAAC,OAAO,cAAc,CAAC;IAC7E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IACpG;;OAEG;IACI,QAAQ,EAAE,EAAE;IAGrB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,qBAAqB;IAI3E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC;IAUxD;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB;IAWvE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;CASb"}
1
+ {"version":3,"file":"base_rollup_hints.d.ts","sourceRoot":"","sources":["../../src/rollup/base_rollup_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,8BAA8B,EAAE,MAAM,kBAAkB,CAAC;AAElF,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEtE,MAAM,MAAM,eAAe,GAAG,sBAAsB,GAAG,qBAAqB,CAAC;AAE7E,qBAAa,sBAAsB;IAE/B;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,qBAAqB,EAAE,qBAAqB;IACnD;;OAEG;IACI,2BAA2B,EAAE,0BAA0B;IAC9D;;OAEG;IACI,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACtE;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IACpG;;OAEG;IACI,SAAS,EAAE,iBAAiB;;IA3BnC;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,qBAAqB,EAAE,qBAAqB;IACnD;;OAEG;IACI,2BAA2B,EAAE,0BAA0B;IAC9D;;OAEG;IACI,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACtE;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IACpG;;OAEG;IACI,SAAS,EAAE,iBAAiB;IAGrC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAYzD;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAaxE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;CAWb;AAED,qBAAa,qBAAqB;IAE9B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,WAAW,EAAE,sBAAsB;IAC1C;;OAEG;IACI,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACtE;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IACpG;;OAEG;IACI,QAAQ,EAAE,EAAE;;IAnBnB;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,WAAW,EAAE,sBAAsB;IAC1C;;OAEG;IACI,6BAA6B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACtE;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,sBAAsB,EAAE,OAAO,8BAA8B,CAAC;IACpG;;OAEG;IACI,QAAQ,EAAE,EAAE;IAGrB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,qBAAqB;IAI3E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC;IAUxD;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB;IAWvE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;CASb"}
@@ -4,19 +4,18 @@ import { makeTuple } from '@aztec/foundation/array';
4
4
  import { Fr } from '@aztec/foundation/fields';
5
5
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
6
6
  import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
7
- import { MembershipWitness } from '@aztec/foundation/trees';
8
- import { PublicDataHint } from '../avm/public_data_hint.js';
9
7
  import { ContractClassLogFields } from '../logs/index.js';
10
- import { AppendOnlyTreeSnapshot } from '../trees/index.js';
8
+ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
9
+ import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
11
10
  import { PartialStateReference } from '../tx/partial_state_reference.js';
12
11
  import { BlockConstantData } from './block_constant_data.js';
13
- import { PrivateBaseStateDiffHints } from './state_diff_hints.js';
12
+ import { TreeSnapshotDiffHints } from './tree_snapshot_diff_hints.js';
14
13
  export class PrivateBaseRollupHints {
15
14
  start;
16
15
  startSpongeBlob;
17
- stateDiffHints;
18
- feePayerFeeJuiceBalanceReadHint;
19
- archiveRootMembershipWitness;
16
+ treeSnapshotDiffHints;
17
+ feePayerBalanceLeafPreimage;
18
+ anchorBlockArchiveSiblingPath;
20
19
  contractClassLogsFields;
21
20
  constants;
22
21
  constructor(/**
@@ -25,20 +24,20 @@ export class PrivateBaseRollupHints {
25
24
  * Sponge state to absorb blob inputs at the start of the rollup.
26
25
  */ startSpongeBlob, /**
27
26
  * Hints used while proving state diff validity.
28
- */ stateDiffHints, /**
29
- * Public data read hint for accessing the balance of the fee payer.
30
- */ feePayerFeeJuiceBalanceReadHint, /**
27
+ */ treeSnapshotDiffHints, /**
28
+ * Public data tree leaf preimage for accessing the balance of the fee payer.
29
+ */ feePayerBalanceLeafPreimage, /**
31
30
  * Membership witnesses of blocks referred by each of the 2 kernels.
32
- */ archiveRootMembershipWitness, /**
31
+ */ anchorBlockArchiveSiblingPath, /**
33
32
  * Preimages to the kernel's contractClassLogsHashes.
34
33
  */ contractClassLogsFields, /**
35
34
  * Data which is not modified by the base rollup circuit.
36
35
  */ constants){
37
36
  this.start = start;
38
37
  this.startSpongeBlob = startSpongeBlob;
39
- this.stateDiffHints = stateDiffHints;
40
- this.feePayerFeeJuiceBalanceReadHint = feePayerFeeJuiceBalanceReadHint;
41
- this.archiveRootMembershipWitness = archiveRootMembershipWitness;
38
+ this.treeSnapshotDiffHints = treeSnapshotDiffHints;
39
+ this.feePayerBalanceLeafPreimage = feePayerBalanceLeafPreimage;
40
+ this.anchorBlockArchiveSiblingPath = anchorBlockArchiveSiblingPath;
42
41
  this.contractClassLogsFields = contractClassLogsFields;
43
42
  this.constants = constants;
44
43
  }
@@ -49,9 +48,9 @@ export class PrivateBaseRollupHints {
49
48
  return [
50
49
  fields.start,
51
50
  fields.startSpongeBlob,
52
- fields.stateDiffHints,
53
- fields.feePayerFeeJuiceBalanceReadHint,
54
- fields.archiveRootMembershipWitness,
51
+ fields.treeSnapshotDiffHints,
52
+ fields.feePayerBalanceLeafPreimage,
53
+ fields.anchorBlockArchiveSiblingPath,
55
54
  fields.contractClassLogsFields,
56
55
  fields.constants
57
56
  ];
@@ -70,19 +69,19 @@ export class PrivateBaseRollupHints {
70
69
  }
71
70
  static fromBuffer(buffer) {
72
71
  const reader = BufferReader.asReader(buffer);
73
- return new PrivateBaseRollupHints(reader.readObject(PartialStateReference), reader.readObject(SpongeBlob), reader.readObject(PrivateBaseStateDiffHints), reader.readObject(PublicDataHint), MembershipWitness.fromBuffer(reader, ARCHIVE_HEIGHT), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ()=>reader.readObject(ContractClassLogFields)), reader.readObject(BlockConstantData));
72
+ return new PrivateBaseRollupHints(reader.readObject(PartialStateReference), reader.readObject(SpongeBlob), reader.readObject(TreeSnapshotDiffHints), reader.readObject(PublicDataTreeLeafPreimage), reader.readArray(ARCHIVE_HEIGHT, Fr), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ()=>reader.readObject(ContractClassLogFields)), reader.readObject(BlockConstantData));
74
73
  }
75
74
  static fromString(str) {
76
75
  return PrivateBaseRollupHints.fromBuffer(hexToBuffer(str));
77
76
  }
78
77
  static empty() {
79
- return new PrivateBaseRollupHints(PartialStateReference.empty(), SpongeBlob.empty(), PrivateBaseStateDiffHints.empty(), PublicDataHint.empty(), MembershipWitness.empty(ARCHIVE_HEIGHT), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ContractClassLogFields.empty), BlockConstantData.empty());
78
+ return new PrivateBaseRollupHints(PartialStateReference.empty(), SpongeBlob.empty(), TreeSnapshotDiffHints.empty(), PublicDataTreeLeafPreimage.empty(), makeTuple(ARCHIVE_HEIGHT, Fr.zero), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ContractClassLogFields.empty), BlockConstantData.empty());
80
79
  }
81
80
  }
82
81
  export class PublicBaseRollupHints {
83
82
  startSpongeBlob;
84
83
  lastArchive;
85
- archiveRootMembershipWitness;
84
+ anchorBlockArchiveSiblingPath;
86
85
  contractClassLogsFields;
87
86
  proverId;
88
87
  constructor(/**
@@ -91,14 +90,14 @@ export class PublicBaseRollupHints {
91
90
  * Archive tree snapshot at the very beginning of the block containing this base rollup.
92
91
  */ lastArchive, /**
93
92
  * Membership witnesses of blocks referred by each of the 2 kernels.
94
- */ archiveRootMembershipWitness, /**
93
+ */ anchorBlockArchiveSiblingPath, /**
95
94
  * Preimages to the kernel's contractClassLogsHashes.
96
95
  */ contractClassLogsFields, /**
97
96
  * Identifier of the prover.
98
97
  */ proverId){
99
98
  this.startSpongeBlob = startSpongeBlob;
100
99
  this.lastArchive = lastArchive;
101
- this.archiveRootMembershipWitness = archiveRootMembershipWitness;
100
+ this.anchorBlockArchiveSiblingPath = anchorBlockArchiveSiblingPath;
102
101
  this.contractClassLogsFields = contractClassLogsFields;
103
102
  this.proverId = proverId;
104
103
  }
@@ -109,7 +108,7 @@ export class PublicBaseRollupHints {
109
108
  return [
110
109
  fields.startSpongeBlob,
111
110
  fields.lastArchive,
112
- fields.archiveRootMembershipWitness,
111
+ fields.anchorBlockArchiveSiblingPath,
113
112
  fields.contractClassLogsFields,
114
113
  fields.proverId
115
114
  ];
@@ -128,12 +127,12 @@ export class PublicBaseRollupHints {
128
127
  }
129
128
  static fromBuffer(buffer) {
130
129
  const reader = BufferReader.asReader(buffer);
131
- return new PublicBaseRollupHints(reader.readObject(SpongeBlob), reader.readObject(AppendOnlyTreeSnapshot), MembershipWitness.fromBuffer(reader, ARCHIVE_HEIGHT), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ()=>reader.readObject(ContractClassLogFields)), reader.readObject(Fr));
130
+ return new PublicBaseRollupHints(reader.readObject(SpongeBlob), reader.readObject(AppendOnlyTreeSnapshot), reader.readArray(ARCHIVE_HEIGHT, Fr), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ()=>reader.readObject(ContractClassLogFields)), reader.readObject(Fr));
132
131
  }
133
132
  static fromString(str) {
134
133
  return PublicBaseRollupHints.fromBuffer(hexToBuffer(str));
135
134
  }
136
135
  static empty() {
137
- return new PublicBaseRollupHints(SpongeBlob.empty(), AppendOnlyTreeSnapshot.empty(), MembershipWitness.empty(ARCHIVE_HEIGHT), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ContractClassLogFields.empty), Fr.ZERO);
136
+ return new PublicBaseRollupHints(SpongeBlob.empty(), AppendOnlyTreeSnapshot.empty(), makeTuple(ARCHIVE_HEIGHT, Fr.zero), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ContractClassLogFields.empty), Fr.ZERO);
138
137
  }
139
138
  }
@@ -1,5 +1,5 @@
1
1
  import { SpongeBlob } from '@aztec/blob-lib/types';
2
- import { ARCHIVE_HEIGHT, L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH } from '@aztec/constants';
2
+ import { ARCHIVE_HEIGHT, L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH } from '@aztec/constants';
3
3
  import { Fr } from '@aztec/foundation/fields';
4
4
  import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
5
5
  import type { FieldsOf } from '@aztec/foundation/types';
@@ -24,9 +24,9 @@ export declare class BlockRootFirstRollupPrivateInputs {
24
24
  */
25
25
  previousL1ToL2: AppendOnlyTreeSnapshot;
26
26
  /**
27
- * Hint for inserting the new l1 to l2 message subtree into `previousL1ToL2`.
27
+ * Hint for inserting the new l1 to l2 message subtree root into `previousL1ToL2`.
28
28
  */
29
- newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>;
29
+ newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>;
30
30
  /**
31
31
  * Hint for inserting the new block hash to the last archive.
32
32
  */
@@ -45,9 +45,9 @@ export declare class BlockRootFirstRollupPrivateInputs {
45
45
  */
46
46
  previousL1ToL2: AppendOnlyTreeSnapshot,
47
47
  /**
48
- * Hint for inserting the new l1 to l2 message subtree into `previousL1ToL2`.
48
+ * Hint for inserting the new l1 to l2 message subtree root into `previousL1ToL2`.
49
49
  */
50
- newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>,
50
+ newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>,
51
51
  /**
52
52
  * Hint for inserting the new block hash to the last archive.
53
53
  */
@@ -73,9 +73,9 @@ export declare class BlockRootSingleTxFirstRollupPrivateInputs {
73
73
  */
74
74
  previousL1ToL2: AppendOnlyTreeSnapshot;
75
75
  /**
76
- * Hint for inserting the new l1 to l2 message subtree.
76
+ * Hint for inserting the new l1 to l2 message subtree root.
77
77
  */
78
- newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>;
78
+ newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>;
79
79
  /**
80
80
  * Hint for inserting the new block hash to the last archive.
81
81
  */
@@ -94,9 +94,9 @@ export declare class BlockRootSingleTxFirstRollupPrivateInputs {
94
94
  */
95
95
  previousL1ToL2: AppendOnlyTreeSnapshot,
96
96
  /**
97
- * Hint for inserting the new l1 to l2 message subtree.
97
+ * Hint for inserting the new l1 to l2 message subtree root.
98
98
  */
99
- newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>,
99
+ newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>,
100
100
  /**
101
101
  * Hint for inserting the new block hash to the last archive.
102
102
  */
@@ -135,9 +135,9 @@ export declare class BlockRootEmptyTxFirstRollupPrivateInputs {
135
135
  */
136
136
  timestamp: UInt64;
137
137
  /**
138
- * Hint for inserting the new l1 to l2 message subtree.
138
+ * Hint for inserting the new l1 to l2 message subtree root.
139
139
  */
140
- newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>;
140
+ newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>;
141
141
  /**
142
142
  * Hint for inserting the new block hash to the last archive.
143
143
  */
@@ -169,9 +169,9 @@ export declare class BlockRootEmptyTxFirstRollupPrivateInputs {
169
169
  */
170
170
  timestamp: UInt64,
171
171
  /**
172
- * Hint for inserting the new l1 to l2 message subtree.
172
+ * Hint for inserting the new l1 to l2 message subtree root.
173
173
  */
174
- newL1ToL2MessageSubtreeSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH>,
174
+ newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>,
175
175
  /**
176
176
  * Hint for inserting the new block hash to the last archive.
177
177
  */
@@ -1 +1 @@
1
- {"version":3,"file":"block_root_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_rollup_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,wCAAwC,EAAE,MAAM,kBAAkB,CAAC;AAC5F,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAuC,MAAM,6BAA6B,CAAC;AAC5G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAa,KAAK,mBAAmB,EAAE,KAAK,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACvG,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE,qBAAa,iCAAiC;IAE1C;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAnB9D;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAI/D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAUpE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,MAAM;IAIN,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,yCAAyC;IAElD;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAnB9D;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yCAAyC,CAAC;IAMvE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yCAAyC,CAAC;IAU5E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,MAAM;IAIN,MAAM,KAAK,MAAM,kFAEhB;CACF;AAED,qBAAa,wCAAwC;IAEjD;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,aAAa,EAAE,cAAc;IACpC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;;OAGG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAhC9D;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,aAAa,EAAE,cAAc;IACpC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;;OAGG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAItE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAa3E,QAAQ;IAaR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAc/C,MAAM;IAIN,MAAM,KAAK,MAAM,iFAEhB;CACF;AAED,qBAAa,4BAA4B;IAErC;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAP9D;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IAI1D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IAI/D,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,MAAM;IAIN,MAAM,KAAK,MAAM,qEAEhB;CACF;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAP9D;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIlE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIvE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,MAAM;IAIN,MAAM,KAAK,MAAM,6EAEhB;CACF"}
1
+ {"version":3,"file":"block_root_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_rollup_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,6CAA6C,EAAE,MAAM,kBAAkB,CAAC;AACjG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAuC,MAAM,6BAA6B,CAAC;AAC5G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAa,KAAK,mBAAmB,EAAE,KAAK,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACvG,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE,qBAAa,iCAAiC;IAE1C;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAnB9D;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAI/D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAUpE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,MAAM;IAIN,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,yCAAyC;IAElD;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAnB9D;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yCAAyC,CAAC;IAMvE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yCAAyC,CAAC;IAU5E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,MAAM;IAIN,MAAM,KAAK,MAAM,kFAEhB;CACF;AAED,qBAAa,wCAAwC;IAEjD;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,aAAa,EAAE,cAAc;IACpC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;;OAGG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAhC9D;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,aAAa,EAAE,cAAc;IACpC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;;OAGG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAItE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAa3E,QAAQ;IAaR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAc/C,MAAM;IAIN,MAAM,KAAK,MAAM,iFAEhB;CACF;AAED,qBAAa,4BAA4B;IAErC;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAP9D;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IAI1D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IAI/D,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,MAAM;IAIN,MAAM,KAAK,MAAM,qEAEhB;CACF;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAP9D;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIlE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIvE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,MAAM;IAIN,MAAM,KAAK,MAAM,6EAEhB;CACF"}