@aztec/stdlib 1.0.0 → 1.1.2

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 (112) hide show
  1. package/dest/block/l2_block_stream/l2_block_stream.js +1 -1
  2. package/dest/block/proposal/committee_attestation.d.ts +3 -3
  3. package/dest/block/proposal/committee_attestation.d.ts.map +1 -1
  4. package/dest/block/proposal/committee_attestation.js +41 -2
  5. package/dest/contract/contract_instance_update.d.ts +2 -1
  6. package/dest/contract/contract_instance_update.d.ts.map +1 -1
  7. package/dest/contract/contract_instance_update.js +6 -6
  8. package/dest/contract/interfaces/contract_data_source.d.ts +5 -2
  9. package/dest/contract/interfaces/contract_data_source.d.ts.map +1 -1
  10. package/dest/contract/interfaces/contract_instance_update.d.ts +9 -8
  11. package/dest/contract/interfaces/contract_instance_update.d.ts.map +1 -1
  12. package/dest/contract/interfaces/contract_instance_update.js +1 -1
  13. package/dest/hash/hash.d.ts +1 -1
  14. package/dest/hash/hash.d.ts.map +1 -1
  15. package/dest/hash/hash.js +7 -3
  16. package/dest/interfaces/archiver.js +1 -1
  17. package/dest/interfaces/aztec-node.d.ts +1 -1
  18. package/dest/interfaces/client.d.ts +1 -0
  19. package/dest/interfaces/client.d.ts.map +1 -1
  20. package/dest/interfaces/client.js +1 -0
  21. package/dest/interfaces/proving-job.d.ts +22 -1
  22. package/dest/interfaces/proving-job.d.ts.map +1 -1
  23. package/dest/interfaces/proving-job.js +13 -0
  24. package/dest/interfaces/server.d.ts +1 -0
  25. package/dest/interfaces/server.d.ts.map +1 -1
  26. package/dest/interfaces/server.js +1 -0
  27. package/dest/interfaces/server_circuit_prover.d.ts +2 -0
  28. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  29. package/dest/kernel/hints/rollup_validation_requests.d.ts +6 -10
  30. package/dest/kernel/hints/rollup_validation_requests.d.ts.map +1 -1
  31. package/dest/kernel/hints/rollup_validation_requests.js +9 -11
  32. package/dest/kernel/private_circuit_public_inputs.d.ts +6 -6
  33. package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
  34. package/dest/kernel/private_circuit_public_inputs.js +10 -10
  35. package/dest/proofs/proving_request_type.d.ts +8 -7
  36. package/dest/proofs/proving_request_type.d.ts.map +1 -1
  37. package/dest/proofs/proving_request_type.js +8 -7
  38. package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts +0 -9
  39. package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts.map +1 -1
  40. package/dest/rollup/base_or_merge_rollup_public_inputs.js +3 -8
  41. package/dest/rollup/empty_block_root_rollup_inputs.d.ts +2 -3
  42. package/dest/rollup/empty_block_root_rollup_inputs.d.ts.map +1 -1
  43. package/dest/rollup/empty_block_root_rollup_inputs.js +3 -6
  44. package/dest/rollup/index.d.ts +1 -0
  45. package/dest/rollup/index.d.ts.map +1 -1
  46. package/dest/rollup/index.js +1 -0
  47. package/dest/rollup/padding_block_root_rollup_inputs.d.ts +20 -0
  48. package/dest/rollup/padding_block_root_rollup_inputs.d.ts.map +1 -0
  49. package/dest/rollup/padding_block_root_rollup_inputs.js +39 -0
  50. package/dest/shared_mutable/scheduled_delay_change.d.ts +5 -5
  51. package/dest/shared_mutable/scheduled_delay_change.d.ts.map +1 -1
  52. package/dest/shared_mutable/scheduled_delay_change.js +5 -5
  53. package/dest/shared_mutable/scheduled_value_change.d.ts +4 -3
  54. package/dest/shared_mutable/scheduled_value_change.d.ts.map +1 -1
  55. package/dest/shared_mutable/scheduled_value_change.js +7 -7
  56. package/dest/shared_mutable/shared_mutable_values.js +7 -7
  57. package/dest/stats/stats.d.ts +1 -1
  58. package/dest/stats/stats.d.ts.map +1 -1
  59. package/dest/tests/factories.d.ts.map +1 -1
  60. package/dest/tests/factories.js +6 -6
  61. package/dest/tx/include_by_timestamp.d.ts +54 -0
  62. package/dest/tx/include_by_timestamp.d.ts.map +1 -0
  63. package/dest/tx/include_by_timestamp.js +72 -0
  64. package/dest/tx/index.d.ts +1 -1
  65. package/dest/tx/index.d.ts.map +1 -1
  66. package/dest/tx/index.js +1 -1
  67. package/dest/tx/offchain_effect.d.ts.map +1 -1
  68. package/dest/tx/offchain_effect.js +1 -0
  69. package/dest/tx/validator/error_texts.d.ts +2 -2
  70. package/dest/tx/validator/error_texts.d.ts.map +1 -1
  71. package/dest/tx/validator/error_texts.js +2 -2
  72. package/dest/types/shared.d.ts +0 -8
  73. package/dest/types/shared.d.ts.map +1 -1
  74. package/dest/types/shared.js +0 -8
  75. package/dest/vks/verification_key.d.ts +1 -0
  76. package/dest/vks/verification_key.d.ts.map +1 -1
  77. package/dest/vks/verification_key.js +5 -0
  78. package/package.json +7 -7
  79. package/src/block/l2_block_stream/l2_block_stream.ts +1 -1
  80. package/src/block/proposal/committee_attestation.ts +49 -3
  81. package/src/contract/contract_instance_update.ts +7 -6
  82. package/src/contract/interfaces/contract_data_source.ts +5 -2
  83. package/src/contract/interfaces/contract_instance_update.ts +4 -3
  84. package/src/hash/hash.ts +7 -3
  85. package/src/interfaces/archiver.ts +1 -1
  86. package/src/interfaces/aztec-node.ts +1 -1
  87. package/src/interfaces/client.ts +1 -0
  88. package/src/interfaces/proving-job.ts +21 -0
  89. package/src/interfaces/server.ts +1 -0
  90. package/src/interfaces/server_circuit_prover.ts +9 -0
  91. package/src/kernel/hints/rollup_validation_requests.ts +8 -10
  92. package/src/kernel/private_circuit_public_inputs.ts +8 -8
  93. package/src/proofs/proving_request_type.ts +1 -0
  94. package/src/rollup/base_or_merge_rollup_public_inputs.ts +0 -8
  95. package/src/rollup/empty_block_root_rollup_inputs.ts +2 -7
  96. package/src/rollup/index.ts +1 -0
  97. package/src/rollup/padding_block_root_rollup_inputs.ts +47 -0
  98. package/src/shared_mutable/scheduled_delay_change.ts +6 -6
  99. package/src/shared_mutable/scheduled_value_change.ts +7 -5
  100. package/src/shared_mutable/shared_mutable_values.ts +9 -9
  101. package/src/stats/stats.ts +1 -0
  102. package/src/tests/factories.ts +4 -6
  103. package/src/tx/include_by_timestamp.ts +90 -0
  104. package/src/tx/index.ts +1 -1
  105. package/src/tx/offchain_effect.ts +1 -0
  106. package/src/tx/validator/error_texts.ts +2 -2
  107. package/src/types/shared.ts +0 -9
  108. package/src/vks/verification_key.ts +6 -0
  109. package/dest/tx/max_block_number.d.ts +0 -54
  110. package/dest/tx/max_block_number.d.ts.map +0 -1
  111. package/dest/tx/max_block_number.js +0 -64
  112. package/src/tx/max_block_number.ts +0 -81
