@aztec/blob-lib 3.0.0-nightly.20251126 → 3.0.0-nightly.20251128
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 +25 -0
- package/dest/batched_blob.d.ts.map +1 -0
- package/dest/batched_blob.js +20 -0
- package/dest/blob.d.ts +4 -10
- package/dest/blob.d.ts.map +1 -1
- package/dest/blob_batching.d.ts +30 -80
- package/dest/blob_batching.d.ts.map +1 -1
- package/dest/blob_batching.js +46 -87
- package/dest/blob_utils.d.ts +14 -1
- package/dest/blob_utils.d.ts.map +1 -1
- package/dest/blob_utils.js +21 -1
- package/dest/circuit_types/blob_accumulator.d.ts +2 -1
- package/dest/circuit_types/blob_accumulator.d.ts.map +1 -1
- package/dest/circuit_types/blob_accumulator.js +3 -0
- package/dest/circuit_types/final_blob_accumulator.d.ts +1 -1
- package/dest/circuit_types/final_blob_accumulator.d.ts.map +1 -1
- package/dest/circuit_types/final_blob_batching_challenges.d.ts +1 -1
- package/dest/circuit_types/final_blob_batching_challenges.d.ts.map +1 -1
- package/dest/circuit_types/index.d.ts +1 -1
- package/dest/encoding/block_blob_data.d.ts +1 -1
- package/dest/encoding/block_end_marker.d.ts +1 -1
- package/dest/encoding/block_end_state_field.d.ts +1 -1
- package/dest/encoding/checkpoint_blob_data.d.ts +1 -1
- package/dest/encoding/checkpoint_end_marker.d.ts +1 -1
- package/dest/encoding/fixtures.d.ts +1 -1
- package/dest/encoding/index.d.ts +2 -1
- package/dest/encoding/index.d.ts.map +1 -1
- package/dest/encoding/index.js +1 -0
- package/dest/encoding/tx_blob_data.d.ts +1 -1
- package/dest/encoding/tx_start_marker.d.ts +1 -1
- package/dest/errors.d.ts +1 -1
- package/dest/errors.d.ts.map +1 -1
- package/dest/hash.d.ts +1 -1
- package/dest/index.d.ts +2 -2
- package/dest/index.d.ts.map +1 -1
- package/dest/index.js +1 -1
- package/dest/interface.d.ts +1 -1
- package/dest/kzg_context.d.ts +1 -1
- package/dest/sponge_blob.d.ts +1 -3
- package/dest/sponge_blob.d.ts.map +1 -1
- package/dest/testing.d.ts +7 -3
- package/dest/testing.d.ts.map +1 -1
- package/dest/testing.js +34 -5
- package/dest/types.d.ts +2 -1
- package/dest/types.d.ts.map +1 -1
- package/dest/types.js +1 -0
- package/package.json +7 -6
- package/src/batched_blob.ts +25 -0
- package/src/blob_batching.ts +58 -105
- package/src/blob_utils.ts +24 -1
- package/src/circuit_types/blob_accumulator.ts +11 -0
- package/src/encoding/index.ts +1 -0
- package/src/index.ts +1 -1
- package/src/testing.ts +48 -12
- package/src/types.ts +1 -0
|
@@ -38,4 +38,4 @@ export declare function makeCheckpointBlobData({ numBlocks, numTxsPerBlock, isFu
|
|
|
38
38
|
isFullTx?: boolean;
|
|
39
39
|
seed?: number;
|
|
40
40
|
} & Partial<CheckpointBlobData>): CheckpointBlobData;
|
|
41
|
-
//# sourceMappingURL=
|
|
41
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZml4dHVyZXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lbmNvZGluZy9maXh0dXJlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFhQSxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM1RSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUM1RCxPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQ3JFLE9BQU8sRUFBRSxLQUFLLGtCQUFrQixFQUFnQyxNQUFNLDJCQUEyQixDQUFDO0FBQ2xHLE9BQU8sRUFBRSxLQUFLLFVBQVUsRUFBc0IsTUFBTSxtQkFBbUIsQ0FBQztBQUN4RSxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUkxRCx3QkFBZ0IsaUJBQWlCLENBQUMsRUFDaEMsUUFBZ0IsRUFDaEIsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLFFBQVEsQ0FBQyxFQUFFLE9BQU8sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUFDLGFBQWEsQ0FBTSxHQUFHLGFBQWEsQ0FtQnRFO0FBRUQsd0JBQWdCLGNBQWMsQ0FBQyxFQUM3QixRQUFnQixFQUNoQixJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLFFBQVEsQ0FBQyxFQUFFLE9BQU8sQ0FBQztJQUFDLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUNoRCxJQUFJLENBQUMsVUFBVSxFQUFFLGVBQWUsQ0FBQyxHQUFHO0lBQUUsYUFBYSxDQUFDLEVBQUUsT0FBTyxDQUFDLGFBQWEsQ0FBQyxDQUFBO0NBQUUsQ0FDMUUsR0FBRyxVQUFVLENBbURsQjtBQUVELHdCQUFnQixrQkFBa0IsQ0FBQyxFQUNqQyxJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUFDLGNBQWMsQ0FBTSxHQUFHLGNBQWMsQ0FPbkU7QUFFRCx3QkFBZ0Isc0JBQXNCLENBQUMsRUFDckMsSUFBUSxFQUNSLEdBQUcsU0FBUyxFQUNiLEdBQUU7SUFBRSxJQUFJLENBQUMsRUFBRSxNQUFNLENBQUE7Q0FBRSxHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBTSxHQUFHLGtCQUFrQixDQVMzRTtBQUVELHdCQUFnQixvQkFBb0IsQ0FBQyxFQUNuQyxZQUFtQixFQUNuQixJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUFDLFlBQVksQ0FBQyxFQUFFLE9BQU8sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUNwRCxJQUFJLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQUcsb0JBQW9CLENBQUMsQ0FDaEUsR0FBRztJQUNBLGNBQWMsQ0FBQyxFQUFFLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0FBQztJQUN6QyxrQkFBa0IsQ0FBQyxFQUFFLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDO0NBQzdDLEdBQUcsZ0JBQWdCLENBZ0IxQjtBQUVELHdCQUFnQixpQkFBaUIsQ0FBQyxFQUNoQyxNQUFVLEVBQ1YsWUFBbUIsRUFDbkIsUUFBZ0IsRUFDaEIsSUFBUSxFQUNSLEdBQUcsU0FBUyxFQUNiLEdBQUU7SUFBRSxNQUFNLENBQUMsRUFBRSxNQUFNLENBQUM7SUFBQyxZQUFZLENBQUMsRUFBRSxPQUFPLENBQUM7SUFBQyxRQUFRLENBQUMsRUFBRSxPQUFPLENBQUM7SUFBQyxJQUFJLENBQUMsRUFBRSxNQUFNLENBQUE7Q0FBRSxHQUFHLE9BQU8sQ0FDekYsVUFBVSxDQUFDLE9BQU8sb0JBQW9CLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FDdEMsR0FBRyxhQUFhLENBWXJCO0FBRUQsd0JBQWdCLHNCQUFzQixDQUFDLEVBQ3JDLFNBQWEsRUFDYixjQUFrQixFQUNsQixRQUFnQixFQUNoQixJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUNELFNBQVMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNuQixjQUFjLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDeEIsUUFBUSxDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQ25CLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQztDQUNmLEdBQUcsT0FBTyxDQUFDLGtCQUFrQixDQUFNLEdBQUcsa0JBQWtCLENBaUJ4RCJ9
|
package/dest/encoding/index.d.ts
CHANGED
|
@@ -6,4 +6,5 @@ export * from './checkpoint_end_marker.js';
|
|
|
6
6
|
export * from './fixtures.js';
|
|
7
7
|
export * from './tx_blob_data.js';
|
|
8
8
|
export * from './tx_start_marker.js';
|
|
9
|
-
|
|
9
|
+
export { BlobDeserializationError } from '../errors.js';
|
|
10
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lbmNvZGluZy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyw0QkFBNEIsQ0FBQztBQUMzQyxjQUFjLDJCQUEyQixDQUFDO0FBQzFDLGNBQWMsNEJBQTRCLENBQUM7QUFDM0MsY0FBYyxlQUFlLENBQUM7QUFDOUIsY0FBYyxtQkFBbUIsQ0FBQztBQUNsQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLE9BQU8sRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGNBQWMsQ0FBQyJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/encoding/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/encoding/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC"}
|
package/dest/encoding/index.js
CHANGED
|
@@ -16,4 +16,4 @@ export interface TxBlobData {
|
|
|
16
16
|
export declare function encodeTxBlobData(txBlobData: TxBlobData): Fr[];
|
|
17
17
|
export declare function decodeTxBlobData(fields: Fr[] | FieldReader): TxBlobData;
|
|
18
18
|
export declare function getNumTxBlobFields(txStartMarker: Omit<TxStartMarker, 'revertCode' | 'numBlobFields'>): number;
|
|
19
|
-
//# sourceMappingURL=
|
|
19
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfYmxvYl9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZW5jb2RpbmcvdHhfYmxvYl9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM5QyxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFHMUQsT0FBTyxFQUFFLEtBQUssYUFBYSxFQUE0QyxNQUFNLHNCQUFzQixDQUFDO0FBSXBHLE1BQU0sV0FBVyxVQUFVO0lBQ3pCLGFBQWEsRUFBRSxhQUFhLENBQUM7SUFDN0IsTUFBTSxFQUFFLEVBQUUsQ0FBQztJQUNYLGNBQWMsRUFBRSxFQUFFLENBQUM7SUFDbkIsVUFBVSxFQUFFLEVBQUUsRUFBRSxDQUFDO0lBQ2pCLFVBQVUsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNqQixVQUFVLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDakIsZ0JBQWdCLEVBQUUsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQztJQUM3QixXQUFXLEVBQUUsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNwQixVQUFVLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDakIsZ0JBQWdCLEVBQUUsRUFBRSxFQUFFLENBQUM7Q0FDeEI7QUFFRCx3QkFBZ0IsZ0JBQWdCLENBQUMsVUFBVSxFQUFFLFVBQVUsR0FBRyxFQUFFLEVBQUUsQ0FhN0Q7QUFFRCx3QkFBZ0IsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyxVQUFVLENBNkR2RTtBQUVELHdCQUFnQixrQkFBa0IsQ0FBQyxhQUFhLEVBQUUsSUFBSSxDQUFDLGFBQWEsRUFBRSxZQUFZLEdBQUcsZUFBZSxDQUFDLFVBZXBHIn0=
|
|
@@ -13,4 +13,4 @@ export interface TxStartMarker {
|
|
|
13
13
|
}
|
|
14
14
|
export declare function encodeTxStartMarker(txStartMarker: TxStartMarker): Fr;
|
|
15
15
|
export declare function decodeTxStartMarker(field: Fr): TxStartMarker;
|
|
16
|
-
//# sourceMappingURL=
|
|
16
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfc3RhcnRfbWFya2VyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZW5jb2RpbmcvdHhfc3RhcnRfbWFya2VyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQWlCOUMsTUFBTSxXQUFXLGFBQWE7SUFDNUIsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixVQUFVLEVBQUUsTUFBTSxDQUFDO0lBQ25CLGFBQWEsRUFBRSxNQUFNLENBQUM7SUFDdEIsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLG1CQUFtQixFQUFFLE1BQU0sQ0FBQztJQUM1QixjQUFjLEVBQUUsTUFBTSxDQUFDO0lBQ3ZCLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUMxQixnQkFBZ0IsRUFBRSxNQUFNLENBQUM7SUFDekIsc0JBQXNCLEVBQUUsTUFBTSxDQUFDO0NBQ2hDO0FBRUQsd0JBQWdCLG1CQUFtQixDQUFDLGFBQWEsRUFBRSxhQUFhLEdBQUcsRUFBRSxDQXVCcEU7QUFFRCx3QkFBZ0IsbUJBQW1CLENBQUMsS0FBSyxFQUFFLEVBQUUsR0FBRyxhQUFhLENBd0M1RCJ9
|
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
|
@@ -39,4 +39,4 @@ export declare function computeChallengeZ(blobFieldsHash: Fr, commitment: Buffer
|
|
|
39
39
|
* rollup circuits.
|
|
40
40
|
*/
|
|
41
41
|
export declare function hashNoirBigNumLimbs(field: BLS12Fr): Promise<Fr>;
|
|
42
|
-
//# sourceMappingURL=
|
|
42
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaGFzaC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL2hhc2gudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQU92RDs7R0FFRztBQUNILHdCQUFnQiwyQkFBMkIsQ0FBQyxVQUFVLEVBQUUsTUFBTSxHQUFHLE1BQU0sQ0FJdEU7QUFPRCx3QkFBZ0IsZ0JBQWdCLENBQUMsc0JBQXNCLEVBQUUsTUFBTSxFQUFFLEdBQUcsRUFBRSxDQUVyRTtBQUVEOzs7Ozs7Ozs7OztHQVdHO0FBQ0gsd0JBQXNCLHFCQUFxQixDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsRUFBRSxDQUFDLENBSXJFO0FBRUQsd0JBQWdCLHFCQUFxQixDQUFDLElBQUksRUFBRSxVQUFVLEdBQUcsTUFBTSxDQU05RDtBQUVEOzs7Ozs7Ozs7Ozs7O0dBYUc7QUFDSCx3QkFBZ0Isa0JBQWtCLENBQUMsVUFBVSxFQUFFLE1BQU0sR0FBRyxDQUFDLEVBQUUsRUFBRSxFQUFFLENBQUMsQ0FNL0Q7QUFFRCx3QkFBc0IsaUJBQWlCLENBQUMsY0FBYyxFQUFFLEVBQUUsRUFBRSxVQUFVLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FHM0Y7QUFFRDs7O0dBR0c7QUFDSCx3QkFBc0IsbUJBQW1CLENBQUMsS0FBSyxFQUFFLE9BQU8sR0FBRyxPQUFPLENBQUMsRUFBRSxDQUFDLENBR3JFIn0=
|
package/dest/index.d.ts
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
6
|
export * from './encoding/index.js';
|
|
6
|
-
export * from './errors.js';
|
|
7
7
|
export * from './hash.js';
|
|
8
8
|
export * from './interface.js';
|
|
9
9
|
export * from './sponge_blob.js';
|
|
10
|
-
//# sourceMappingURL=
|
|
10
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLG1CQUFtQixDQUFDO0FBQ2xDLGNBQWMsV0FBVyxDQUFDO0FBQzFCLGNBQWMsb0JBQW9CLENBQUM7QUFDbkMsY0FBYyxpQkFBaUIsQ0FBQztBQUNoQyxjQUFjLDBCQUEwQixDQUFDO0FBQ3pDLGNBQWMscUJBQXFCLENBQUM7QUFDcEMsY0FBYyxXQUFXLENBQUM7QUFDMUIsY0FBYyxnQkFBZ0IsQ0FBQztBQUMvQixjQUFjLGtCQUFrQixDQUFDIn0=
|
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,qBAAqB,CAAC;AACpC,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"}
|
package/dest/index.js
CHANGED
|
@@ -1,9 +1,9 @@
|
|
|
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
6
|
export * from './encoding/index.js';
|
|
6
|
-
export * from './errors.js';
|
|
7
7
|
export * from './hash.js';
|
|
8
8
|
export * from './interface.js';
|
|
9
9
|
export * from './sponge_blob.js';
|
package/dest/interface.d.ts
CHANGED
|
@@ -6,4 +6,4 @@ export interface BlobJson {
|
|
|
6
6
|
index: string;
|
|
7
7
|
kzg_commitment: string;
|
|
8
8
|
}
|
|
9
|
-
//# sourceMappingURL=
|
|
9
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW50ZXJmYWNlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvaW50ZXJmYWNlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOztHQUVHO0FBQ0gsTUFBTSxXQUFXLFFBQVE7SUFDdkIsSUFBSSxFQUFFLE1BQU0sQ0FBQztJQUNiLEtBQUssRUFBRSxNQUFNLENBQUM7SUFDZCxjQUFjLEVBQUUsTUFBTSxDQUFDO0NBQ3hCIn0=
|
package/dest/kzg_context.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
1
|
import { DasContextJs } from '@crate-crypto/node-eth-kzg';
|
|
2
2
|
export * from '@crate-crypto/node-eth-kzg';
|
|
3
3
|
export declare const kzg: DasContextJs;
|
|
4
|
-
//# sourceMappingURL=
|
|
4
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoia3pnX2NvbnRleHQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9remdfY29udGV4dC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFFMUQsY0FBYyw0QkFBNEIsQ0FBQztBQUUzQyxlQUFPLE1BQU0sR0FBRyxjQUE0QyxDQUFDIn0=
|
package/dest/sponge_blob.d.ts
CHANGED
|
@@ -6,9 +6,7 @@ import { BufferReader, FieldReader, type Tuple } from '@aztec/foundation/seriali
|
|
|
6
6
|
* See noir-projects/noir-protocol-circuits/crates/types/src/abis/sponge_blob.nr.
|
|
7
7
|
*/
|
|
8
8
|
export declare class SpongeBlob {
|
|
9
|
-
/** Sponge with absorbed fields that will go into one or more blobs. */
|
|
10
9
|
readonly sponge: Poseidon2Sponge;
|
|
11
|
-
/** Number of effects absorbed so far. */
|
|
12
10
|
numAbsorbedFields: number;
|
|
13
11
|
static MAX_FIELDS: number;
|
|
14
12
|
constructor(
|
|
@@ -47,4 +45,4 @@ export declare class Poseidon2Sponge {
|
|
|
47
45
|
absorb(fields: Fr[]): Promise<void>;
|
|
48
46
|
squeeze(): Promise<Fr>;
|
|
49
47
|
}
|
|
50
|
-
//# sourceMappingURL=
|
|
48
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3BvbmdlX2Jsb2IuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9zcG9uZ2VfYmxvYi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsS0FBSyxRQUFRLEVBQWEsTUFBTSx5QkFBeUIsQ0FBQztBQUVuRSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDOUMsT0FBTyxFQUNMLFlBQVksRUFDWixXQUFXLEVBQ1gsS0FBSyxLQUFLLEVBR1gsTUFBTSw2QkFBNkIsQ0FBQztBQUVyQzs7O0dBR0c7QUFDSCxxQkFBYSxVQUFVO2FBS0gsTUFBTSxFQUFFLGVBQWU7SUFFaEMsaUJBQWlCLEVBQUUsTUFBTTtJQU5sQyxNQUFNLENBQUMsVUFBVSxTQUEwQztJQUUzRDtJQUNFLHVFQUF1RTtJQUN2RCxNQUFNLEVBQUUsZUFBZTtJQUN2Qyx5Q0FBeUM7SUFDbEMsaUJBQWlCLEVBQUUsTUFBTSxFQUM5QjtJQUVKOztPQUVHO0lBQ0gsTUFBTSxDQUFDLElBQUksSUFBSSxVQUFVLENBS3hCO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxVQUFVLENBRzNEO0lBRUQsUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxVQUFVLENBQUMsZ0NBRTVDO0lBRUQsUUFBUSxJQUFJLEVBQUUsRUFBRSxDQUVmO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEdBQUcsV0FBVyxHQUFHLFVBQVUsQ0FHeEQ7SUFFRCxLQUFLLGVBRUo7SUFFSyxNQUFNLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxpQkFReEI7SUFFSyxPQUFPLElBQUksT0FBTyxDQUFDLEVBQUUsQ0FBQyxDQUUzQjtJQUVELE1BQU0sQ0FBQyxLQUFLLElBQUksVUFBVSxDQUV6QjtDQUNGO0FBR0QscUJBQWEsZUFBZTtJQUVqQixLQUFLLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUM7SUFDbkIsS0FBSyxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ25CLFNBQVMsRUFBRSxNQUFNO0lBQ2pCLFdBQVcsRUFBRSxPQUFPO0lBSjdCLFlBQ1MsS0FBSyxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLEVBQ25CLEtBQUssRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxFQUNuQixTQUFTLEVBQUUsTUFBTSxFQUNqQixXQUFXLEVBQUUsT0FBTyxFQUN6QjtJQUVKLE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsZUFBZSxDQVFoRTtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsZUFBZSxDQUFDLDBEQUVqRDtJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FFZjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyxlQUFlLENBUTdEO0lBRUQsTUFBTSxDQUFDLEtBQUssSUFBSSxlQUFlLENBTzlCO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLGVBQWUsQ0FJbkM7SUFLSyxhQUFhLGtCQVNsQjtJQUVLLE1BQU0sQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLGlCQWF4QjtJQUVLLE9BQU8sSUFBSSxPQUFPLENBQUMsRUFBRSxDQUFDLENBTzNCO0NBQ0YifQ==
|
|
@@ -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,0BAA0B,CAAC;AAC9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC;;;GAGG;AACH,qBAAa,UAAU;
|
|
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,0BAA0B,CAAC;AAC9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC;;;GAGG;AACH,qBAAa,UAAU;aAKH,MAAM,EAAE,eAAe;IAEhC,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"}
|
package/dest/testing.d.ts
CHANGED
|
@@ -1,5 +1,7 @@
|
|
|
1
1
|
import { Blob } from './blob.js';
|
|
2
|
-
import {
|
|
2
|
+
import { BlobAccumulator } from './circuit_types/blob_accumulator.js';
|
|
3
|
+
import { FinalBlobAccumulator } from './circuit_types/final_blob_accumulator.js';
|
|
4
|
+
import { FinalBlobBatchingChallenges } from './circuit_types/final_blob_batching_challenges.js';
|
|
3
5
|
import { SpongeBlob } from './sponge_blob.js';
|
|
4
6
|
export * from './encoding/fixtures.js';
|
|
5
7
|
/**
|
|
@@ -15,7 +17,9 @@ export declare function makeSpongeBlob(seed?: number): SpongeBlob;
|
|
|
15
17
|
* @param seed - The seed to use for generating the blob accumulator.
|
|
16
18
|
* @returns A blob accumulator instance.
|
|
17
19
|
*/
|
|
18
|
-
export declare function
|
|
20
|
+
export declare function makeBlobAccumulator(seed?: number): BlobAccumulator;
|
|
21
|
+
export declare function makeFinalBlobAccumulator(seed?: number): FinalBlobAccumulator;
|
|
22
|
+
export declare function makeFinalBlobBatchingChallenges(seed?: number): FinalBlobBatchingChallenges;
|
|
19
23
|
/**
|
|
20
24
|
* Make a blob with random fields.
|
|
21
25
|
*
|
|
@@ -24,4 +28,4 @@ export declare function makeBatchedBlobAccumulator(seed?: number): BatchedBlobAc
|
|
|
24
28
|
* @returns
|
|
25
29
|
*/
|
|
26
30
|
export declare function makeRandomBlob(length: number): Blob;
|
|
27
|
-
//# sourceMappingURL=
|
|
31
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGVzdGluZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL3Rlc3RpbmcudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxFQUFFLElBQUksRUFBRSxNQUFNLFdBQVcsQ0FBQztBQUNqQyxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFDdEUsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sMkNBQTJDLENBQUM7QUFDakYsT0FBTyxFQUFFLDJCQUEyQixFQUFFLE1BQU0sbURBQW1ELENBQUM7QUFDaEcsT0FBTyxFQUFtQixVQUFVLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUUvRCxjQUFjLHdCQUF3QixDQUFDO0FBRXZDOzs7OztHQUtHO0FBQ0gsd0JBQWdCLGNBQWMsQ0FBQyxJQUFJLFNBQUksR0FBRyxVQUFVLENBVW5EO0FBMEJEOzs7OztHQUtHO0FBQ0gsd0JBQWdCLG1CQUFtQixDQUFDLElBQUksU0FBSSxHQUFHLGVBQWUsQ0FTN0Q7QUFFRCx3QkFBZ0Isd0JBQXdCLENBQUMsSUFBSSxTQUFJLHdCQU9oRDtBQUVELHdCQUFnQiwrQkFBK0IsQ0FBQyxJQUFJLFNBQUksK0JBRXZEO0FBRUQ7Ozs7OztHQU1HO0FBQ0gsd0JBQWdCLGNBQWMsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLElBQUksQ0FFbkQifQ==
|
package/dest/testing.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,mDAAmD,CAAC;AAChG,OAAO,EAAmB,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE/D,cAAc,wBAAwB,CAAC;AAEvC;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,SAAI,GAAG,UAAU,CAUnD;AA0BD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,SAAI,GAAG,eAAe,CAS7D;AAED,wBAAgB,wBAAwB,CAAC,IAAI,SAAI,wBAOhD;AAED,wBAAgB,+BAA+B,CAAC,IAAI,SAAI,+BAEvD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAEnD"}
|
package/dest/testing.js
CHANGED
|
@@ -1,8 +1,9 @@
|
|
|
1
1
|
import { makeTuple } from '@aztec/foundation/array';
|
|
2
|
-
import { BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
|
|
2
|
+
import { BLS12Fq, BLS12Fr, BLS12Point, BLSPointNotOnCurveError, Fr } from '@aztec/foundation/fields';
|
|
3
3
|
import { Blob } from './blob.js';
|
|
4
|
-
import {
|
|
5
|
-
import {
|
|
4
|
+
import { BlobAccumulator } from './circuit_types/blob_accumulator.js';
|
|
5
|
+
import { FinalBlobAccumulator } from './circuit_types/final_blob_accumulator.js';
|
|
6
|
+
import { FinalBlobBatchingChallenges } from './circuit_types/final_blob_batching_challenges.js';
|
|
6
7
|
import { Poseidon2Sponge, SpongeBlob } from './sponge_blob.js';
|
|
7
8
|
export * from './encoding/fixtures.js';
|
|
8
9
|
/**
|
|
@@ -13,13 +14,41 @@ export * from './encoding/fixtures.js';
|
|
|
13
14
|
*/ export function makeSpongeBlob(seed = 1) {
|
|
14
15
|
return new SpongeBlob(new Poseidon2Sponge(makeTuple(3, (i)=>new Fr(i)), makeTuple(4, (i)=>new Fr(i)), 1, false), seed);
|
|
15
16
|
}
|
|
17
|
+
/**
|
|
18
|
+
* Makes an arbitrary but valid BLS12 point. The value is deterministic for a given seed.
|
|
19
|
+
* @param seed - The seed to use for generating the point.
|
|
20
|
+
* @returns A BLS12 point instance.
|
|
21
|
+
*/ function makeBLS12Point(seed = 1) {
|
|
22
|
+
let accum = 0;
|
|
23
|
+
while(true){
|
|
24
|
+
try {
|
|
25
|
+
const x = new BLS12Fq(seed + accum);
|
|
26
|
+
const y = BLS12Point.YFromX(x);
|
|
27
|
+
if (y) {
|
|
28
|
+
return new BLS12Point(x, y, false);
|
|
29
|
+
}
|
|
30
|
+
accum++;
|
|
31
|
+
} catch (e) {
|
|
32
|
+
if (!(e instanceof BLSPointNotOnCurveError)) {
|
|
33
|
+
throw e;
|
|
34
|
+
}
|
|
35
|
+
// The point is not on the curve - try again
|
|
36
|
+
}
|
|
37
|
+
}
|
|
38
|
+
}
|
|
16
39
|
/**
|
|
17
40
|
* Makes arbitrary blob public accumulator.
|
|
18
41
|
* Note: will not verify inside the circuit.
|
|
19
42
|
* @param seed - The seed to use for generating the blob accumulator.
|
|
20
43
|
* @returns A blob accumulator instance.
|
|
21
|
-
*/ export function
|
|
22
|
-
return new
|
|
44
|
+
*/ export function makeBlobAccumulator(seed = 1) {
|
|
45
|
+
return new BlobAccumulator(new Fr(seed), new Fr(seed + 0x10), new BLS12Fr(seed + 0x20), makeBLS12Point(seed + 0x30), new Fr(seed + 0x50), new BLS12Fr(seed + 0x60));
|
|
46
|
+
}
|
|
47
|
+
export function makeFinalBlobAccumulator(seed = 1) {
|
|
48
|
+
return new FinalBlobAccumulator(new Fr(seed), new Fr(seed + 0x10), new BLS12Fr(seed + 0x20), makeBLS12Point(seed + 0x30));
|
|
49
|
+
}
|
|
50
|
+
export function makeFinalBlobBatchingChallenges(seed = 1) {
|
|
51
|
+
return new FinalBlobBatchingChallenges(new Fr(seed), new BLS12Fr(seed + 0x10));
|
|
23
52
|
}
|
|
24
53
|
/**
|
|
25
54
|
* Make a blob with random fields.
|
package/dest/types.d.ts
CHANGED
|
@@ -1,3 +1,4 @@
|
|
|
1
|
+
export * from './batched_blob.js';
|
|
1
2
|
export * from './circuit_types/index.js';
|
|
2
3
|
export * from './interface.js';
|
|
3
4
|
export * from './sponge_blob.js';
|
|
@@ -13,4 +14,4 @@ export interface BlobKzgInstance {
|
|
|
13
14
|
/** Function to compute both blob data cells and their corresponding KZG proofs for EIP7594 */
|
|
14
15
|
computeCellsAndKzgProofs(blob: Uint8Array): [Uint8Array[], Uint8Array[]];
|
|
15
16
|
}
|
|
16
|
-
//# sourceMappingURL=
|
|
17
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHlwZXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy90eXBlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLG1CQUFtQixDQUFDO0FBQ2xDLGNBQWMsMEJBQTBCLENBQUM7QUFDekMsY0FBYyxnQkFBZ0IsQ0FBQztBQUMvQixjQUFjLGtCQUFrQixDQUFDO0FBRWpDOzs7R0FHRztBQUNILE1BQU0sV0FBVyxlQUFlO0lBQzlCLHdEQUF3RDtJQUN4RCxtQkFBbUIsQ0FBQyxJQUFJLEVBQUUsVUFBVSxHQUFHLFVBQVUsQ0FBQztJQUNsRCxrREFBa0Q7SUFDbEQsbUJBQW1CLENBQUMsSUFBSSxFQUFFLFVBQVUsRUFBRSxVQUFVLEVBQUUsVUFBVSxHQUFHLFVBQVUsQ0FBQztJQUMxRSw4RkFBOEY7SUFDOUYsd0JBQXdCLENBQUMsSUFBSSxFQUFFLFVBQVUsR0FBRyxDQUFDLFVBQVUsRUFBRSxFQUFFLFVBQVUsRUFBRSxDQUFDLENBQUM7Q0FDMUUifQ==
|
package/dest/types.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,kBAAkB,CAAC;AAEjC;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,wDAAwD;IACxD,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;IAClD,kDAAkD;IAClD,mBAAmB,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,GAAG,UAAU,CAAC;IAC1E,8FAA8F;IAC9F,wBAAwB,CAAC,IAAI,EAAE,UAAU,GAAG,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;CAC1E"}
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,kBAAkB,CAAC;AAEjC;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,wDAAwD;IACxD,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;IAClD,kDAAkD;IAClD,mBAAmB,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,GAAG,UAAU,CAAC;IAC1E,8FAA8F;IAC9F,wBAAwB,CAAC,IAAI,EAAE,UAAU,GAAG,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;CAC1E"}
|
package/dest/types.js
CHANGED
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/blob-lib",
|
|
3
|
-
"version": "3.0.0-nightly.
|
|
3
|
+
"version": "3.0.0-nightly.20251128",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": "./dest/index.js",
|
|
@@ -16,10 +16,10 @@
|
|
|
16
16
|
"tsconfig": "./tsconfig.json"
|
|
17
17
|
},
|
|
18
18
|
"scripts": {
|
|
19
|
-
"build": "yarn clean &&
|
|
20
|
-
"build:dev": "
|
|
19
|
+
"build": "yarn clean && tsgo -b",
|
|
20
|
+
"build:dev": "tsgo -b --watch",
|
|
21
21
|
"clean": "rm -rf ./dest .tsbuildinfo",
|
|
22
|
-
"start:dev": "
|
|
22
|
+
"start:dev": "concurrently -k \"tsgo -b -w\" \"nodemon --watch dest --exec yarn start\"",
|
|
23
23
|
"start": "node ./dest/index.js",
|
|
24
24
|
"test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
|
|
25
25
|
},
|
|
@@ -27,8 +27,8 @@
|
|
|
27
27
|
"../package.common.json"
|
|
28
28
|
],
|
|
29
29
|
"dependencies": {
|
|
30
|
-
"@aztec/constants": "3.0.0-nightly.
|
|
31
|
-
"@aztec/foundation": "3.0.0-nightly.
|
|
30
|
+
"@aztec/constants": "3.0.0-nightly.20251128",
|
|
31
|
+
"@aztec/foundation": "3.0.0-nightly.20251128",
|
|
32
32
|
"@crate-crypto/node-eth-kzg": "^0.10.0",
|
|
33
33
|
"tslib": "^2.4.0"
|
|
34
34
|
},
|
|
@@ -36,6 +36,7 @@
|
|
|
36
36
|
"@jest/globals": "^30.0.0",
|
|
37
37
|
"@types/jest": "^30.0.0",
|
|
38
38
|
"@types/node": "^22.15.17",
|
|
39
|
+
"@typescript/native-preview": "7.0.0-dev.20251126.1",
|
|
39
40
|
"get-port": "^7.1.0",
|
|
40
41
|
"jest": "^30.0.0",
|
|
41
42
|
"ts-node": "^10.9.1",
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
import { BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
|
|
2
|
+
|
|
3
|
+
import { FinalBlobAccumulator } from './circuit_types/index.js';
|
|
4
|
+
|
|
5
|
+
/**
|
|
6
|
+
* A class to represent the result from accumulating blobs in an epoch using BatchedBlobAccumulator.
|
|
7
|
+
*/
|
|
8
|
+
export class BatchedBlob {
|
|
9
|
+
constructor(
|
|
10
|
+
/** Hash of Cs (to link to L1 blob hashes). */
|
|
11
|
+
public readonly blobCommitmentsHash: Fr,
|
|
12
|
+
/** Challenge point z such that p_i(z) = y_i. */
|
|
13
|
+
public readonly z: Fr,
|
|
14
|
+
/** Evaluation y, linear combination of all evaluations y_i = p_i(z) with gamma. */
|
|
15
|
+
public readonly y: BLS12Fr,
|
|
16
|
+
/** Commitment C, linear combination of all commitments C_i = [p_i] with gamma. */
|
|
17
|
+
public readonly commitment: BLS12Point,
|
|
18
|
+
/** KZG opening 'proof' Q (commitment to the quotient poly.), linear combination of all blob kzg 'proofs' Q_i with gamma. */
|
|
19
|
+
public readonly q: BLS12Point,
|
|
20
|
+
) {}
|
|
21
|
+
|
|
22
|
+
toFinalBlobAccumulator() {
|
|
23
|
+
return new FinalBlobAccumulator(this.blobCommitmentsHash, this.z, this.y, this.commitment);
|
|
24
|
+
}
|
|
25
|
+
}
|
package/src/blob_batching.ts
CHANGED
|
@@ -2,29 +2,68 @@ import { AZTEC_MAX_EPOCH_DURATION, BLOBS_PER_CHECKPOINT } from '@aztec/constants
|
|
|
2
2
|
import { poseidon2Hash, sha256ToField } from '@aztec/foundation/crypto';
|
|
3
3
|
import { BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
|
|
4
4
|
|
|
5
|
+
import { BatchedBlob } from './batched_blob.js';
|
|
5
6
|
import { Blob } from './blob.js';
|
|
6
7
|
import { getBlobsPerL1Block } from './blob_utils.js';
|
|
7
8
|
import { BlobAccumulator, FinalBlobAccumulator, FinalBlobBatchingChallenges } from './circuit_types/index.js';
|
|
8
|
-
import { computeBlobFieldsHash,
|
|
9
|
+
import { computeBlobFieldsHash, hashNoirBigNumLimbs } from './hash.js';
|
|
9
10
|
import { kzg } from './kzg_context.js';
|
|
10
11
|
|
|
11
12
|
/**
|
|
12
13
|
* A class to create, manage, and prove batched EVM blobs.
|
|
14
|
+
* See noir-projects/noir-protocol-circuits/crates/blob/src/abis/blob_accumulator.nr
|
|
13
15
|
*/
|
|
14
|
-
export class
|
|
16
|
+
export class BatchedBlobAccumulator {
|
|
15
17
|
constructor(
|
|
16
18
|
/** Hash of Cs (to link to L1 blob hashes). */
|
|
17
|
-
public readonly
|
|
18
|
-
/** Challenge point
|
|
19
|
-
public readonly
|
|
20
|
-
/** Evaluation
|
|
21
|
-
public readonly
|
|
22
|
-
/** Commitment
|
|
23
|
-
public readonly
|
|
24
|
-
/** KZG opening
|
|
25
|
-
public readonly
|
|
19
|
+
public readonly blobCommitmentsHashAcc: Fr,
|
|
20
|
+
/** Challenge point z_acc. Final value used such that p_i(z) = y_i. */
|
|
21
|
+
public readonly zAcc: Fr,
|
|
22
|
+
/** Evaluation y_acc. Final value is is linear combination of all evaluations y_i = p_i(z) with gamma. */
|
|
23
|
+
public readonly yAcc: BLS12Fr,
|
|
24
|
+
/** Commitment c_acc. Final value is linear combination of all commitments C_i = [p_i] with gamma. */
|
|
25
|
+
public readonly cAcc: BLS12Point,
|
|
26
|
+
/** KZG opening q_acc. Final value is linear combination of all blob kzg 'proofs' Q_i with gamma. */
|
|
27
|
+
public readonly qAcc: BLS12Point,
|
|
28
|
+
/**
|
|
29
|
+
* Challenge point gamma_acc for multi opening. Used with y, C, and kzg 'proof' Q above.
|
|
30
|
+
* TODO(#13608): We calculate this by hashing natively in the circuit (hence Fr representation), but it's actually used
|
|
31
|
+
* as a BLS12Fr field elt. Is this safe? Is there a skew?
|
|
32
|
+
*/
|
|
33
|
+
public readonly gammaAcc: Fr,
|
|
34
|
+
/** Simply gamma^(i + 1) at blob i. Used for calculating the i'th element of the above linear comb.s */
|
|
35
|
+
public readonly gammaPow: BLS12Fr,
|
|
36
|
+
/** Final challenge values used in evaluation. Optimistically input and checked in the final acc. */
|
|
37
|
+
public readonly finalBlobChallenges: FinalBlobBatchingChallenges,
|
|
26
38
|
) {}
|
|
27
39
|
|
|
40
|
+
/**
|
|
41
|
+
* Create the empty accumulation state of the epoch.
|
|
42
|
+
* @returns An empty blob accumulator with challenges.
|
|
43
|
+
*/
|
|
44
|
+
static newWithChallenges(finalBlobChallenges: FinalBlobBatchingChallenges): BatchedBlobAccumulator {
|
|
45
|
+
return new BatchedBlobAccumulator(
|
|
46
|
+
Fr.ZERO,
|
|
47
|
+
Fr.ZERO,
|
|
48
|
+
BLS12Fr.ZERO,
|
|
49
|
+
BLS12Point.ZERO,
|
|
50
|
+
BLS12Point.ZERO,
|
|
51
|
+
Fr.ZERO,
|
|
52
|
+
BLS12Fr.ZERO,
|
|
53
|
+
finalBlobChallenges,
|
|
54
|
+
);
|
|
55
|
+
}
|
|
56
|
+
|
|
57
|
+
/**
|
|
58
|
+
* Returns an empty BatchedBlobAccumulator with precomputed challenges from all blobs in the epoch.
|
|
59
|
+
* @dev MUST input all blobs to be broadcast. Does not work in multiple calls because z and gamma are calculated
|
|
60
|
+
* beforehand from ALL blobs.
|
|
61
|
+
*/
|
|
62
|
+
static async fromBlobFields(blobFieldsPerCheckpoint: Fr[][]): Promise<BatchedBlobAccumulator> {
|
|
63
|
+
const finalBlobChallenges = await this.precomputeBatchedBlobChallenges(blobFieldsPerCheckpoint);
|
|
64
|
+
return BatchedBlobAccumulator.newWithChallenges(finalBlobChallenges);
|
|
65
|
+
}
|
|
66
|
+
|
|
28
67
|
/**
|
|
29
68
|
* Get the final batched opening proof from multiple blobs.
|
|
30
69
|
* @dev MUST input all blobs to be broadcast. Does not work in multiple calls because z and gamma are calculated
|
|
@@ -32,7 +71,7 @@ export class BatchedBlob {
|
|
|
32
71
|
*
|
|
33
72
|
* @returns A batched blob.
|
|
34
73
|
*/
|
|
35
|
-
static async batch(blobFieldsPerCheckpoint: Fr[][]): Promise<BatchedBlob> {
|
|
74
|
+
static async batch(blobFieldsPerCheckpoint: Fr[][], verifyProof = false): Promise<BatchedBlob> {
|
|
36
75
|
const numCheckpoints = blobFieldsPerCheckpoint.length;
|
|
37
76
|
if (numCheckpoints > AZTEC_MAX_EPOCH_DURATION) {
|
|
38
77
|
throw new Error(
|
|
@@ -41,22 +80,12 @@ export class BatchedBlob {
|
|
|
41
80
|
}
|
|
42
81
|
|
|
43
82
|
// Precalculate the values (z and gamma) and initialize the accumulator:
|
|
44
|
-
let acc = await this.
|
|
83
|
+
let acc = await this.fromBlobFields(blobFieldsPerCheckpoint);
|
|
45
84
|
// Now we can create a multi opening proof of all input blobs:
|
|
46
85
|
for (const blobFields of blobFieldsPerCheckpoint) {
|
|
47
86
|
acc = await acc.accumulateFields(blobFields);
|
|
48
87
|
}
|
|
49
|
-
return await acc.finalize();
|
|
50
|
-
}
|
|
51
|
-
|
|
52
|
-
/**
|
|
53
|
-
* Returns an empty BatchedBlobAccumulator with precomputed challenges from all blobs in the epoch.
|
|
54
|
-
* @dev MUST input all blobs to be broadcast. Does not work in multiple calls because z and gamma are calculated
|
|
55
|
-
* beforehand from ALL blobs.
|
|
56
|
-
*/
|
|
57
|
-
static async newAccumulator(blobFieldsPerCheckpoint: Fr[][]): Promise<BatchedBlobAccumulator> {
|
|
58
|
-
const finalBlobChallenges = await this.precomputeBatchedBlobChallenges(blobFieldsPerCheckpoint);
|
|
59
|
-
return BatchedBlobAccumulator.newWithChallenges(finalBlobChallenges);
|
|
88
|
+
return await acc.finalize(verifyProof);
|
|
60
89
|
}
|
|
61
90
|
|
|
62
91
|
/**
|
|
@@ -108,86 +137,6 @@ export class BatchedBlob {
|
|
|
108
137
|
return new FinalBlobBatchingChallenges(z, BLS12Fr.fromBN254Fr(gamma));
|
|
109
138
|
}
|
|
110
139
|
|
|
111
|
-
verify() {
|
|
112
|
-
return kzg.verifyKzgProof(this.commitment.compress(), this.z.toBuffer(), this.y.toBuffer(), this.q.compress());
|
|
113
|
-
}
|
|
114
|
-
|
|
115
|
-
// Returns ethereum's versioned blob hash, following kzg_to_versioned_hash: https://eips.ethereum.org/EIPS/eip-4844#helpers
|
|
116
|
-
getEthVersionedBlobHash(): Buffer {
|
|
117
|
-
return computeEthVersionedBlobHash(this.commitment.compress());
|
|
118
|
-
}
|
|
119
|
-
|
|
120
|
-
/**
|
|
121
|
-
* Returns a proof of opening of the blobs to verify on L1 using the point evaluation precompile:
|
|
122
|
-
*
|
|
123
|
-
* input[:32] - versioned_hash
|
|
124
|
-
* input[32:64] - z
|
|
125
|
-
* input[64:96] - y
|
|
126
|
-
* input[96:144] - commitment C
|
|
127
|
-
* input[144:192] - commitment Q (a 'proof' committing to the quotient polynomial q(X))
|
|
128
|
-
*
|
|
129
|
-
* See https://eips.ethereum.org/EIPS/eip-4844#point-evaluation-precompile
|
|
130
|
-
*/
|
|
131
|
-
getEthBlobEvaluationInputs(): `0x${string}` {
|
|
132
|
-
const buf = Buffer.concat([
|
|
133
|
-
this.getEthVersionedBlobHash(),
|
|
134
|
-
this.z.toBuffer(),
|
|
135
|
-
this.y.toBuffer(),
|
|
136
|
-
this.commitment.compress(),
|
|
137
|
-
this.q.compress(),
|
|
138
|
-
]);
|
|
139
|
-
return `0x${buf.toString('hex')}`;
|
|
140
|
-
}
|
|
141
|
-
|
|
142
|
-
toFinalBlobAccumulator() {
|
|
143
|
-
return new FinalBlobAccumulator(this.blobCommitmentsHash, this.z, this.y, this.commitment);
|
|
144
|
-
}
|
|
145
|
-
}
|
|
146
|
-
|
|
147
|
-
/**
|
|
148
|
-
* See noir-projects/noir-protocol-circuits/crates/blob/src/abis/blob_accumulator.nr
|
|
149
|
-
*/
|
|
150
|
-
export class BatchedBlobAccumulator {
|
|
151
|
-
constructor(
|
|
152
|
-
/** Hash of Cs (to link to L1 blob hashes). */
|
|
153
|
-
public readonly blobCommitmentsHashAcc: Fr,
|
|
154
|
-
/** Challenge point z_acc. Final value used such that p_i(z) = y_i. */
|
|
155
|
-
public readonly zAcc: Fr,
|
|
156
|
-
/** Evaluation y_acc. Final value is is linear combination of all evaluations y_i = p_i(z) with gamma. */
|
|
157
|
-
public readonly yAcc: BLS12Fr,
|
|
158
|
-
/** Commitment c_acc. Final value is linear combination of all commitments C_i = [p_i] with gamma. */
|
|
159
|
-
public readonly cAcc: BLS12Point,
|
|
160
|
-
/** KZG opening q_acc. Final value is linear combination of all blob kzg 'proofs' Q_i with gamma. */
|
|
161
|
-
public readonly qAcc: BLS12Point,
|
|
162
|
-
/**
|
|
163
|
-
* Challenge point gamma_acc for multi opening. Used with y, C, and kzg 'proof' Q above.
|
|
164
|
-
* TODO(#13608): We calculate this by hashing natively in the circuit (hence Fr representation), but it's actually used
|
|
165
|
-
* as a BLS12Fr field elt. Is this safe? Is there a skew?
|
|
166
|
-
*/
|
|
167
|
-
public readonly gammaAcc: Fr,
|
|
168
|
-
/** Simply gamma^(i + 1) at blob i. Used for calculating the i'th element of the above linear comb.s */
|
|
169
|
-
public readonly gammaPow: BLS12Fr,
|
|
170
|
-
/** Final challenge values used in evaluation. Optimistically input and checked in the final acc. */
|
|
171
|
-
public readonly finalBlobChallenges: FinalBlobBatchingChallenges,
|
|
172
|
-
) {}
|
|
173
|
-
|
|
174
|
-
/**
|
|
175
|
-
* Create the empty accumulation state of the epoch.
|
|
176
|
-
* @returns An empty blob accumulator with challenges.
|
|
177
|
-
*/
|
|
178
|
-
static newWithChallenges(finalBlobChallenges: FinalBlobBatchingChallenges): BatchedBlobAccumulator {
|
|
179
|
-
return new BatchedBlobAccumulator(
|
|
180
|
-
Fr.ZERO,
|
|
181
|
-
Fr.ZERO,
|
|
182
|
-
BLS12Fr.ZERO,
|
|
183
|
-
BLS12Point.ZERO,
|
|
184
|
-
BLS12Point.ZERO,
|
|
185
|
-
Fr.ZERO,
|
|
186
|
-
BLS12Fr.ZERO,
|
|
187
|
-
finalBlobChallenges,
|
|
188
|
-
);
|
|
189
|
-
}
|
|
190
|
-
|
|
191
140
|
/**
|
|
192
141
|
* Given blob i, accumulate all state.
|
|
193
142
|
* We assume the input blob has not been evaluated at z.
|
|
@@ -291,13 +240,17 @@ export class BatchedBlobAccumulator {
|
|
|
291
240
|
|
|
292
241
|
const batchedBlob = new BatchedBlob(this.blobCommitmentsHashAcc, this.zAcc, this.yAcc, this.cAcc, this.qAcc);
|
|
293
242
|
|
|
294
|
-
if (verifyProof && !
|
|
243
|
+
if (verifyProof && !this.verify()) {
|
|
295
244
|
throw new Error(`KZG proof did not verify.`);
|
|
296
245
|
}
|
|
297
246
|
|
|
298
247
|
return batchedBlob;
|
|
299
248
|
}
|
|
300
249
|
|
|
250
|
+
verify() {
|
|
251
|
+
return kzg.verifyKzgProof(this.cAcc.compress(), this.zAcc.toBuffer(), this.yAcc.toBuffer(), this.qAcc.compress());
|
|
252
|
+
}
|
|
253
|
+
|
|
301
254
|
isEmptyState() {
|
|
302
255
|
return (
|
|
303
256
|
this.blobCommitmentsHashAcc.isZero() &&
|
package/src/blob_utils.ts
CHANGED
|
@@ -1,9 +1,10 @@
|
|
|
1
1
|
import { FIELDS_PER_BLOB } from '@aztec/constants';
|
|
2
2
|
import { BLS12Point, Fr } from '@aztec/foundation/fields';
|
|
3
3
|
|
|
4
|
+
import type { BatchedBlob } from './batched_blob.js';
|
|
4
5
|
import { Blob } from './blob.js';
|
|
5
6
|
import { type CheckpointBlobData, decodeCheckpointBlobDataFromBuffer } from './encoding/index.js';
|
|
6
|
-
import { computeBlobsHash } from './hash.js';
|
|
7
|
+
import { computeBlobsHash, computeEthVersionedBlobHash } from './hash.js';
|
|
7
8
|
|
|
8
9
|
/**
|
|
9
10
|
* @param blobs - The blobs to emit.
|
|
@@ -56,3 +57,25 @@ export function computeBlobsHashFromBlobs(blobs: Blob[]): Fr {
|
|
|
56
57
|
export function getBlobCommitmentsFromBlobs(blobs: Blob[]): BLS12Point[] {
|
|
57
58
|
return blobs.map(b => BLS12Point.decompress(b.commitment));
|
|
58
59
|
}
|
|
60
|
+
|
|
61
|
+
/**
|
|
62
|
+
* Returns a proof of opening of the blobs to verify on L1 using the point evaluation precompile:
|
|
63
|
+
*
|
|
64
|
+
* input[:32] - versioned_hash
|
|
65
|
+
* input[32:64] - z
|
|
66
|
+
* input[64:96] - y
|
|
67
|
+
* input[96:144] - commitment C
|
|
68
|
+
* input[144:192] - commitment Q (a 'proof' committing to the quotient polynomial q(X))
|
|
69
|
+
*
|
|
70
|
+
* See https://eips.ethereum.org/EIPS/eip-4844#point-evaluation-precompile
|
|
71
|
+
*/
|
|
72
|
+
export function getEthBlobEvaluationInputs(batchedBlob: BatchedBlob): `0x${string}` {
|
|
73
|
+
const buf = Buffer.concat([
|
|
74
|
+
computeEthVersionedBlobHash(batchedBlob.commitment.compress()),
|
|
75
|
+
batchedBlob.z.toBuffer(),
|
|
76
|
+
batchedBlob.y.toBuffer(),
|
|
77
|
+
batchedBlob.commitment.compress(),
|
|
78
|
+
batchedBlob.q.compress(),
|
|
79
|
+
]);
|
|
80
|
+
return `0x${buf.toString('hex')}`;
|
|
81
|
+
}
|
|
@@ -81,4 +81,15 @@ export class BlobAccumulator {
|
|
|
81
81
|
BLS12Fr.fromNoirBigNum({ limbs: reader.readFieldArray(BLS12_FR_LIMBS).map(f => f.toString()) }),
|
|
82
82
|
);
|
|
83
83
|
}
|
|
84
|
+
|
|
85
|
+
static random() {
|
|
86
|
+
return new BlobAccumulator(
|
|
87
|
+
Fr.random(),
|
|
88
|
+
Fr.random(),
|
|
89
|
+
BLS12Fr.random(),
|
|
90
|
+
BLS12Point.random(),
|
|
91
|
+
Fr.random(),
|
|
92
|
+
BLS12Fr.random(),
|
|
93
|
+
);
|
|
94
|
+
}
|
|
84
95
|
}
|
package/src/encoding/index.ts
CHANGED
package/src/index.ts
CHANGED
|
@@ -1,9 +1,9 @@
|
|
|
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
6
|
export * from './encoding/index.js';
|
|
6
|
-
export * from './errors.js';
|
|
7
7
|
export * from './hash.js';
|
|
8
8
|
export * from './interface.js';
|
|
9
9
|
export * from './sponge_blob.js';
|