@aztec/blob-lib 0.0.0-test.1 → 0.0.1-commit.0b941701

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 (107) 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 +61 -102
  5. package/dest/blob.d.ts.map +1 -1
  6. package/dest/blob.js +89 -188
  7. package/dest/blob_batching.d.ts +118 -0
  8. package/dest/blob_batching.d.ts.map +1 -0
  9. package/dest/blob_batching.js +225 -0
  10. package/dest/blob_utils.d.ts +40 -0
  11. package/dest/blob_utils.d.ts.map +1 -0
  12. package/dest/blob_utils.js +69 -0
  13. package/dest/circuit_types/blob_accumulator.d.ts +23 -0
  14. package/dest/circuit_types/blob_accumulator.d.ts.map +1 -0
  15. package/dest/circuit_types/blob_accumulator.js +62 -0
  16. package/dest/circuit_types/final_blob_accumulator.d.ts +23 -0
  17. package/dest/circuit_types/final_blob_accumulator.d.ts.map +1 -0
  18. package/dest/circuit_types/final_blob_accumulator.js +66 -0
  19. package/dest/circuit_types/final_blob_batching_challenges.d.ts +16 -0
  20. package/dest/circuit_types/final_blob_batching_challenges.d.ts.map +1 -0
  21. package/dest/circuit_types/final_blob_batching_challenges.js +26 -0
  22. package/dest/circuit_types/index.d.ts +4 -0
  23. package/dest/circuit_types/index.d.ts.map +1 -0
  24. package/dest/circuit_types/index.js +4 -0
  25. package/dest/encoding/block_blob_data.d.ts +30 -0
  26. package/dest/encoding/block_blob_data.d.ts.map +1 -0
  27. package/dest/encoding/block_blob_data.js +75 -0
  28. package/dest/encoding/block_end_marker.d.ts +11 -0
  29. package/dest/encoding/block_end_marker.d.ts.map +1 -0
  30. package/dest/encoding/block_end_marker.js +41 -0
  31. package/dest/encoding/block_end_state_field.d.ts +12 -0
  32. package/dest/encoding/block_end_state_field.d.ts.map +1 -0
  33. package/dest/encoding/block_end_state_field.js +39 -0
  34. package/dest/encoding/checkpoint_blob_data.d.ts +15 -0
  35. package/dest/encoding/checkpoint_blob_data.d.ts.map +1 -0
  36. package/dest/encoding/checkpoint_blob_data.js +67 -0
  37. package/dest/encoding/checkpoint_end_marker.d.ts +8 -0
  38. package/dest/encoding/checkpoint_end_marker.d.ts.map +1 -0
  39. package/dest/encoding/checkpoint_end_marker.js +28 -0
  40. package/dest/encoding/fixtures.d.ts +41 -0
  41. package/dest/encoding/fixtures.d.ts.map +1 -0
  42. package/dest/encoding/fixtures.js +140 -0
  43. package/dest/encoding/index.d.ts +10 -0
  44. package/dest/encoding/index.d.ts.map +1 -0
  45. package/dest/encoding/index.js +9 -0
  46. package/dest/encoding/tx_blob_data.d.ts +19 -0
  47. package/dest/encoding/tx_blob_data.d.ts.map +1 -0
  48. package/dest/encoding/tx_blob_data.js +79 -0
  49. package/dest/encoding/tx_start_marker.d.ts +16 -0
  50. package/dest/encoding/tx_start_marker.d.ts.map +1 -0
  51. package/dest/encoding/tx_start_marker.js +77 -0
  52. package/dest/errors.d.ts +1 -1
  53. package/dest/errors.d.ts.map +1 -1
  54. package/dest/hash.d.ts +43 -0
  55. package/dest/hash.d.ts.map +1 -0
  56. package/dest/hash.js +80 -0
  57. package/dest/index.d.ts +8 -4
  58. package/dest/index.d.ts.map +1 -1
  59. package/dest/index.js +7 -16
  60. package/dest/interface.d.ts +1 -3
  61. package/dest/interface.d.ts.map +1 -1
  62. package/dest/kzg_context.d.ts +8 -0
  63. package/dest/kzg_context.d.ts.map +1 -0
  64. package/dest/kzg_context.js +14 -0
  65. package/dest/sponge_blob.d.ts +15 -17
  66. package/dest/sponge_blob.d.ts.map +1 -1
  67. package/dest/sponge_blob.js +26 -30
  68. package/dest/testing.d.ts +13 -25
  69. package/dest/testing.d.ts.map +1 -1
  70. package/dest/testing.js +38 -53
  71. package/dest/types.d.ts +17 -0
  72. package/dest/types.d.ts.map +1 -0
  73. package/dest/types.js +4 -0
  74. package/package.json +20 -15
  75. package/src/batched_blob.ts +26 -0
  76. package/src/blob.ts +85 -223
  77. package/src/blob_batching.ts +300 -0
  78. package/src/blob_utils.ts +82 -0
  79. package/src/circuit_types/blob_accumulator.ts +96 -0
  80. package/src/circuit_types/final_blob_accumulator.ts +76 -0
  81. package/src/circuit_types/final_blob_batching_challenges.ts +30 -0
  82. package/src/circuit_types/index.ts +4 -0
  83. package/src/encoding/block_blob_data.ts +114 -0
  84. package/src/encoding/block_end_marker.ts +55 -0
  85. package/src/encoding/block_end_state_field.ts +59 -0
  86. package/src/encoding/checkpoint_blob_data.ts +102 -0
  87. package/src/encoding/checkpoint_end_marker.ts +40 -0
  88. package/src/encoding/fixtures.ts +210 -0
  89. package/src/encoding/index.ts +9 -0
  90. package/src/encoding/tx_blob_data.ts +116 -0
  91. package/src/encoding/tx_start_marker.ts +97 -0
  92. package/src/hash.ts +89 -0
  93. package/src/index.ts +7 -20
  94. package/src/interface.ts +0 -4
  95. package/src/kzg_context.ts +16 -0
  96. package/src/sponge_blob.ts +28 -31
  97. package/src/testing.ts +49 -50
  98. package/src/trusted_setup_bit_reversed.json +4100 -0
  99. package/src/types.ts +17 -0
  100. package/dest/blob_public_inputs.d.ts +0 -50
  101. package/dest/blob_public_inputs.d.ts.map +0 -1
  102. package/dest/blob_public_inputs.js +0 -146
  103. package/dest/encoding.d.ts +0 -66
  104. package/dest/encoding.d.ts.map +0 -1
  105. package/dest/encoding.js +0 -113
  106. package/src/blob_public_inputs.ts +0 -157
  107. package/src/encoding.ts +0 -138