@@ -1,33 +1,31 @@
1
1
  import { ROLLUP_VALIDATION_REQUESTS_LENGTH } from '@aztec/constants';
2
2
  import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
3
3
  import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
4
- import { MaxBlockNumber } from '../../tx/max_block_number.js';
4
+ import { IncludeByTimestamp } from '../../tx/include_by_timestamp.js';
5
5
  /**
6
6
  * Validation requests directed at the rollup, accumulated during the execution of the transaction.
7
7
  */ export class RollupValidationRequests {
8
- maxBlockNumber;
9
- constructor(/**
10
- * The largest block number in which this transaction can be included.
11
- */ maxBlockNumber){
12
- this.maxBlockNumber = maxBlockNumber;
8
+ includeByTimestamp;
9
+ constructor(/** The highest timestamp of a block in which this transaction can still be included. */ includeByTimestamp){
10
+ this.includeByTimestamp = includeByTimestamp;
13
11
  }
14
12
  getSize() {
15
13
  return this.toBuffer().length;
16
14
  }
17
15
  toBuffer() {
18
- return serializeToBuffer(this.maxBlockNumber);
16
+ return serializeToBuffer(this.includeByTimestamp);
19
17
  }
20
18
  toString() {
21
19
  return bufferToHex(this.toBuffer());
22
20
  }
23
21
  static getFields(fields) {
24
22
  return [
25
- fields.maxBlockNumber
23
+ fields.includeByTimestamp
26
24
  ];
27
25
  }
28
26
  static fromFields(fields) {
29
27
  const reader = FieldReader.asReader(fields);
30
- return new RollupValidationRequests(MaxBlockNumber.fromFields(reader));
28
+ return new RollupValidationRequests(IncludeByTimestamp.fromFields(reader));
31
29
  }
32
30
  toFields() {
33
31
  const fields = serializeToFields(...RollupValidationRequests.getFields(this));
@@ -42,7 +40,7 @@ import { MaxBlockNumber } from '../../tx/max_block_number.js';
42
40
  * @returns Deserialized object.
43
41
  */ static fromBuffer(buffer) {
44
42
  const reader = BufferReader.asReader(buffer);
45
- return new RollupValidationRequests(reader.readObject(MaxBlockNumber));
43
+ return new RollupValidationRequests(reader.readObject(IncludeByTimestamp));
46
44
  }
47
45
  /**
48
46
  * Deserializes from a string, corresponding to a write in cpp.
@@ -52,6 +50,6 @@ import { MaxBlockNumber } from '../../tx/max_block_number.js';
52
50
  return RollupValidationRequests.fromBuffer(hexToBuffer(str));
53
51
  }
54
52
  static empty() {
55
- return new RollupValidationRequests(MaxBlockNumber.empty());
53
+ return new RollupValidationRequests(IncludeByTimestamp.empty());
56
54
  }
57
55
  }
@@ -9,7 +9,7 @@ import { PrivateLogData } from '../kernel/private_log_data.js';
9
9
  import { CountedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
10
10
  import { BlockHeader } from '../tx/block_header.js';
11
11
  import { CallContext } from '../tx/call_context.js';
12
- import { MaxBlockNumber } from '../tx/max_block_number.js';
12
+ import { IncludeByTimestamp } from '../tx/include_by_timestamp.js';
13
13
  import { TxContext } from '../tx/tx_context.js';
14
14
  import { ReadRequest } from './hints/read_request.js';
15
15
  import { NoteHash } from './note_hash.js';
@@ -40,9 +40,9 @@ export declare class PrivateCircuitPublicInputs {
40
40
  */
41
41
  isFeePayer: boolean;
42
42
  /**
43
- * The maximum block number in which this transaction can be included and be valid.
43
+ * The highest timestamp of a block in which the transaction can still be included.
44
44
  */
45
- maxBlockNumber: MaxBlockNumber;
45
+ includeByTimestamp: IncludeByTimestamp;
46
46
  /**
47
47
  * Read requests created by the corresponding function call.
48
48
  */
@@ -129,9 +129,9 @@ export declare class PrivateCircuitPublicInputs {
129
129
  */
130
130
  isFeePayer: boolean,
131
131
  /**
132
- * The maximum block number in which this transaction can be included and be valid.
132
+ * The highest timestamp of a block in which the transaction can still be included.
133
133
  */
134
- maxBlockNumber: MaxBlockNumber,
134
+ includeByTimestamp: IncludeByTimestamp,
135
135
  /**
136
136
  * Read requests created by the corresponding function call.
137
137
  */
@@ -220,7 +220,7 @@ export declare class PrivateCircuitPublicInputs {
220
220
  * @param fields - Object with fields.
221
221
  * @returns The array.
222
222
  */
223
- static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, Fr, boolean, MaxBlockNumber, [ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest], [ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest], [KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator], [NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash], [Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier], [PrivateCallRequest, PrivateCallRequest, PrivateCallRequest, PrivateCallRequest, PrivateCallRequest], [CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest], PublicCallRequest, [CountedL2ToL1Message, CountedL2ToL1Message], [PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData], [CountedLogHash], Fr, Fr, BlockHeader, TxContext];
223
+ static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, Fr, boolean, IncludeByTimestamp, [ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest], [ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest, ReadRequest], [KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator, KeyValidationRequestAndGenerator], [NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash, NoteHash], [Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier, Nullifier], [PrivateCallRequest, PrivateCallRequest, PrivateCallRequest, PrivateCallRequest, PrivateCallRequest], [CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest, CountedPublicCallRequest], PublicCallRequest, [CountedL2ToL1Message, CountedL2ToL1Message], [PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData, PrivateLogData], [CountedLogHash], Fr, Fr, BlockHeader, TxContext];
224
224
  /**
225
225
  * Serialize this as a buffer.
226
226
  * @returns The buffer.
@@ -1 +1 @@
1
- {"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAE1B,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAGvF;;GAEG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,cAAc,EAAE,cAAc;IACrC;;OAEG;IACI,oBAAoB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC5F;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC7F;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAC9C,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IACnE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IACnE;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACpG;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC9F;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IACjF;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IAC3E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC9F;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,gBAAgB,EAAE,WAAW;IACpC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;;IA1F3B;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,cAAc,EAAE,cAAc;IACrC;;OAEG;IACI,oBAAoB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC5F;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC7F;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAC9C,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IACnE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IACnE;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACpG;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC9F;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IACjF;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IAC3E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC9F;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,gBAAgB,EAAE,WAAW;IACpC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAG7B;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B;IAIrF;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IA2B5E,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B;IA2BzE;;;OAGG;WACW,KAAK,IAAI,0BAA0B;IA0BjD,OAAO;IA0BP;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC;IA0B7D;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE;IAUT,MAAM;IAIb,MAAM,KAAK,MAAM,mEAEhB;CACF"}
1
+ {"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAE1B,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAGvF;;GAEG;AACH,qBAAa,0BAA0B;IAEnC;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,kBAAkB,EAAE,kBAAkB;IAC7C;;OAEG;IACI,oBAAoB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC5F;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC7F;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAC9C,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IACnE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IACnE;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACpG;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC9F;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IACjF;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IAC3E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC9F;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,gBAAgB,EAAE,WAAW;IACpC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;;IA1F3B;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,kBAAkB,EAAE,kBAAkB;IAC7C;;OAEG;IACI,oBAAoB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC5F;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,oCAAoC,CAAC;IAC7F;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAC9C,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IACnE;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IACnE;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACpG;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC9F;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IACjF;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IAC3E;;OAEG;IACI,uBAAuB,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAC9F;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,gBAAgB,EAAE,WAAW;IACpC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAG7B;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B;IAIrF;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IA2B5E,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B;IA2BzE;;;OAGG;WACW,KAAK,IAAI,0BAA0B;IA0BjD,OAAO;IA0BP;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC;IA0B7D;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE;IAUT,MAAM;IAIb,MAAM,KAAK,MAAM,mEAEhB;CACF"}
@@ -10,7 +10,7 @@ import { PrivateLogData } from '../kernel/private_log_data.js';
10
10
  import { CountedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
11
11
  import { BlockHeader } from '../tx/block_header.js';
12
12
  import { CallContext } from '../tx/call_context.js';
13
- import { MaxBlockNumber } from '../tx/max_block_number.js';
13
+ import { IncludeByTimestamp } from '../tx/include_by_timestamp.js';
14
14
  import { TxContext } from '../tx/tx_context.js';
15
15
  import { ReadRequest } from './hints/read_request.js';
16
16
  import { NoteHash } from './note_hash.js';
@@ -25,7 +25,7 @@ import { isEmptyArray } from './utils/order_and_comparison.js';
25
25
  returnsHash;
26
26
  minRevertibleSideEffectCounter;
27
27
  isFeePayer;
28
- maxBlockNumber;
28
+ includeByTimestamp;
29
29
  noteHashReadRequests;
30
30
  nullifierReadRequests;
31
31
  keyValidationRequestsAndGenerators;
@@ -52,8 +52,8 @@ import { isEmptyArray } from './utils/order_and_comparison.js';
52
52
  */ minRevertibleSideEffectCounter, /**
53
53
  * Whether the caller of the function is the fee payer.
54
54
  */ isFeePayer, /**
55
- * The maximum block number in which this transaction can be included and be valid.
56
- */ maxBlockNumber, /**
55
+ * The highest timestamp of a block in which the transaction can still be included.
56
+ */ includeByTimestamp, /**
57
57
  * Read requests created by the corresponding function call.
58
58
  */ noteHashReadRequests, /**
59
59
  * Nullifier read requests created by the corresponding function call.
@@ -93,7 +93,7 @@ import { isEmptyArray } from './utils/order_and_comparison.js';
93
93
  this.returnsHash = returnsHash;
94
94
  this.minRevertibleSideEffectCounter = minRevertibleSideEffectCounter;
95
95
  this.isFeePayer = isFeePayer;
96
- this.maxBlockNumber = maxBlockNumber;
96
+ this.includeByTimestamp = includeByTimestamp;
97
97
  this.noteHashReadRequests = noteHashReadRequests;
98
98
  this.nullifierReadRequests = nullifierReadRequests;
99
99
  this.keyValidationRequestsAndGenerators = keyValidationRequestsAndGenerators;
@@ -123,20 +123,20 @@ import { isEmptyArray } from './utils/order_and_comparison.js';
123
123
  * @returns The deserialized instance.
124
124
  */ static fromBuffer(buffer) {
125
125
  const reader = BufferReader.asReader(buffer);
126
- return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readBoolean(), reader.readObject(MaxBlockNumber), reader.readArray(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator), reader.readArray(MAX_NOTE_HASHES_PER_CALL, NoteHash), reader.readArray(MAX_NULLIFIERS_PER_CALL, Nullifier), reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest), reader.readObject(PublicCallRequest), reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, CountedL2ToL1Message), reader.readArray(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData), reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_CALL, CountedLogHash), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext));
126
+ return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readBoolean(), reader.readObject(IncludeByTimestamp), reader.readArray(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator), reader.readArray(MAX_NOTE_HASHES_PER_CALL, NoteHash), reader.readArray(MAX_NULLIFIERS_PER_CALL, Nullifier), reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest), reader.readObject(PublicCallRequest), reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, CountedL2ToL1Message), reader.readArray(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData), reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_CALL, CountedLogHash), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext));
127
127
  }
