@aztec/blob-lib 0.0.1-commit.b655e406 → 0.0.1-commit.b6e433891

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 (101) hide show
  1. package/dest/batched_blob.d.ts +31 -0
  2. package/dest/batched_blob.d.ts.map +1 -0
  3. package/dest/batched_blob.js +20 -0
  4. package/dest/blob.d.ts +14 -14
  5. package/dest/blob.d.ts.map +1 -1
  6. package/dest/blob.js +21 -20
  7. package/dest/blob_batching.d.ts +35 -72
  8. package/dest/blob_batching.d.ts.map +1 -1
  9. package/dest/blob_batching.js +75 -110
  10. package/dest/blob_utils.d.ts +22 -12
  11. package/dest/blob_utils.d.ts.map +1 -1
  12. package/dest/blob_utils.js +32 -23
  13. package/dest/circuit_types/blob_accumulator.d.ts +4 -2
  14. package/dest/circuit_types/blob_accumulator.d.ts.map +1 -1
  15. package/dest/circuit_types/blob_accumulator.js +5 -1
  16. package/dest/circuit_types/final_blob_accumulator.d.ts +3 -2
  17. package/dest/circuit_types/final_blob_accumulator.d.ts.map +1 -1
  18. package/dest/circuit_types/final_blob_accumulator.js +5 -2
  19. package/dest/circuit_types/final_blob_batching_challenges.d.ts +3 -2
  20. package/dest/circuit_types/final_blob_batching_challenges.d.ts.map +1 -1
  21. package/dest/circuit_types/final_blob_batching_challenges.js +2 -1
  22. package/dest/circuit_types/index.d.ts +1 -1
  23. package/dest/encoding/block_blob_data.d.ts +30 -0
  24. package/dest/encoding/block_blob_data.d.ts.map +1 -0
  25. package/dest/encoding/block_blob_data.js +75 -0
  26. package/dest/encoding/block_end_marker.d.ts +11 -0
  27. package/dest/encoding/block_end_marker.d.ts.map +1 -0
  28. package/dest/encoding/block_end_marker.js +41 -0
  29. package/dest/encoding/block_end_state_field.d.ts +12 -0
  30. package/dest/encoding/block_end_state_field.d.ts.map +1 -0
  31. package/dest/encoding/block_end_state_field.js +39 -0
  32. package/dest/encoding/checkpoint_blob_data.d.ts +15 -0
  33. package/dest/encoding/checkpoint_blob_data.d.ts.map +1 -0
  34. package/dest/encoding/checkpoint_blob_data.js +67 -0
  35. package/dest/encoding/checkpoint_end_marker.d.ts +8 -0
  36. package/dest/encoding/checkpoint_end_marker.d.ts.map +1 -0
  37. package/dest/encoding/checkpoint_end_marker.js +28 -0
  38. package/dest/encoding/fixtures.d.ts +41 -0
  39. package/dest/encoding/fixtures.d.ts.map +1 -0
  40. package/dest/encoding/fixtures.js +140 -0
  41. package/dest/encoding/index.d.ts +10 -0
  42. package/dest/encoding/index.d.ts.map +1 -0
  43. package/dest/encoding/index.js +9 -0
  44. package/dest/encoding/tx_blob_data.d.ts +19 -0
  45. package/dest/encoding/tx_blob_data.d.ts.map +1 -0
  46. package/dest/encoding/tx_blob_data.js +79 -0
  47. package/dest/encoding/tx_start_marker.d.ts +16 -0
  48. package/dest/encoding/tx_start_marker.d.ts.map +1 -0
  49. package/dest/{encoding.js → encoding/tx_start_marker.js} +14 -60
  50. package/dest/errors.d.ts +1 -1
  51. package/dest/errors.d.ts.map +1 -1
  52. package/dest/hash.d.ts +14 -6
  53. package/dest/hash.d.ts.map +1 -1
  54. package/dest/hash.js +25 -14
  55. package/dest/index.d.ts +4 -4
  56. package/dest/index.d.ts.map +1 -1
  57. package/dest/index.js +3 -3
  58. package/dest/interface.d.ts +1 -2
  59. package/dest/interface.d.ts.map +1 -1
  60. package/dest/kzg_context.d.ts +10 -4
  61. package/dest/kzg_context.d.ts.map +1 -1
  62. package/dest/kzg_context.js +29 -5
  63. package/dest/sponge_blob.d.ts +9 -13
  64. package/dest/sponge_blob.d.ts.map +1 -1
  65. package/dest/sponge_blob.js +21 -36
  66. package/dest/testing.d.ts +9 -17
  67. package/dest/testing.d.ts.map +1 -1
  68. package/dest/testing.js +35 -64
  69. package/dest/types.d.ts +2 -1
  70. package/dest/types.d.ts.map +1 -1
  71. package/dest/types.js +1 -0
  72. package/package.json +8 -7
  73. package/src/batched_blob.ts +26 -0
  74. package/src/blob.ts +21 -20
  75. package/src/blob_batching.ts +93 -128
  76. package/src/blob_utils.ts +38 -25
  77. package/src/circuit_types/blob_accumulator.ts +13 -1
  78. package/src/circuit_types/final_blob_accumulator.ts +2 -1
  79. package/src/circuit_types/final_blob_batching_challenges.ts +2 -1
  80. package/src/encoding/block_blob_data.ts +114 -0
  81. package/src/encoding/block_end_marker.ts +55 -0
  82. package/src/encoding/block_end_state_field.ts +59 -0
  83. package/src/encoding/checkpoint_blob_data.ts +102 -0
  84. package/src/encoding/checkpoint_end_marker.ts +40 -0
  85. package/src/encoding/fixtures.ts +210 -0
  86. package/src/encoding/index.ts +9 -0
  87. package/src/encoding/tx_blob_data.ts +116 -0
  88. package/src/{encoding.ts → encoding/tx_start_marker.ts} +20 -77
  89. package/src/hash.ts +26 -14
  90. package/src/index.ts +3 -3
  91. package/src/interface.ts +0 -1
  92. package/src/kzg_context.ts +39 -3
  93. package/src/sponge_blob.ts +23 -36
  94. package/src/testing.ts +48 -74
  95. package/src/types.ts +1 -0
  96. package/dest/deserialize.d.ts +0 -14
  97. package/dest/deserialize.d.ts.map +0 -1
  98. package/dest/deserialize.js +0 -33
  99. package/dest/encoding.d.ts +0 -26
  100. package/dest/encoding.d.ts.map +0 -1
  101. package/src/deserialize.ts +0 -38