@@ -0,0 +1,66 @@
1
+ var _computedKey;
2
+ import { BLS12Fr, BLS12Point } from '@aztec/foundation/curves/bls12';
3
+ import { Fr } from '@aztec/foundation/curves/bn254';
4
+ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
+ import { inspect } from 'util';
6
+ _computedKey = inspect.custom;
7
+ /**
8
+ * See `noir-projects/noir-protocol-circuits/crates/blob/src/abis/final_blob_accumulator.nr` for documentation.
9
+ */ export class FinalBlobAccumulator {
10
+ blobCommitmentsHash;
11
+ z;
12
+ y;
13
+ c;
14
+ constructor(blobCommitmentsHash, z, y, c){
15
+ this.blobCommitmentsHash = blobCommitmentsHash;
16
+ this.z = z;
17
+ this.y = y;
18
+ this.c = c;
19
+ }
20
+ static empty() {
21
+ return new FinalBlobAccumulator(Fr.ZERO, Fr.ZERO, BLS12Fr.ZERO, BLS12Point.ZERO);
22
+ }
23
+ static fromBuffer(buffer) {
24
+ const reader = BufferReader.asReader(buffer);
25
+ return new FinalBlobAccumulator(Fr.fromBuffer(reader), Fr.fromBuffer(reader), BLS12Fr.fromBuffer(reader), BLS12Point.fromBuffer(reader));
26
+ }
27
+ toBuffer() {
28
+ return serializeToBuffer(this.blobCommitmentsHash, this.z, this.y, this.c);
29
+ }
30
+ toFields() {
31
+ return [
32
+ this.blobCommitmentsHash,
33
+ this.z,
34
+ ...this.y.toNoirBigNum().limbs.map(Fr.fromString),
35
+ ...this.c.toBN254Fields()
36
+ ];
37
+ }
38
+ // The below is used to send to L1 for proof verification
39
+ toString() {
40
+ // We prepend 32 bytes for the (unused) 'blobHash' slot. This is not read or required by getEpochProofPublicInputs() on L1, but
41
+ // is expected since we usually pass the full precompile inputs via verifyEpochRootProof() to getEpochProofPublicInputs() to ensure
42
+ // we use calldata rather than a slice in memory:
43
+ const buf = Buffer.concat([
44
+ Buffer.alloc(32),
45
+ this.z.toBuffer(),
46
+ this.y.toBuffer(),
47
+ this.c.compress()
48
+ ]);
49
+ return buf.toString('hex');
50
+ }
51
+ equals(other) {
52
+ return this.blobCommitmentsHash.equals(other.blobCommitmentsHash) && this.z.equals(other.z) && this.y.equals(other.y) && this.c.equals(other.c);
53
+ }
54
+ // Creates a random instance. Used for testing only - will not prove/verify.
55
+ static random() {
56
+ return new FinalBlobAccumulator(Fr.random(), Fr.random(), BLS12Fr.random(), BLS12Point.random());
57
+ }
58
+ [_computedKey]() {
59
+ return `FinalBlobAccumulator {
60
+ blobCommitmentsHash: ${inspect(this.blobCommitmentsHash)},
61
+ z: ${inspect(this.z)},
62
+ y: ${inspect(this.y)},
63
+ c: ${inspect(this.c)},
64
+ }`;
65
+ }
66
+ }
@@ -0,0 +1,16 @@
1
+ import { BLS12Fr } from '@aztec/foundation/curves/bls12';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
+ import { BufferReader } from '@aztec/foundation/serialize';
4
+ /**
5
+ * See `noir-projects/noir-protocol-circuits/crates/blob/src/abis/final_blob_batching_challenges.nr` for documentation.
6
+ */
7
+ export declare class FinalBlobBatchingChallenges {
8
+ readonly z: Fr;
9
+ readonly gamma: BLS12Fr;
10
+ constructor(z: Fr, gamma: BLS12Fr);
11
+ equals(other: FinalBlobBatchingChallenges): boolean;
12
+ static empty(): FinalBlobBatchingChallenges;
13
+ static fromBuffer(buffer: Buffer | BufferReader): FinalBlobBatchingChallenges;
14
+ toBuffer(): Buffer<ArrayBufferLike>;
15
+ }
16
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmluYWxfYmxvYl9iYXRjaGluZ19jaGFsbGVuZ2VzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY2lyY3VpdF90eXBlcy9maW5hbF9ibG9iX2JhdGNoaW5nX2NoYWxsZW5nZXMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3pELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBRTlFOztHQUVHO0FBQ0gscUJBQWEsMkJBQTJCO2FBRXBCLENBQUMsRUFBRSxFQUFFO2FBQ0wsS0FBSyxFQUFFLE9BQU87SUFGaEMsWUFDa0IsQ0FBQyxFQUFFLEVBQUUsRUFDTCxLQUFLLEVBQUUsT0FBTyxFQUM1QjtJQUVKLE1BQU0sQ0FBQyxLQUFLLEVBQUUsMkJBQTJCLFdBRXhDO0lBRUQsTUFBTSxDQUFDLEtBQUssSUFBSSwyQkFBMkIsQ0FFMUM7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLDJCQUEyQixDQUc1RTtJQUVELFFBQVEsNEJBRVA7Q0FDRiJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"final_blob_batching_challenges.d.ts","sourceRoot":"","sources":["../../src/circuit_types/final_blob_batching_challenges.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E;;GAEG;AACH,qBAAa,2BAA2B;aAEpB,CAAC,EAAE,EAAE;aACL,KAAK,EAAE,OAAO;IAFhC,YACkB,CAAC,EAAE,EAAE,EACL,KAAK,EAAE,OAAO,EAC5B;IAEJ,MAAM,CAAC,KAAK,EAAE,2BAA2B,WAExC;IAED,MAAM,CAAC,KAAK,IAAI,2BAA2B,CAE1C;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,2BAA2B,CAG5E;IAED,QAAQ,4BAEP;CACF"}
@@ -0,0 +1,26 @@
1
+ import { BLS12Fr } from '@aztec/foundation/curves/bls12';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
+ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
4
+ /**
5
+ * See `noir-projects/noir-protocol-circuits/crates/blob/src/abis/final_blob_batching_challenges.nr` for documentation.
6
+ */ export class FinalBlobBatchingChallenges {
7
+ z;
8
+ gamma;
9
+ constructor(z, gamma){
10
+ this.z = z;
11
+ this.gamma = gamma;
12
+ }
13
+ equals(other) {
14
+ return this.z.equals(other.z) && this.gamma.equals(other.gamma);
15
+ }
16
+ static empty() {
17
+ return new FinalBlobBatchingChallenges(Fr.ZERO, BLS12Fr.ZERO);
18
+ }
19
+ static fromBuffer(buffer) {
20
+ const reader = BufferReader.asReader(buffer);
21
+ return new FinalBlobBatchingChallenges(Fr.fromBuffer(reader), reader.readObject(BLS12Fr));
22
+ }
23
+ toBuffer() {
24
+ return serializeToBuffer(this.z, this.gamma);
25
+ }
26
+ }
@@ -0,0 +1,4 @@
1
+ export * from './blob_accumulator.js';
2
+ export * from './final_blob_accumulator.js';
3
+ export * from './final_blob_batching_challenges.js';
4
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jaXJjdWl0X3R5cGVzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyw2QkFBNkIsQ0FBQztBQUM1QyxjQUFjLHFDQUFxQyxDQUFDIn0=
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/circuit_types/index.ts"],"names":[],"mappings":"AACA,cAAc,uBAAuB,CAAC;AACtC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,qCAAqC,CAAC"}
@@ -0,0 +1,4 @@
1
+ /// Types used in the protocol circuits.
2
+ export * from './blob_accumulator.js';
3
+ export * from './final_blob_accumulator.js';
4
+ export * from './final_blob_batching_challenges.js';
@@ -0,0 +1,30 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { FieldReader } from '@aztec/foundation/serialize';
3
+ import { type BlockEndMarker } from './block_end_marker.js';
4
+ import { type BlockEndStateField } from './block_end_state_field.js';
5
+ import { type TxBlobData } from './tx_blob_data.js';
6
+ export declare const NUM_BLOCK_END_BLOB_FIELDS = 6;
7
+ export declare const NUM_FIRST_BLOCK_END_BLOB_FIELDS = 7;
8
+ export declare const NUM_CHECKPOINT_END_MARKER_FIELDS = 1;
9
+ /**
10
+ * Returns the number of blob fields used for block end data.
11
+ * @param isFirstBlockInCheckpoint - Whether this is the first block in a checkpoint.
12
+ */
13
+ export declare function getNumBlockEndBlobFields(isFirstBlockInCheckpoint: boolean): number;
14
+ export interface BlockEndBlobData {
15
+ blockEndMarker: BlockEndMarker;
16
+ blockEndStateField: BlockEndStateField;
17
+ lastArchiveRoot: Fr;
18
+ noteHashRoot: Fr;
19
+ nullifierRoot: Fr;
20
+ publicDataRoot: Fr;
21
+ l1ToL2MessageRoot: Fr | undefined;
22
+ }
23
+ export interface BlockBlobData extends BlockEndBlobData {
24
+ txs: TxBlobData[];
25
+ }
26
+ export declare function encodeBlockEndBlobData(blockEndBlobData: BlockEndBlobData): Fr[];
27
+ export declare function decodeBlockEndBlobData(fields: Fr[] | FieldReader, isFirstBlock: boolean): BlockEndBlobData;
28
+ export declare function encodeBlockBlobData(blockBlobData: BlockBlobData): Fr[];
29
+ export declare function decodeBlockBlobData(fields: Fr[] | FieldReader, isFirstBlock: boolean): BlockBlobData;
30
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfYmxvYl9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZW5jb2RpbmcvYmxvY2tfYmxvYl9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFHMUQsT0FBTyxFQUNMLEtBQUssY0FBYyxFQUlwQixNQUFNLHVCQUF1QixDQUFDO0FBQy9CLE9BQU8sRUFDTCxLQUFLLGtCQUFrQixFQUd4QixNQUFNLDRCQUE0QixDQUFDO0FBQ3BDLE9BQU8sRUFBRSxLQUFLLFVBQVUsRUFBc0MsTUFBTSxtQkFBbUIsQ0FBQztBQUl4RixlQUFPLE1BQU0seUJBQXlCLElBQUksQ0FBQztBQUMzQyxlQUFPLE1BQU0sK0JBQStCLElBQUksQ0FBQztBQUNqRCxlQUFPLE1BQU0sZ0NBQWdDLElBQUksQ0FBQztBQUVsRDs7O0dBR0c7QUFDSCx3QkFBZ0Isd0JBQXdCLENBQUMsd0JBQXdCLEVBQUUsT0FBTyxHQUFHLE1BQU0sQ0FFbEY7QUFFRCxNQUFNLFdBQVcsZ0JBQWdCO0lBQy9CLGNBQWMsRUFBRSxjQUFjLENBQUM7SUFDL0Isa0JBQWtCLEVBQUUsa0JBQWtCLENBQUM7SUFDdkMsZUFBZSxFQUFFLEVBQUUsQ0FBQztJQUNwQixZQUFZLEVBQUUsRUFBRSxDQUFDO0lBQ2pCLGFBQWEsRUFBRSxFQUFFLENBQUM7SUFDbEIsY0FBYyxFQUFFLEVBQUUsQ0FBQztJQUNuQixpQkFBaUIsRUFBRSxFQUFFLEdBQUcsU0FBUyxDQUFDO0NBQ25DO0FBRUQsTUFBTSxXQUFXLGFBQWMsU0FBUSxnQkFBZ0I7SUFDckQsR0FBRyxFQUFFLFVBQVUsRUFBRSxDQUFDO0NBQ25CO0FBRUQsd0JBQWdCLHNCQUFzQixDQUFDLGdCQUFnQixFQUFFLGdCQUFnQixHQUFHLEVBQUUsRUFBRSxDQVUvRTtBQUVELHdCQUFnQixzQkFBc0IsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxFQUFFLFlBQVksRUFBRSxPQUFPLEdBQUcsZ0JBQWdCLENBbUIxRztBQUVELHdCQUFnQixtQkFBbUIsQ0FBQyxhQUFhLEVBQUUsYUFBYSxHQUFHLEVBQUUsRUFBRSxDQUV0RTtBQUVELHdCQUFnQixtQkFBbUIsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxFQUFFLFlBQVksRUFBRSxPQUFPLEdBQUcsYUFBYSxDQStCcEcifQ==
@@ -0,0 +1 @@
1
+ {"version":3,"file":"block_blob_data.d.ts","sourceRoot":"","sources":["../../src/encoding/block_blob_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG1D,OAAO,EACL,KAAK,cAAc,EAIpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,KAAK,kBAAkB,EAGxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,KAAK,UAAU,EAAsC,MAAM,mBAAmB,CAAC;AAIxF,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAC3C,eAAO,MAAM,+BAA+B,IAAI,CAAC;AACjD,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAElD;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,wBAAwB,EAAE,OAAO,GAAG,MAAM,CAElF;AAED,MAAM,WAAW,gBAAgB;IAC/B,cAAc,EAAE,cAAc,CAAC;IAC/B,kBAAkB,EAAE,kBAAkB,CAAC;IACvC,eAAe,EAAE,EAAE,CAAC;IACpB,YAAY,EAAE,EAAE,CAAC;IACjB,aAAa,EAAE,EAAE,CAAC;IAClB,cAAc,EAAE,EAAE,CAAC;IACnB,iBAAiB,EAAE,EAAE,GAAG,SAAS,CAAC;CACnC;AAED,MAAM,WAAW,aAAc,SAAQ,gBAAgB;IACrD,GAAG,EAAE,UAAU,EAAE,CAAC;CACnB;AAED,wBAAgB,sBAAsB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,EAAE,EAAE,CAU/E;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,YAAY,EAAE,OAAO,GAAG,gBAAgB,CAmB1G;AAED,wBAAgB,mBAAmB,CAAC,aAAa,EAAE,aAAa,GAAG,EAAE,EAAE,CAEtE;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,YAAY,EAAE,OAAO,GAAG,aAAa,CA+BpG"}
@@ -0,0 +1,75 @@
1
+ import { FieldReader } from '@aztec/foundation/serialize';
2
+ import { BlobDeserializationError } from '../errors.js';
3
+ import { decodeBlockEndMarker, encodeBlockEndMarker, isBlockEndMarker } from './block_end_marker.js';
4
+ import { decodeBlockEndStateField, encodeBlockEndStateField } from './block_end_state_field.js';
5
+ import { decodeTxBlobData, encodeTxBlobData } from './tx_blob_data.js';
6
+ // Must match the implementation in `noir-protocol-circuits/crates/types/src/blob_data/block_blob_data.nr`.
7
+ export const NUM_BLOCK_END_BLOB_FIELDS = 6;
8
+ export const NUM_FIRST_BLOCK_END_BLOB_FIELDS = 7;
9
+ export const NUM_CHECKPOINT_END_MARKER_FIELDS = 1;
10
+ /**
11
+ * Returns the number of blob fields used for block end data.
12
+ * @param isFirstBlockInCheckpoint - Whether this is the first block in a checkpoint.
13
+ */ export function getNumBlockEndBlobFields(isFirstBlockInCheckpoint) {
14
+ return isFirstBlockInCheckpoint ? NUM_FIRST_BLOCK_END_BLOB_FIELDS : NUM_BLOCK_END_BLOB_FIELDS;
15
+ }
16
+ export function encodeBlockEndBlobData(blockEndBlobData) {
17
+ return [
18
+ encodeBlockEndMarker(blockEndBlobData.blockEndMarker),
19
+ encodeBlockEndStateField(blockEndBlobData.blockEndStateField),
20
+ blockEndBlobData.lastArchiveRoot,
21
+ blockEndBlobData.noteHashRoot,
22
+ blockEndBlobData.nullifierRoot,
23
+ blockEndBlobData.publicDataRoot,
24
+ ...blockEndBlobData.l1ToL2MessageRoot ? [
25
+ blockEndBlobData.l1ToL2MessageRoot
26
+ ] : []
27
+ ];
28
+ }
29
+ export function decodeBlockEndBlobData(fields, isFirstBlock) {
30
+ const reader = FieldReader.asReader(fields);
31
+ const numBlockEndData = getNumBlockEndBlobFields(isFirstBlock);
32
+ if (numBlockEndData > reader.remainingFields()) {
33
+ throw new BlobDeserializationError(`Incorrect encoding of blob fields: not enough fields for block end data. Expected ${numBlockEndData} fields, only ${reader.remainingFields()} remaining.`);
34
+ }
35
+ return {
36
+ blockEndMarker: decodeBlockEndMarker(reader.readField()),
37
+ blockEndStateField: decodeBlockEndStateField(reader.readField()),
38
+ lastArchiveRoot: reader.readField(),
39
+ noteHashRoot: reader.readField(),
40
+ nullifierRoot: reader.readField(),
41
+ publicDataRoot: reader.readField(),
42
+ l1ToL2MessageRoot: isFirstBlock ? reader.readField() : undefined
43
+ };
44
+ }
45
+ export function encodeBlockBlobData(blockBlobData) {
46
+ return [
47
+ ...blockBlobData.txs.map((tx)=>encodeTxBlobData(tx)).flat(),
48
+ ...encodeBlockEndBlobData(blockBlobData)
49
+ ];
50
+ }
51
+ export function decodeBlockBlobData(fields, isFirstBlock) {
52
+ const reader = FieldReader.asReader(fields);
53
+ const txs = [];
54
+ let hasReachedBlockEnd = false;
55
+ while(!hasReachedBlockEnd){
56
+ if (reader.isFinished()) {
57
+ throw new BlobDeserializationError(`Incorrect encoding of blob fields: not enough fields for block end marker.`);
58
+ }
59
+ const currentField = reader.peekField();
60
+ if (isBlockEndMarker(currentField)) {
61
+ hasReachedBlockEnd = true;
62
+ } else {
63
+ txs.push(decodeTxBlobData(reader));
64
+ }
65
+ }
66
+ const blockEndBlobData = decodeBlockEndBlobData(reader, isFirstBlock);
67
+ const blockEndMarker = blockEndBlobData.blockEndMarker;
68
+ if (blockEndMarker.numTxs !== txs.length) {
69
+ throw new BlobDeserializationError(`Incorrect encoding of blob fields: expected ${blockEndMarker.numTxs} txs, but got ${txs.length}.`);
70
+ }
71
+ return {
72
+ txs,
73
+ ...blockEndBlobData
74
+ };
75
+ }
@@ -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 = 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 !== 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 === 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 = 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 !== 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 === 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"}