128
128
  static fromFields(fields) {
129
129
  const reader = FieldReader.asReader(fields);
130
- return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readField(), reader.readBoolean(), reader.readObject(MaxBlockNumber), reader.readArray(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator), reader.readArray(MAX_NOTE_HASHES_PER_CALL, NoteHash), reader.readArray(MAX_NULLIFIERS_PER_CALL, Nullifier), reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest), reader.readObject(PublicCallRequest), reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, CountedL2ToL1Message), reader.readArray(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData), reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_CALL, CountedLogHash), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext));
130
+ return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readField(), reader.readBoolean(), reader.readObject(IncludeByTimestamp), reader.readArray(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest), reader.readArray(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator), reader.readArray(MAX_NOTE_HASHES_PER_CALL, NoteHash), reader.readArray(MAX_NULLIFIERS_PER_CALL, Nullifier), reader.readArray(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest), reader.readArray(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest), reader.readObject(PublicCallRequest), reader.readArray(MAX_L2_TO_L1_MSGS_PER_CALL, CountedL2ToL1Message), reader.readArray(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData), reader.readArray(MAX_CONTRACT_CLASS_LOGS_PER_CALL, CountedLogHash), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext));
131
131
  }
132
132
  /**
133
133
  * Create an empty PrivateCircuitPublicInputs.
134
134
  * @returns An empty PrivateCircuitPublicInputs object.
135
135
  */ static empty() {
136
- return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, Fr.ZERO, false, MaxBlockNumber.empty(), makeTuple(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest.empty), makeTuple(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest.empty), makeTuple(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator.empty), makeTuple(MAX_NOTE_HASHES_PER_CALL, NoteHash.empty), makeTuple(MAX_NULLIFIERS_PER_CALL, Nullifier.empty), makeTuple(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest.empty), makeTuple(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest.empty), PublicCallRequest.empty(), makeTuple(MAX_L2_TO_L1_MSGS_PER_CALL, CountedL2ToL1Message.empty), makeTuple(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData.empty), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_CALL, CountedLogHash.empty), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty());
136
+ return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, Fr.ZERO, false, IncludeByTimestamp.empty(), makeTuple(MAX_NOTE_HASH_READ_REQUESTS_PER_CALL, ReadRequest.empty), makeTuple(MAX_NULLIFIER_READ_REQUESTS_PER_CALL, ReadRequest.empty), makeTuple(MAX_KEY_VALIDATION_REQUESTS_PER_CALL, KeyValidationRequestAndGenerator.empty), makeTuple(MAX_NOTE_HASHES_PER_CALL, NoteHash.empty), makeTuple(MAX_NULLIFIERS_PER_CALL, Nullifier.empty), makeTuple(MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL, PrivateCallRequest.empty), makeTuple(MAX_ENQUEUED_CALLS_PER_CALL, CountedPublicCallRequest.empty), PublicCallRequest.empty(), makeTuple(MAX_L2_TO_L1_MSGS_PER_CALL, CountedL2ToL1Message.empty), makeTuple(MAX_PRIVATE_LOGS_PER_CALL, PrivateLogData.empty), makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_CALL, CountedLogHash.empty), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty());
137
137
  }