@@ -0,0 +1,11 @@
1
+ import { BlockNumber } from '@aztec/foundation/branded-types';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
+ export interface BlockEndMarker {
4
+ timestamp: bigint;
5
+ blockNumber: BlockNumber;
6
+ numTxs: number;
7
+ }
8
+ export declare function encodeBlockEndMarker(blockEndMarker: BlockEndMarker): Fr;
9
+ export declare function decodeBlockEndMarker(field: Fr): BlockEndMarker;
10
+ export declare function isBlockEndMarker(field: Fr): boolean;
11
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfZW5kX21hcmtlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2VuY29kaW5nL2Jsb2NrX2VuZF9tYXJrZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzlELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQVVwRCxNQUFNLFdBQVcsY0FBYztJQUM3QixTQUFTLEVBQUUsTUFBTSxDQUFDO0lBQ2xCLFdBQVcsRUFBRSxXQUFXLENBQUM7SUFDekIsTUFBTSxFQUFFLE1BQU0sQ0FBQztDQUNoQjtBQUVELHdCQUFnQixvQkFBb0IsQ0FBQyxjQUFjLEVBQUUsY0FBYyxNQVNsRTtBQUVELHdCQUFnQixvQkFBb0IsQ0FBQyxLQUFLLEVBQUUsRUFBRSxHQUFHLGNBQWMsQ0FtQjlEO0FBR0Qsd0JBQWdCLGdCQUFnQixDQUFDLEtBQUssRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUduRCJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"block_end_marker.d.ts","sourceRoot":"","sources":["../../src/encoding/block_end_marker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAUpD,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,WAAW,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,oBAAoB,CAAC,cAAc,EAAE,cAAc,MASlE;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,EAAE,GAAG,cAAc,CAmB9D;AAGD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,CAGnD"}
@@ -0,0 +1,41 @@
1
+ import { BLOCK_END_PREFIX } from '@aztec/constants';
2
+ import { BlockNumber } from '@aztec/foundation/branded-types';
3
+ import { Fr } from '@aztec/foundation/curves/bn254';
4
+ import { BlobDeserializationError } from '../errors.js';
5
+ // Must match the implementation in `noir-protocol-circuits/crates/types/src/blob_data/block_blob_data.nr`.
6
+ const BLOCK_NUMBER_BIT_SIZE = 32n;
7
+ const TIMESTAMP_BIT_SIZE = 64n;
8
+ const NUM_TXS_BIT_SIZE = 16n;
9
+ export function encodeBlockEndMarker(blockEndMarker) {
10
+ let value = BigInt(BLOCK_END_PREFIX);
11
+ value <<= TIMESTAMP_BIT_SIZE;
12
+ value += blockEndMarker.timestamp;
13
+ value <<= BLOCK_NUMBER_BIT_SIZE;
14
+ value += BigInt(blockEndMarker.blockNumber);
15
+ value <<= NUM_TXS_BIT_SIZE;
16
+ value += BigInt(blockEndMarker.numTxs);
17
+ return new Fr(value);
18
+ }
19
+ export function decodeBlockEndMarker(field) {
20
+ let value = field.toBigInt();
21
+ const numTxs = Number(value & 2n ** NUM_TXS_BIT_SIZE - 1n);
22
+ value >>= NUM_TXS_BIT_SIZE;
23
+ const blockNumber = BlockNumber(Number(value & 2n ** BLOCK_NUMBER_BIT_SIZE - 1n));
24
+ value >>= BLOCK_NUMBER_BIT_SIZE;
25
+ const timestamp = value & 2n ** TIMESTAMP_BIT_SIZE - 1n;
26
+ value >>= TIMESTAMP_BIT_SIZE;
27
+ const prefix = value;
28
+ if (prefix !== BigInt(BLOCK_END_PREFIX)) {
29
+ throw new BlobDeserializationError(`Incorrect encoding of blob fields: invalid block end marker.`);
30
+ }
31
+ return {
32
+ blockNumber,
33
+ timestamp,
34
+ numTxs
35
+ };
36
+ }
37
+ // Check if a field is a block end marker. Used before decoding to check if it has reached the end of the block.
38
+ export function isBlockEndMarker(field) {
39
+ const prefix = field.toBigInt() >> NUM_TXS_BIT_SIZE + BLOCK_NUMBER_BIT_SIZE + TIMESTAMP_BIT_SIZE;
40
+ return prefix === BigInt(BLOCK_END_PREFIX);
41
+ }
@@ -0,0 +1,12 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ export declare const TOTAL_MANA_USED_BIT_SIZE = 48n;
3
+ export interface BlockEndStateField {
4
+ l1ToL2MessageNextAvailableLeafIndex: number;
5
+ noteHashNextAvailableLeafIndex: number;
6
+ nullifierNextAvailableLeafIndex: number;
7
+ publicDataNextAvailableLeafIndex: number;
8
+ totalManaUsed: bigint;
9
+ }
10
+ export declare function encodeBlockEndStateField(blockEndStateField: BlockEndStateField): Fr;
11
+ export declare function decodeBlockEndStateField(field: Fr): BlockEndStateField;
12
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfZW5kX3N0YXRlX2ZpZWxkLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZW5jb2RpbmcvYmxvY2tfZW5kX3N0YXRlX2ZpZWxkLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQU1BLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQU1wRCxlQUFPLE1BQU0sd0JBQXdCLE1BQU0sQ0FBQztBQUU1QyxNQUFNLFdBQVcsa0JBQWtCO0lBQ2pDLG1DQUFtQyxFQUFFLE1BQU0sQ0FBQztJQUM1Qyw4QkFBOEIsRUFBRSxNQUFNLENBQUM7SUFDdkMsK0JBQStCLEVBQUUsTUFBTSxDQUFDO0lBQ3hDLGdDQUFnQyxFQUFFLE1BQU0sQ0FBQztJQUN6QyxhQUFhLEVBQUUsTUFBTSxDQUFDO0NBQ3ZCO0FBRUQsd0JBQWdCLHdCQUF3QixDQUFDLGtCQUFrQixFQUFFLGtCQUFrQixNQVc5RTtBQUVELHdCQUFnQix3QkFBd0IsQ0FBQyxLQUFLLEVBQUUsRUFBRSxHQUFHLGtCQUFrQixDQXVCdEUifQ==
@@ -0,0 +1 @@
1
+ {"version":3,"file":"block_end_state_field.d.ts","sourceRoot":"","sources":["../../src/encoding/block_end_state_field.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAMpD,eAAO,MAAM,wBAAwB,MAAM,CAAC;AAE5C,MAAM,WAAW,kBAAkB;IACjC,mCAAmC,EAAE,MAAM,CAAC;IAC5C,8BAA8B,EAAE,MAAM,CAAC;IACvC,+BAA+B,EAAE,MAAM,CAAC;IACxC,gCAAgC,EAAE,MAAM,CAAC;IACzC,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,wBAAwB,CAAC,kBAAkB,EAAE,kBAAkB,MAW9E;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,EAAE,GAAG,kBAAkB,CAuBtE"}
@@ -0,0 +1,39 @@
1
+ import { L1_TO_L2_MSG_TREE_HEIGHT, NOTE_HASH_TREE_HEIGHT, NULLIFIER_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
+ import { BlobDeserializationError } from '../errors.js';
4
+ // Must match the implementation in `noir-protocol-circuits/crates/types/src/blob_data/block_blob_data.nr`.
5
+ export const TOTAL_MANA_USED_BIT_SIZE = 48n;
6
+ export function encodeBlockEndStateField(blockEndStateField) {
7
+ let value = BigInt(blockEndStateField.l1ToL2MessageNextAvailableLeafIndex);
8
+ value <<= BigInt(NOTE_HASH_TREE_HEIGHT);
9
+ value += BigInt(blockEndStateField.noteHashNextAvailableLeafIndex);
10
+ value <<= BigInt(NULLIFIER_TREE_HEIGHT);
11
+ value += BigInt(blockEndStateField.nullifierNextAvailableLeafIndex);
12
+ value <<= BigInt(PUBLIC_DATA_TREE_HEIGHT);
13
+ value += BigInt(blockEndStateField.publicDataNextAvailableLeafIndex);
14
+ value <<= BigInt(TOTAL_MANA_USED_BIT_SIZE);
15
+ value += BigInt(blockEndStateField.totalManaUsed);
16
+ return new Fr(value);
17
+ }
18
+ export function decodeBlockEndStateField(field) {
19
+ let value = field.toBigInt();
20
+ const totalManaUsed = value & 2n ** TOTAL_MANA_USED_BIT_SIZE - 1n;
21
+ value >>= TOTAL_MANA_USED_BIT_SIZE;
22
+ const publicDataNextAvailableLeafIndex = Number(value & 2n ** BigInt(PUBLIC_DATA_TREE_HEIGHT) - 1n);
23
+ value >>= BigInt(PUBLIC_DATA_TREE_HEIGHT);
24
+ const nullifierNextAvailableLeafIndex = Number(value & 2n ** BigInt(NULLIFIER_TREE_HEIGHT) - 1n);
25
+ value >>= BigInt(NULLIFIER_TREE_HEIGHT);
26
+ const noteHashNextAvailableLeafIndex = Number(value & 2n ** BigInt(NOTE_HASH_TREE_HEIGHT) - 1n);
27
+ value >>= BigInt(NOTE_HASH_TREE_HEIGHT);
28
+ if (value > 2n ** BigInt(L1_TO_L2_MSG_TREE_HEIGHT) - 1n) {
29
+ throw new BlobDeserializationError(`Incorrect encoding of blob fields: invalid block end state field.`);
30
+ }
31
+ const l1ToL2MessageNextAvailableLeafIndex = Number(value);
32
+ return {
33
+ l1ToL2MessageNextAvailableLeafIndex,
34
+ noteHashNextAvailableLeafIndex,
35
+ nullifierNextAvailableLeafIndex,
36
+ publicDataNextAvailableLeafIndex,
37
+ totalManaUsed
38
+ };
39
+ }
@@ -0,0 +1,15 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { FieldReader } from '@aztec/foundation/serialize';
3
+ import { type BlockBlobData } from './block_blob_data.js';
4
+ import { type CheckpointEndMarker } from './checkpoint_end_marker.js';
5
+ import type { TxStartMarker } from './tx_start_marker.js';
6
+ export interface CheckpointBlobData {
7
+ checkpointEndMarker: CheckpointEndMarker;
8
+ blocks: BlockBlobData[];
9
+ }
10
+ export declare function encodeCheckpointBlobData(checkpointBlobData: CheckpointBlobData): Fr[];
11
+ export declare function encodeCheckpointBlobDataFromBlocks(blocks: BlockBlobData[]): Fr[];
12
+ export declare function decodeCheckpointBlobData(fields: Fr[] | FieldReader): CheckpointBlobData;
13
+ export declare function decodeCheckpointBlobDataFromBuffer(buf: Buffer): CheckpointBlobData;
14
+ export declare function getTotalNumBlobFieldsFromTxs(txsPerBlock: TxStartMarker[][]): number;
15
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9ibG9iX2RhdGEuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lbmNvZGluZy9jaGVja3BvaW50X2Jsb2JfZGF0YS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFnQixXQUFXLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUd4RSxPQUFPLEVBQ0wsS0FBSyxhQUFhLEVBTW5CLE1BQU0sc0JBQXNCLENBQUM7QUFDOUIsT0FBTyxFQUNMLEtBQUssbUJBQW1CLEVBSXpCLE1BQU0sNEJBQTRCLENBQUM7QUFDcEMsT0FBTyxLQUFLLEVBQUUsYUFBYSxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFFMUQsTUFBTSxXQUFXLGtCQUFrQjtJQUNqQyxtQkFBbUIsRUFBRSxtQkFBbUIsQ0FBQztJQUN6QyxNQUFNLEVBQUUsYUFBYSxFQUFFLENBQUM7Q0FDekI7QUFFRCx3QkFBZ0Isd0JBQXdCLENBQUMsa0JBQWtCLEVBQUUsa0JBQWtCLEdBQUcsRUFBRSxFQUFFLENBS3JGO0FBRUQsd0JBQWdCLGtDQUFrQyxDQUFDLE1BQU0sRUFBRSxhQUFhLEVBQUUsR0FBRyxFQUFFLEVBQUUsQ0FJaEY7QUFFRCx3QkFBZ0Isd0JBQXdCLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyxrQkFBa0IsQ0EwQ3ZGO0FBRUQsd0JBQWdCLGtDQUFrQyxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsa0JBQWtCLENBS2xGO0FBRUQsd0JBQWdCLDRCQUE0QixDQUFDLFdBQVcsRUFBRSxhQUFhLEVBQUUsRUFBRSxHQUFHLE1BQU0sQ0FZbkYifQ==
@@ -0,0 +1 @@
1
+ {"version":3,"file":"checkpoint_blob_data.d.ts","sourceRoot":"","sources":["../../src/encoding/checkpoint_blob_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAgB,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAGxE,OAAO,EACL,KAAK,aAAa,EAMnB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,KAAK,mBAAmB,EAIzB,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,WAAW,kBAAkB;IACjC,mBAAmB,EAAE,mBAAmB,CAAC;IACzC,MAAM,EAAE,aAAa,EAAE,CAAC;CACzB;AAED,wBAAgB,wBAAwB,CAAC,kBAAkB,EAAE,kBAAkB,GAAG,EAAE,EAAE,CAKrF;AAED,wBAAgB,kCAAkC,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,EAAE,EAAE,CAIhF;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,kBAAkB,CA0CvF;AAED,wBAAgB,kCAAkC,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB,CAKlF;AAED,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,aAAa,EAAE,EAAE,GAAG,MAAM,CAYnF"}
@@ -0,0 +1,67 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
3
+ import { BlobDeserializationError } from '../errors.js';
4
+ import { NUM_BLOCK_END_BLOB_FIELDS, NUM_CHECKPOINT_END_MARKER_FIELDS, NUM_FIRST_BLOCK_END_BLOB_FIELDS, decodeBlockBlobData, encodeBlockBlobData } from './block_blob_data.js';
5
+ import { decodeCheckpointEndMarker, encodeCheckpointEndMarker, isCheckpointEndMarker } from './checkpoint_end_marker.js';
6
+ export function encodeCheckpointBlobData(checkpointBlobData) {
7
+ return [
8
+ ...checkpointBlobData.blocks.map((block)=>encodeBlockBlobData(block)).flat(),
9
+ encodeCheckpointEndMarker(checkpointBlobData.checkpointEndMarker)
10
+ ];
11
+ }
12
+ export function encodeCheckpointBlobDataFromBlocks(blocks) {
13
+ const blocksBlobFields = blocks.map((block)=>encodeBlockBlobData(block)).flat();
14
+ const numBlobFields = blocksBlobFields.length + NUM_CHECKPOINT_END_MARKER_FIELDS;
15
+ return blocksBlobFields.concat(encodeCheckpointEndMarker({
16
+ numBlobFields
17
+ }));
18
+ }
19
+ export function decodeCheckpointBlobData(fields) {
20
+ const reader = FieldReader.asReader(fields);
21
+ if (reader.isFinished()) {
22
+ throw new BlobDeserializationError(`Cannot decode empty blob data.`);
23
+ }
24
+ const blocks = [];
25
+ let checkpointEndMarker;
26
+ while(!reader.isFinished() && !checkpointEndMarker){
27
+ blocks.push(decodeBlockBlobData(reader, blocks.length === 0 /* isFirstBlock */ ));
28
+ // After reading a block, the next item must be either a checkpoint end marker or another block.
29
+ // The first field of a block is always a tx start marker. So if the provided fields are valid, it's not possible to
30
+ // misinterpret a tx start marker as checkpoint end marker, or vice versa.
31
+ const nextField = reader.peekField();
32
+ if (isCheckpointEndMarker(nextField)) {
33
+ checkpointEndMarker = decodeCheckpointEndMarker(reader.readField());
34
+ const numFieldsRead = reader.cursor;
35
+ if (numFieldsRead !== checkpointEndMarker.numBlobFields) {
36
+ throw new BlobDeserializationError(`Incorrect encoding of blob fields: mismatch number of blob fields. Expected ${checkpointEndMarker.numBlobFields} fields, got ${numFieldsRead}.`);
37
+ }
38
+ }
39
+ }
40
+ if (!checkpointEndMarker) {
41
+ throw new BlobDeserializationError(`Incorrect encoding of blob fields: checkpoint end marker does not exist.`);
42
+ }
43
+ const remainingFields = reader.readFieldArray(reader.remainingFields());
44
+ if (!remainingFields.every((f)=>f.isZero())) {
45
+ throw new BlobDeserializationError(`Incorrect encoding of blob fields: unexpected non-zero field after checkpoint end marker.`);
46
+ }
47
+ return {
48
+ checkpointEndMarker,
49
+ blocks
50
+ };
51
+ }
52
+ export function decodeCheckpointBlobDataFromBuffer(buf) {
53
+ const reader = BufferReader.asReader(buf);
54
+ const totalFieldsInBuffer = Math.floor(buf.length / Fr.SIZE_IN_BYTES);
55
+ const blobFields = reader.readArray(totalFieldsInBuffer, Fr);
56
+ return decodeCheckpointBlobData(blobFields);
57
+ }
58
+ export function getTotalNumBlobFieldsFromTxs(txsPerBlock) {
59
+ const numBlocks = txsPerBlock.length;
60
+ if (!numBlocks) {
61
+ return 0;
62
+ }
63
+ return (numBlocks ? NUM_FIRST_BLOCK_END_BLOB_FIELDS - NUM_BLOCK_END_BLOB_FIELDS : 0) + // l1ToL2Messages root in the first block
64
+ numBlocks * NUM_BLOCK_END_BLOB_FIELDS + // 6 fields for each block end blob data.
65
+ txsPerBlock.reduce((total, txs)=>total + txs.reduce((total, tx)=>total + tx.numBlobFields, 0), 0) + NUM_CHECKPOINT_END_MARKER_FIELDS // checkpoint end marker
66
+ ;
67
+ }
@@ -0,0 +1,8 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ export interface CheckpointEndMarker {
3
+ numBlobFields: number;
4
+ }
5
+ export declare function encodeCheckpointEndMarker(checkpointEndMarker: CheckpointEndMarker): Fr;
6
+ export declare function decodeCheckpointEndMarker(field: Fr): CheckpointEndMarker;
7
+ export declare function isCheckpointEndMarker(field: Fr): boolean;
8
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9lbmRfbWFya2VyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZW5jb2RpbmcvY2hlY2twb2ludF9lbmRfbWFya2VyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQVFwRCxNQUFNLFdBQVcsbUJBQW1CO0lBQ2xDLGFBQWEsRUFBRSxNQUFNLENBQUM7Q0FDdkI7QUFFRCx3QkFBZ0IseUJBQXlCLENBQUMsbUJBQW1CLEVBQUUsbUJBQW1CLE1BS2pGO0FBRUQsd0JBQWdCLHlCQUF5QixDQUFDLEtBQUssRUFBRSxFQUFFLEdBQUcsbUJBQW1CLENBYXhFO0FBR0Qsd0JBQWdCLHFCQUFxQixDQUFDLEtBQUssRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUd4RCJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"checkpoint_end_marker.d.ts","sourceRoot":"","sources":["../../src/encoding/checkpoint_end_marker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAQpD,MAAM,WAAW,mBAAmB;IAClC,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,yBAAyB,CAAC,mBAAmB,EAAE,mBAAmB,MAKjF;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,EAAE,GAAG,mBAAmB,CAaxE;AAGD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,CAGxD"}
@@ -0,0 +1,28 @@
1
+ import { CHECKPOINT_END_PREFIX } from '@aztec/constants';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
+ import { BlobDeserializationError } from '../errors.js';
4
+ // Must match the implementation in `noir-protocol-circuits/crates/types/src/blob_data/checkpoint_blob_data.nr`.
5
+ const NUM_BLOB_FIELDS_BIT_SIZE = 32n;
6
+ export function encodeCheckpointEndMarker(checkpointEndMarker) {
7
+ let value = BigInt(CHECKPOINT_END_PREFIX);
8
+ value <<= NUM_BLOB_FIELDS_BIT_SIZE;
9
+ value += BigInt(checkpointEndMarker.numBlobFields);
10
+ return new Fr(value);
11
+ }
12
+ export function decodeCheckpointEndMarker(field) {
13
+ let value = field.toBigInt();
14
+ const numBlobFields = Number(value & 2n ** NUM_BLOB_FIELDS_BIT_SIZE - 1n);
15
+ value >>= NUM_BLOB_FIELDS_BIT_SIZE;
16
+ const prefix = value;
17
+ if (prefix !== BigInt(CHECKPOINT_END_PREFIX)) {
18
+ throw new BlobDeserializationError(`Incorrect encoding of blob fields: invalid checkpoint end marker.`);
19
+ }
20
+ return {
21
+ numBlobFields
22
+ };
23
+ }
24
+ // Check if a field is a checkpoint end marker. Used to check if it has reached the end of the blob fields.
25
+ export function isCheckpointEndMarker(field) {
26
+ const prefix = field.toBigInt() >> NUM_BLOB_FIELDS_BIT_SIZE;
27
+ return prefix === BigInt(CHECKPOINT_END_PREFIX);
28
+ }
@@ -0,0 +1,41 @@
1
+ import type { BlockBlobData, BlockEndBlobData } from './block_blob_data.js';
2
+ import type { BlockEndMarker } from './block_end_marker.js';
3
+ import type { BlockEndStateField } from './block_end_state_field.js';
4
+ import { type CheckpointBlobData } from './checkpoint_blob_data.js';
5
+ import { type TxBlobData } from './tx_blob_data.js';
6
+ import type { TxStartMarker } from './tx_start_marker.js';
7
+ export declare function makeTxStartMarker({ isFullTx, ...overrides }?: {
8
+ isFullTx?: boolean;
9
+ } & Partial<TxStartMarker>): TxStartMarker;
10
+ export declare function makeTxBlobData({ isFullTx, seed, ...overrides }?: {
11
+ isFullTx?: boolean;
12
+ seed?: number;
13
+ } & Partial<Omit<TxBlobData, 'txStartMarker'> & {
14
+ txStartMarker?: Partial<TxStartMarker>;
15
+ }>): TxBlobData;
16
+ export declare function makeBlockEndMarker({ seed, ...overrides }?: {
17
+ seed?: number;
18
+ } & Partial<BlockEndMarker>): BlockEndMarker;
19
+ export declare function makeBlockEndStateField({ seed, ...overrides }?: {
20
+ seed?: number;
21
+ } & Partial<BlockEndStateField>): BlockEndStateField;
22
+ export declare function makeBlockEndBlobData({ isFirstBlock, seed, ...overrides }?: {
23
+ seed?: number;
24
+ isFirstBlock?: boolean;
25
+ } & Partial<Omit<BlockEndBlobData, 'blockEndMarker' | 'blockEndStateField'>> & {
26
+ blockEndMarker?: Partial<BlockEndMarker>;
27
+ blockEndStateField?: Partial<BlockEndStateField>;
28
+ }): BlockEndBlobData;
29
+ export declare function makeBlockBlobData({ numTxs, isFirstBlock, isFullTx, seed, ...overrides }?: {
30
+ numTxs?: number;
31
+ isFirstBlock?: boolean;
32
+ isFullTx?: boolean;
33
+ seed?: number;
34
+ } & Partial<Parameters<typeof makeBlockEndBlobData>[0]>): BlockBlobData;
35
+ export declare function makeCheckpointBlobData({ numBlocks, numTxsPerBlock, isFullTx, seed, ...overrides }?: {
36
+ numBlocks?: number;
37
+ numTxsPerBlock?: number;
38
+ isFullTx?: boolean;
39
+ seed?: number;
40
+ } & Partial<CheckpointBlobData>): CheckpointBlobData;
41
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZml4dHVyZXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lbmNvZGluZy9maXh0dXJlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFjQSxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM1RSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUM1RCxPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQ3JFLE9BQU8sRUFBRSxLQUFLLGtCQUFrQixFQUFnQyxNQUFNLDJCQUEyQixDQUFDO0FBQ2xHLE9BQU8sRUFBRSxLQUFLLFVBQVUsRUFBc0IsTUFBTSxtQkFBbUIsQ0FBQztBQUN4RSxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUkxRCx3QkFBZ0IsaUJBQWlCLENBQUMsRUFDaEMsUUFBZ0IsRUFDaEIsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLFFBQVEsQ0FBQyxFQUFFLE9BQU8sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUFDLGFBQWEsQ0FBTSxHQUFHLGFBQWEsQ0FtQnRFO0FBRUQsd0JBQWdCLGNBQWMsQ0FBQyxFQUM3QixRQUFnQixFQUNoQixJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLFFBQVEsQ0FBQyxFQUFFLE9BQU8sQ0FBQztJQUFDLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUNoRCxJQUFJLENBQUMsVUFBVSxFQUFFLGVBQWUsQ0FBQyxHQUFHO0lBQUUsYUFBYSxDQUFDLEVBQUUsT0FBTyxDQUFDLGFBQWEsQ0FBQyxDQUFBO0NBQUUsQ0FDMUUsR0FBRyxVQUFVLENBbURsQjtBQUVELHdCQUFnQixrQkFBa0IsQ0FBQyxFQUNqQyxJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUFDLGNBQWMsQ0FBTSxHQUFHLGNBQWMsQ0FPbkU7QUFFRCx3QkFBZ0Isc0JBQXNCLENBQUMsRUFDckMsSUFBUSxFQUNSLEdBQUcsU0FBUyxFQUNiLEdBQUU7SUFBRSxJQUFJLENBQUMsRUFBRSxNQUFNLENBQUE7Q0FBRSxHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBTSxHQUFHLGtCQUFrQixDQVMzRTtBQUVELHdCQUFnQixvQkFBb0IsQ0FBQyxFQUNuQyxZQUFtQixFQUNuQixJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUFDLFlBQVksQ0FBQyxFQUFFLE9BQU8sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUNwRCxJQUFJLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQUcsb0JBQW9CLENBQUMsQ0FDaEUsR0FBRztJQUNBLGNBQWMsQ0FBQyxFQUFFLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0FBQztJQUN6QyxrQkFBa0IsQ0FBQyxFQUFFLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDO0NBQzdDLEdBQUcsZ0JBQWdCLENBZ0IxQjtBQUVELHdCQUFnQixpQkFBaUIsQ0FBQyxFQUNoQyxNQUFVLEVBQ1YsWUFBbUIsRUFDbkIsUUFBZ0IsRUFDaEIsSUFBUSxFQUNSLEdBQUcsU0FBUyxFQUNiLEdBQUU7SUFBRSxNQUFNLENBQUMsRUFBRSxNQUFNLENBQUM7SUFBQyxZQUFZLENBQUMsRUFBRSxPQUFPLENBQUM7SUFBQyxRQUFRLENBQUMsRUFBRSxPQUFPLENBQUM7SUFBQyxJQUFJLENBQUMsRUFBRSxNQUFNLENBQUE7Q0FBRSxHQUFHLE9BQU8sQ0FDekYsVUFBVSxDQUFDLE9BQU8sb0JBQW9CLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FDdEMsR0FBRyxhQUFhLENBWXJCO0FBRUQsd0JBQWdCLHNCQUFzQixDQUFDLEVBQ3JDLFNBQWEsRUFDYixjQUFrQixFQUNsQixRQUFnQixFQUNoQixJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUNELFNBQVMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNuQixjQUFjLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDeEIsUUFBUSxDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQ25CLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQztDQUNmLEdBQUcsT0FBTyxDQUFDLGtCQUFrQixDQUFNLEdBQUcsa0JBQWtCLENBaUJ4RCJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"fixtures.d.ts","sourceRoot":"","sources":["../../src/encoding/fixtures.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,KAAK,kBAAkB,EAAgC,MAAM,2BAA2B,CAAC;AAClG,OAAO,EAAE,KAAK,UAAU,EAAsB,MAAM,mBAAmB,CAAC;AACxE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAI1D,wBAAgB,iBAAiB,CAAC,EAChC,QAAgB,EAChB,GAAG,SAAS,EACb,GAAE;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAAC,aAAa,CAAM,GAAG,aAAa,CAmBtE;AAED,wBAAgB,cAAc,CAAC,EAC7B,QAAgB,EAChB,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAChD,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,GAAG;IAAE,aAAa,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAA;CAAE,CAC1E,GAAG,UAAU,CAmDlB;AAED,wBAAgB,kBAAkB,CAAC,EACjC,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,cAAc,CAAM,GAAG,cAAc,CAOnE;AAED,wBAAgB,sBAAsB,CAAC,EACrC,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,kBAAkB,CAAM,GAAG,kBAAkB,CAS3E;AAED,wBAAgB,oBAAoB,CAAC,EACnC,YAAmB,EACnB,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CACpD,IAAI,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,oBAAoB,CAAC,CAChE,GAAG;IACA,cAAc,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;IACzC,kBAAkB,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;CAC7C,GAAG,gBAAgB,CAgB1B;AAED,wBAAgB,iBAAiB,CAAC,EAChC,MAAU,EACV,YAAmB,EACnB,QAAgB,EAChB,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CACzF,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC,CACtC,GAAG,aAAa,CAYrB;AAED,wBAAgB,sBAAsB,CAAC,EACrC,SAAa,EACb,cAAkB,EAClB,QAAgB,EAChB,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IACD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,GAAG,OAAO,CAAC,kBAAkB,CAAM,GAAG,kBAAkB,CAiBxD"}
@@ -0,0 +1,140 @@
1
+ import { FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH, MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX, MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, PRIVATE_LOG_SIZE_IN_FIELDS } from '@aztec/constants';
2
+ import { makeTuple } from '@aztec/foundation/array';
3
+ import { BlockNumber } from '@aztec/foundation/branded-types';
4
+ import { Fr } from '@aztec/foundation/curves/bn254';
5
+ import { getTotalNumBlobFieldsFromTxs } from './checkpoint_blob_data.js';
6
+ import { getNumTxBlobFields } from './tx_blob_data.js';
7
+ const fr = (seed)=>new Fr(BigInt(seed));
8
+ export function makeTxStartMarker({ isFullTx = false, ...overrides } = {}) {
9
+ const partialTxStartMarker = {
10
+ revertCode: 0,
11
+ numNoteHashes: isFullTx ? MAX_NOTE_HASHES_PER_TX : 1,
12
+ numNullifiers: isFullTx ? MAX_NULLIFIERS_PER_TX : 1,
13
+ numL2ToL1Msgs: isFullTx ? MAX_L2_TO_L1_MSGS_PER_TX : 1,
14
+ numPublicDataWrites: isFullTx ? MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX : 1,
15
+ numPrivateLogs: isFullTx ? MAX_PRIVATE_LOGS_PER_TX : 1,
16
+ privateLogsLength: isFullTx ? PRIVATE_LOG_SIZE_IN_FIELDS * MAX_PRIVATE_LOGS_PER_TX : 1,
17
+ publicLogsLength: isFullTx ? FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH : 1,
18
+ contractClassLogLength: isFullTx ? MAX_CONTRACT_CLASS_LOGS_PER_TX : 1,
19
+ ...overrides
20
+ };
21
+ const numBlobFields = overrides.numBlobFields ?? getNumTxBlobFields(partialTxStartMarker);
22
+ return {
23
+ ...partialTxStartMarker,
24
+ numBlobFields
25
+ };
26
+ }
27
+ export function makeTxBlobData({ isFullTx = false, seed = 1, ...overrides } = {}) {
28
+ const { txStartMarker: txStartMarkerOverrides, ...txBlobDataOverrides } = overrides;
29
+ const txStartMarker = makeTxStartMarker({
30
+ isFullTx,
31
+ ...txStartMarkerOverrides
32
+ });
33
+ const noteHashes = makeTuple(txStartMarker.numNoteHashes, fr, seed);
34
+ const nullifiers = makeTuple(txStartMarker.numNullifiers, fr, seed + 0x100);
35
+ const l2ToL1Msgs = makeTuple(txStartMarker.numL2ToL1Msgs, fr, seed + 0x200);
36
+ const publicDataWrites = makeTuple(txStartMarker.numPublicDataWrites, (i)=>[
37
+ fr(seed + i * 2),
38
+ fr(seed + i * 2 + 1)
39
+ ], seed + 0x300);
40
+ const privateLogs = [];
41
+ if (txStartMarker.privateLogsLength > txStartMarker.numPrivateLogs * PRIVATE_LOG_SIZE_IN_FIELDS) {
42
+ throw new Error('Private logs length is too large');
43
+ }
44
+ if (txStartMarker.privateLogsLength < txStartMarker.numPrivateLogs) {
45
+ throw new Error('Private logs length is too small');
46
+ }
47
+ let remainingNumPrivateLogs = txStartMarker.numPrivateLogs;
48
+ let remainingPrivateLogsLength = txStartMarker.privateLogsLength;
49
+ for(let i = 0; i < txStartMarker.numPrivateLogs; i++){
50
+ const minLength = Math.max(1, remainingPrivateLogsLength - (remainingNumPrivateLogs - 1) * PRIVATE_LOG_SIZE_IN_FIELDS);
51
+ const length = Math.max(minLength, Math.floor(remainingPrivateLogsLength / remainingNumPrivateLogs));
52
+ privateLogs.push(makeTuple(length, fr, seed + 0x400 + i * PRIVATE_LOG_SIZE_IN_FIELDS));
53
+ remainingNumPrivateLogs -= 1;
54
+ remainingPrivateLogsLength -= length;
55
+ }
56
+ const publicLogs = makeTuple(txStartMarker.publicLogsLength, fr, seed + 0x500);
57
+ const contractClassLogBlobDataLength = txStartMarker.contractClassLogLength > 0 ? txStartMarker.contractClassLogLength + 1 : 0; // If the log exists, +1 for the contract address
58
+ const contractClassLog = makeTuple(contractClassLogBlobDataLength, fr, seed + 0x600);
59
+ return {
60
+ txStartMarker,
61
+ txHash: fr(seed + 0x700),
62
+ transactionFee: fr(seed + 0x800),
63
+ noteHashes,
64
+ nullifiers,
65
+ l2ToL1Msgs,
66
+ publicDataWrites,
67
+ privateLogs,
68
+ publicLogs,
69
+ contractClassLog,
70
+ ...txBlobDataOverrides
71
+ };
72
+ }
73
+ export function makeBlockEndMarker({ seed = 1, ...overrides } = {}) {
74
+ return {
75
+ numTxs: seed,
76
+ blockNumber: BlockNumber(seed + 1),
77
+ timestamp: BigInt(seed + 2),
78
+ ...overrides
79
+ };
80
+ }
81
+ export function makeBlockEndStateField({ seed = 1, ...overrides } = {}) {
82
+ return {
83
+ l1ToL2MessageNextAvailableLeafIndex: seed,
84
+ noteHashNextAvailableLeafIndex: seed + 0x10,
85
+ nullifierNextAvailableLeafIndex: seed + 0x20,
86
+ publicDataNextAvailableLeafIndex: seed + 0x30,
87
+ totalManaUsed: BigInt(seed + 0x40),
88
+ ...overrides
89
+ };
90
+ }
91
+ export function makeBlockEndBlobData({ isFirstBlock = true, seed = 1, ...overrides } = {}) {
92
+ const { blockEndMarker: blockEndMarkerOverrides, blockEndStateField: blockEndStateFieldOverrides, ...blockEndBlobDataOverrides } = overrides;
93
+ return {
94
+ blockEndMarker: makeBlockEndMarker({
95
+ seed,
96
+ ...blockEndMarkerOverrides
97
+ }),
98
+ blockEndStateField: makeBlockEndStateField({
99
+ seed: seed + 0x100,
100
+ ...blockEndStateFieldOverrides
101
+ }),
102
+ lastArchiveRoot: fr(seed + 0x200),
103
+ noteHashRoot: fr(seed + 0x300),
104
+ nullifierRoot: fr(seed + 0x400),
105
+ publicDataRoot: fr(seed + 0x500),
106
+ l1ToL2MessageRoot: isFirstBlock ? fr(seed + 0x600) : undefined,
107
+ ...blockEndBlobDataOverrides
108
+ };
109
+ }
110
+ export function makeBlockBlobData({ numTxs = 1, isFirstBlock = true, isFullTx = false, seed = 1, ...overrides } = {}) {
111
+ return {
112
+ txs: makeTuple(numTxs, (i)=>makeTxBlobData({
113
+ isFullTx,
114
+ seed: seed + i * 0x100
115
+ }), seed),
116
+ ...makeBlockEndBlobData({
117
+ seed: seed + 0x1000 * numTxs,
118
+ blockEndMarker: {
119
+ numTxs
120
+ },
121
+ isFirstBlock,
122
+ ...overrides
123
+ })
124
+ };
125
+ }
126
+ export function makeCheckpointBlobData({ numBlocks = 1, numTxsPerBlock = 1, isFullTx = false, seed = 1, ...overrides } = {}) {
127
+ const blocks = overrides.blocks ?? makeTuple(numBlocks, (i)=>makeBlockBlobData({
128
+ numTxs: numTxsPerBlock,
129
+ isFirstBlock: i === seed,
130
+ isFullTx,
131
+ seed: seed + i * 0x1000
132
+ }), seed);
133
+ const numBlobFields = overrides.checkpointEndMarker?.numBlobFields ?? getTotalNumBlobFieldsFromTxs(blocks.map((block)=>block.txs.map((tx)=>tx.txStartMarker)));
134
+ return {
135
+ blocks,
136
+ checkpointEndMarker: {
137
+ numBlobFields
138
+ }
139
+ };
140
+ }
@@ -0,0 +1,10 @@
1
+ export * from './block_blob_data.js';
2
+ export * from './block_end_marker.js';
3
+ export * from './block_end_state_field.js';
4
+ export * from './checkpoint_blob_data.js';
5
+ export * from './checkpoint_end_marker.js';
6
+ export * from './fixtures.js';
7
+ export * from './tx_blob_data.js';
8
+ export * from './tx_start_marker.js';
9
+ export { BlobDeserializationError } from '../errors.js';
10
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lbmNvZGluZy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyw0QkFBNEIsQ0FBQztBQUMzQyxjQUFjLDJCQUEyQixDQUFDO0FBQzFDLGNBQWMsNEJBQTRCLENBQUM7QUFDM0MsY0FBYyxlQUFlLENBQUM7QUFDOUIsY0FBYyxtQkFBbUIsQ0FBQztBQUNsQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLE9BQU8sRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGNBQWMsQ0FBQyJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/encoding/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC"}
@@ -0,0 +1,9 @@
1
+ export * from './block_blob_data.js';
2
+ export * from './block_end_marker.js';
3
+ export * from './block_end_state_field.js';
4
+ export * from './checkpoint_blob_data.js';
5
+ export * from './checkpoint_end_marker.js';
6
+ export * from './fixtures.js';
7
+ export * from './tx_blob_data.js';
8
+ export * from './tx_start_marker.js';
9
+ export { BlobDeserializationError } from '../errors.js';
@@ -0,0 +1,19 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { FieldReader } from '@aztec/foundation/serialize';
3
+ import { type TxStartMarker } from './tx_start_marker.js';
4
+ export interface TxBlobData {
5
+ txStartMarker: TxStartMarker;
6
+ txHash: Fr;
7
+ transactionFee: Fr;
8
+ noteHashes: Fr[];
9
+ nullifiers: Fr[];
10
+ l2ToL1Msgs: Fr[];
11
+ publicDataWrites: [Fr, Fr][];
12
+ privateLogs: Fr[][];
13
+ publicLogs: Fr[];
14
+ contractClassLog: Fr[];
15
+ }
16
+ export declare function encodeTxBlobData(txBlobData: TxBlobData): Fr[];
17
+ export declare function decodeTxBlobData(fields: Fr[] | FieldReader): TxBlobData;
18
+ export declare function getNumTxBlobFields(txStartMarker: Omit<TxStartMarker, 'revertCode' | 'numBlobFields'>): number;
19
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfYmxvYl9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZW5jb2RpbmcvdHhfYmxvYl9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFHMUQsT0FBTyxFQUFFLEtBQUssYUFBYSxFQUE0QyxNQUFNLHNCQUFzQixDQUFDO0FBSXBHLE1BQU0sV0FBVyxVQUFVO0lBQ3pCLGFBQWEsRUFBRSxhQUFhLENBQUM7SUFDN0IsTUFBTSxFQUFFLEVBQUUsQ0FBQztJQUNYLGNBQWMsRUFBRSxFQUFFLENBQUM7SUFDbkIsVUFBVSxFQUFFLEVBQUUsRUFBRSxDQUFDO0lBQ2pCLFVBQVUsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNqQixVQUFVLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDakIsZ0JBQWdCLEVBQUUsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQztJQUM3QixXQUFXLEVBQUUsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNwQixVQUFVLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDakIsZ0JBQWdCLEVBQUUsRUFBRSxFQUFFLENBQUM7Q0FDeEI7QUFFRCx3QkFBZ0IsZ0JBQWdCLENBQUMsVUFBVSxFQUFFLFVBQVUsR0FBRyxFQUFFLEVBQUUsQ0FhN0Q7QUFFRCx3QkFBZ0IsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyxVQUFVLENBNkR2RTtBQUVELHdCQUFnQixrQkFBa0IsQ0FBQyxhQUFhLEVBQUUsSUFBSSxDQUFDLGFBQWEsRUFBRSxZQUFZLEdBQUcsZUFBZSxDQUFDLFVBZXBHIn0=
@@ -0,0 +1 @@
1
+ {"version":3,"file":"tx_blob_data.d.ts","sourceRoot":"","sources":["../../src/encoding/tx_blob_data.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG1D,OAAO,EAAE,KAAK,aAAa,EAA4C,MAAM,sBAAsB,CAAC;AAIpG,MAAM,WAAW,UAAU;IACzB,aAAa,EAAE,aAAa,CAAC;IAC7B,MAAM,EAAE,EAAE,CAAC;IACX,cAAc,EAAE,EAAE,CAAC;IACnB,UAAU,EAAE,EAAE,EAAE,CAAC;IACjB,UAAU,EAAE,EAAE,EAAE,CAAC;IACjB,UAAU,EAAE,EAAE,EAAE,CAAC;IACjB,gBAAgB,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;IAC7B,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC;IACpB,UAAU,EAAE,EAAE,EAAE,CAAC;IACjB,gBAAgB,EAAE,EAAE,EAAE,CAAC;CACxB;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,UAAU,GAAG,EAAE,EAAE,CAa7D;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,UAAU,CA6DvE;AAED,wBAAgB,kBAAkB,CAAC,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,YAAY,GAAG,eAAe,CAAC,UAepG"}
@@ -0,0 +1,79 @@
1
+ import { chunk } from '@aztec/foundation/collection';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
+ import { FieldReader } from '@aztec/foundation/serialize';
4
+ import { BlobDeserializationError } from '../errors.js';
5
+ import { decodeTxStartMarker, encodeTxStartMarker } from './tx_start_marker.js';
6
+ export function encodeTxBlobData(txBlobData) {
7
+ return [
8
+ encodeTxStartMarker(txBlobData.txStartMarker),
9
+ txBlobData.txHash,
10
+ txBlobData.transactionFee,
11
+ ...txBlobData.noteHashes,
12
+ ...txBlobData.nullifiers,
13
+ ...txBlobData.l2ToL1Msgs,
14
+ ...txBlobData.publicDataWrites.flat(),
15
+ ...txBlobData.privateLogs.map((log)=>[
16
+ new Fr(log.length),
17
+ ...log
18
+ ]).flat(),
19
+ ...txBlobData.publicLogs,
20
+ ...txBlobData.contractClassLog
21
+ ];
22
+ }
23
+ export function decodeTxBlobData(fields) {
24
+ const reader = FieldReader.asReader(fields);
25
+ if (reader.isFinished()) {
26
+ throw new BlobDeserializationError(`Incorrect encoding of blob fields: not enough fields for tx blob data.`);
27
+ }
28
+ const txStartMarker = decodeTxStartMarker(reader.readField());
29
+ const checkRemainingFields = (requiredFields, type)=>{
30
+ if (requiredFields > reader.remainingFields()) {
31
+ throw new BlobDeserializationError(`Incorrect encoding of blob fields: not enough fields for ${type}. Expected ${requiredFields} fields, only ${reader.remainingFields()} remaining.`);
32
+ }
33
+ };
34
+ const numTxEffectFields = txStartMarker.numBlobFields - 1; // -1 because we already read the tx start marker.
35
+ checkRemainingFields(numTxEffectFields, 'tx effect');
36
+ const txHash = reader.readField();
37
+ const transactionFee = reader.readField();
38
+ checkRemainingFields(txStartMarker.numNoteHashes, 'note hashes');
39
+ const noteHashes = reader.readFieldArray(txStartMarker.numNoteHashes);
40
+ checkRemainingFields(txStartMarker.numNullifiers, 'nullifiers');
41
+ const nullifiers = reader.readFieldArray(txStartMarker.numNullifiers);
42
+ checkRemainingFields(txStartMarker.numL2ToL1Msgs, 'l2-to-l1 messages');
43
+ const l2ToL1Msgs = reader.readFieldArray(txStartMarker.numL2ToL1Msgs);
44
+ checkRemainingFields(txStartMarker.numPublicDataWrites * 2, 'public data writes'); // *2 for leaf slot and value
45
+ const publicDataWrites = chunk(reader.readFieldArray(txStartMarker.numPublicDataWrites * 2), 2);
46
+ const privateLogs = Array.from({
47
+ length: txStartMarker.numPrivateLogs
48
+ }, ()=>{
49
+ const length = reader.readU32();
50
+ checkRemainingFields(length, 'private log');
51
+ return reader.readFieldArray(length);
52
+ });
53
+ checkRemainingFields(txStartMarker.publicLogsLength, 'public logs');
54
+ const publicLogs = reader.readFieldArray(txStartMarker.publicLogsLength);
55
+ const contractClassLogBlobDataLength = txStartMarker.contractClassLogLength > 0 ? txStartMarker.contractClassLogLength + 1 : 0; // If the log exists, +1 for the contract address
56
+ checkRemainingFields(contractClassLogBlobDataLength, 'contract class logs');
57
+ const contractClassLog = reader.readFieldArray(contractClassLogBlobDataLength);
58
+ return {
59
+ txStartMarker,
60
+ txHash,
61
+ transactionFee,
62
+ noteHashes,
63
+ nullifiers,
64
+ l2ToL1Msgs,
65
+ publicDataWrites,
66
+ privateLogs,
67
+ publicLogs,
68
+ contractClassLog
69
+ };
70
+ }
71
+ export function getNumTxBlobFields(txStartMarker) {
72
+ return 1 + // tx start marker
73
+ 1 + // tx hash
74
+ 1 + // transaction fee
75
+ txStartMarker.numNoteHashes + txStartMarker.numNullifiers + txStartMarker.numL2ToL1Msgs + txStartMarker.numPublicDataWrites * 2 + // *2 for leaf slot and value per public data write
76
+ txStartMarker.numPrivateLogs + // +1 length field for each private log
77
+ txStartMarker.privateLogsLength + txStartMarker.publicLogsLength + txStartMarker.contractClassLogLength + (txStartMarker.contractClassLogLength > 0 ? 1 : 0 // +1 for contract address of the contract class log
78
+ );
79
+ }
@@ -0,0 +1,16 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ export interface TxStartMarker {
3
+ numBlobFields: number;
4
+ revertCode: number;
5
+ numNoteHashes: number;
6
+ numNullifiers: number;
7
+ numL2ToL1Msgs: number;
8
+ numPublicDataWrites: number;
9
+ numPrivateLogs: number;
10
+ privateLogsLength: number;
11
+ publicLogsLength: number;
12
+ contractClassLogLength: number;
13
+ }
14
+ export declare function encodeTxStartMarker(txStartMarker: TxStartMarker): Fr;
15
+ export declare function decodeTxStartMarker(field: Fr): TxStartMarker;
16
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfc3RhcnRfbWFya2VyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZW5jb2RpbmcvdHhfc3RhcnRfbWFya2VyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQWlCcEQsTUFBTSxXQUFXLGFBQWE7SUFDNUIsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixVQUFVLEVBQUUsTUFBTSxDQUFDO0lBQ25CLGFBQWEsRUFBRSxNQUFNLENBQUM7SUFDdEIsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLG1CQUFtQixFQUFFLE1BQU0sQ0FBQztJQUM1QixjQUFjLEVBQUUsTUFBTSxDQUFDO0lBQ3ZCLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUMxQixnQkFBZ0IsRUFBRSxNQUFNLENBQUM7SUFDekIsc0JBQXNCLEVBQUUsTUFBTSxDQUFDO0NBQ2hDO0FBRUQsd0JBQWdCLG1CQUFtQixDQUFDLGFBQWEsRUFBRSxhQUFhLEdBQUcsRUFBRSxDQXVCcEU7QUFFRCx3QkFBZ0IsbUJBQW1CLENBQUMsS0FBSyxFQUFFLEVBQUUsR0FBRyxhQUFhLENBd0M1RCJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"tx_start_marker.d.ts","sourceRoot":"","sources":["../../src/encoding/tx_start_marker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAiBpD,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;IACzB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAED,wBAAgB,mBAAmB,CAAC,aAAa,EAAE,aAAa,GAAG,EAAE,CAuBpE;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,EAAE,GAAG,aAAa,CAwC5D"}