@aztec/foundation 0.72.1 → 0.73.0
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/abi/abi.d.ts +3 -2
- package/dest/abi/abi.d.ts.map +1 -1
- package/dest/abi/abi.js +22 -5
- package/dest/abi/event_selector.d.ts +1 -1
- package/dest/abi/event_selector.d.ts.map +1 -1
- package/dest/abi/event_selector.js +3 -3
- package/dest/abi/function_selector.d.ts +3 -13
- package/dest/abi/function_selector.d.ts.map +1 -1
- package/dest/abi/function_selector.js +5 -16
- package/dest/blob/blob.d.ts +150 -0
- package/dest/blob/blob.d.ts.map +1 -0
- package/dest/blob/blob.js +249 -0
- package/dest/blob/encoding.d.ts +53 -0
- package/dest/blob/encoding.d.ts.map +1 -0
- package/dest/blob/encoding.js +87 -0
- package/dest/blob/index.d.ts +4 -58
- package/dest/blob/index.d.ts.map +1 -1
- package/dest/blob/index.js +6 -142
- package/dest/blob/interface.d.ts +10 -0
- package/dest/blob/interface.d.ts.map +1 -0
- package/dest/blob/interface.js +2 -0
- package/dest/blob/mocks.d.ts +5 -0
- package/dest/blob/mocks.d.ts.map +1 -0
- package/dest/blob/mocks.js +25 -0
- package/dest/config/env_var.d.ts +1 -1
- package/dest/config/env_var.d.ts.map +1 -1
- package/dest/config/index.d.ts +1 -0
- package/dest/config/index.d.ts.map +1 -1
- package/dest/config/index.js +11 -14
- package/dest/crypto/index.d.ts +0 -7
- package/dest/crypto/index.d.ts.map +1 -1
- package/dest/crypto/index.js +1 -11
- package/dest/crypto/keys/index.d.ts +1 -1
- package/dest/crypto/keys/index.d.ts.map +1 -1
- package/dest/crypto/keys/index.js +5 -5
- package/dest/crypto/pedersen/pedersen.wasm.d.ts +3 -3
- package/dest/crypto/pedersen/pedersen.wasm.d.ts.map +1 -1
- package/dest/crypto/pedersen/pedersen.wasm.js +13 -10
- package/dest/crypto/poseidon/index.d.ts +5 -5
- package/dest/crypto/poseidon/index.d.ts.map +1 -1
- package/dest/crypto/poseidon/index.js +20 -19
- package/dest/crypto/sync/index.d.ts +3 -0
- package/dest/crypto/sync/index.d.ts.map +1 -0
- package/dest/crypto/sync/index.js +5 -0
- package/dest/crypto/sync/pedersen/index.d.ts +21 -0
- package/dest/crypto/sync/pedersen/index.d.ts.map +1 -0
- package/dest/crypto/sync/pedersen/index.js +37 -0
- package/dest/crypto/sync/poseidon/index.d.ts +26 -0
- package/dest/crypto/sync/poseidon/index.d.ts.map +1 -0
- package/dest/crypto/sync/poseidon/index.js +57 -0
- package/dest/fields/fields.js +4 -4
- package/dest/fields/point.d.ts +1 -1
- package/dest/iterable/toArray.d.ts +1 -1
- package/dest/iterable/toArray.d.ts.map +1 -1
- package/dest/iterable/toArray.js +1 -1
- package/dest/json-rpc/client/safe_json_rpc_client.js +2 -2
- package/dest/json-rpc/convert.d.ts +1 -1
- package/dest/json-rpc/convert.d.ts.map +1 -1
- package/dest/json-rpc/convert.js +2 -2
- package/dest/json-rpc/server/safe_json_rpc_server.d.ts.map +1 -1
- package/dest/json-rpc/server/safe_json_rpc_server.js +4 -2
- package/dest/message/index.d.ts +32 -0
- package/dest/message/index.d.ts.map +1 -0
- package/dest/message/index.js +23 -0
- package/dest/mutex/index.d.ts.map +1 -1
- package/dest/mutex/index.js +6 -4
- package/dest/promise/running-promise.d.ts +2 -1
- package/dest/promise/running-promise.d.ts.map +1 -1
- package/dest/promise/running-promise.js +6 -3
- package/dest/schemas/parse.d.ts +1 -1
- package/dest/schemas/parse.d.ts.map +1 -1
- package/dest/schemas/parse.js +2 -2
- package/dest/serialize/field_reader.d.ts +18 -0
- package/dest/serialize/field_reader.d.ts.map +1 -1
- package/dest/serialize/field_reader.js +32 -2
- package/dest/worker/browser/start_web_module.d.ts.map +1 -1
- package/dest/worker/browser/start_web_module.js +2 -1
- package/dest/worker/browser/web_worker.d.ts.map +1 -1
- package/dest/worker/browser/web_worker.js +2 -1
- package/dest/worker/node/node_worker.d.ts.map +1 -1
- package/dest/worker/node/node_worker.js +2 -1
- package/dest/worker/node/start_node_module.d.ts.map +1 -1
- package/dest/worker/node/start_node_module.js +2 -1
- package/package.json +5 -3
- package/src/abi/abi.ts +28 -8
- package/src/abi/event_selector.ts +2 -2
- package/src/abi/function_selector.ts +7 -27
- package/src/blob/blob.ts +294 -0
- package/src/blob/encoding.ts +98 -0
- package/src/blob/index.ts +5 -183
- package/src/blob/interface.ts +11 -0
- package/src/blob/mocks.ts +30 -0
- package/src/config/env_var.ts +7 -4
- package/src/config/index.ts +10 -12
- package/src/crypto/index.ts +0 -12
- package/src/crypto/keys/index.ts +5 -4
- package/src/crypto/pedersen/pedersen.wasm.ts +13 -14
- package/src/crypto/poseidon/index.ts +24 -39
- package/src/crypto/sync/index.ts +6 -0
- package/src/crypto/sync/pedersen/index.ts +45 -0
- package/src/crypto/sync/poseidon/index.ts +76 -0
- package/src/fields/fields.ts +3 -3
- package/src/iterable/toArray.ts +3 -1
- package/src/json-rpc/client/safe_json_rpc_client.ts +1 -1
- package/src/json-rpc/convert.ts +2 -2
- package/src/json-rpc/server/safe_json_rpc_server.ts +3 -1
- package/src/message/index.ts +43 -0
- package/src/mutex/index.ts +5 -4
- package/src/promise/running-promise.ts +4 -1
- package/src/schemas/parse.ts +2 -2
- package/src/serialize/field_reader.ts +34 -1
- package/src/worker/browser/start_web_module.ts +1 -0
- package/src/worker/browser/web_worker.ts +1 -0
- package/src/worker/node/node_worker.ts +1 -0
- package/src/worker/node/start_node_module.ts +1 -0
|
@@ -0,0 +1,249 @@
|
|
|
1
|
+
// Importing directly from 'c-kzg' does not work, ignoring import/no-named-as-default-member err:
|
|
2
|
+
import cKzg from 'c-kzg';
|
|
3
|
+
import { poseidon2Hash, sha256 } from '../crypto/index.js';
|
|
4
|
+
import { Fr } from '../fields/index.js';
|
|
5
|
+
import { BufferReader, serializeToBuffer } from '../serialize/index.js';
|
|
6
|
+
import { deserializeEncodedBlobFields, extractBlobFieldsFromBuffer } from './encoding.js';
|
|
7
|
+
/* eslint-disable import/no-named-as-default-member */
|
|
8
|
+
const { BYTES_PER_BLOB, FIELD_ELEMENTS_PER_BLOB, blobToKzgCommitment, computeKzgProof, verifyKzgProof } = cKzg;
|
|
9
|
+
// The prefix to the EVM blobHash, defined here: https://eips.ethereum.org/EIPS/eip-4844#specification
|
|
10
|
+
export const VERSIONED_HASH_VERSION_KZG = 0x01;
|
|
11
|
+
/**
|
|
12
|
+
* A class to create, manage, and prove EVM blobs.
|
|
13
|
+
*/
|
|
14
|
+
export class Blob {
|
|
15
|
+
constructor(
|
|
16
|
+
/** The blob to be broadcast on L1 in bytes form. */
|
|
17
|
+
data,
|
|
18
|
+
/** The hash of all tx effects inside the blob. Used in generating the challenge z and proving that we have included all required effects. */
|
|
19
|
+
fieldsHash,
|
|
20
|
+
/** Challenge point z (= H(H(tx_effects), kzgCommmitment). Used such that p(z) = y. */
|
|
21
|
+
challengeZ,
|
|
22
|
+
/** Evaluation y = p(z), where p() is the blob polynomial. BLS12 field element, rep. as BigNum in nr, bigint in ts. */
|
|
23
|
+
evaluationY,
|
|
24
|
+
/** Commitment to the blob C. Used in compressed BLS12 point format (48 bytes). */
|
|
25
|
+
commitment,
|
|
26
|
+
/** KZG opening proof for y = p(z). The commitment to quotient polynomial Q, used in compressed BLS12 point format (48 bytes). */
|
|
27
|
+
proof) {
|
|
28
|
+
this.data = data;
|
|
29
|
+
this.fieldsHash = fieldsHash;
|
|
30
|
+
this.challengeZ = challengeZ;
|
|
31
|
+
this.evaluationY = evaluationY;
|
|
32
|
+
this.commitment = commitment;
|
|
33
|
+
this.proof = proof;
|
|
34
|
+
}
|
|
35
|
+
/**
|
|
36
|
+
* The encoded version of the blob will determine the end of the blob based on the transaction encoding.
|
|
37
|
+
* This is required when the fieldsHash of a blob will contain trailing zeros.
|
|
38
|
+
*
|
|
39
|
+
* See `./encoding.ts` for more details.
|
|
40
|
+
*
|
|
41
|
+
* This method is used to create a Blob from a buffer.
|
|
42
|
+
* @param blob - The buffer to create the Blob from.
|
|
43
|
+
* @param multiBlobFieldsHash - The fields hash to use for the Blob.
|
|
44
|
+
* @returns A Blob created from the buffer.
|
|
45
|
+
*/
|
|
46
|
+
static fromEncodedBlobBuffer(blob, multiBlobFieldsHash) {
|
|
47
|
+
const fields = deserializeEncodedBlobFields(blob);
|
|
48
|
+
return Blob.fromFields(fields, multiBlobFieldsHash);
|
|
49
|
+
}
|
|
50
|
+
/**
|
|
51
|
+
* Create a Blob from an array of fields.
|
|
52
|
+
*
|
|
53
|
+
* @param fields - The array of fields to create the Blob from.
|
|
54
|
+
* @param multiBlobFieldsHash - The fields hash to use for the Blob.
|
|
55
|
+
* @returns A Blob created from the array of fields.
|
|
56
|
+
*/
|
|
57
|
+
static async fromFields(fields, multiBlobFieldsHash) {
|
|
58
|
+
if (fields.length > FIELD_ELEMENTS_PER_BLOB) {
|
|
59
|
+
throw new Error(`Attempted to overfill blob with ${fields.length} elements. The maximum is ${FIELD_ELEMENTS_PER_BLOB}`);
|
|
60
|
+
}
|
|
61
|
+
const data = Buffer.concat([serializeToBuffer(fields)], BYTES_PER_BLOB);
|
|
62
|
+
// This matches the output of SpongeBlob.squeeze() in the blob circuit
|
|
63
|
+
const fieldsHash = multiBlobFieldsHash ? multiBlobFieldsHash : await poseidon2Hash(fields);
|
|
64
|
+
const commitment = Buffer.from(blobToKzgCommitment(data));
|
|
65
|
+
const challengeZ = await poseidon2Hash([fieldsHash, ...commitmentToFields(commitment)]);
|
|
66
|
+
const res = computeKzgProof(data, challengeZ.toBuffer());
|
|
67
|
+
if (!verifyKzgProof(commitment, challengeZ.toBuffer(), res[1], res[0])) {
|
|
68
|
+
throw new Error(`KZG proof did not verify.`);
|
|
69
|
+
}
|
|
70
|
+
const proof = Buffer.from(res[0]);
|
|
71
|
+
const evaluationY = Buffer.from(res[1]);
|
|
72
|
+
return new Blob(data, fieldsHash, challengeZ, evaluationY, commitment, proof);
|
|
73
|
+
}
|
|
74
|
+
/**
|
|
75
|
+
* Create a Blob from a JSON object.
|
|
76
|
+
*
|
|
77
|
+
* Blobs will be in this form when requested from the blob sink, or from
|
|
78
|
+
* the beacon chain via `getBlobSidecars`
|
|
79
|
+
* https://ethereum.github.io/beacon-APIs/?urls.primaryName=dev#/Beacon/getBlobSidecars
|
|
80
|
+
*
|
|
81
|
+
* @dev WARNING: by default json deals with encoded buffers
|
|
82
|
+
*
|
|
83
|
+
* @param json - The JSON object to create the Blob from.
|
|
84
|
+
* @returns A Blob created from the JSON object.
|
|
85
|
+
*/
|
|
86
|
+
static async fromJson(json) {
|
|
87
|
+
const blobBuffer = Buffer.from(json.blob.slice(2), 'hex');
|
|
88
|
+
const blob = await Blob.fromEncodedBlobBuffer(blobBuffer);
|
|
89
|
+
if (blob.commitment.toString('hex') !== json.kzg_commitment.slice(2)) {
|
|
90
|
+
throw new Error('KZG commitment does not match');
|
|
91
|
+
}
|
|
92
|
+
// We do not check the proof, as it will be different if the challenge is shared
|
|
93
|
+
// across multiple blobs
|
|
94
|
+
return blob;
|
|
95
|
+
}
|
|
96
|
+
/**
|
|
97
|
+
* Get the JSON representation of the blob.
|
|
98
|
+
*
|
|
99
|
+
* @dev WARNING: by default json deals with encoded buffers
|
|
100
|
+
* @param index - optional - The index of the blob in the block.
|
|
101
|
+
* @returns The JSON representation of the blob.
|
|
102
|
+
*/
|
|
103
|
+
toJson(index) {
|
|
104
|
+
return {
|
|
105
|
+
blob: `0x${Buffer.from(this.data).toString('hex')}`,
|
|
106
|
+
index,
|
|
107
|
+
// eslint-disable-next-line camelcase
|
|
108
|
+
kzg_commitment: `0x${this.commitment.toString('hex')}`,
|
|
109
|
+
// eslint-disable-next-line camelcase
|
|
110
|
+
kzg_proof: `0x${this.proof.toString('hex')}`,
|
|
111
|
+
};
|
|
112
|
+
}
|
|
113
|
+
/**
|
|
114
|
+
* Get the fields from the blob.
|
|
115
|
+
*
|
|
116
|
+
* @dev WARNING: this method does not take into account trailing zeros
|
|
117
|
+
*
|
|
118
|
+
* @returns The fields from the blob.
|
|
119
|
+
*/
|
|
120
|
+
toFields() {
|
|
121
|
+
return extractBlobFieldsFromBuffer(this.data);
|
|
122
|
+
}
|
|
123
|
+
/**
|
|
124
|
+
* Get the encoded fields from the blob.
|
|
125
|
+
*
|
|
126
|
+
* @dev This method takes into account trailing zeros
|
|
127
|
+
*
|
|
128
|
+
* @returns The encoded fields from the blob.
|
|
129
|
+
*/
|
|
130
|
+
toEncodedFields() {
|
|
131
|
+
return deserializeEncodedBlobFields(this.data);
|
|
132
|
+
}
|
|
133
|
+
/**
|
|
134
|
+
* Get the commitment fields from the blob.
|
|
135
|
+
*
|
|
136
|
+
* The 48-byte commitment is encoded into two field elements:
|
|
137
|
+
* +------------------+------------------+
|
|
138
|
+
* | Field Element 1 | Field Element 2 |
|
|
139
|
+
* | [bytes 0-31] | [bytes 32-47] |
|
|
140
|
+
* +------------------+------------------+
|
|
141
|
+
* | 32 bytes | 16 bytes |
|
|
142
|
+
* +------------------+------------------+
|
|
143
|
+
* @returns The commitment fields from the blob.
|
|
144
|
+
*/
|
|
145
|
+
commitmentToFields() {
|
|
146
|
+
return commitmentToFields(this.commitment);
|
|
147
|
+
}
|
|
148
|
+
// Returns ethereum's versioned blob hash, following kzg_to_versioned_hash: https://eips.ethereum.org/EIPS/eip-4844#helpers
|
|
149
|
+
getEthVersionedBlobHash() {
|
|
150
|
+
const hash = sha256(this.commitment);
|
|
151
|
+
hash[0] = VERSIONED_HASH_VERSION_KZG;
|
|
152
|
+
return hash;
|
|
153
|
+
}
|
|
154
|
+
static getEthVersionedBlobHash(commitment) {
|
|
155
|
+
const hash = sha256(commitment);
|
|
156
|
+
hash[0] = VERSIONED_HASH_VERSION_KZG;
|
|
157
|
+
return hash;
|
|
158
|
+
}
|
|
159
|
+
/**
|
|
160
|
+
* Get the buffer representation of the ENTIRE blob.
|
|
161
|
+
*
|
|
162
|
+
* @dev WARNING: this buffer contains all metadata aswell as the data itself
|
|
163
|
+
*
|
|
164
|
+
* @returns The buffer representation of the blob.
|
|
165
|
+
*/
|
|
166
|
+
toBuffer() {
|
|
167
|
+
return Buffer.from(serializeToBuffer(this.data.length, this.data, this.fieldsHash, this.challengeZ, this.evaluationY.length, this.evaluationY, this.commitment.length, this.commitment, this.proof.length, this.proof));
|
|
168
|
+
}
|
|
169
|
+
/**
|
|
170
|
+
* Create a Blob from a buffer.
|
|
171
|
+
*
|
|
172
|
+
* @dev WARNING: this method contains all metadata aswell as the data itself
|
|
173
|
+
*
|
|
174
|
+
* @param buf - The buffer to create the Blob from.
|
|
175
|
+
* @returns A Blob created from the buffer.
|
|
176
|
+
*/
|
|
177
|
+
static fromBuffer(buf) {
|
|
178
|
+
const reader = BufferReader.asReader(buf);
|
|
179
|
+
return new Blob(reader.readUint8Array(), reader.readObject(Fr), reader.readObject(Fr), reader.readBuffer(), reader.readBuffer(), reader.readBuffer());
|
|
180
|
+
}
|
|
181
|
+
/**
|
|
182
|
+
* Get the size of the blob in bytes
|
|
183
|
+
*/
|
|
184
|
+
getSize() {
|
|
185
|
+
return this.data.length;
|
|
186
|
+
}
|
|
187
|
+
/**
|
|
188
|
+
* Returns a proof of opening of the blob to verify on L1 using the point evaluation precompile:
|
|
189
|
+
*
|
|
190
|
+
* input[:32] - versioned_hash
|
|
191
|
+
* input[32:64] - z
|
|
192
|
+
* input[64:96] - y
|
|
193
|
+
* input[96:144] - commitment C
|
|
194
|
+
* input[144:192] - proof (a commitment to the quotient polynomial q(X))
|
|
195
|
+
*
|
|
196
|
+
* See https://eips.ethereum.org/EIPS/eip-4844#point-evaluation-precompile
|
|
197
|
+
*/
|
|
198
|
+
getEthBlobEvaluationInputs() {
|
|
199
|
+
const buf = Buffer.concat([
|
|
200
|
+
this.getEthVersionedBlobHash(),
|
|
201
|
+
this.challengeZ.toBuffer(),
|
|
202
|
+
this.evaluationY,
|
|
203
|
+
this.commitment,
|
|
204
|
+
this.proof,
|
|
205
|
+
]);
|
|
206
|
+
return `0x${buf.toString('hex')}`;
|
|
207
|
+
}
|
|
208
|
+
static getEthBlobEvaluationInputs(blobs) {
|
|
209
|
+
let buf = Buffer.alloc(0);
|
|
210
|
+
blobs.forEach(blob => {
|
|
211
|
+
buf = Buffer.concat([
|
|
212
|
+
buf,
|
|
213
|
+
blob.getEthVersionedBlobHash(),
|
|
214
|
+
blob.challengeZ.toBuffer(),
|
|
215
|
+
blob.evaluationY,
|
|
216
|
+
blob.commitment,
|
|
217
|
+
blob.proof,
|
|
218
|
+
]);
|
|
219
|
+
});
|
|
220
|
+
// For multiple blobs, we prefix the number of blobs:
|
|
221
|
+
const lenBuf = Buffer.alloc(1);
|
|
222
|
+
lenBuf.writeUint8(blobs.length);
|
|
223
|
+
buf = Buffer.concat([lenBuf, buf]);
|
|
224
|
+
return `0x${buf.toString('hex')}`;
|
|
225
|
+
}
|
|
226
|
+
static getViemKzgInstance() {
|
|
227
|
+
return {
|
|
228
|
+
blobToKzgCommitment: cKzg.blobToKzgCommitment,
|
|
229
|
+
computeBlobKzgProof: cKzg.computeBlobKzgProof,
|
|
230
|
+
};
|
|
231
|
+
}
|
|
232
|
+
// Returns as many blobs as we require to broadcast the given fields
|
|
233
|
+
// Assumes we share the fields hash between all blobs
|
|
234
|
+
static async getBlobs(fields) {
|
|
235
|
+
const numBlobs = Math.max(Math.ceil(fields.length / FIELD_ELEMENTS_PER_BLOB), 1);
|
|
236
|
+
const multiBlobFieldsHash = await poseidon2Hash(fields);
|
|
237
|
+
const res = [];
|
|
238
|
+
for (let i = 0; i < numBlobs; i++) {
|
|
239
|
+
const end = fields.length < (i + 1) * FIELD_ELEMENTS_PER_BLOB ? fields.length : (i + 1) * FIELD_ELEMENTS_PER_BLOB;
|
|
240
|
+
res.push(await Blob.fromFields(fields.slice(i * FIELD_ELEMENTS_PER_BLOB, end), multiBlobFieldsHash));
|
|
241
|
+
}
|
|
242
|
+
return res;
|
|
243
|
+
}
|
|
244
|
+
}
|
|
245
|
+
// 48 bytes encoded in fields as [Fr, Fr] = [0->31, 31->48]
|
|
246
|
+
function commitmentToFields(commitment) {
|
|
247
|
+
return [new Fr(commitment.subarray(0, 31)), new Fr(commitment.subarray(31, 48))];
|
|
248
|
+
}
|
|
249
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvYi5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ibG9iL2Jsb2IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsaUdBQWlHO0FBQ2pHLE9BQU8sSUFBSSxNQUFNLE9BQU8sQ0FBQztBQUd6QixPQUFPLEVBQUUsYUFBYSxFQUFFLE1BQU0sRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzNELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUN4QyxPQUFPLEVBQUUsWUFBWSxFQUFFLGlCQUFpQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDeEUsT0FBTyxFQUFFLDRCQUE0QixFQUFFLDJCQUEyQixFQUFFLE1BQU0sZUFBZSxDQUFDO0FBRzFGLHNEQUFzRDtBQUN0RCxNQUFNLEVBQUUsY0FBYyxFQUFFLHVCQUF1QixFQUFFLG1CQUFtQixFQUFFLGVBQWUsRUFBRSxjQUFjLEVBQUUsR0FBRyxJQUFJLENBQUM7QUFFL0csc0dBQXNHO0FBQ3RHLE1BQU0sQ0FBQyxNQUFNLDBCQUEwQixHQUFHLElBQUksQ0FBQztBQUUvQzs7R0FFRztBQUNILE1BQU0sT0FBTyxJQUFJO0lBQ2Y7SUFDRSxvREFBb0Q7SUFDcEMsSUFBZ0I7SUFDaEMsNklBQTZJO0lBQzdILFVBQWM7SUFDOUIsc0ZBQXNGO0lBQ3RFLFVBQWM7SUFDOUIsc0hBQXNIO0lBQ3RHLFdBQW1CO0lBQ25DLGtGQUFrRjtJQUNsRSxVQUFrQjtJQUNsQyxpSUFBaUk7SUFDakgsS0FBYTtRQVZiLFNBQUksR0FBSixJQUFJLENBQVk7UUFFaEIsZUFBVSxHQUFWLFVBQVUsQ0FBSTtRQUVkLGVBQVUsR0FBVixVQUFVLENBQUk7UUFFZCxnQkFBVyxHQUFYLFdBQVcsQ0FBUTtRQUVuQixlQUFVLEdBQVYsVUFBVSxDQUFRO1FBRWxCLFVBQUssR0FBTCxLQUFLLENBQVE7SUFDNUIsQ0FBQztJQUVKOzs7Ozs7Ozs7O09BVUc7SUFDSCxNQUFNLENBQUMscUJBQXFCLENBQUMsSUFBZ0IsRUFBRSxtQkFBd0I7UUFDckUsTUFBTSxNQUFNLEdBQVMsNEJBQTRCLENBQUMsSUFBSSxDQUFDLENBQUM7UUFDeEQsT0FBTyxJQUFJLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxtQkFBbUIsQ0FBQyxDQUFDO0lBQ3RELENBQUM7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsS0FBSyxDQUFDLFVBQVUsQ0FBQyxNQUFZLEVBQUUsbUJBQXdCO1FBQzVELElBQUksTUFBTSxDQUFDLE1BQU0sR0FBRyx1QkFBdUIsRUFBRSxDQUFDO1lBQzVDLE1BQU0sSUFBSSxLQUFLLENBQ2IsbUNBQW1DLE1BQU0sQ0FBQyxNQUFNLDZCQUE2Qix1QkFBdUIsRUFBRSxDQUN2RyxDQUFDO1FBQ0osQ0FBQztRQUVELE1BQU0sSUFBSSxHQUFHLE1BQU0sQ0FBQyxNQUFNLENBQUMsQ0FBQyxpQkFBaUIsQ0FBQyxNQUFNLENBQUMsQ0FBQyxFQUFFLGNBQWMsQ0FBQyxDQUFDO1FBRXhFLHNFQUFzRTtRQUN0RSxNQUFNLFVBQVUsR0FBRyxtQkFBbUIsQ0FBQyxDQUFDLENBQUMsbUJBQW1CLENBQUMsQ0FBQyxDQUFDLE1BQU0sYUFBYSxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQzNGLE1BQU0sVUFBVSxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsbUJBQW1CLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQztRQUMxRCxNQUFNLFVBQVUsR0FBRyxNQUFNLGFBQWEsQ0FBQyxDQUFDLFVBQVUsRUFBRSxHQUFHLGtCQUFrQixDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsQ0FBQztRQUN4RixNQUFNLEdBQUcsR0FBRyxlQUFlLENBQUMsSUFBSSxFQUFFLFVBQVUsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFDO1FBQ3pELElBQUksQ0FBQyxjQUFjLENBQUMsVUFBVSxFQUFFLFVBQVUsQ0FBQyxRQUFRLEVBQUUsRUFBRSxHQUFHLENBQUMsQ0FBQyxDQUFDLEVBQUUsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztZQUN2RSxNQUFNLElBQUksS0FBSyxDQUFDLDJCQUEyQixDQUFDLENBQUM7UUFDL0MsQ0FBQztRQUNELE1BQU0sS0FBSyxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFDbEMsTUFBTSxXQUFXLEdBQUcsTUFBTSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQztRQUV4QyxPQUFPLElBQUksSUFBSSxDQUFDLElBQUksRUFBRSxVQUFVLEVBQUUsVUFBVSxFQUFFLFdBQVcsRUFBRSxVQUFVLEVBQUUsS0FBSyxDQUFDLENBQUM7SUFDaEYsQ0FBQztJQUVEOzs7Ozs7Ozs7OztPQVdHO0lBQ0gsTUFBTSxDQUFDLEtBQUssQ0FBQyxRQUFRLENBQUMsSUFBYztRQUNsQyxNQUFNLFVBQVUsR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxFQUFFLEtBQUssQ0FBQyxDQUFDO1FBRTFELE1BQU0sSUFBSSxHQUFHLE1BQU0sSUFBSSxDQUFDLHFCQUFxQixDQUFDLFVBQVUsQ0FBQyxDQUFDO1FBRTFELElBQUksSUFBSSxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsS0FBSyxDQUFDLEtBQUssSUFBSSxDQUFDLGNBQWMsQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQztZQUNyRSxNQUFNLElBQUksS0FBSyxDQUFDLCtCQUErQixDQUFDLENBQUM7UUFDbkQsQ0FBQztRQUVELGdGQUFnRjtRQUNoRix3QkFBd0I7UUFFeEIsT0FBTyxJQUFJLENBQUM7SUFDZCxDQUFDO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLEtBQWM7UUFDbkIsT0FBTztZQUNMLElBQUksRUFBRSxLQUFLLE1BQU0sQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFDLFFBQVEsQ0FBQyxLQUFLLENBQUMsRUFBRTtZQUNuRCxLQUFLO1lBQ0wscUNBQXFDO1lBQ3JDLGNBQWMsRUFBRSxLQUFLLElBQUksQ0FBQyxVQUFVLENBQUMsUUFBUSxDQUFDLEtBQUssQ0FBQyxFQUFFO1lBQ3RELHFDQUFxQztZQUNyQyxTQUFTLEVBQUUsS0FBSyxJQUFJLENBQUMsS0FBSyxDQUFDLFFBQVEsQ0FBQyxLQUFLLENBQUMsRUFBRTtTQUM3QyxDQUFDO0lBQ0osQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNILFFBQVE7UUFDTixPQUFPLDJCQUEyQixDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUNoRCxDQUFDO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsZUFBZTtRQUNiLE9BQU8sNEJBQTRCLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFDO0lBQ2pELENBQUM7SUFFRDs7Ozs7Ozs7Ozs7T0FXRztJQUNILGtCQUFrQjtRQUNoQixPQUFPLGtCQUFrQixDQUFDLElBQUksQ0FBQyxVQUFVLENBQUMsQ0FBQztJQUM3QyxDQUFDO0lBRUQsMkhBQTJIO0lBQzNILHVCQUF1QjtRQUNyQixNQUFNLElBQUksR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLFVBQVUsQ0FBQyxDQUFDO1FBQ3JDLElBQUksQ0FBQyxDQUFDLENBQUMsR0FBRywwQkFBMEIsQ0FBQztRQUNyQyxPQUFPLElBQUksQ0FBQztJQUNkLENBQUM7SUFFRCxNQUFNLENBQUMsdUJBQXVCLENBQUMsVUFBa0I7UUFDL0MsTUFBTSxJQUFJLEdBQUcsTUFBTSxDQUFDLFVBQVUsQ0FBQyxDQUFDO1FBQ2hDLElBQUksQ0FBQyxDQUFDLENBQUMsR0FBRywwQkFBMEIsQ0FBQztRQUNyQyxPQUFPLElBQUksQ0FBQztJQUNkLENBQUM7SUFFRDs7Ozs7O09BTUc7SUFDSCxRQUFRO1FBQ04sT0FBTyxNQUFNLENBQUMsSUFBSSxDQUNoQixpQkFBaUIsQ0FDZixJQUFJLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFDaEIsSUFBSSxDQUFDLElBQUksRUFDVCxJQUFJLENBQUMsVUFBVSxFQUNmLElBQUksQ0FBQyxVQUFVLEVBQ2YsSUFBSSxDQUFDLFdBQVcsQ0FBQyxNQUFNLEVBQ3ZCLElBQUksQ0FBQyxXQUFXLEVBQ2hCLElBQUksQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUN0QixJQUFJLENBQUMsVUFBVSxFQUNmLElBQUksQ0FBQyxLQUFLLENBQUMsTUFBTSxFQUNqQixJQUFJLENBQUMsS0FBSyxDQUNYLENBQ0YsQ0FBQztJQUNKLENBQUM7SUFFRDs7Ozs7OztPQU9HO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUEwQjtRQUMxQyxNQUFNLE1BQU0sR0FBRyxZQUFZLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxDQUFDO1FBQzFDLE9BQU8sSUFBSSxJQUFJLENBQ2IsTUFBTSxDQUFDLGNBQWMsRUFBRSxFQUN2QixNQUFNLENBQUMsVUFBVSxDQUFDLEVBQUUsQ0FBQyxFQUNyQixNQUFNLENBQUMsVUFBVSxDQUFDLEVBQUUsQ0FBQyxFQUNyQixNQUFNLENBQUMsVUFBVSxFQUFFLEVBQ25CLE1BQU0sQ0FBQyxVQUFVLEVBQUUsRUFDbkIsTUFBTSxDQUFDLFVBQVUsRUFBRSxDQUNwQixDQUFDO0lBQ0osQ0FBQztJQUVEOztPQUVHO0lBQ0gsT0FBTztRQUNMLE9BQU8sSUFBSSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUM7SUFDMUIsQ0FBQztJQUVEOzs7Ozs7Ozs7O09BVUc7SUFDSCwwQkFBMEI7UUFDeEIsTUFBTSxHQUFHLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQztZQUN4QixJQUFJLENBQUMsdUJBQXVCLEVBQUU7WUFDOUIsSUFBSSxDQUFDLFVBQVUsQ0FBQyxRQUFRLEVBQUU7WUFDMUIsSUFBSSxDQUFDLFdBQVc7WUFDaEIsSUFBSSxDQUFDLFVBQVU7WUFDZixJQUFJLENBQUMsS0FBSztTQUNYLENBQUMsQ0FBQztRQUNILE9BQU8sS0FBSyxHQUFHLENBQUMsUUFBUSxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUM7SUFDcEMsQ0FBQztJQUVELE1BQU0sQ0FBQywwQkFBMEIsQ0FBQyxLQUFhO1FBQzdDLElBQUksR0FBRyxHQUFHLE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFDMUIsS0FBSyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsRUFBRTtZQUNuQixHQUFHLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQztnQkFDbEIsR0FBRztnQkFDSCxJQUFJLENBQUMsdUJBQXVCLEVBQUU7Z0JBQzlCLElBQUksQ0FBQyxVQUFVLENBQUMsUUFBUSxFQUFFO2dCQUMxQixJQUFJLENBQUMsV0FBVztnQkFDaEIsSUFBSSxDQUFDLFVBQVU7Z0JBQ2YsSUFBSSxDQUFDLEtBQUs7YUFDWCxDQUFDLENBQUM7UUFDTCxDQUFDLENBQUMsQ0FBQztRQUNILHFEQUFxRDtRQUNyRCxNQUFNLE1BQU0sR0FBRyxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQy9CLE1BQU0sQ0FBQyxVQUFVLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ2hDLEdBQUcsR0FBRyxNQUFNLENBQUMsTUFBTSxDQUFDLENBQUMsTUFBTSxFQUFFLEdBQUcsQ0FBQyxDQUFDLENBQUM7UUFDbkMsT0FBTyxLQUFLLEdBQUcsQ0FBQyxRQUFRLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQztJQUNwQyxDQUFDO0lBRUQsTUFBTSxDQUFDLGtCQUFrQjtRQUN2QixPQUFPO1lBQ0wsbUJBQW1CLEVBQUUsSUFBSSxDQUFDLG1CQUFtQjtZQUM3QyxtQkFBbUIsRUFBRSxJQUFJLENBQUMsbUJBQW1CO1NBQzlDLENBQUM7SUFDSixDQUFDO0lBRUQsb0VBQW9FO0lBQ3BFLHFEQUFxRDtJQUNyRCxNQUFNLENBQUMsS0FBSyxDQUFDLFFBQVEsQ0FBQyxNQUFZO1FBQ2hDLE1BQU0sUUFBUSxHQUFHLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsTUFBTSxHQUFHLHVCQUF1QixDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUM7UUFDakYsTUFBTSxtQkFBbUIsR0FBRyxNQUFNLGFBQWEsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUN4RCxNQUFNLEdBQUcsR0FBRyxFQUFFLENBQUM7UUFDZixLQUFLLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsUUFBUSxFQUFFLENBQUMsRUFBRSxFQUFFLENBQUM7WUFDbEMsTUFBTSxHQUFHLEdBQUcsTUFBTSxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsR0FBRyx1QkFBdUIsQ0FBQyxDQUFDLENBQUMsTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLEdBQUcsdUJBQXVCLENBQUM7WUFDbEgsR0FBRyxDQUFDLElBQUksQ0FBQyxNQUFNLElBQUksQ0FBQyxVQUFVLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLEdBQUcsdUJBQXVCLEVBQUUsR0FBRyxDQUFDLEVBQUUsbUJBQW1CLENBQUMsQ0FBQyxDQUFDO1FBQ3ZHLENBQUM7UUFDRCxPQUFPLEdBQUcsQ0FBQztJQUNiLENBQUM7Q0FDRjtBQUVELDJEQUEyRDtBQUMzRCxTQUFTLGtCQUFrQixDQUFDLFVBQWtCO0lBQzVDLE9BQU8sQ0FBQyxJQUFJLEVBQUUsQ0FBQyxVQUFVLENBQUMsUUFBUSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxFQUFFLElBQUksRUFBRSxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsRUFBRSxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQztBQUNuRixDQUFDIn0=
|
|
@@ -0,0 +1,53 @@
|
|
|
1
|
+
import { Fr } from '@aztec/foundation/fields';
|
|
2
|
+
import type { Blob as BlobBuffer } from 'c-kzg';
|
|
3
|
+
export declare const TX_START_PREFIX = 8392562855083340404n;
|
|
4
|
+
export declare const TX_START_PREFIX_BYTES_LENGTH: number;
|
|
5
|
+
export declare const TX_EFFECT_PREFIX_BYTE_LENGTH: number;
|
|
6
|
+
/**
|
|
7
|
+
* Deserializes a blob buffer into an array of field elements.
|
|
8
|
+
*
|
|
9
|
+
* Blobs are converted into BN254 fields to perform a poseidon2 hash on them (fieldHash).
|
|
10
|
+
* This method is sparse, meaning it does not include trailing zeros at the end of the blob.
|
|
11
|
+
*
|
|
12
|
+
* However, we cannot simply trim the zero's from the end of the blob, as some logs may include zero's
|
|
13
|
+
* within them.
|
|
14
|
+
* If we end on a set of zeros, such as the log below:
|
|
15
|
+
* length 7: [ a, b, c, d, e, 0, 0]
|
|
16
|
+
*
|
|
17
|
+
* we will end up with the incorrect hash if we trim the zeros from the end.
|
|
18
|
+
*
|
|
19
|
+
* Each transactions logs contains a TX start prefix, which includes a string followed
|
|
20
|
+
* by the length ( in field elements ) of the transaction's log.
|
|
21
|
+
*
|
|
22
|
+
* This function finds the end of the last transaction's logs, and returns the array up to this point.
|
|
23
|
+
*
|
|
24
|
+
* We search for a series of Tx Prefixes progressing the cursor in the field reader until we hit
|
|
25
|
+
* a field that is not a Tx Prefix, this indicates that we have reached the end of the last transaction's logs.
|
|
26
|
+
*
|
|
27
|
+
* +------------------+------------------+------------------+------------------+
|
|
28
|
+
* | TX1 Start Prefix | TX1 Log Fields | TX2 Start Prefix | Padded zeros |
|
|
29
|
+
* | [3 a,b,c] | [3, a, b, c] | [5 d,e,f,0,0] | [0, 0, 0, .., 0] |
|
|
30
|
+
* +------------------+------------------+------------------+------------------+
|
|
31
|
+
* ^
|
|
32
|
+
* |
|
|
33
|
+
* Function reads until here --------------------------------
|
|
34
|
+
*
|
|
35
|
+
* @param blob - The blob buffer to deserialize.
|
|
36
|
+
* @returns An array of field elements.
|
|
37
|
+
*/
|
|
38
|
+
export declare function deserializeEncodedBlobFields(blob: BlobBuffer): Fr[];
|
|
39
|
+
export declare function getLengthFromFirstField(firstField: Fr): number;
|
|
40
|
+
/**
|
|
41
|
+
* Extract the fields from a blob buffer, but do not take into account encoding
|
|
42
|
+
* that will include trailing zeros.
|
|
43
|
+
*
|
|
44
|
+
* +------------------+------------------+------------------+------------------+
|
|
45
|
+
* | | | | Padded zeros |
|
|
46
|
+
* | [3 a,b,c] | [3, a, b, c] | [5 d,e,f,0,0] | [0, 0, 0, .., 0] |
|
|
47
|
+
* +------------------+------------------+------------------+------------------+
|
|
48
|
+
* ^
|
|
49
|
+
* |
|
|
50
|
+
* Function reads until here ----------------------
|
|
51
|
+
*/
|
|
52
|
+
export declare function extractBlobFieldsFromBuffer(blob: BlobBuffer): Fr[];
|
|
53
|
+
//# sourceMappingURL=encoding.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"encoding.d.ts","sourceRoot":"","sources":["../../src/blob/encoding.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,KAAK,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,OAAO,CAAC;AAGhD,eAAO,MAAM,eAAe,uBAAuB,CAAC;AAEpD,eAAO,MAAM,4BAA4B,QAA0C,CAAC;AAEpF,eAAO,MAAM,4BAA4B,QAAmC,CAAC;AAE7E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,UAAU,GAAG,EAAE,EAAE,CAsBnE;AAED,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,EAAE,GAAG,MAAM,CAG9D;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,UAAU,GAAG,EAAE,EAAE,CAYlE"}
|
|
@@ -0,0 +1,87 @@
|
|
|
1
|
+
import { Fr } from '@aztec/foundation/fields';
|
|
2
|
+
import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
|
|
3
|
+
// This will appear as 0x74785f7374617274 in logs
|
|
4
|
+
export const TX_START_PREFIX = 8392562855083340404n;
|
|
5
|
+
// These are helper constants to decode tx effects from blob encoded fields
|
|
6
|
+
export const TX_START_PREFIX_BYTES_LENGTH = TX_START_PREFIX.toString(16).length / 2;
|
|
7
|
+
// 7 bytes for: | 0 | txlen[0] | txlen[1] | 0 | REVERT_CODE_PREFIX | 0 | revertCode |
|
|
8
|
+
export const TX_EFFECT_PREFIX_BYTE_LENGTH = TX_START_PREFIX_BYTES_LENGTH + 7;
|
|
9
|
+
/**
|
|
10
|
+
* Deserializes a blob buffer into an array of field elements.
|
|
11
|
+
*
|
|
12
|
+
* Blobs are converted into BN254 fields to perform a poseidon2 hash on them (fieldHash).
|
|
13
|
+
* This method is sparse, meaning it does not include trailing zeros at the end of the blob.
|
|
14
|
+
*
|
|
15
|
+
* However, we cannot simply trim the zero's from the end of the blob, as some logs may include zero's
|
|
16
|
+
* within them.
|
|
17
|
+
* If we end on a set of zeros, such as the log below:
|
|
18
|
+
* length 7: [ a, b, c, d, e, 0, 0]
|
|
19
|
+
*
|
|
20
|
+
* we will end up with the incorrect hash if we trim the zeros from the end.
|
|
21
|
+
*
|
|
22
|
+
* Each transactions logs contains a TX start prefix, which includes a string followed
|
|
23
|
+
* by the length ( in field elements ) of the transaction's log.
|
|
24
|
+
*
|
|
25
|
+
* This function finds the end of the last transaction's logs, and returns the array up to this point.
|
|
26
|
+
*
|
|
27
|
+
* We search for a series of Tx Prefixes progressing the cursor in the field reader until we hit
|
|
28
|
+
* a field that is not a Tx Prefix, this indicates that we have reached the end of the last transaction's logs.
|
|
29
|
+
*
|
|
30
|
+
* +------------------+------------------+------------------+------------------+
|
|
31
|
+
* | TX1 Start Prefix | TX1 Log Fields | TX2 Start Prefix | Padded zeros |
|
|
32
|
+
* | [3 a,b,c] | [3, a, b, c] | [5 d,e,f,0,0] | [0, 0, 0, .., 0] |
|
|
33
|
+
* +------------------+------------------+------------------+------------------+
|
|
34
|
+
* ^
|
|
35
|
+
* |
|
|
36
|
+
* Function reads until here --------------------------------
|
|
37
|
+
*
|
|
38
|
+
* @param blob - The blob buffer to deserialize.
|
|
39
|
+
* @returns An array of field elements.
|
|
40
|
+
*/
|
|
41
|
+
export function deserializeEncodedBlobFields(blob) {
|
|
42
|
+
// Convert blob buffer to array of field elements
|
|
43
|
+
const reader = BufferReader.asReader(blob);
|
|
44
|
+
const array = reader.readArray(blob.length >> 5, Fr); // >> 5 = / 32 (bytes per field)
|
|
45
|
+
const fieldReader = FieldReader.asReader(array);
|
|
46
|
+
// Read fields until we hit zeros at the end
|
|
47
|
+
while (!fieldReader.isFinished()) {
|
|
48
|
+
const currentField = fieldReader.peekField();
|
|
49
|
+
// Stop when we hit a zero field
|
|
50
|
+
if (!currentField || currentField.isZero()) {
|
|
51
|
+
break;
|
|
52
|
+
}
|
|
53
|
+
// Skip the remaining fields in this transaction
|
|
54
|
+
const len = getLengthFromFirstField(currentField);
|
|
55
|
+
fieldReader.skip(len);
|
|
56
|
+
}
|
|
57
|
+
// Return array up to last non-zero field
|
|
58
|
+
return array.slice(0, fieldReader.cursor);
|
|
59
|
+
}
|
|
60
|
+
export function getLengthFromFirstField(firstField) {
|
|
61
|
+
const buf = firstField.toBuffer().subarray(-TX_EFFECT_PREFIX_BYTE_LENGTH);
|
|
62
|
+
return new Fr(buf.subarray(TX_START_PREFIX_BYTES_LENGTH + 1, TX_START_PREFIX_BYTES_LENGTH + 3)).toNumber();
|
|
63
|
+
}
|
|
64
|
+
/**
|
|
65
|
+
* Extract the fields from a blob buffer, but do not take into account encoding
|
|
66
|
+
* that will include trailing zeros.
|
|
67
|
+
*
|
|
68
|
+
* +------------------+------------------+------------------+------------------+
|
|
69
|
+
* | | | | Padded zeros |
|
|
70
|
+
* | [3 a,b,c] | [3, a, b, c] | [5 d,e,f,0,0] | [0, 0, 0, .., 0] |
|
|
71
|
+
* +------------------+------------------+------------------+------------------+
|
|
72
|
+
* ^
|
|
73
|
+
* |
|
|
74
|
+
* Function reads until here ----------------------
|
|
75
|
+
*/
|
|
76
|
+
export function extractBlobFieldsFromBuffer(blob) {
|
|
77
|
+
const reader = BufferReader.asReader(blob);
|
|
78
|
+
const array = reader.readArray(blob.length >> 5, Fr);
|
|
79
|
+
// Find the index of the last non-zero field
|
|
80
|
+
let lastNonZeroIndex = array.length - 1;
|
|
81
|
+
while (lastNonZeroIndex >= 0 && array[lastNonZeroIndex].isZero()) {
|
|
82
|
+
lastNonZeroIndex--;
|
|
83
|
+
}
|
|
84
|
+
// Return the trimmed array
|
|
85
|
+
return array.slice(0, lastNonZeroIndex + 1);
|
|
86
|
+
}
|
|
87
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZW5jb2RpbmcuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvYi9lbmNvZGluZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDOUMsT0FBTyxFQUFFLFlBQVksRUFBRSxXQUFXLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUl4RSxpREFBaUQ7QUFDakQsTUFBTSxDQUFDLE1BQU0sZUFBZSxHQUFHLG9CQUFvQixDQUFDO0FBQ3BELDJFQUEyRTtBQUMzRSxNQUFNLENBQUMsTUFBTSw0QkFBNEIsR0FBRyxlQUFlLENBQUMsUUFBUSxDQUFDLEVBQUUsQ0FBQyxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUM7QUFDcEYscUZBQXFGO0FBQ3JGLE1BQU0sQ0FBQyxNQUFNLDRCQUE0QixHQUFHLDRCQUE0QixHQUFHLENBQUMsQ0FBQztBQUU3RTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztHQStCRztBQUNILE1BQU0sVUFBVSw0QkFBNEIsQ0FBQyxJQUFnQjtJQUMzRCxpREFBaUQ7SUFDakQsTUFBTSxNQUFNLEdBQUcsWUFBWSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUMzQyxNQUFNLEtBQUssR0FBRyxNQUFNLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxNQUFNLElBQUksQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsZ0NBQWdDO0lBQ3RGLE1BQU0sV0FBVyxHQUFHLFdBQVcsQ0FBQyxRQUFRLENBQUMsS0FBSyxDQUFDLENBQUM7SUFFaEQsNENBQTRDO0lBQzVDLE9BQU8sQ0FBQyxXQUFXLENBQUMsVUFBVSxFQUFFLEVBQUUsQ0FBQztRQUNqQyxNQUFNLFlBQVksR0FBRyxXQUFXLENBQUMsU0FBUyxFQUFFLENBQUM7UUFFN0MsZ0NBQWdDO1FBQ2hDLElBQUksQ0FBQyxZQUFZLElBQUksWUFBWSxDQUFDLE1BQU0sRUFBRSxFQUFFLENBQUM7WUFDM0MsTUFBTTtRQUNSLENBQUM7UUFFRCxnREFBZ0Q7UUFDaEQsTUFBTSxHQUFHLEdBQUcsdUJBQXVCLENBQUMsWUFBWSxDQUFDLENBQUM7UUFDbEQsV0FBVyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQztJQUN4QixDQUFDO0lBRUQseUNBQXlDO0lBQ3pDLE9BQU8sS0FBSyxDQUFDLEtBQUssQ0FBQyxDQUFDLEVBQUUsV0FBVyxDQUFDLE1BQU0sQ0FBQyxDQUFDO0FBQzVDLENBQUM7QUFFRCxNQUFNLFVBQVUsdUJBQXVCLENBQUMsVUFBYztJQUNwRCxNQUFNLEdBQUcsR0FBRyxVQUFVLENBQUMsUUFBUSxFQUFFLENBQUMsUUFBUSxDQUFDLENBQUMsNEJBQTRCLENBQUMsQ0FBQztJQUMxRSxPQUFPLElBQUksRUFBRSxDQUFDLEdBQUcsQ0FBQyxRQUFRLENBQUMsNEJBQTRCLEdBQUcsQ0FBQyxFQUFFLDRCQUE0QixHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUMsUUFBUSxFQUFFLENBQUM7QUFDN0csQ0FBQztBQUVEOzs7Ozs7Ozs7OztHQVdHO0FBQ0gsTUFBTSxVQUFVLDJCQUEyQixDQUFDLElBQWdCO0lBQzFELE1BQU0sTUFBTSxHQUFHLFlBQVksQ0FBQyxRQUFRLENBQUMsSUFBSSxDQUFDLENBQUM7SUFDM0MsTUFBTSxLQUFLLEdBQUcsTUFBTSxDQUFDLFNBQVMsQ0FBQyxJQUFJLENBQUMsTUFBTSxJQUFJLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQztJQUVyRCw0Q0FBNEM7SUFDNUMsSUFBSSxnQkFBZ0IsR0FBRyxLQUFLLENBQUMsTUFBTSxHQUFHLENBQUMsQ0FBQztJQUN4QyxPQUFPLGdCQUFnQixJQUFJLENBQUMsSUFBSSxLQUFLLENBQUMsZ0JBQWdCLENBQUMsQ0FBQyxNQUFNLEVBQUUsRUFBRSxDQUFDO1FBQ2pFLGdCQUFnQixFQUFFLENBQUM7SUFDckIsQ0FBQztJQUVELDJCQUEyQjtJQUMzQixPQUFPLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBQyxFQUFFLGdCQUFnQixHQUFHLENBQUMsQ0FBQyxDQUFDO0FBQzlDLENBQUMifQ==
|
package/dest/blob/index.d.ts
CHANGED
|
@@ -1,59 +1,5 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
import { Fr } from '../fields/index.js';
|
|
6
|
-
import { BufferReader } from '../serialize/index.js';
|
|
7
|
-
export declare const VERSIONED_HASH_VERSION_KZG = 1;
|
|
8
|
-
/**
|
|
9
|
-
* A class to create, manage, and prove EVM blobs.
|
|
10
|
-
*/
|
|
11
|
-
export declare class Blob {
|
|
12
|
-
/** The blob to be broadcast on L1 in bytes form. */
|
|
13
|
-
readonly data: BlobBuffer;
|
|
14
|
-
/** The hash of all tx effects inside the blob. Used in generating the challenge z and proving that we have included all required effects. */
|
|
15
|
-
readonly fieldsHash: Fr;
|
|
16
|
-
/** Challenge point z (= H(H(tx_effects), kzgCommmitment). Used such that p(z) = y. */
|
|
17
|
-
readonly challengeZ: Fr;
|
|
18
|
-
/** Evaluation y = p(z), where p() is the blob polynomial. BLS12 field element, rep. as BigNum in nr, bigint in ts. */
|
|
19
|
-
readonly evaluationY: Buffer;
|
|
20
|
-
/** Commitment to the blob C. Used in compressed BLS12 point format (48 bytes). */
|
|
21
|
-
readonly commitment: Buffer;
|
|
22
|
-
/** KZG opening proof for y = p(z). The commitment to quotient polynomial Q, used in compressed BLS12 point format (48 bytes). */
|
|
23
|
-
readonly proof: Buffer;
|
|
24
|
-
constructor(
|
|
25
|
-
/** The blob to be broadcast on L1 in bytes form. */
|
|
26
|
-
data: BlobBuffer,
|
|
27
|
-
/** The hash of all tx effects inside the blob. Used in generating the challenge z and proving that we have included all required effects. */
|
|
28
|
-
fieldsHash: Fr,
|
|
29
|
-
/** Challenge point z (= H(H(tx_effects), kzgCommmitment). Used such that p(z) = y. */
|
|
30
|
-
challengeZ: Fr,
|
|
31
|
-
/** Evaluation y = p(z), where p() is the blob polynomial. BLS12 field element, rep. as BigNum in nr, bigint in ts. */
|
|
32
|
-
evaluationY: Buffer,
|
|
33
|
-
/** Commitment to the blob C. Used in compressed BLS12 point format (48 bytes). */
|
|
34
|
-
commitment: Buffer,
|
|
35
|
-
/** KZG opening proof for y = p(z). The commitment to quotient polynomial Q, used in compressed BLS12 point format (48 bytes). */
|
|
36
|
-
proof: Buffer);
|
|
37
|
-
static fromFields(fields: Fr[], multiBlobFieldsHash?: Fr): Blob;
|
|
38
|
-
commitmentToFields(): [Fr, Fr];
|
|
39
|
-
getEthVersionedBlobHash(): Buffer;
|
|
40
|
-
static getEthVersionedBlobHash(commitment: Buffer): Buffer;
|
|
41
|
-
toBuffer(): Buffer;
|
|
42
|
-
static fromBuffer(buf: Buffer | BufferReader): Blob;
|
|
43
|
-
/**
|
|
44
|
-
* Pad the blob data to it's full size before posting
|
|
45
|
-
*/
|
|
46
|
-
get dataWithZeros(): BlobBuffer;
|
|
47
|
-
/**
|
|
48
|
-
* Get the size of the blob in bytes
|
|
49
|
-
*/
|
|
50
|
-
getSize(): number;
|
|
51
|
-
getEthBlobEvaluationInputs(): `0x${string}`;
|
|
52
|
-
static getEthBlobEvaluationInputs(blobs: Blob[]): `0x${string}`;
|
|
53
|
-
static getViemKzgInstance(): {
|
|
54
|
-
blobToKzgCommitment: typeof cKzg.blobToKzgCommitment;
|
|
55
|
-
computeBlobKzgProof: typeof cKzg.computeBlobKzgProof;
|
|
56
|
-
};
|
|
57
|
-
static getBlobs(fields: Fr[]): Blob[];
|
|
58
|
-
}
|
|
1
|
+
export * from './blob.js';
|
|
2
|
+
export * from './mocks.js';
|
|
3
|
+
export * from './encoding.js';
|
|
4
|
+
export * from './interface.js';
|
|
59
5
|
//# sourceMappingURL=index.d.ts.map
|
package/dest/blob/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/blob/index.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/blob/index.ts"],"names":[],"mappings":"AAKA,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC"}
|
package/dest/blob/index.js
CHANGED
|
@@ -1,10 +1,10 @@
|
|
|
1
1
|
import cKzg from 'c-kzg';
|
|
2
|
-
import { poseidon2Hash, sha256 } from '../crypto/index.js';
|
|
3
|
-
import { Fr } from '../fields/index.js';
|
|
4
|
-
import { BufferReader, serializeToBuffer } from '../serialize/index.js';
|
|
5
|
-
// Importing directly from 'c-kzg' does not work, ignoring import/no-named-as-default-member err:
|
|
6
2
|
/* eslint-disable import/no-named-as-default-member */
|
|
7
|
-
const {
|
|
3
|
+
const { loadTrustedSetup } = cKzg;
|
|
4
|
+
export * from './blob.js';
|
|
5
|
+
export * from './mocks.js';
|
|
6
|
+
export * from './encoding.js';
|
|
7
|
+
export * from './interface.js';
|
|
8
8
|
try {
|
|
9
9
|
loadTrustedSetup();
|
|
10
10
|
}
|
|
@@ -18,140 +18,4 @@ catch (error) {
|
|
|
18
18
|
throw new Error(error);
|
|
19
19
|
}
|
|
20
20
|
}
|
|
21
|
-
|
|
22
|
-
export const VERSIONED_HASH_VERSION_KZG = 0x01;
|
|
23
|
-
/**
|
|
24
|
-
* A class to create, manage, and prove EVM blobs.
|
|
25
|
-
*/
|
|
26
|
-
export class Blob {
|
|
27
|
-
constructor(
|
|
28
|
-
/** The blob to be broadcast on L1 in bytes form. */
|
|
29
|
-
data,
|
|
30
|
-
/** The hash of all tx effects inside the blob. Used in generating the challenge z and proving that we have included all required effects. */
|
|
31
|
-
fieldsHash,
|
|
32
|
-
/** Challenge point z (= H(H(tx_effects), kzgCommmitment). Used such that p(z) = y. */
|
|
33
|
-
challengeZ,
|
|
34
|
-
/** Evaluation y = p(z), where p() is the blob polynomial. BLS12 field element, rep. as BigNum in nr, bigint in ts. */
|
|
35
|
-
evaluationY,
|
|
36
|
-
/** Commitment to the blob C. Used in compressed BLS12 point format (48 bytes). */
|
|
37
|
-
commitment,
|
|
38
|
-
/** KZG opening proof for y = p(z). The commitment to quotient polynomial Q, used in compressed BLS12 point format (48 bytes). */
|
|
39
|
-
proof) {
|
|
40
|
-
this.data = data;
|
|
41
|
-
this.fieldsHash = fieldsHash;
|
|
42
|
-
this.challengeZ = challengeZ;
|
|
43
|
-
this.evaluationY = evaluationY;
|
|
44
|
-
this.commitment = commitment;
|
|
45
|
-
this.proof = proof;
|
|
46
|
-
}
|
|
47
|
-
static fromFields(fields, multiBlobFieldsHash) {
|
|
48
|
-
if (fields.length > FIELD_ELEMENTS_PER_BLOB) {
|
|
49
|
-
throw new Error(`Attempted to overfill blob with ${fields.length} elements. The maximum is ${FIELD_ELEMENTS_PER_BLOB}`);
|
|
50
|
-
}
|
|
51
|
-
const dataWithoutZeros = serializeToBuffer(fields);
|
|
52
|
-
const data = Buffer.concat([dataWithoutZeros], BYTES_PER_BLOB);
|
|
53
|
-
// This matches the output of SpongeBlob.squeeze() in the blob circuit
|
|
54
|
-
const fieldsHash = multiBlobFieldsHash ? multiBlobFieldsHash : poseidon2Hash(fields);
|
|
55
|
-
const commitment = Buffer.from(blobToKzgCommitment(data));
|
|
56
|
-
const challengeZ = poseidon2Hash([fieldsHash, ...commitmentToFields(commitment)]);
|
|
57
|
-
const res = computeKzgProof(data, challengeZ.toBuffer());
|
|
58
|
-
if (!verifyKzgProof(commitment, challengeZ.toBuffer(), res[1], res[0])) {
|
|
59
|
-
throw new Error(`KZG proof did not verify.`);
|
|
60
|
-
}
|
|
61
|
-
const proof = Buffer.from(res[0]);
|
|
62
|
-
const evaluationY = Buffer.from(res[1]);
|
|
63
|
-
return new Blob(dataWithoutZeros, fieldsHash, challengeZ, evaluationY, commitment, proof);
|
|
64
|
-
}
|
|
65
|
-
// 48 bytes encoded in fields as [Fr, Fr] = [0->31, 31->48]
|
|
66
|
-
commitmentToFields() {
|
|
67
|
-
return commitmentToFields(this.commitment);
|
|
68
|
-
}
|
|
69
|
-
// Returns ethereum's versioned blob hash, following kzg_to_versioned_hash: https://eips.ethereum.org/EIPS/eip-4844#helpers
|
|
70
|
-
getEthVersionedBlobHash() {
|
|
71
|
-
const hash = sha256(this.commitment);
|
|
72
|
-
hash[0] = VERSIONED_HASH_VERSION_KZG;
|
|
73
|
-
return hash;
|
|
74
|
-
}
|
|
75
|
-
static getEthVersionedBlobHash(commitment) {
|
|
76
|
-
const hash = sha256(commitment);
|
|
77
|
-
hash[0] = VERSIONED_HASH_VERSION_KZG;
|
|
78
|
-
return hash;
|
|
79
|
-
}
|
|
80
|
-
toBuffer() {
|
|
81
|
-
return Buffer.from(serializeToBuffer(this.data.length, this.data, this.fieldsHash, this.challengeZ, this.evaluationY.length, this.evaluationY, this.commitment.length, this.commitment, this.proof.length, this.proof));
|
|
82
|
-
}
|
|
83
|
-
static fromBuffer(buf) {
|
|
84
|
-
const reader = BufferReader.asReader(buf);
|
|
85
|
-
return new Blob(reader.readUint8Array(), reader.readObject(Fr), reader.readObject(Fr), reader.readBuffer(), reader.readBuffer(), reader.readBuffer());
|
|
86
|
-
}
|
|
87
|
-
/**
|
|
88
|
-
* Pad the blob data to it's full size before posting
|
|
89
|
-
*/
|
|
90
|
-
get dataWithZeros() {
|
|
91
|
-
return Buffer.concat([this.data], BYTES_PER_BLOB);
|
|
92
|
-
}
|
|
93
|
-
/**
|
|
94
|
-
* Get the size of the blob in bytes
|
|
95
|
-
*/
|
|
96
|
-
getSize() {
|
|
97
|
-
return this.data.length;
|
|
98
|
-
}
|
|
99
|
-
// Returns a proof of opening of the blob to verify on L1 using the point evaluation precompile:
|
|
100
|
-
// * input[:32] - versioned_hash
|
|
101
|
-
// * input[32:64] - z
|
|
102
|
-
// * input[64:96] - y
|
|
103
|
-
// * input[96:144] - commitment C
|
|
104
|
-
// * input[144:192] - proof (a commitment to the quotient polynomial q(X))
|
|
105
|
-
// See https://eips.ethereum.org/EIPS/eip-4844#point-evaluation-precompile
|
|
106
|
-
getEthBlobEvaluationInputs() {
|
|
107
|
-
const buf = Buffer.concat([
|
|
108
|
-
this.getEthVersionedBlobHash(),
|
|
109
|
-
this.challengeZ.toBuffer(),
|
|
110
|
-
this.evaluationY,
|
|
111
|
-
this.commitment,
|
|
112
|
-
this.proof,
|
|
113
|
-
]);
|
|
114
|
-
return `0x${buf.toString('hex')}`;
|
|
115
|
-
}
|
|
116
|
-
static getEthBlobEvaluationInputs(blobs) {
|
|
117
|
-
let buf = Buffer.alloc(0);
|
|
118
|
-
blobs.forEach(blob => {
|
|
119
|
-
buf = Buffer.concat([
|
|
120
|
-
buf,
|
|
121
|
-
blob.getEthVersionedBlobHash(),
|
|
122
|
-
blob.challengeZ.toBuffer(),
|
|
123
|
-
blob.evaluationY,
|
|
124
|
-
blob.commitment,
|
|
125
|
-
blob.proof,
|
|
126
|
-
]);
|
|
127
|
-
});
|
|
128
|
-
// For multiple blobs, we prefix the number of blobs:
|
|
129
|
-
const lenBuf = Buffer.alloc(1);
|
|
130
|
-
lenBuf.writeUint8(blobs.length);
|
|
131
|
-
buf = Buffer.concat([lenBuf, buf]);
|
|
132
|
-
return `0x${buf.toString('hex')}`;
|
|
133
|
-
}
|
|
134
|
-
static getViemKzgInstance() {
|
|
135
|
-
return {
|
|
136
|
-
blobToKzgCommitment: cKzg.blobToKzgCommitment,
|
|
137
|
-
computeBlobKzgProof: cKzg.computeBlobKzgProof,
|
|
138
|
-
};
|
|
139
|
-
}
|
|
140
|
-
// Returns as many blobs as we require to broadcast the given fields
|
|
141
|
-
// Assumes we share the fields hash between all blobs
|
|
142
|
-
static getBlobs(fields) {
|
|
143
|
-
const numBlobs = Math.max(Math.ceil(fields.length / FIELD_ELEMENTS_PER_BLOB), 1);
|
|
144
|
-
const multiBlobFieldsHash = poseidon2Hash(fields);
|
|
145
|
-
const res = [];
|
|
146
|
-
for (let i = 0; i < numBlobs; i++) {
|
|
147
|
-
const end = fields.length < (i + 1) * FIELD_ELEMENTS_PER_BLOB ? fields.length : (i + 1) * FIELD_ELEMENTS_PER_BLOB;
|
|
148
|
-
res.push(Blob.fromFields(fields.slice(i * FIELD_ELEMENTS_PER_BLOB, end), multiBlobFieldsHash));
|
|
149
|
-
}
|
|
150
|
-
return res;
|
|
151
|
-
}
|
|
152
|
-
}
|
|
153
|
-
// 48 bytes encoded in fields as [Fr, Fr] = [0->31, 31->48]
|
|
154
|
-
function commitmentToFields(commitment) {
|
|
155
|
-
return [new Fr(commitment.subarray(0, 31)), new Fr(commitment.subarray(31, 48))];
|
|
156
|
-
}
|
|
157
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvYi9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLElBQUksTUFBTSxPQUFPLENBQUM7QUFHekIsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUMzRCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDeEMsT0FBTyxFQUFFLFlBQVksRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRXhFLGlHQUFpRztBQUNqRyxzREFBc0Q7QUFFdEQsTUFBTSxFQUNKLGNBQWMsRUFDZCx1QkFBdUIsRUFDdkIsbUJBQW1CLEVBQ25CLGVBQWUsRUFDZixnQkFBZ0IsRUFDaEIsY0FBYyxHQUNmLEdBQUcsSUFBSSxDQUFDO0FBRVQsSUFBSSxDQUFDO0lBQ0gsZ0JBQWdCLEVBQUUsQ0FBQztBQUNyQixDQUFDO0FBQUMsT0FBTyxLQUFVLEVBQUUsQ0FBQztJQUNwQixJQUFJLEtBQUssQ0FBQyxPQUFPLENBQUMsUUFBUSxDQUFDLGlDQUFpQyxDQUFDLEVBQUUsQ0FBQztRQUM5RCwrRUFBK0U7UUFDL0UsK0VBQStFO1FBQy9FLGlGQUFpRjtJQUNuRixDQUFDO1NBQU0sQ0FBQztRQUNOLE1BQU0sSUFBSSxLQUFLLENBQUMsS0FBSyxDQUFDLENBQUM7SUFDekIsQ0FBQztBQUNILENBQUM7QUFFRCxzR0FBc0c7QUFDdEcsTUFBTSxDQUFDLE1BQU0sMEJBQTBCLEdBQUcsSUFBSSxDQUFDO0FBRS9DOztHQUVHO0FBQ0gsTUFBTSxPQUFPLElBQUk7SUFDZjtJQUNFLG9EQUFvRDtJQUNwQyxJQUFnQjtJQUNoQyw2SUFBNkk7SUFDN0gsVUFBYztJQUM5QixzRkFBc0Y7SUFDdEUsVUFBYztJQUM5QixzSEFBc0g7SUFDdEcsV0FBbUI7SUFDbkMsa0ZBQWtGO0lBQ2xFLFVBQWtCO0lBQ2xDLGlJQUFpSTtJQUNqSCxLQUFhO1FBVmIsU0FBSSxHQUFKLElBQUksQ0FBWTtRQUVoQixlQUFVLEdBQVYsVUFBVSxDQUFJO1FBRWQsZUFBVSxHQUFWLFVBQVUsQ0FBSTtRQUVkLGdCQUFXLEdBQVgsV0FBVyxDQUFRO1FBRW5CLGVBQVUsR0FBVixVQUFVLENBQVE7UUFFbEIsVUFBSyxHQUFMLEtBQUssQ0FBUTtJQUM1QixDQUFDO0lBRUosTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFZLEVBQUUsbUJBQXdCO1FBQ3RELElBQUksTUFBTSxDQUFDLE1BQU0sR0FBRyx1QkFBdUIsRUFBRSxDQUFDO1lBQzVDLE1BQU0sSUFBSSxLQUFLLENBQ2IsbUNBQW1DLE1BQU0sQ0FBQyxNQUFNLDZCQUE2Qix1QkFBdUIsRUFBRSxDQUN2RyxDQUFDO1FBQ0osQ0FBQztRQUNELE1BQU0sZ0JBQWdCLEdBQUcsaUJBQWlCLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDbkQsTUFBTSxJQUFJLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUFDLGdCQUFnQixDQUFDLEVBQUUsY0FBYyxDQUFDLENBQUM7UUFFL0Qsc0VBQXNFO1FBQ3RFLE1BQU0sVUFBVSxHQUFHLG1CQUFtQixDQUFDLENBQUMsQ0FBQyxtQkFBbUIsQ0FBQyxDQUFDLENBQUMsYUFBYSxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ3JGLE1BQU0sVUFBVSxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsbUJBQW1CLENBQUMsSUFBSSxDQUFDLENBQUMsQ0FBQztRQUMxRCxNQUFNLFVBQVUsR0FBRyxhQUFhLENBQUMsQ0FBQyxVQUFVLEVBQUUsR0FBRyxrQkFBa0IsQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFDbEYsTUFBTSxHQUFHLEdBQUcsZUFBZSxDQUFDLElBQUksRUFBRSxVQUFVLENBQUMsUUFBUSxFQUFFLENBQUMsQ0FBQztRQUN6RCxJQUFJLENBQUMsY0FBYyxDQUFDLFVBQVUsRUFBRSxVQUFVLENBQUMsUUFBUSxFQUFFLEVBQUUsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLEdBQUcsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7WUFDdkUsTUFBTSxJQUFJLEtBQUssQ0FBQywyQkFBMkIsQ0FBQyxDQUFDO1FBQy9DLENBQUM7UUFDRCxNQUFNLEtBQUssR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQ2xDLE1BQU0sV0FBVyxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFFeEMsT0FBTyxJQUFJLElBQUksQ0FBQyxnQkFBZ0IsRUFBRSxVQUFVLEVBQUUsVUFBVSxFQUFFLFdBQVcsRUFBRSxVQUFVLEVBQUUsS0FBSyxDQUFDLENBQUM7SUFDNUYsQ0FBQztJQUVELDJEQUEyRDtJQUMzRCxrQkFBa0I7UUFDaEIsT0FBTyxrQkFBa0IsQ0FBQyxJQUFJLENBQUMsVUFBVSxDQUFDLENBQUM7SUFDN0MsQ0FBQztJQUVELDJIQUEySDtJQUMzSCx1QkFBdUI7UUFDckIsTUFBTSxJQUFJLEdBQUcsTUFBTSxDQUFDLElBQUksQ0FBQyxVQUFVLENBQUMsQ0FBQztRQUNyQyxJQUFJLENBQUMsQ0FBQyxDQUFDLEdBQUcsMEJBQTBCLENBQUM7UUFDckMsT0FBTyxJQUFJLENBQUM7SUFDZCxDQUFDO0lBRUQsTUFBTSxDQUFDLHVCQUF1QixDQUFDLFVBQWtCO1FBQy9DLE1BQU0sSUFBSSxHQUFHLE1BQU0sQ0FBQyxVQUFVLENBQUMsQ0FBQztRQUNoQyxJQUFJLENBQUMsQ0FBQyxDQUFDLEdBQUcsMEJBQTBCLENBQUM7UUFDckMsT0FBTyxJQUFJLENBQUM7SUFDZCxDQUFDO0lBRUQsUUFBUTtRQUNOLE9BQU8sTUFBTSxDQUFDLElBQUksQ0FDaEIsaUJBQWlCLENBQ2YsSUFBSSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQ2hCLElBQUksQ0FBQyxJQUFJLEVBQ1QsSUFBSSxDQUFDLFVBQVUsRUFDZixJQUFJLENBQUMsVUFBVSxFQUNmLElBQUksQ0FBQyxXQUFXLENBQUMsTUFBTSxFQUN2QixJQUFJLENBQUMsV0FBVyxFQUNoQixJQUFJLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFDdEIsSUFBSSxDQUFDLFVBQVUsRUFDZixJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sRUFDakIsSUFBSSxDQUFDLEtBQUssQ0FDWCxDQUNGLENBQUM7SUFDSixDQUFDO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUEwQjtRQUMxQyxNQUFNLE1BQU0sR0FBRyxZQUFZLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxDQUFDO1FBQzFDLE9BQU8sSUFBSSxJQUFJLENBQ2IsTUFBTSxDQUFDLGNBQWMsRUFBRSxFQUN2QixNQUFNLENBQUMsVUFBVSxDQUFDLEVBQUUsQ0FBQyxFQUNyQixNQUFNLENBQUMsVUFBVSxDQUFDLEVBQUUsQ0FBQyxFQUNyQixNQUFNLENBQUMsVUFBVSxFQUFFLEVBQ25CLE1BQU0sQ0FBQyxVQUFVLEVBQUUsRUFDbkIsTUFBTSxDQUFDLFVBQVUsRUFBRSxDQUNwQixDQUFDO0lBQ0osQ0FBQztJQUVEOztPQUVHO0lBQ0gsSUFBSSxhQUFhO1FBQ2YsT0FBTyxNQUFNLENBQUMsTUFBTSxDQUFDLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxFQUFFLGNBQWMsQ0FBQyxDQUFDO0lBQ3BELENBQUM7SUFFRDs7T0FFRztJQUNILE9BQU87UUFDTCxPQUFPLElBQUksQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDO0lBQzFCLENBQUM7SUFFRCxnR0FBZ0c7SUFDaEcscUNBQXFDO0lBQ3JDLHdCQUF3QjtJQUN4Qix3QkFBd0I7SUFDeEIsbUNBQW1DO0lBQ25DLDJFQUEyRTtJQUMzRSwwRUFBMEU7SUFDMUUsMEJBQTBCO1FBQ3hCLE1BQU0sR0FBRyxHQUFHLE1BQU0sQ0FBQyxNQUFNLENBQUM7WUFDeEIsSUFBSSxDQUFDLHVCQUF1QixFQUFFO1lBQzlCLElBQUksQ0FBQyxVQUFVLENBQUMsUUFBUSxFQUFFO1lBQzFCLElBQUksQ0FBQyxXQUFXO1lBQ2hCLElBQUksQ0FBQyxVQUFVO1lBQ2YsSUFBSSxDQUFDLEtBQUs7U0FDWCxDQUFDLENBQUM7UUFDSCxPQUFPLEtBQUssR0FBRyxDQUFDLFFBQVEsQ0FBQyxLQUFLLENBQUMsRUFBRSxDQUFDO0lBQ3BDLENBQUM7SUFFRCxNQUFNLENBQUMsMEJBQTBCLENBQUMsS0FBYTtRQUM3QyxJQUFJLEdBQUcsR0FBRyxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQzFCLEtBQUssQ0FBQyxPQUFPLENBQUMsSUFBSSxDQUFDLEVBQUU7WUFDbkIsR0FBRyxHQUFHLE1BQU0sQ0FBQyxNQUFNLENBQUM7Z0JBQ2xCLEdBQUc7Z0JBQ0gsSUFBSSxDQUFDLHVCQUF1QixFQUFFO2dCQUM5QixJQUFJLENBQUMsVUFBVSxDQUFDLFFBQVEsRUFBRTtnQkFDMUIsSUFBSSxDQUFDLFdBQVc7Z0JBQ2hCLElBQUksQ0FBQyxVQUFVO2dCQUNmLElBQUksQ0FBQyxLQUFLO2FBQ1gsQ0FBQyxDQUFDO1FBQ0wsQ0FBQyxDQUFDLENBQUM7UUFDSCxxREFBcUQ7UUFDckQsTUFBTSxNQUFNLEdBQUcsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQztRQUMvQixNQUFNLENBQUMsVUFBVSxDQUFDLEtBQUssQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUNoQyxHQUFHLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUFDLE1BQU0sRUFBRSxHQUFHLENBQUMsQ0FBQyxDQUFDO1FBQ25DLE9BQU8sS0FBSyxHQUFHLENBQUMsUUFBUSxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUM7SUFDcEMsQ0FBQztJQUVELE1BQU0sQ0FBQyxrQkFBa0I7UUFDdkIsT0FBTztZQUNMLG1CQUFtQixFQUFFLElBQUksQ0FBQyxtQkFBbUI7WUFDN0MsbUJBQW1CLEVBQUUsSUFBSSxDQUFDLG1CQUFtQjtTQUM5QyxDQUFDO0lBQ0osQ0FBQztJQUVELG9FQUFvRTtJQUNwRSxxREFBcUQ7SUFDckQsTUFBTSxDQUFDLFFBQVEsQ0FBQyxNQUFZO1FBQzFCLE1BQU0sUUFBUSxHQUFHLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsTUFBTSxHQUFHLHVCQUF1QixDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUM7UUFDakYsTUFBTSxtQkFBbUIsR0FBRyxhQUFhLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDbEQsTUFBTSxHQUFHLEdBQUcsRUFBRSxDQUFDO1FBQ2YsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLFFBQVEsRUFBRSxDQUFDLEVBQUUsRUFBRSxDQUFDO1lBQ2xDLE1BQU0sR0FBRyxHQUFHLE1BQU0sQ0FBQyxNQUFNLEdBQUcsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLEdBQUcsdUJBQXVCLENBQUMsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxHQUFHLHVCQUF1QixDQUFDO1lBQ2xILEdBQUcsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLFVBQVUsQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUMsR0FBRyx1QkFBdUIsRUFBRSxHQUFHLENBQUMsRUFBRSxtQkFBbUIsQ0FBQyxDQUFDLENBQUM7UUFDakcsQ0FBQztRQUNELE9BQU8sR0FBRyxDQUFDO0lBQ2IsQ0FBQztDQUNGO0FBRUQsMkRBQTJEO0FBQzNELFNBQVMsa0JBQWtCLENBQUMsVUFBa0I7SUFDNUMsT0FBTyxDQUFDLElBQUksRUFBRSxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEVBQUUsSUFBSSxFQUFFLENBQUMsVUFBVSxDQUFDLFFBQVEsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDO0FBQ25GLENBQUMifQ==
|
|
21
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYmxvYi9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLElBQUksTUFBTSxPQUFPLENBQUM7QUFFekIsc0RBQXNEO0FBQ3RELE1BQU0sRUFBRSxnQkFBZ0IsRUFBRSxHQUFHLElBQUksQ0FBQztBQUVsQyxjQUFjLFdBQVcsQ0FBQztBQUMxQixjQUFjLFlBQVksQ0FBQztBQUMzQixjQUFjLGVBQWUsQ0FBQztBQUM5QixjQUFjLGdCQUFnQixDQUFDO0FBRS9CLElBQUksQ0FBQztJQUNILGdCQUFnQixFQUFFLENBQUM7QUFDckIsQ0FBQztBQUFDLE9BQU8sS0FBVSxFQUFFLENBQUM7SUFDcEIsSUFBSSxLQUFLLENBQUMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxpQ0FBaUMsQ0FBQyxFQUFFLENBQUM7UUFDOUQsK0VBQStFO1FBQy9FLCtFQUErRTtRQUMvRSxpRkFBaUY7SUFDbkYsQ0FBQztTQUFNLENBQUM7UUFDTixNQUFNLElBQUksS0FBSyxDQUFDLEtBQUssQ0FBQyxDQUFDO0lBQ3pCLENBQUM7QUFDSCxDQUFDIn0=
|