138
138
  isEmpty() {
139
- return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && this.maxBlockNumber.isEmpty() && isEmptyArray(this.noteHashReadRequests) && isEmptyArray(this.nullifierReadRequests) && isEmptyArray(this.keyValidationRequestsAndGenerators) && isEmptyArray(this.noteHashes) && isEmptyArray(this.nullifiers) && isEmptyArray(this.privateCallRequests) && isEmptyArray(this.publicCallRequests) && this.publicTeardownCallRequest.isEmpty() && isEmptyArray(this.l2ToL1Msgs) && isEmptyArray(this.privateLogs) && isEmptyArray(this.contractClassLogsHashes) && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.historicalHeader.isEmpty() && this.txContext.isEmpty();
139
+ return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && this.includeByTimestamp.isEmpty() && isEmptyArray(this.noteHashReadRequests) && isEmptyArray(this.nullifierReadRequests) && isEmptyArray(this.keyValidationRequestsAndGenerators) && isEmptyArray(this.noteHashes) && isEmptyArray(this.nullifiers) && isEmptyArray(this.privateCallRequests) && isEmptyArray(this.publicCallRequests) && this.publicTeardownCallRequest.isEmpty() && isEmptyArray(this.l2ToL1Msgs) && isEmptyArray(this.privateLogs) && isEmptyArray(this.contractClassLogsHashes) && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.historicalHeader.isEmpty() && this.txContext.isEmpty();
140
140
  }
141
141
  /**
142
142
  * Serialize into a field array. Low-level utility.
@@ -149,7 +149,7 @@ import { isEmptyArray } from './utils/order_and_comparison.js';
149
149
  fields.returnsHash,
150
150
  fields.minRevertibleSideEffectCounter,
151
151
  fields.isFeePayer,
152
- fields.maxBlockNumber,
152
+ fields.includeByTimestamp,
153
153
  fields.noteHashReadRequests,
154
154
  fields.nullifierReadRequests,
155
155
  fields.keyValidationRequestsAndGenerators,
@@ -4,13 +4,14 @@ export declare enum ProvingRequestType {
4
4
  PUBLIC_BASE_ROLLUP = 2,
5
5
  MERGE_ROLLUP = 3,
6
6
  EMPTY_BLOCK_ROOT_ROLLUP = 4,
7
- BLOCK_ROOT_ROLLUP = 5,
8
- SINGLE_TX_BLOCK_ROOT_ROLLUP = 6,
9
- BLOCK_MERGE_ROLLUP = 7,
10
- ROOT_ROLLUP = 8,
11
- BASE_PARITY = 9,
12
- ROOT_PARITY = 10,
7
+ PADDING_BLOCK_ROOT_ROLLUP = 5,
8
+ BLOCK_ROOT_ROLLUP = 6,
9
+ SINGLE_TX_BLOCK_ROOT_ROLLUP = 7,
10
+ BLOCK_MERGE_ROLLUP = 8,
11
+ ROOT_ROLLUP = 9,
12
+ BASE_PARITY = 10,
13
+ ROOT_PARITY = 11,
13
14
  /** Recursive Client IVC verification to connect private to public or rollup */
14
- TUBE_PROOF = 11
15
+ TUBE_PROOF = 12
15
16
  }
16
17
  //# sourceMappingURL=proving_request_type.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"proving_request_type.d.ts","sourceRoot":"","sources":["../../src/proofs/proving_request_type.ts"],"names":[],"mappings":"AAAA,oBAAY,kBAAkB;IAC5B,SAAS,IAAA;IAET,mBAAmB,IAAA;IACnB,kBAAkB,IAAA;IAClB,YAAY,IAAA;IACZ,uBAAuB,IAAA;IACvB,iBAAiB,IAAA;IACjB,2BAA2B,IAAA;IAC3B,kBAAkB,IAAA;IAClB,WAAW,IAAA;IAEX,WAAW,IAAA;IACX,WAAW,KAAA;IACX,+EAA+E;IAC/E,UAAU,KAAA;CACX"}
