@aztec/blob-lib 0.0.1-commit.b655e406 → 0.0.1-commit.b9865e97
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 +36 -73
- package/dest/blob_batching.d.ts.map +1 -1
- package/dest/blob_batching.js +90 -125
- 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 +18 -9
- package/dest/hash.d.ts.map +1 -1
- package/dest/hash.js +33 -20
- 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 +105 -137
- 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 +36 -19
- 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,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"}
|
|
@@ -1,6 +1,7 @@
|
|
|
1
|
-
import {
|
|
2
|
-
import { Fr } from '@aztec/foundation/
|
|
3
|
-
import {
|
|
1
|
+
import { TX_START_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/tx_blob_data.nr`.
|
|
4
5
|
const NUM_BLOB_FIELDS_BIT_SIZE = 32n;
|
|
5
6
|
const REVERT_CODE_BIT_SIZE = 8n;
|
|
6
7
|
const NUM_NOTE_HASH_BIT_SIZE = 16n;
|
|
@@ -8,11 +9,11 @@ const NUM_NULLIFIER_BIT_SIZE = 16n;
|
|
|
8
9
|
const NUM_L2_TO_L1_MSG_BIT_SIZE = 16n;
|
|
9
10
|
const NUM_PUBLIC_DATA_WRITE_BIT_SIZE = 16n;
|
|
10
11
|
const NUM_PRIVATE_LOG_BIT_SIZE = 16n;
|
|
12
|
+
const PRIVATE_LOGS_LENGTH_BIT_SIZE = 16n;
|
|
11
13
|
const PUBLIC_LOGS_LENGTH_BIT_SIZE = 32n;
|
|
12
14
|
const CONTRACT_CLASS_LOG_LENGTH_BIT_SIZE = 16n;
|
|
13
|
-
// Must match the implementation in `noir-protocol-circuits/crates/rollup-lib/src/tx_base/components/tx_blob_data.nr`.
|
|
14
15
|
export function encodeTxStartMarker(txStartMarker) {
|
|
15
|
-
let value = TX_START_PREFIX;
|
|
16
|
+
let value = BigInt(TX_START_PREFIX);
|
|
16
17
|
value <<= NUM_NOTE_HASH_BIT_SIZE;
|
|
17
18
|
value += BigInt(txStartMarker.numNoteHashes);
|
|
18
19
|
value <<= NUM_NULLIFIER_BIT_SIZE;
|
|
@@ -23,6 +24,8 @@ export function encodeTxStartMarker(txStartMarker) {
|
|
|
23
24
|
value += BigInt(txStartMarker.numPublicDataWrites);
|
|
24
25
|
value <<= NUM_PRIVATE_LOG_BIT_SIZE;
|
|
25
26
|
value += BigInt(txStartMarker.numPrivateLogs);
|
|
27
|
+
value <<= PRIVATE_LOGS_LENGTH_BIT_SIZE;
|
|
28
|
+
value += BigInt(txStartMarker.privateLogsLength);
|
|
26
29
|
value <<= PUBLIC_LOGS_LENGTH_BIT_SIZE;
|
|
27
30
|
value += BigInt(txStartMarker.publicLogsLength);
|
|
28
31
|
value <<= CONTRACT_CLASS_LOG_LENGTH_BIT_SIZE;
|
|
@@ -43,6 +46,8 @@ export function decodeTxStartMarker(field) {
|
|
|
43
46
|
value >>= CONTRACT_CLASS_LOG_LENGTH_BIT_SIZE;
|
|
44
47
|
const publicLogsLength = Number(value & 2n ** PUBLIC_LOGS_LENGTH_BIT_SIZE - 1n);
|
|
45
48
|
value >>= PUBLIC_LOGS_LENGTH_BIT_SIZE;
|
|
49
|
+
const privateLogsLength = Number(value & 2n ** PRIVATE_LOGS_LENGTH_BIT_SIZE - 1n);
|
|
50
|
+
value >>= PRIVATE_LOGS_LENGTH_BIT_SIZE;
|
|
46
51
|
const numPrivateLogs = Number(value & 2n ** NUM_PRIVATE_LOG_BIT_SIZE - 1n);
|
|
47
52
|
value >>= NUM_PRIVATE_LOG_BIT_SIZE;
|
|
48
53
|
const numPublicDataWrites = Number(value & 2n ** NUM_PUBLIC_DATA_WRITE_BIT_SIZE - 1n);
|
|
@@ -53,11 +58,11 @@ export function decodeTxStartMarker(field) {
|
|
|
53
58
|
value >>= NUM_NULLIFIER_BIT_SIZE;
|
|
54
59
|
const numNoteHashes = Number(value & 2n ** NUM_NOTE_HASH_BIT_SIZE - 1n);
|
|
55
60
|
value >>= NUM_NOTE_HASH_BIT_SIZE;
|
|
56
|
-
// Do not throw if the prefix doesn't match.
|
|
57
|
-
// The caller function can check it by calling `isValidTxStartMarker`, and decide what to do if it's incorrect.
|
|
58
61
|
const prefix = value;
|
|
62
|
+
if (prefix !== BigInt(TX_START_PREFIX)) {
|
|
63
|
+
throw new BlobDeserializationError(`Incorrect encoding of blob fields: invalid tx start marker.`);
|
|
64
|
+
}
|
|
59
65
|
return {
|
|
60
|
-
prefix,
|
|
61
66
|
numBlobFields,
|
|
62
67
|
revertCode,
|
|
63
68
|
numNoteHashes,
|
|
@@ -65,59 +70,8 @@ export function decodeTxStartMarker(field) {
|
|
|
65
70
|
numL2ToL1Msgs,
|
|
66
71
|
numPublicDataWrites,
|
|
67
72
|
numPrivateLogs,
|
|
73
|
+
privateLogsLength,
|
|
68
74
|
publicLogsLength,
|
|
69
75
|
contractClassLogLength
|
|
70
76
|
};
|
|
71
77
|
}
|
|
72
|
-
export function getNumBlobFieldsFromTxStartMarker(field) {
|
|
73
|
-
return Number(field.toBigInt() & 2n ** NUM_BLOB_FIELDS_BIT_SIZE - 1n);
|
|
74
|
-
}
|
|
75
|
-
export function isValidTxStartMarker(txStartMarker) {
|
|
76
|
-
return txStartMarker.prefix === TX_START_PREFIX;
|
|
77
|
-
}
|
|
78
|
-
export function createBlockEndMarker(numTxs) {
|
|
79
|
-
// Must match the implementation in `block_rollup_public_inputs_composer.nr > create_block_end_marker`.
|
|
80
|
-
return new Fr(BLOCK_END_PREFIX * 256n * 256n + BigInt(numTxs));
|
|
81
|
-
}
|
|
82
|
-
export function getNumTxsFromBlockEndMarker(field) {
|
|
83
|
-
return Number(field.toBigInt() & 0xffffn);
|
|
84
|
-
}
|
|
85
|
-
export function isBlockEndMarker(field) {
|
|
86
|
-
const value = field.toBigInt();
|
|
87
|
-
const numTxs = value & 0xffffn;
|
|
88
|
-
return value - numTxs === BLOCK_END_PREFIX * 256n * 256n;
|
|
89
|
-
}
|
|
90
|
-
/**
|
|
91
|
-
* Check that the fields are emitted from the circuits and conform to the encoding.
|
|
92
|
-
* @param blobFields - The concatenated fields from all blobs of an L1 block.
|
|
93
|
-
*/ export function checkBlobFieldsEncoding(blobFields) {
|
|
94
|
-
const reader = FieldReader.asReader(blobFields);
|
|
95
|
-
const checkpointPrefix = reader.readField();
|
|
96
|
-
if (checkpointPrefix.toBigInt() !== BigInt(blobFields.length)) {
|
|
97
|
-
return false;
|
|
98
|
-
}
|
|
99
|
-
const numFieldsInCheckpoint = checkpointPrefix.toNumber();
|
|
100
|
-
let seenNumTxs = 0;
|
|
101
|
-
while(reader.cursor < numFieldsInCheckpoint){
|
|
102
|
-
const currentField = reader.readField();
|
|
103
|
-
if (isBlockEndMarker(currentField)) {
|
|
104
|
-
// Found a block end marker. Confirm that the number of txs in this block is correct.
|
|
105
|
-
const numTxs = getNumTxsFromBlockEndMarker(currentField);
|
|
106
|
-
if (numTxs !== seenNumTxs) {
|
|
107
|
-
return false;
|
|
108
|
-
}
|
|
109
|
-
seenNumTxs = 0;
|
|
110
|
-
continue;
|
|
111
|
-
}
|
|
112
|
-
// If the field is not a block end marker, it must be a tx start marker.
|
|
113
|
-
const txStartMarker = decodeTxStartMarker(currentField);
|
|
114
|
-
if (!isValidTxStartMarker(txStartMarker)) {
|
|
115
|
-
return false;
|
|
116
|
-
}
|
|
117
|
-
seenNumTxs += 1;
|
|
118
|
-
// Skip the remaining fields in this tx. -1 because we already read the tx start marker.
|
|
119
|
-
reader.skip(txStartMarker.numBlobFields - 1);
|
|
120
|
-
// TODO: Check the encoding of the tx if we want to be more strict.
|
|
121
|
-
}
|
|
122
|
-
return true;
|
|
123
|
-
}
|
package/dest/errors.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
1
|
export declare class BlobDeserializationError extends Error {
|
|
2
2
|
constructor(message: string);
|
|
3
3
|
}
|
|
4
|
-
//# sourceMappingURL=
|
|
4
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvZXJyb3JzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLHFCQUFhLHdCQUF5QixTQUFRLEtBQUs7SUFDakQsWUFBWSxPQUFPLEVBQUUsTUFBTSxFQUcxQjtDQUNGIn0=
|
package/dest/errors.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,qBAAa,wBAAyB,SAAQ,KAAK;
|
|
1
|
+
{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF"}
|
package/dest/hash.d.ts
CHANGED
|
@@ -1,16 +1,24 @@
|
|
|
1
|
-
import { BLS12Fr
|
|
1
|
+
import { BLS12Fr } from '@aztec/foundation/curves/bls12';
|
|
2
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
3
|
/**
|
|
3
4
|
* Returns ethereum's versioned blob hash, following kzg_to_versioned_hash: https://eips.ethereum.org/EIPS/eip-4844#helpers
|
|
4
5
|
*/
|
|
5
6
|
export declare function computeEthVersionedBlobHash(commitment: Buffer): Buffer;
|
|
6
7
|
export declare function computeBlobsHash(evmVersionedBlobHashes: Buffer[]): Fr;
|
|
7
8
|
/**
|
|
8
|
-
*
|
|
9
|
-
*
|
|
10
|
-
* This
|
|
9
|
+
* Computes a non-standard Poseidon2 hash over the provided fields.
|
|
10
|
+
*
|
|
11
|
+
* This function is used to compute:
|
|
12
|
+
* - `blobFieldsHash` of a checkpoint:
|
|
13
|
+
* Verified in the circuit against all fields absorbed into the blob sponge over the entire checkpoint.
|
|
14
|
+
* The exact number of fields is encoded in the checkpoint end marker (the last field).
|
|
15
|
+
* This hash is used when generating the challenge `z` for all blobs in the checkpoint.
|
|
16
|
+
* - `spongeBlobHash` of a block:
|
|
17
|
+
* Computed from the block's tx effects, its end-state, and the blob fields of all prior blocks in the same checkpoint.
|
|
18
|
+
* This hash is included in the block header.
|
|
11
19
|
*/
|
|
12
20
|
export declare function computeBlobFieldsHash(fields: Fr[]): Promise<Fr>;
|
|
13
|
-
export declare function computeBlobCommitment(data: Uint8Array): Buffer
|
|
21
|
+
export declare function computeBlobCommitment(data: Uint8Array): Promise<Buffer>;
|
|
14
22
|
/**
|
|
15
23
|
* Get the commitment fields of the blob, to compute the challenge z.
|
|
16
24
|
*
|
|
@@ -28,8 +36,9 @@ export declare function computeBlobCommitment(data: Uint8Array): Buffer;
|
|
|
28
36
|
export declare function commitmentToFields(commitment: Buffer): [Fr, Fr];
|
|
29
37
|
export declare function computeChallengeZ(blobFieldsHash: Fr, commitment: Buffer): Promise<Fr>;
|
|
30
38
|
/**
|
|
31
|
-
* Hash
|
|
32
|
-
*
|
|
39
|
+
* Hash the u128 limbs of a BLS field's noir bignum representation under the `BLOB_HASHED_Y_LIMBS` separator.
|
|
40
|
+
* Used to commit to blob evaluation values `y_i` before folding them into the gamma accumulator; mirrors the
|
|
41
|
+
* hash accumulation performed in the rollup circuits.
|
|
33
42
|
*/
|
|
34
|
-
export declare function
|
|
35
|
-
//# sourceMappingURL=
|
|
43
|
+
export declare function hashBlobYLimbs(field: BLS12Fr): Promise<Fr>;
|
|
44
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaGFzaC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL2hhc2gudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3pELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQU9wRDs7R0FFRztBQUNILHdCQUFnQiwyQkFBMkIsQ0FBQyxVQUFVLEVBQUUsTUFBTSxHQUFHLE1BQU0sQ0FJdEU7QUFPRCx3QkFBZ0IsZ0JBQWdCLENBQUMsc0JBQXNCLEVBQUUsTUFBTSxFQUFFLEdBQUcsRUFBRSxDQUVyRTtBQUVEOzs7Ozs7Ozs7OztHQVdHO0FBQ0gsd0JBQXNCLHFCQUFxQixDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsRUFBRSxDQUFDLENBSXJFO0FBRUQsd0JBQXNCLHFCQUFxQixDQUFDLElBQUksRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQU03RTtBQUVEOzs7Ozs7Ozs7Ozs7O0dBYUc7QUFDSCx3QkFBZ0Isa0JBQWtCLENBQUMsVUFBVSxFQUFFLE1BQU0sR0FBRyxDQUFDLEVBQUUsRUFBRSxFQUFFLENBQUMsQ0FNL0Q7QUFFRCx3QkFBc0IsaUJBQWlCLENBQUMsY0FBYyxFQUFFLEVBQUUsRUFBRSxVQUFVLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FNM0Y7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQXNCLGNBQWMsQ0FBQyxLQUFLLEVBQUUsT0FBTyxHQUFHLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FHaEUifQ==
|
package/dest/hash.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../src/hash.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../src/hash.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAOpD;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAItE;AAOD,wBAAgB,gBAAgB,CAAC,sBAAsB,EAAE,MAAM,EAAE,GAAG,EAAE,CAErE;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,qBAAqB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAIrE;AAED,wBAAsB,qBAAqB,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAM7E;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAM/D;AAED,wBAAsB,iBAAiB,CAAC,cAAc,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAM3F;AAED;;;;GAIG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,EAAE,CAAC,CAGhE"}
|
package/dest/hash.js
CHANGED
|
@@ -1,6 +1,9 @@
|
|
|
1
|
-
import {
|
|
2
|
-
import {
|
|
3
|
-
import {
|
|
1
|
+
import { DomainSeparator } from '@aztec/constants';
|
|
2
|
+
import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
|
|
3
|
+
import { sha256, sha256ToField } from '@aztec/foundation/crypto/sha256';
|
|
4
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
5
|
+
import { getBytesPerBlob, getBytesPerCommitment, getKzg } from './kzg_context.js';
|
|
6
|
+
import { SpongeBlob } from './sponge_blob.js';
|
|
4
7
|
const VERSIONED_HASH_VERSION_KZG = 0x01;
|
|
5
8
|
/**
|
|
6
9
|
* Returns ethereum's versioned blob hash, following kzg_to_versioned_hash: https://eips.ethereum.org/EIPS/eip-4844#helpers
|
|
@@ -18,17 +21,26 @@ export function computeBlobsHash(evmVersionedBlobHashes) {
|
|
|
18
21
|
return sha256ToField(evmVersionedBlobHashes);
|
|
19
22
|
}
|
|
20
23
|
/**
|
|
21
|
-
*
|
|
22
|
-
*
|
|
23
|
-
* This
|
|
24
|
+
* Computes a non-standard Poseidon2 hash over the provided fields.
|
|
25
|
+
*
|
|
26
|
+
* This function is used to compute:
|
|
27
|
+
* - `blobFieldsHash` of a checkpoint:
|
|
28
|
+
* Verified in the circuit against all fields absorbed into the blob sponge over the entire checkpoint.
|
|
29
|
+
* The exact number of fields is encoded in the checkpoint end marker (the last field).
|
|
30
|
+
* This hash is used when generating the challenge `z` for all blobs in the checkpoint.
|
|
31
|
+
* - `spongeBlobHash` of a block:
|
|
32
|
+
* Computed from the block's tx effects, its end-state, and the blob fields of all prior blocks in the same checkpoint.
|
|
33
|
+
* This hash is included in the block header.
|
|
24
34
|
*/ export async function computeBlobFieldsHash(fields) {
|
|
25
|
-
|
|
35
|
+
const sponge = SpongeBlob.init();
|
|
36
|
+
await sponge.absorb(fields);
|
|
37
|
+
return sponge.squeeze();
|
|
26
38
|
}
|
|
27
|
-
export function computeBlobCommitment(data) {
|
|
28
|
-
if (data.length !==
|
|
29
|
-
throw new Error(`Expected ${
|
|
39
|
+
export async function computeBlobCommitment(data) {
|
|
40
|
+
if (data.length !== getBytesPerBlob()) {
|
|
41
|
+
throw new Error(`Expected ${getBytesPerBlob()} bytes per blob. Got ${data.length}.`);
|
|
30
42
|
}
|
|
31
|
-
return Buffer.from(
|
|
43
|
+
return Buffer.from(await getKzg().asyncBlobToKzgCommitment(data));
|
|
32
44
|
}
|
|
33
45
|
/**
|
|
34
46
|
* Get the commitment fields of the blob, to compute the challenge z.
|
|
@@ -44,26 +56,27 @@ export function computeBlobCommitment(data) {
|
|
|
44
56
|
* @param commitment - The commitment to convert to fields. Computed from `computeBlobCommitment`.
|
|
45
57
|
* @returns The fields representing the commitment buffer.
|
|
46
58
|
*/ export function commitmentToFields(commitment) {
|
|
47
|
-
if (commitment.length !==
|
|
48
|
-
throw new Error(`Expected ${
|
|
59
|
+
if (commitment.length !== getBytesPerCommitment()) {
|
|
60
|
+
throw new Error(`Expected ${getBytesPerCommitment()} bytes for blob commitment. Got ${commitment.length}.`);
|
|
49
61
|
}
|
|
50
62
|
return [
|
|
51
63
|
new Fr(commitment.subarray(0, 31)),
|
|
52
|
-
new Fr(commitment.subarray(31,
|
|
64
|
+
new Fr(commitment.subarray(31, getBytesPerCommitment()))
|
|
53
65
|
];
|
|
54
66
|
}
|
|
55
67
|
export async function computeChallengeZ(blobFieldsHash, commitment) {
|
|
56
68
|
const commitmentFields = commitmentToFields(commitment);
|
|
57
|
-
return await
|
|
69
|
+
return await poseidon2HashWithSeparator([
|
|
58
70
|
blobFieldsHash,
|
|
59
71
|
commitmentFields[0],
|
|
60
72
|
commitmentFields[1]
|
|
61
|
-
]);
|
|
73
|
+
], DomainSeparator.BLOB_CHALLENGE_Z);
|
|
62
74
|
}
|
|
63
75
|
/**
|
|
64
|
-
* Hash
|
|
65
|
-
*
|
|
66
|
-
|
|
76
|
+
* Hash the u128 limbs of a BLS field's noir bignum representation under the `BLOB_HASHED_Y_LIMBS` separator.
|
|
77
|
+
* Used to commit to blob evaluation values `y_i` before folding them into the gamma accumulator; mirrors the
|
|
78
|
+
* hash accumulation performed in the rollup circuits.
|
|
79
|
+
*/ export async function hashBlobYLimbs(field) {
|
|
67
80
|
const num = field.toNoirBigNum();
|
|
68
|
-
return await
|
|
81
|
+
return await poseidon2HashWithSeparator(num.limbs.map(Fr.fromHexString), DomainSeparator.BLOB_HASHED_Y_LIMBS);
|
|
69
82
|
}
|
package/dest/index.d.ts
CHANGED
|
@@ -1,11 +1,11 @@
|
|
|
1
|
+
export * from './batched_blob.js';
|
|
1
2
|
export * from './blob.js';
|
|
2
3
|
export * from './blob_batching.js';
|
|
3
4
|
export * from './blob_utils.js';
|
|
4
5
|
export * from './circuit_types/index.js';
|
|
5
|
-
export * from './
|
|
6
|
-
export * from './encoding.js';
|
|
7
|
-
export * from './errors.js';
|
|
6
|
+
export * from './encoding/index.js';
|
|
8
7
|
export * from './hash.js';
|
|
9
8
|
export * from './interface.js';
|
|
10
9
|
export * from './sponge_blob.js';
|
|
11
|
-
|
|
10
|
+
export * from './kzg_context.js';
|
|
11
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLG1CQUFtQixDQUFDO0FBQ2xDLGNBQWMsV0FBVyxDQUFDO0FBQzFCLGNBQWMsb0JBQW9CLENBQUM7QUFDbkMsY0FBYyxpQkFBaUIsQ0FBQztBQUNoQyxjQUFjLDBCQUEwQixDQUFDO0FBQ3pDLGNBQWMscUJBQXFCLENBQUM7QUFDcEMsY0FBYyxXQUFXLENBQUM7QUFDMUIsY0FBYyxnQkFBZ0IsQ0FBQztBQUMvQixjQUFjLGtCQUFrQixDQUFDO0FBQ2pDLGNBQWMsa0JBQWtCLENBQUMifQ==
|
package/dest/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,0BAA0B,CAAC;AACzC,cAAc,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,WAAW,CAAC;AAC1B,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,0BAA0B,CAAC;AACzC,cAAc,qBAAqB,CAAC;AACpC,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC"}
|
package/dest/index.js
CHANGED
|
@@ -1,10 +1,10 @@
|
|
|
1
|
+
export * from './batched_blob.js';
|
|
1
2
|
export * from './blob.js';
|
|
2
3
|
export * from './blob_batching.js';
|
|
3
4
|
export * from './blob_utils.js';
|
|
4
5
|
export * from './circuit_types/index.js';
|
|
5
|
-
export * from './
|
|
6
|
-
export * from './encoding.js';
|
|
7
|
-
export * from './errors.js';
|
|
6
|
+
export * from './encoding/index.js';
|
|
8
7
|
export * from './hash.js';
|
|
9
8
|
export * from './interface.js';
|
|
10
9
|
export * from './sponge_blob.js';
|
|
10
|
+
export * from './kzg_context.js';
|
package/dest/interface.d.ts
CHANGED
|
@@ -3,7 +3,6 @@
|
|
|
3
3
|
*/
|
|
4
4
|
export interface BlobJson {
|
|
5
5
|
blob: string;
|
|
6
|
-
index: string;
|
|
7
6
|
kzg_commitment: string;
|
|
8
7
|
}
|
|
9
|
-
//# sourceMappingURL=
|
|
8
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW50ZXJmYWNlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvaW50ZXJmYWNlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOztHQUVHO0FBQ0gsTUFBTSxXQUFXLFFBQVE7SUFDdkIsSUFBSSxFQUFFLE1BQU0sQ0FBQztJQUNiLGNBQWMsRUFBRSxNQUFNLENBQUM7Q0FDeEIifQ==
|
package/dest/interface.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"interface.d.ts","sourceRoot":"","sources":["../src/interface.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,
|
|
1
|
+
{"version":3,"file":"interface.d.ts","sourceRoot":"","sources":["../src/interface.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,cAAc,EAAE,MAAM,CAAC;CACxB"}
|
package/dest/kzg_context.d.ts
CHANGED
|
@@ -1,4 +1,10 @@
|
|
|
1
|
-
import { DasContextJs } from '@crate-crypto/node-eth-kzg';
|
|
2
|
-
export
|
|
3
|
-
export declare
|
|
4
|
-
|
|
1
|
+
import type { DasContextJs } from '@crate-crypto/node-eth-kzg';
|
|
2
|
+
export type { DasContextJs } from '@crate-crypto/node-eth-kzg';
|
|
3
|
+
export declare function getBytesPerBlob(): number;
|
|
4
|
+
export declare function getBytesPerCommitment(): number;
|
|
5
|
+
/**
|
|
6
|
+
* Returns the lazily-initialized KZG context.
|
|
7
|
+
* The first call takes ~3 seconds to initialize the precomputation tables.
|
|
8
|
+
*/
|
|
9
|
+
export declare function getKzg(): DasContextJs;
|
|
10
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoia3pnX2NvbnRleHQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9remdfY29udGV4dC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQU0vRCxZQUFZLEVBQUUsWUFBWSxFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFlL0Qsd0JBQWdCLGVBQWUsSUFBSSxNQUFNLENBRXhDO0FBRUQsd0JBQWdCLHFCQUFxQixJQUFJLE1BQU0sQ0FFOUM7QUFJRDs7O0dBR0c7QUFDSCx3QkFBZ0IsTUFBTSxJQUFJLFlBQVksQ0FLckMifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"kzg_context.d.ts","sourceRoot":"","sources":["../src/kzg_context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;
|
|
1
|
+
{"version":3,"file":"kzg_context.d.ts","sourceRoot":"","sources":["../src/kzg_context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAM/D,YAAY,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAe/D,wBAAgB,eAAe,IAAI,MAAM,CAExC;AAED,wBAAgB,qBAAqB,IAAI,MAAM,CAE9C;AAID;;;GAGG;AACH,wBAAgB,MAAM,IAAI,YAAY,CAKrC"}
|
package/dest/kzg_context.js
CHANGED
|
@@ -1,5 +1,29 @@
|
|
|
1
|
-
import {
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
1
|
+
import { createRequire } from 'module';
|
|
2
|
+
let nativeModule;
|
|
3
|
+
/** Lazily loads the @crate-crypto/node-eth-kzg native module. */ function loadNativeModule() {
|
|
4
|
+
if (!nativeModule) {
|
|
5
|
+
const require = createRequire(import.meta.url);
|
|
6
|
+
nativeModule = require('@crate-crypto/node-eth-kzg');
|
|
7
|
+
}
|
|
8
|
+
return nativeModule;
|
|
9
|
+
}
|
|
10
|
+
// Ethereum blob constants, loaded lazily from the native module.
|
|
11
|
+
// Values: BYTES_PER_BLOB=131072, BYTES_PER_COMMITMENT=48
|
|
12
|
+
export function getBytesPerBlob() {
|
|
13
|
+
return loadNativeModule().BYTES_PER_BLOB;
|
|
14
|
+
}
|
|
15
|
+
export function getBytesPerCommitment() {
|
|
16
|
+
return loadNativeModule().BYTES_PER_COMMITMENT;
|
|
17
|
+
}
|
|
18
|
+
let kzgInstance;
|
|
19
|
+
/**
|
|
20
|
+
* Returns the lazily-initialized KZG context.
|
|
21
|
+
* The first call takes ~3 seconds to initialize the precomputation tables.
|
|
22
|
+
*/ export function getKzg() {
|
|
23
|
+
if (!kzgInstance) {
|
|
24
|
+
kzgInstance = loadNativeModule().DasContextJs.create({
|
|
25
|
+
usePrecomp: true
|
|
26
|
+
});
|
|
27
|
+
}
|
|
28
|
+
return kzgInstance;
|
|
29
|
+
}
|
package/dest/sponge_blob.d.ts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { type FieldsOf } from '@aztec/foundation/array';
|
|
2
|
-
import { Fr } from '@aztec/foundation/
|
|
2
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
3
|
import { BufferReader, FieldReader, type Tuple } from '@aztec/foundation/serialize';
|
|
4
4
|
/**
|
|
5
5
|
* A Poseidon2 sponge used to accumulate data that will be added to blobs.
|
|
@@ -10,15 +10,16 @@ export declare class SpongeBlob {
|
|
|
10
10
|
readonly sponge: Poseidon2Sponge;
|
|
11
11
|
/** Number of effects absorbed so far. */
|
|
12
12
|
numAbsorbedFields: number;
|
|
13
|
-
|
|
14
|
-
readonly numExpectedFields: number;
|
|
13
|
+
static MAX_FIELDS: number;
|
|
15
14
|
constructor(
|
|
16
15
|
/** Sponge with absorbed fields that will go into one or more blobs. */
|
|
17
16
|
sponge: Poseidon2Sponge,
|
|
18
17
|
/** Number of effects absorbed so far. */
|
|
19
|
-
numAbsorbedFields: number
|
|
20
|
-
/**
|
|
21
|
-
|
|
18
|
+
numAbsorbedFields: number);
|
|
19
|
+
/**
|
|
20
|
+
* Initialize the sponge blob to absorb data for a checkpoint.
|
|
21
|
+
*/
|
|
22
|
+
static init(): SpongeBlob;
|
|
22
23
|
static fromBuffer(buffer: Buffer | BufferReader): SpongeBlob;
|
|
23
24
|
toBuffer(): Buffer<ArrayBufferLike>;
|
|
24
25
|
static getFields(fields: FieldsOf<SpongeBlob>): (number | Poseidon2Sponge)[];
|
|
@@ -28,11 +29,6 @@ export declare class SpongeBlob {
|
|
|
28
29
|
absorb(fields: Fr[]): Promise<void>;
|
|
29
30
|
squeeze(): Promise<Fr>;
|
|
30
31
|
static empty(): SpongeBlob;
|
|
31
|
-
/**
|
|
32
|
-
* Initialize the sponge blob with the number of expected fields in the checkpoint and absorb it as the first field.
|
|
33
|
-
* Note: `numExpectedFields` includes the first field absorbed in this method.
|
|
34
|
-
*/
|
|
35
|
-
static init(numExpectedFields: number): Promise<SpongeBlob>;
|
|
36
32
|
}
|
|
37
33
|
export declare class Poseidon2Sponge {
|
|
38
34
|
cache: Tuple<Fr, 3>;
|
|
@@ -46,9 +42,9 @@ export declare class Poseidon2Sponge {
|
|
|
46
42
|
toFields(): Fr[];
|
|
47
43
|
static fromFields(fields: Fr[] | FieldReader): Poseidon2Sponge;
|
|
48
44
|
static empty(): Poseidon2Sponge;
|
|
49
|
-
static init(
|
|
45
|
+
static init(iv: Fr): Poseidon2Sponge;
|
|
50
46
|
performDuplex(): Promise<void>;
|
|
51
47
|
absorb(fields: Fr[]): Promise<void>;
|
|
52
48
|
squeeze(): Promise<Fr>;
|
|
53
49
|
}
|
|
54
|
-
//# sourceMappingURL=
|
|
50
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3BvbmdlX2Jsb2IuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9zcG9uZ2VfYmxvYi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsS0FBSyxRQUFRLEVBQWEsTUFBTSx5QkFBeUIsQ0FBQztBQUVuRSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUNMLFlBQVksRUFDWixXQUFXLEVBQ1gsS0FBSyxLQUFLLEVBR1gsTUFBTSw2QkFBNkIsQ0FBQztBQUVyQzs7O0dBR0c7QUFDSCxxQkFBYSxVQUFVO0lBSW5CLHVFQUF1RTthQUN2RCxNQUFNLEVBQUUsZUFBZTtJQUN2Qyx5Q0FBeUM7SUFDbEMsaUJBQWlCLEVBQUUsTUFBTTtJQU5sQyxNQUFNLENBQUMsVUFBVSxTQUEwQztJQUUzRDtJQUNFLHVFQUF1RTtJQUN2RCxNQUFNLEVBQUUsZUFBZTtJQUN2Qyx5Q0FBeUM7SUFDbEMsaUJBQWlCLEVBQUUsTUFBTSxFQUM5QjtJQUVKOztPQUVHO0lBQ0gsTUFBTSxDQUFDLElBQUksSUFBSSxVQUFVLENBS3hCO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxVQUFVLENBRzNEO0lBRUQsUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxVQUFVLENBQUMsZ0NBRTVDO0lBRUQsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQUVmO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxHQUFHLFVBQVUsQ0FHeEQ7SUFFRCxLQUFLLGVBRUo7SUFFSyxNQUFNLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxpQkFReEI7SUFFSyxPQUFPLElBQUksT0FBTyxDQUFDLEVBQUUsQ0FBQyxDQUUzQjtJQUVELE1BQU0sQ0FBQyxLQUFLLElBQUksVUFBVSxDQUV6QjtDQUNGO0FBR0QscUJBQWEsZUFBZTtJQUVqQixLQUFLLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUM7SUFDbkIsS0FBSyxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ25CLFNBQVMsRUFBRSxNQUFNO0lBQ2pCLFdBQVcsRUFBRSxPQUFPO0lBSjdCLFlBQ1MsS0FBSyxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEVBQ25CLEtBQUssRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxFQUNuQixTQUFTLEVBQUUsTUFBTSxFQUNqQixXQUFXLEVBQUUsT0FBTyxFQUN6QjtJQUVKLE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsZUFBZSxDQVFoRTtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsZUFBZSxDQUFDLDBEQUVqRDtJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FFZjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyxlQUFlLENBUTdEO0lBRUQsTUFBTSxDQUFDLEtBQUssSUFBSSxlQUFlLENBTzlCO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLGVBQWUsQ0FJbkM7SUFLSyxhQUFhLGtCQVNsQjtJQUVLLE1BQU0sQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLGlCQWF4QjtJQUVLLE9BQU8sSUFBSSxPQUFPLENBQUMsRUFBRSxDQUFDLENBTzNCO0NBQ0YifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"sponge_blob.d.ts","sourceRoot":"","sources":["../src/sponge_blob.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,
|
|
1
|
+
{"version":3,"file":"sponge_blob.d.ts","sourceRoot":"","sources":["../src/sponge_blob.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC;;;GAGG;AACH,qBAAa,UAAU;IAInB,uEAAuE;aACvD,MAAM,EAAE,eAAe;IACvC,yCAAyC;IAClC,iBAAiB,EAAE,MAAM;IANlC,MAAM,CAAC,UAAU,SAA0C;IAE3D;IACE,uEAAuE;IACvD,MAAM,EAAE,eAAe;IACvC,yCAAyC;IAClC,iBAAiB,EAAE,MAAM,EAC9B;IAEJ;;OAEG;IACH,MAAM,CAAC,IAAI,IAAI,UAAU,CAKxB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU,CAG3D;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,gCAE5C;IAED,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,UAAU,CAGxD;IAED,KAAK,eAEJ;IAEK,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,iBAQxB;IAEK,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC,CAE3B;IAED,MAAM,CAAC,KAAK,IAAI,UAAU,CAEzB;CACF;AAGD,qBAAa,eAAe;IAEjB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IACnB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IACnB,SAAS,EAAE,MAAM;IACjB,WAAW,EAAE,OAAO;IAJ7B,YACS,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EACnB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EACnB,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,OAAO,EACzB;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe,CAQhE;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,0DAEjD;IAED,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,eAAe,CAQ7D;IAED,MAAM,CAAC,KAAK,IAAI,eAAe,CAO9B;IAED,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,eAAe,CAInC;IAKK,aAAa,kBASlB;IAEK,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,iBAaxB;IAEK,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC,CAO3B;CACF"}
|