@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.
- package/dest/batched_blob.d.ts +31 -0
- package/dest/batched_blob.d.ts.map +1 -0
- package/dest/batched_blob.js +20 -0
- package/dest/blob.d.ts +14 -14
- package/dest/blob.d.ts.map +1 -1
- package/dest/blob.js +21 -20
- package/dest/blob_batching.d.ts +35 -72
- package/dest/blob_batching.d.ts.map +1 -1
- package/dest/blob_batching.js +75 -110
- package/dest/blob_utils.d.ts +22 -12
- package/dest/blob_utils.d.ts.map +1 -1
- package/dest/blob_utils.js +32 -23
- package/dest/circuit_types/blob_accumulator.d.ts +4 -2
- package/dest/circuit_types/blob_accumulator.d.ts.map +1 -1
- package/dest/circuit_types/blob_accumulator.js +5 -1
- package/dest/circuit_types/final_blob_accumulator.d.ts +3 -2
- package/dest/circuit_types/final_blob_accumulator.d.ts.map +1 -1
- package/dest/circuit_types/final_blob_accumulator.js +5 -2
- package/dest/circuit_types/final_blob_batching_challenges.d.ts +3 -2
- package/dest/circuit_types/final_blob_batching_challenges.d.ts.map +1 -1
- package/dest/circuit_types/final_blob_batching_challenges.js +2 -1
- package/dest/circuit_types/index.d.ts +1 -1
- package/dest/encoding/block_blob_data.d.ts +30 -0
- package/dest/encoding/block_blob_data.d.ts.map +1 -0
- package/dest/encoding/block_blob_data.js +75 -0
- package/dest/encoding/block_end_marker.d.ts +11 -0
- package/dest/encoding/block_end_marker.d.ts.map +1 -0
- package/dest/encoding/block_end_marker.js +41 -0
- package/dest/encoding/block_end_state_field.d.ts +12 -0
- package/dest/encoding/block_end_state_field.d.ts.map +1 -0
- package/dest/encoding/block_end_state_field.js +39 -0
- package/dest/encoding/checkpoint_blob_data.d.ts +15 -0
- package/dest/encoding/checkpoint_blob_data.d.ts.map +1 -0
- package/dest/encoding/checkpoint_blob_data.js +67 -0
- package/dest/encoding/checkpoint_end_marker.d.ts +8 -0
- package/dest/encoding/checkpoint_end_marker.d.ts.map +1 -0
- package/dest/encoding/checkpoint_end_marker.js +28 -0
- package/dest/encoding/fixtures.d.ts +41 -0
- package/dest/encoding/fixtures.d.ts.map +1 -0
- package/dest/encoding/fixtures.js +140 -0
- package/dest/encoding/index.d.ts +10 -0
- package/dest/encoding/index.d.ts.map +1 -0
- package/dest/encoding/index.js +9 -0
- package/dest/encoding/tx_blob_data.d.ts +19 -0
- package/dest/encoding/tx_blob_data.d.ts.map +1 -0
- package/dest/encoding/tx_blob_data.js +79 -0
- package/dest/encoding/tx_start_marker.d.ts +16 -0
- package/dest/encoding/tx_start_marker.d.ts.map +1 -0
- package/dest/{encoding.js → encoding/tx_start_marker.js} +14 -60
- package/dest/errors.d.ts +1 -1
- package/dest/errors.d.ts.map +1 -1
- package/dest/hash.d.ts +14 -6
- package/dest/hash.d.ts.map +1 -1
- package/dest/hash.js +25 -14
- package/dest/index.d.ts +4 -4
- package/dest/index.d.ts.map +1 -1
- package/dest/index.js +3 -3
- package/dest/interface.d.ts +1 -2
- package/dest/interface.d.ts.map +1 -1
- package/dest/kzg_context.d.ts +10 -4
- package/dest/kzg_context.d.ts.map +1 -1
- package/dest/kzg_context.js +29 -5
- package/dest/sponge_blob.d.ts +9 -13
- package/dest/sponge_blob.d.ts.map +1 -1
- package/dest/sponge_blob.js +21 -36
- package/dest/testing.d.ts +9 -17
- package/dest/testing.d.ts.map +1 -1
- package/dest/testing.js +35 -64
- package/dest/types.d.ts +2 -1
- package/dest/types.d.ts.map +1 -1
- package/dest/types.js +1 -0
- package/package.json +8 -7
- package/src/batched_blob.ts +26 -0
- package/src/blob.ts +21 -20
- package/src/blob_batching.ts +93 -128
- package/src/blob_utils.ts +38 -25
- package/src/circuit_types/blob_accumulator.ts +13 -1
- package/src/circuit_types/final_blob_accumulator.ts +2 -1
- package/src/circuit_types/final_blob_batching_challenges.ts +2 -1
- package/src/encoding/block_blob_data.ts +114 -0
- package/src/encoding/block_end_marker.ts +55 -0
- package/src/encoding/block_end_state_field.ts +59 -0
- package/src/encoding/checkpoint_blob_data.ts +102 -0
- package/src/encoding/checkpoint_end_marker.ts +40 -0
- package/src/encoding/fixtures.ts +210 -0
- package/src/encoding/index.ts +9 -0
- package/src/encoding/tx_blob_data.ts +116 -0
- package/src/{encoding.ts → encoding/tx_start_marker.ts} +20 -77
- package/src/hash.ts +26 -14
- package/src/index.ts +3 -3
- package/src/interface.ts +0 -1
- package/src/kzg_context.ts +39 -3
- package/src/sponge_blob.ts +23 -36
- package/src/testing.ts +48 -74
- package/src/types.ts +1 -0
- package/dest/deserialize.d.ts +0 -14
- package/dest/deserialize.d.ts.map +0 -1
- package/dest/deserialize.js +0 -33
- package/dest/encoding.d.ts +0 -26
- package/dest/encoding.d.ts.map +0 -1
- 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"}
|