1
+ {"version":3,"file":"proving_request_type.d.ts","sourceRoot":"","sources":["../../src/proofs/proving_request_type.ts"],"names":[],"mappings":"AAAA,oBAAY,kBAAkB;IAC5B,SAAS,IAAA;IAET,mBAAmB,IAAA;IACnB,kBAAkB,IAAA;IAClB,YAAY,IAAA;IACZ,uBAAuB,IAAA;IACvB,yBAAyB,IAAA;IACzB,iBAAiB,IAAA;IACjB,2BAA2B,IAAA;IAC3B,kBAAkB,IAAA;IAClB,WAAW,IAAA;IAEX,WAAW,KAAA;IACX,WAAW,KAAA;IACX,+EAA+E;IAC/E,UAAU,KAAA;CACX"}
@@ -4,12 +4,13 @@ export var ProvingRequestType = /*#__PURE__*/ function(ProvingRequestType) {
4
4
  ProvingRequestType[ProvingRequestType["PUBLIC_BASE_ROLLUP"] = 2] = "PUBLIC_BASE_ROLLUP";
5
5
  ProvingRequestType[ProvingRequestType["MERGE_ROLLUP"] = 3] = "MERGE_ROLLUP";
6
6
  ProvingRequestType[ProvingRequestType["EMPTY_BLOCK_ROOT_ROLLUP"] = 4] = "EMPTY_BLOCK_ROOT_ROLLUP";
7
- ProvingRequestType[ProvingRequestType["BLOCK_ROOT_ROLLUP"] = 5] = "BLOCK_ROOT_ROLLUP";
8
- ProvingRequestType[ProvingRequestType["SINGLE_TX_BLOCK_ROOT_ROLLUP"] = 6] = "SINGLE_TX_BLOCK_ROOT_ROLLUP";
9
- ProvingRequestType[ProvingRequestType["BLOCK_MERGE_ROLLUP"] = 7] = "BLOCK_MERGE_ROLLUP";
10
- ProvingRequestType[ProvingRequestType["ROOT_ROLLUP"] = 8] = "ROOT_ROLLUP";
11
- ProvingRequestType[ProvingRequestType["BASE_PARITY"] = 9] = "BASE_PARITY";
12
- ProvingRequestType[ProvingRequestType["ROOT_PARITY"] = 10] = "ROOT_PARITY";
13
- /** Recursive Client IVC verification to connect private to public or rollup */ ProvingRequestType[ProvingRequestType["TUBE_PROOF"] = 11] = "TUBE_PROOF";
7
+ ProvingRequestType[ProvingRequestType["PADDING_BLOCK_ROOT_ROLLUP"] = 5] = "PADDING_BLOCK_ROOT_ROLLUP";
8
+ ProvingRequestType[ProvingRequestType["BLOCK_ROOT_ROLLUP"] = 6] = "BLOCK_ROOT_ROLLUP";
9
+ ProvingRequestType[ProvingRequestType["SINGLE_TX_BLOCK_ROOT_ROLLUP"] = 7] = "SINGLE_TX_BLOCK_ROOT_ROLLUP";
10
+ ProvingRequestType[ProvingRequestType["BLOCK_MERGE_ROLLUP"] = 8] = "BLOCK_MERGE_ROLLUP";
11
+ ProvingRequestType[ProvingRequestType["ROOT_ROLLUP"] = 9] = "ROOT_ROLLUP";
12
+ ProvingRequestType[ProvingRequestType["BASE_PARITY"] = 10] = "BASE_PARITY";
13
+ ProvingRequestType[ProvingRequestType["ROOT_PARITY"] = 11] = "ROOT_PARITY";
14
+ /** Recursive Client IVC verification to connect private to public or rollup */ ProvingRequestType[ProvingRequestType["TUBE_PROOF"] = 12] = "TUBE_PROOF";
14
15
  return ProvingRequestType;
15
16
  }({});
@@ -2,16 +2,11 @@ import { SpongeBlob } from '@aztec/blob-lib';
2
2
  import { Fr } from '@aztec/foundation/fields';
3
3
  import { BufferReader } from '@aztec/foundation/serialize';
4
4
  import { PartialStateReference } from '../tx/partial_state_reference.js';
5
- import { RollupTypes } from '../types/shared.js';
6
5
  import { BlockConstantData } from './block_constant_data.js';
7
6
  /**
8
7
  * Output of the base and merge rollup circuits.
9
8
  */
10
9
  export declare class BaseOrMergeRollupPublicInputs {
11
- /**
12
- * Specifies from which type of rollup circuit these inputs are from.
13
- */
14
- rollupType: RollupTypes;
15
10
  /**
16
11
  * Number of txs in this rollup.
17
12
  */
@@ -50,10 +45,6 @@ export declare class BaseOrMergeRollupPublicInputs {
50
45
  */
51
46
  accumulatedManaUsed: Fr;
52
47
  constructor(
53
- /**
54
- * Specifies from which type of rollup circuit these inputs are from.
55
- */
56
- rollupType: RollupTypes,
57
48
  /**
58
49
  * Number of txs in this rollup.
59
50
  */
@@ -1 +1 @@
1
- {"version":3,"file":"base_or_merge_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/base_or_merge_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,6BAA6B;IAEtC;;OAEG;IACI,UAAU,EAAE,WAAW;IAC9B;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,GAAG,EAAE,qBAAqB;IACjC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;;IAxC9B;;OAEG;IACI,UAAU,EAAE,WAAW;IAC9B;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,GAAG,EAAE,qBAAqB;IACjC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;IAGhC,iCAAiC;IACjC,MAAM,CAAC,KAAK;IAeZ;;;;;OAKG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,6BAA6B;IAgB/E;;;OAGG;IACH,QAAQ;IAmBR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,sEAEhB;CACF"}
1
+ {"version":3,"file":"base_or_merge_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/base_or_merge_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,6BAA6B;IAEtC;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,GAAG,EAAE,qBAAqB;IACjC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;;IApC9B;;OAEG;IACI,MAAM,EAAE,MAAM;IACrB;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,KAAK,EAAE,qBAAqB;IACnC;;OAEG;IACI,GAAG,EAAE,qBAAqB;IACjC;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;;OAGG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;IAGhC,iCAAiC;IACjC,MAAM,CAAC,KAAK;IAcZ;;;;;OAKG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,6BAA6B;IAe/E;;;OAGG;IACH,QAAQ;IAkBR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,sEAEhB;CACF"}
@@ -4,12 +4,10 @@ import { bufferSchemaFor } from '@aztec/foundation/schemas';
4
4
  import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
5
  import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
6
6
  import { PartialStateReference } from '../tx/partial_state_reference.js';
7
- import { RollupTypes } from '../types/shared.js';
8
7
  import { BlockConstantData } from './block_constant_data.js';
9
8
  /**
10
9
  * Output of the base and merge rollup circuits.
11
10
  */ export class BaseOrMergeRollupPublicInputs {
12
- rollupType;
13
11
  numTxs;
14
12
  constants;
15
13
  start;
@@ -20,8 +18,6 @@ import { BlockConstantData } from './block_constant_data.js';
20
18
  accumulatedFees;
21
19
  accumulatedManaUsed;
22
20
  constructor(/**
23
- * Specifies from which type of rollup circuit these inputs are from.
24
- */ rollupType, /**
25
21
  * Number of txs in this rollup.
26
22
  */ numTxs, /**
27
23
  * Data which is forwarded through the rollup circuits unchanged.
@@ -41,7 +37,6 @@ import { BlockConstantData } from './block_constant_data.js';
41
37
  */ accumulatedFees, /**
42
38
  * The summed `mana_used` of the constituent transactions.
43
39
  */ accumulatedManaUsed){
44
- this.rollupType = rollupType;
45
40
  this.numTxs = numTxs;
46
41
  this.constants = constants;
47
42
  this.start = start;
@@ -53,7 +48,7 @@ import { BlockConstantData } from './block_constant_data.js';
53
48
  this.accumulatedManaUsed = accumulatedManaUsed;
54
49
  }
55
50
  /** Returns an empty instance. */ static empty() {
56
- return new BaseOrMergeRollupPublicInputs(RollupTypes.Base, 0, BlockConstantData.empty(), PartialStateReference.empty(), PartialStateReference.empty(), SpongeBlob.empty(), SpongeBlob.empty(), Fr.zero(), Fr.zero(), Fr.zero());
51
+ return new BaseOrMergeRollupPublicInputs(0, BlockConstantData.empty(), PartialStateReference.empty(), PartialStateReference.empty(), SpongeBlob.empty(), SpongeBlob.empty(), Fr.zero(), Fr.zero(), Fr.zero());
57
52
  }
58
53
  /**
59
54
  * Deserializes from a buffer or reader.
@@ -62,13 +57,13 @@ import { BlockConstantData } from './block_constant_data.js';
62
57
  * @returns The deserialized public inputs.
63
58
  */ static fromBuffer(buffer) {
64
59
  const reader = BufferReader.asReader(buffer);
65
- return new BaseOrMergeRollupPublicInputs(reader.readNumber(), reader.readNumber(), reader.readObject(BlockConstantData), reader.readObject(PartialStateReference), reader.readObject(PartialStateReference), reader.readObject(SpongeBlob), reader.readObject(SpongeBlob), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader));
60
+ return new BaseOrMergeRollupPublicInputs(reader.readNumber(), reader.readObject(BlockConstantData), reader.readObject(PartialStateReference), reader.readObject(PartialStateReference), reader.readObject(SpongeBlob), reader.readObject(SpongeBlob), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader));
66
61
  }
67
62
  /**
68
63
  * Serialize this as a buffer.
69
64
  * @returns The buffer.
70
65
  */ toBuffer() {
71
- return serializeToBuffer(this.rollupType, this.numTxs, this.constants, this.start, this.end, this.startSpongeBlob, this.endSpongeBlob, this.outHash, this.accumulatedFees, this.accumulatedManaUsed);
66
+ return serializeToBuffer(this.numTxs, this.constants, this.start, this.end, this.startSpongeBlob, this.endSpongeBlob, this.outHash, this.accumulatedFees, this.accumulatedManaUsed);
72
67
  }
73
68
  /**
74
69
  * Serialize this as a hex string.
@@ -8,8 +8,7 @@ import { BlockRootRollupData } from './block_root_rollup.js';
8
8
  export declare class EmptyBlockRootRollupInputs {
9
9
  readonly data: BlockRootRollupData;
10
10
  readonly constants: BlockConstantData;
11
- readonly isPadding: boolean;
12
- constructor(data: BlockRootRollupData, constants: BlockConstantData, isPadding: boolean);
11
+ constructor(data: BlockRootRollupData, constants: BlockConstantData);
13
12
  /**
14
13
  * Serializes the inputs to a buffer.
15
14
  * @returns - The inputs serialized to a buffer.
@@ -31,7 +30,7 @@ export declare class EmptyBlockRootRollupInputs {
31
30
  * @param fields - Fields to create the instance from.
32
31
  * @returns An array of fields.
33
32
  */
34
- static getFields(fields: FieldsOf<EmptyBlockRootRollupInputs>): readonly [BlockRootRollupData, BlockConstantData, boolean];
33
+ static getFields(fields: FieldsOf<EmptyBlockRootRollupInputs>): readonly [BlockRootRollupData, BlockConstantData];
35
34
  /**
36
35
  * Deserializes the inputs from a buffer.
37
36
  * @param buffer - A buffer to deserialize from.
@@ -1 +1 @@
1
- {"version":3,"file":"empty_block_root_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/empty_block_root_rollup_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAE7D;;GAEG;AACH,qBAAa,0BAA0B;aAEnB,IAAI,EAAE,mBAAmB;aACzB,SAAS,EAAE,iBAAiB;aAC5B,SAAS,EAAE,OAAO;gBAFlB,IAAI,EAAE,mBAAmB,EACzB,SAAS,EAAE,iBAAiB,EAC5B,SAAS,EAAE,OAAO;IAGpC;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B;IAIrF;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC;IAI7D;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IAS5E;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,gDAAgD;IAChD,MAAM,KAAK,MAAM,mEAEhB;CACF"}
1
+ {"version":3,"file":"empty_block_root_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/empty_block_root_rollup_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAE7D;;GAEG;AACH,qBAAa,0BAA0B;aAEnB,IAAI,EAAE,mBAAmB;aACzB,SAAS,EAAE,iBAAiB;gBAD5B,IAAI,EAAE,mBAAmB,EACzB,SAAS,EAAE,iBAAiB;IAG9C;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B;IAIrF;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC;IAI7D;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IAK5E;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,gDAAgD;IAChD,MAAM,KAAK,MAAM,mEAEhB;CACF"}
@@ -8,11 +8,9 @@ import { BlockRootRollupData } from './block_root_rollup.js';
8
8
  */ export class EmptyBlockRootRollupInputs {
9
9
  data;
10
10
  constants;
11
- isPadding;
12
- constructor(data, constants, isPadding){
11
+ constructor(data, constants){
13
12
  this.data = data;
14
13
  this.constants = constants;
15
- this.isPadding = isPadding;
16
14
  }
17
15
  /**
18
16
  * Serializes the inputs to a buffer.
@@ -40,8 +38,7 @@ import { BlockRootRollupData } from './block_root_rollup.js';
40
38
  */ static getFields(fields) {
41
39
  return [
42
40
  fields.data,
43
- fields.constants,
44
- fields.isPadding
41
+ fields.constants
45
42
  ];
46
43
  }
47
44
  /**
@@ -50,7 +47,7 @@ import { BlockRootRollupData } from './block_root_rollup.js';
50
47
  * @returns A new RootRollupInputs instance.
51
48
  */ static fromBuffer(buffer) {
52
49
  const reader = BufferReader.asReader(buffer);
53
- return new EmptyBlockRootRollupInputs(reader.readObject(BlockRootRollupData), reader.readObject(BlockConstantData), reader.readBoolean());
50
+ return new EmptyBlockRootRollupInputs(reader.readObject(BlockRootRollupData), reader.readObject(BlockConstantData));
54
51
  }
55
52
  /**
56
53
  * Deserializes the inputs from a hex string.
@@ -8,6 +8,7 @@ export * from './empty_block_root_rollup_inputs.js';
8
8
  export * from './epoch_constant_data.js';
9
9
  export * from './block_root_rollup.js';
10
10
  export * from './merge_rollup.js';
11
+ export * from './padding_block_root_rollup_inputs.js';
11
12
  export * from './previous_rollup_block_data.js';
12
13
  export * from './previous_rollup_data.js';
13
14
  export * from './private_base_rollup_inputs.js';
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rollup/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,yCAAyC,CAAC;AACxD,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,8CAA8C,CAAC;AAC7D,cAAc,qCAAqC,CAAC;AACpD,cAAc,0BAA0B,CAAC;AACzC,cAAc,wBAAwB,CAAC;AACvC,cAAc,mBAAmB,CAAC;AAClC,cAAc,iCAAiC,CAAC;AAChD,cAAc,2BAA2B,CAAC;AAC1C,cAAc,iCAAiC,CAAC;AAChD,cAAc,wBAAwB,CAAC;AACvC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,uBAAuB,CAAC;AACtC,cAAc,kBAAkB,CAAC;AACjC,cAAc,uBAAuB,CAAC;AACtC,cAAc,kBAAkB,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rollup/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,yCAAyC,CAAC;AACxD,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,8CAA8C,CAAC;AAC7D,cAAc,qCAAqC,CAAC;AACpD,cAAc,0BAA0B,CAAC;AACzC,cAAc,wBAAwB,CAAC;AACvC,cAAc,mBAAmB,CAAC;AAClC,cAAc,uCAAuC,CAAC;AACtD,cAAc,iCAAiC,CAAC;AAChD,cAAc,2BAA2B,CAAC;AAC1C,cAAc,iCAAiC,CAAC;AAChD,cAAc,wBAAwB,CAAC;AACvC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,uBAAuB,CAAC;AACtC,cAAc,kBAAkB,CAAC;AACjC,cAAc,uBAAuB,CAAC;AACtC,cAAc,kBAAkB,CAAC"}
@@ -8,6 +8,7 @@ export * from './empty_block_root_rollup_inputs.js';
8
8
  export * from './epoch_constant_data.js';
9
9
  export * from './block_root_rollup.js';
10
10
  export * from './merge_rollup.js';
11
+ export * from './padding_block_root_rollup_inputs.js';
11
12
  export * from './previous_rollup_block_data.js';
12
13
  export * from './previous_rollup_data.js';
13
14
  export * from './private_base_rollup_inputs.js';
@@ -0,0 +1,20 @@
1
+ import { BufferReader } from '@aztec/foundation/serialize';
2
+ import type { FieldsOf } from '@aztec/foundation/types';
3
+ import { EpochConstantData } from './epoch_constant_data.js';
4
+ /**
5
+ * Inputs of the padding block root rollup circuit.
6
+ */
7
+ export declare class PaddingBlockRootRollupInputs {
8
+ readonly constants: EpochConstantData;
9
+ constructor(constants: EpochConstantData);
10
+ static from(fields: FieldsOf<PaddingBlockRootRollupInputs>): PaddingBlockRootRollupInputs;
11
+ static getFields(fields: FieldsOf<PaddingBlockRootRollupInputs>): readonly [EpochConstantData];
12
+ static fromBuffer(buffer: Buffer | BufferReader): PaddingBlockRootRollupInputs;
13
+ toBuffer(): Buffer<ArrayBufferLike>;
14
+ static fromString(str: string): PaddingBlockRootRollupInputs;
15
+ toString(): `0x${string}`;
16
+ /** Returns a buffer representation for JSON serialization. */
17
+ toJSON(): Buffer<ArrayBufferLike>;
18
+ static get schema(): import("zod").ZodType<PaddingBlockRootRollupInputs, any, string>;
19
+ }
20
+ //# sourceMappingURL=padding_block_root_rollup_inputs.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"padding_block_root_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/padding_block_root_rollup_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,4BAA4B;aACX,SAAS,EAAE,iBAAiB;gBAA5B,SAAS,EAAE,iBAAiB;IAExD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC,GAAG,4BAA4B;IAIzF,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IAI/D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,4BAA4B;IAK9E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,8DAA8D;IAC9D,MAAM;IAIN,MAAM,KAAK,MAAM,qEAEhB;CACF"}
@@ -0,0 +1,39 @@
1
+ import { bufferSchemaFor } from '@aztec/foundation/schemas';
2
+ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
3
+ import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
4
+ import { EpochConstantData } from './epoch_constant_data.js';
5
+ /**
6
+ * Inputs of the padding block root rollup circuit.
7
+ */ export class PaddingBlockRootRollupInputs {
8
+ constants;
9
+ constructor(constants){
10
+ this.constants = constants;
11
+ }
12
+ static from(fields) {
13
+ return new PaddingBlockRootRollupInputs(...PaddingBlockRootRollupInputs.getFields(fields));
14
+ }
15
+ static getFields(fields) {
16
+ return [
17
+ fields.constants
18
+ ];
19
+ }
20
+ static fromBuffer(buffer) {
21
+ const reader = BufferReader.asReader(buffer);
22
+ return new PaddingBlockRootRollupInputs(reader.readObject(EpochConstantData));
23
+ }
24
+ toBuffer() {
25
+ return serializeToBuffer(...PaddingBlockRootRollupInputs.getFields(this));
26
+ }
27
+ static fromString(str) {
28
+ return PaddingBlockRootRollupInputs.fromBuffer(hexToBuffer(str));
29
+ }
30
+ toString() {
31
+ return bufferToHex(this.toBuffer());
32
+ }
33
+ /** Returns a buffer representation for JSON serialization. */ toJSON() {
34
+ return this.toBuffer();
35
+ }
36
+ static get schema() {
37
+ return bufferSchemaFor(PaddingBlockRootRollupInputs);
38
+ }
39
+ }
@@ -1,9 +1,9 @@
1
- import type { UInt32 } from '../types/shared.js';
1
+ import type { UInt64 } from '../types/shared.js';
2
2
  export declare class ScheduledDelayChange {
3
- pre: UInt32 | undefined;
4
- post: UInt32 | undefined;
5
- blockOfChange: UInt32;
6
- constructor(pre: UInt32 | undefined, post: UInt32 | undefined, blockOfChange: UInt32);
3
+ pre: UInt64 | undefined;
4
+ post: UInt64 | undefined;
5
+ timestampOfChange: UInt64;
6
+ constructor(pre: UInt64 | undefined, post: UInt64 | undefined, timestampOfChange: UInt64);
7
7
  static empty(): ScheduledDelayChange;
8
8
  isEmpty(): boolean;
9
9
  }
@@ -1 +1 @@
1
- {"version":3,"file":"scheduled_delay_change.d.ts","sourceRoot":"","sources":["../../src/shared_mutable/scheduled_delay_change.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD,qBAAa,oBAAoB;IAEtB,GAAG,EAAE,MAAM,GAAG,SAAS;IACvB,IAAI,EAAE,MAAM,GAAG,SAAS;IACxB,aAAa,EAAE,MAAM;gBAFrB,GAAG,EAAE,MAAM,GAAG,SAAS,EACvB,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,aAAa,EAAE,MAAM;IAG9B,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;CAGnB"}
1
+ {"version":3,"file":"scheduled_delay_change.d.ts","sourceRoot":"","sources":["../../src/shared_mutable/scheduled_delay_change.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD,qBAAa,oBAAoB;IAEtB,GAAG,EAAE,MAAM,GAAG,SAAS;IACvB,IAAI,EAAE,MAAM,GAAG,SAAS;IACxB,iBAAiB,EAAE,MAAM;gBAFzB,GAAG,EAAE,MAAM,GAAG,SAAS,EACvB,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,iBAAiB,EAAE,MAAM;IAGlC,MAAM,CAAC,KAAK;IAIZ,OAAO,IAAI,OAAO;CAGnB"}
@@ -1,16 +1,16 @@
1
1
  export class ScheduledDelayChange {
2
2
  pre;
3
3
  post;
4
- blockOfChange;
5
- constructor(pre, post, blockOfChange){
4
+ timestampOfChange;
5
+ constructor(pre, post, timestampOfChange){
6
6
  this.pre = pre;
7
7
  this.post = post;
8
- this.blockOfChange = blockOfChange;
8
+ this.timestampOfChange = timestampOfChange;
9
9
  }
10
10
  static empty() {
11
- return new this(undefined, undefined, 0);
11
+ return new this(undefined, undefined, 0n);
12
12
  }
13
13
  isEmpty() {
14
- return this.pre === undefined && this.post === undefined && this.blockOfChange === 0;
14
+ return this.pre === undefined && this.post === undefined && this.timestampOfChange === 0n;
15
15
  }
16
16
  }
@@ -1,11 +1,12 @@
1
1
  import { Fr } from '@aztec/foundation/fields';
2
+ import type { UInt64 } from '../types/shared.js';
2
3
  export declare class ScheduledValueChange {
3
4
  previous: Fr[];
4
5
  post: Fr[];
5
- blockOfChange: number;
6
- constructor(previous: Fr[], post: Fr[], blockOfChange: number);
6
+ timestampOfChange: UInt64;
7
+ constructor(previous: Fr[], post: Fr[], timestampOfChange: UInt64);
7
8
  static empty(valueSize: number): ScheduledValueChange;
8
9
  isEmpty(): boolean;
9
- getCurrentAt(blockNumber: number): Fr[];
10
+ getCurrentAt(timestamp: UInt64): Fr[];
10
11
  }
11
12
  //# sourceMappingURL=scheduled_value_change.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"scheduled_value_change.d.ts","sourceRoot":"","sources":["../../src/shared_mutable/scheduled_value_change.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,qBAAa,oBAAoB;IAEtB,QAAQ,EAAE,EAAE,EAAE;IACd,IAAI,EAAE,EAAE,EAAE;IACV,aAAa,EAAE,MAAM;gBAFrB,QAAQ,EAAE,EAAE,EAAE,EACd,IAAI,EAAE,EAAE,EAAE,EACV,aAAa,EAAE,MAAM;IAO9B,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM;IAI9B,OAAO,IAAI,OAAO;IAIlB,YAAY,CAAC,WAAW,EAAE,MAAM;CAOjC"}
1
+ {"version":3,"file":"scheduled_value_change.d.ts","sourceRoot":"","sources":["../../src/shared_mutable/scheduled_value_change.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD,qBAAa,oBAAoB;IAEtB,QAAQ,EAAE,EAAE,EAAE;IACd,IAAI,EAAE,EAAE,EAAE;IACV,iBAAiB,EAAE,MAAM;gBAFzB,QAAQ,EAAE,EAAE,EAAE,EACd,IAAI,EAAE,EAAE,EAAE,EACV,iBAAiB,EAAE,MAAM;IAOlC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM;IAI9B,OAAO,IAAI,OAAO;IAIlB,YAAY,CAAC,SAAS,EAAE,MAAM;CAO/B"}
@@ -2,23 +2,23 @@ import { Fr } from '@aztec/foundation/fields';
2
2
  export class ScheduledValueChange {
3
3
  previous;
4
4
  post;
5
- blockOfChange;
6
- constructor(previous, post, blockOfChange){
5
+ timestampOfChange;
6
+ constructor(previous, post, timestampOfChange){
7
7
  this.previous = previous;
8
8
  this.post = post;
9
- this.blockOfChange = blockOfChange;
9
+ this.timestampOfChange = timestampOfChange;
10
10
  if (this.previous.length !== this.post.length) {
11
11
  throw new Error('Previous and post must have the same length');
12
12
  }
13
13
  }
14
14
  static empty(valueSize) {
15
- return new this(Array(valueSize).fill(new Fr(0)), Array(valueSize).fill(new Fr(0)), 0);
15
+ return new this(Array(valueSize).fill(new Fr(0)), Array(valueSize).fill(new Fr(0)), 0n);
16
16
  }
17
17
  isEmpty() {
18
- return this.previous.every((v)=>v.isZero()) && this.post.every((v)=>v.isZero()) && this.blockOfChange === 0;
18
+ return this.previous.every((v)=>v.isZero()) && this.post.every((v)=>v.isZero()) && this.timestampOfChange === 0n;
19
19
  }
20
- getCurrentAt(blockNumber) {
21
- if (blockNumber < this.blockOfChange) {
20
+ getCurrentAt(timestamp) {
21
+ if (timestamp < this.timestampOfChange) {
22
22
  return this.previous;
23
23
  } else {
24
24
  return this.post;