@aztec/stdlib 3.0.0-devnet.2 → 3.0.0-manual.20251030
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/block/l2_block_source.d.ts +5 -5
- package/dest/block/l2_block_source.d.ts.map +1 -1
- package/dest/interfaces/archiver.js +3 -3
- package/dest/interfaces/epoch-prover.d.ts +3 -3
- package/dest/interfaces/epoch-prover.d.ts.map +1 -1
- package/dest/interfaces/private_kernel_prover.d.ts +2 -2
- package/dest/interfaces/private_kernel_prover.d.ts.map +1 -1
- package/dest/interfaces/proving-job.d.ts +15 -15
- package/dest/interfaces/proving-job.d.ts.map +1 -1
- package/dest/interfaces/proving-job.js +8 -8
- package/dest/interfaces/server_circuit_prover.d.ts +3 -3
- package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
- package/dest/kernel/private_kernel_data.js +2 -2
- package/dest/kernel/private_kernel_prover_output.d.ts +4 -4
- package/dest/kernel/private_kernel_prover_output.d.ts.map +1 -1
- package/dest/keys/derivation.d.ts.map +1 -1
- package/dest/keys/derivation.js +2 -3
- package/dest/logs/directional_app_tagging_secret.d.ts.map +1 -1
- package/dest/logs/directional_app_tagging_secret.js +1 -2
- package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
- package/dest/logs/shared_secret_derivation.js +2 -4
- package/dest/p2p/gossipable.d.ts +4 -12
- package/dest/p2p/gossipable.d.ts.map +1 -1
- package/dest/p2p/gossipable.js +4 -7
- package/dest/p2p/topic_type.d.ts +4 -8
- package/dest/p2p/topic_type.d.ts.map +1 -1
- package/dest/p2p/topic_type.js +14 -8
- package/dest/proofs/chonk_proof.d.ts +28 -0
- package/dest/proofs/chonk_proof.d.ts.map +1 -0
- package/dest/proofs/{client_ivc_proof.js → chonk_proof.js} +22 -21
- package/dest/proofs/index.d.ts +1 -1
- package/dest/proofs/index.d.ts.map +1 -1
- package/dest/proofs/index.js +1 -1
- package/dest/proofs/proof_data.d.ts +2 -2
- package/dest/proofs/proof_data.d.ts.map +1 -1
- package/dest/proofs/proving_request_type.d.ts +1 -1
- package/dest/proofs/proving_request_type.d.ts.map +1 -1
- package/dest/proofs/proving_request_type.js +1 -1
- package/dest/rollup/index.d.ts +2 -2
- package/dest/rollup/index.d.ts.map +1 -1
- package/dest/rollup/index.js +2 -2
- package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts +4 -4
- package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts.map +1 -1
- package/dest/rollup/public_chonk_verifier_private_inputs.d.ts +21 -0
- package/dest/rollup/public_chonk_verifier_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{public_tube_private_inputs.js → public_chonk_verifier_private_inputs.js} +7 -6
- package/dest/rollup/{public_tube_public_inputs.d.ts → public_chonk_verifier_public_inputs.d.ts} +7 -7
- package/dest/rollup/public_chonk_verifier_public_inputs.d.ts.map +1 -0
- package/dest/rollup/{public_tube_public_inputs.js → public_chonk_verifier_public_inputs.js} +7 -6
- package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts +4 -4
- package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -1
- package/dest/rollup/public_tx_base_rollup_private_inputs.js +6 -6
- package/dest/stats/stats.d.ts +3 -3
- package/dest/stats/stats.d.ts.map +1 -1
- package/dest/tests/factories.d.ts +3 -3
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +13 -12
- package/dest/tests/mocks.d.ts +3 -3
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +3 -3
- package/dest/tx/processed_tx.d.ts +2 -2
- package/dest/tx/processed_tx.d.ts.map +1 -1
- package/dest/tx/processed_tx.js +2 -2
- package/dest/tx/proven_tx.d.ts +7 -7
- package/dest/tx/proven_tx.d.ts.map +1 -1
- package/dest/tx/proven_tx.js +8 -8
- package/dest/tx/simulated_tx.js +2 -2
- package/dest/tx/tx.d.ts +3 -3
- package/dest/tx/tx.d.ts.map +1 -1
- package/dest/tx/tx.js +13 -13
- package/package.json +8 -8
- package/src/block/l2_block_source.ts +5 -5
- package/src/interfaces/archiver.ts +3 -3
- package/src/interfaces/epoch-prover.ts +3 -3
- package/src/interfaces/private_kernel_prover.ts +2 -2
- package/src/interfaces/proving-job.ts +13 -10
- package/src/interfaces/server_circuit_prover.ts +7 -5
- package/src/kernel/private_kernel_data.ts +2 -2
- package/src/kernel/private_kernel_prover_output.ts +4 -4
- package/src/keys/derivation.ts +2 -3
- package/src/logs/directional_app_tagging_secret.ts +1 -2
- package/src/logs/shared_secret_derivation.ts +2 -4
- package/src/p2p/gossipable.ts +4 -12
- package/src/p2p/topic_type.ts +15 -8
- package/src/proofs/{client_ivc_proof.ts → chonk_proof.ts} +25 -24
- package/src/proofs/index.ts +1 -1
- package/src/proofs/proof_data.ts +2 -2
- package/src/proofs/proving_request_type.ts +1 -1
- package/src/rollup/index.ts +2 -2
- package/src/rollup/private_tx_base_rollup_private_inputs.ts +2 -2
- package/src/rollup/{public_tube_private_inputs.ts → public_chonk_verifier_private_inputs.ts} +11 -10
- package/src/rollup/{public_tube_public_inputs.ts → public_chonk_verifier_public_inputs.ts} +9 -8
- package/src/rollup/public_tx_base_rollup_private_inputs.ts +4 -4
- package/src/stats/stats.ts +3 -3
- package/src/tests/factories.ts +18 -17
- package/src/tests/mocks.ts +4 -4
- package/src/tx/processed_tx.ts +4 -4
- package/src/tx/proven_tx.ts +6 -6
- package/src/tx/simulated_tx.ts +2 -2
- package/src/tx/tx.ts +11 -11
- package/dest/proofs/client_ivc_proof.d.ts +0 -28
- package/dest/proofs/client_ivc_proof.d.ts.map +0 -1
- package/dest/rollup/public_tube_private_inputs.d.ts +0 -21
- package/dest/rollup/public_tube_private_inputs.d.ts.map +0 -1
- package/dest/rollup/public_tube_public_inputs.d.ts.map +0 -1
|
@@ -0,0 +1,28 @@
|
|
|
1
|
+
import { Fr } from '@aztec/foundation/fields';
|
|
2
|
+
import { BufferReader } from '@aztec/foundation/serialize';
|
|
3
|
+
export declare class ChonkProof {
|
|
4
|
+
fields: Fr[];
|
|
5
|
+
constructor(fields: Fr[]);
|
|
6
|
+
attachPublicInputs(publicInputs: Fr[]): ChonkProofWithPublicInputs;
|
|
7
|
+
isEmpty(): boolean;
|
|
8
|
+
static empty(): ChonkProof;
|
|
9
|
+
static random(): ChonkProof;
|
|
10
|
+
static get schema(): import("zod").ZodType<ChonkProof, any, string>;
|
|
11
|
+
toJSON(): Buffer<ArrayBufferLike>;
|
|
12
|
+
static fromBuffer(buffer: Buffer | BufferReader): ChonkProof;
|
|
13
|
+
toBuffer(): Buffer<ArrayBufferLike>;
|
|
14
|
+
}
|
|
15
|
+
export declare class ChonkProofWithPublicInputs {
|
|
16
|
+
fieldsWithPublicInputs: Fr[];
|
|
17
|
+
constructor(fieldsWithPublicInputs: Fr[]);
|
|
18
|
+
getPublicInputs(): Fr[];
|
|
19
|
+
removePublicInputs(): ChonkProof;
|
|
20
|
+
isEmpty(): boolean;
|
|
21
|
+
static empty(): ChonkProofWithPublicInputs;
|
|
22
|
+
static get schema(): import("zod").ZodType<ChonkProofWithPublicInputs, any, string>;
|
|
23
|
+
toJSON(): Buffer<ArrayBufferLike>;
|
|
24
|
+
static fromBuffer(buffer: Buffer | BufferReader): ChonkProofWithPublicInputs;
|
|
25
|
+
toBuffer(): Buffer<ArrayBufferLike>;
|
|
26
|
+
static fromBufferArray(fields: Uint8Array[]): ChonkProofWithPublicInputs;
|
|
27
|
+
}
|
|
28
|
+
//# sourceMappingURL=chonk_proof.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"chonk_proof.d.ts","sourceRoot":"","sources":["../../src/proofs/chonk_proof.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,qBAAa,UAAU;IAKZ,MAAM,EAAE,EAAE,EAAE;gBAAZ,MAAM,EAAE,EAAE,EAAE;IAOd,kBAAkB,CAAC,YAAY,EAAE,EAAE,EAAE;IAIrC,OAAO;IAId,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM;IAWb,MAAM,KAAK,MAAM,mDAEhB;IAGD,MAAM;IAIN,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU;IAOrD,QAAQ;CAGhB;AAED,qBAAa,0BAA0B;IAI5B,sBAAsB,EAAE,EAAE,EAAE;gBAA5B,sBAAsB,EAAE,EAAE,EAAE;IAO9B,eAAe;IAKf,kBAAkB;IAKlB,OAAO;IAId,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM,mEAEhB;IAGD,MAAM;IAIN,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IAOrE,QAAQ;IAKf,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,0BAA0B;CAIzE"}
|
|
@@ -1,21 +1,22 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { CHONK_PROOF_LENGTH } from '@aztec/constants';
|
|
2
2
|
import { randomBytes } from '@aztec/foundation/crypto';
|
|
3
3
|
import { Fr } from '@aztec/foundation/fields';
|
|
4
4
|
import { bufferSchemaFor } from '@aztec/foundation/schemas';
|
|
5
5
|
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
6
|
-
|
|
6
|
+
// CHONK: "Client Honk" - An UltraHonk variant with incremental folding and delayed non-native arithmetic.
|
|
7
|
+
export class ChonkProof {
|
|
7
8
|
fields;
|
|
8
9
|
constructor(// The proof fields.
|
|
9
10
|
// For native verification, attach public inputs via `attachPublicInputs(publicInputs)`.
|
|
10
11
|
// Not using Tuple here due to the length being too high.
|
|
11
12
|
fields){
|
|
12
13
|
this.fields = fields;
|
|
13
|
-
if (fields.length !==
|
|
14
|
-
throw new Error(`Invalid
|
|
14
|
+
if (fields.length !== CHONK_PROOF_LENGTH) {
|
|
15
|
+
throw new Error(`Invalid ChonkProof length: ${fields.length}`);
|
|
15
16
|
}
|
|
16
17
|
}
|
|
17
18
|
attachPublicInputs(publicInputs) {
|
|
18
|
-
return new
|
|
19
|
+
return new ChonkProofWithPublicInputs([
|
|
19
20
|
...publicInputs,
|
|
20
21
|
...this.fields
|
|
21
22
|
]);
|
|
@@ -24,19 +25,19 @@ export class ClientIvcProof {
|
|
|
24
25
|
return this.fields.every((field)=>field.isZero());
|
|
25
26
|
}
|
|
26
27
|
static empty() {
|
|
27
|
-
return new
|
|
28
|
+
return new ChonkProof(new Array(CHONK_PROOF_LENGTH).fill(Fr.ZERO));
|
|
28
29
|
}
|
|
29
30
|
static random() {
|
|
30
31
|
// NB: Not using Fr.random here because it slows down some tests that require a large number of txs significantly.
|
|
31
32
|
const reducedFrSize = Fr.SIZE_IN_BYTES - 1;
|
|
32
|
-
const randomFields = randomBytes(
|
|
33
|
+
const randomFields = randomBytes(CHONK_PROOF_LENGTH * reducedFrSize);
|
|
33
34
|
const proof = Array.from({
|
|
34
|
-
length:
|
|
35
|
+
length: CHONK_PROOF_LENGTH
|
|
35
36
|
}, (_, i)=>new Fr(randomFields.subarray(i * reducedFrSize, (i + 1) * reducedFrSize)));
|
|
36
|
-
return new
|
|
37
|
+
return new ChonkProof(proof);
|
|
37
38
|
}
|
|
38
39
|
static get schema() {
|
|
39
|
-
return bufferSchemaFor(
|
|
40
|
+
return bufferSchemaFor(ChonkProof);
|
|
40
41
|
}
|
|
41
42
|
// We use this in tandem with the bufferSchemaFor to serialize to base64 strings.
|
|
42
43
|
toJSON() {
|
|
@@ -46,38 +47,38 @@ export class ClientIvcProof {
|
|
|
46
47
|
const reader = BufferReader.asReader(buffer);
|
|
47
48
|
const proofLength = reader.readNumber();
|
|
48
49
|
const proof = reader.readArray(proofLength, Fr);
|
|
49
|
-
return new
|
|
50
|
+
return new ChonkProof(proof);
|
|
50
51
|
}
|
|
51
52
|
toBuffer() {
|
|
52
53
|
return serializeToBuffer(this.fields.length, this.fields);
|
|
53
54
|
}
|
|
54
55
|
}
|
|
55
|
-
export class
|
|
56
|
+
export class ChonkProofWithPublicInputs {
|
|
56
57
|
fieldsWithPublicInputs;
|
|
57
58
|
constructor(// The proof fields with public inputs.
|
|
58
59
|
// For recursive verification, use without public inputs via `removePublicInputs()`.
|
|
59
60
|
fieldsWithPublicInputs){
|
|
60
61
|
this.fieldsWithPublicInputs = fieldsWithPublicInputs;
|
|
61
|
-
if (fieldsWithPublicInputs.length <
|
|
62
|
-
throw new Error(`Invalid
|
|
62
|
+
if (fieldsWithPublicInputs.length < CHONK_PROOF_LENGTH) {
|
|
63
|
+
throw new Error(`Invalid ChonkProofWithPublicInputs length: ${fieldsWithPublicInputs.length}`);
|
|
63
64
|
}
|
|
64
65
|
}
|
|
65
66
|
getPublicInputs() {
|
|
66
|
-
const numPublicInputs = this.fieldsWithPublicInputs.length -
|
|
67
|
+
const numPublicInputs = this.fieldsWithPublicInputs.length - CHONK_PROOF_LENGTH;
|
|
67
68
|
return this.fieldsWithPublicInputs.slice(0, numPublicInputs);
|
|
68
69
|
}
|
|
69
70
|
removePublicInputs() {
|
|
70
|
-
const numPublicInputs = this.fieldsWithPublicInputs.length -
|
|
71
|
-
return new
|
|
71
|
+
const numPublicInputs = this.fieldsWithPublicInputs.length - CHONK_PROOF_LENGTH;
|
|
72
|
+
return new ChonkProof(this.fieldsWithPublicInputs.slice(numPublicInputs));
|
|
72
73
|
}
|
|
73
74
|
isEmpty() {
|
|
74
75
|
return this.fieldsWithPublicInputs.every((field)=>field.isZero());
|
|
75
76
|
}
|
|
76
77
|
static empty() {
|
|
77
|
-
return
|
|
78
|
+
return ChonkProof.empty().attachPublicInputs([]);
|
|
78
79
|
}
|
|
79
80
|
static get schema() {
|
|
80
|
-
return bufferSchemaFor(
|
|
81
|
+
return bufferSchemaFor(ChonkProofWithPublicInputs);
|
|
81
82
|
}
|
|
82
83
|
// We use this in tandem with the bufferSchemaFor to serialize to base64 strings.
|
|
83
84
|
toJSON() {
|
|
@@ -87,7 +88,7 @@ export class ClientIvcProofWithPublicInputs {
|
|
|
87
88
|
const reader = BufferReader.asReader(buffer);
|
|
88
89
|
const proofLength = reader.readNumber();
|
|
89
90
|
const proof = reader.readArray(proofLength, Fr);
|
|
90
|
-
return new
|
|
91
|
+
return new ChonkProofWithPublicInputs(proof);
|
|
91
92
|
}
|
|
92
93
|
toBuffer() {
|
|
93
94
|
return serializeToBuffer(this.fieldsWithPublicInputs.length, this.fieldsWithPublicInputs);
|
|
@@ -95,6 +96,6 @@ export class ClientIvcProofWithPublicInputs {
|
|
|
95
96
|
// Called when constructing from bb proving results.
|
|
96
97
|
static fromBufferArray(fields) {
|
|
97
98
|
const proof = fields.map((field)=>Fr.fromBuffer(Buffer.from(field)));
|
|
98
|
-
return new
|
|
99
|
+
return new ChonkProofWithPublicInputs(proof);
|
|
99
100
|
}
|
|
100
101
|
}
|
package/dest/proofs/index.d.ts
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proofs/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proofs/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,kBAAkB,CAAC;AACjC,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,2BAA2B,CAAC"}
|
package/dest/proofs/index.js
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import type {
|
|
1
|
+
import type { CHONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
|
|
2
2
|
import { BufferReader, type Bufferable } from '@aztec/foundation/serialize';
|
|
3
3
|
import { RecursiveProof } from '../proofs/recursive_proof.js';
|
|
4
4
|
import { VkData } from '../vks/index.js';
|
|
@@ -15,7 +15,7 @@ export declare class ProofData<T extends Bufferable, PROOF_LENGTH extends number
|
|
|
15
15
|
fromBuffer: (reader: BufferReader) => T;
|
|
16
16
|
}): ProofData<T, PROOF_LENGTH>;
|
|
17
17
|
}
|
|
18
|
-
export type
|
|
18
|
+
export type ChonkProofData<T extends Bufferable> = ProofData<T, typeof CHONK_PROOF_LENGTH>;
|
|
19
19
|
export type UltraHonkProofData<T extends Bufferable> = ProofData<T, typeof RECURSIVE_PROOF_LENGTH>;
|
|
20
20
|
export type RollupHonkProofData<T extends Bufferable> = ProofData<T, typeof RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
|
|
21
21
|
//# sourceMappingURL=proof_data.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"proof_data.d.ts","sourceRoot":"","sources":["../../src/proofs/proof_data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"proof_data.d.ts","sourceRoot":"","sources":["../../src/proofs/proof_data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,kCAAkC,EAAE,MAAM,kBAAkB,CAAC;AACvH,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAE/F,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAEzC;;GAEG;AACH,qBAAa,SAAS,CAAC,CAAC,SAAS,UAAU,EAAE,YAAY,SAAS,MAAM;IAE7D,YAAY,EAAE,CAAC;IACf,KAAK,EAAE,cAAc,CAAC,YAAY,CAAC;IACnC,MAAM,EAAE,MAAM;gBAFd,YAAY,EAAE,CAAC,EACf,KAAK,EAAE,cAAc,CAAC,YAAY,CAAC,EACnC,MAAM,EAAE,MAAM;IAGhB,QAAQ,IAAI,MAAM;WAIX,UAAU,CAAC,CAAC,SAAS,UAAU,EAAE,YAAY,SAAS,MAAM,EACxE,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,YAAY,EAAE;QACZ,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,CAAC,CAAC;KACzC,GACA,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC;CAI9B;AAED,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,UAAU,IAAI,SAAS,CAAC,CAAC,EAAE,OAAO,kBAAkB,CAAC,CAAC;AAE3F,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,UAAU,IAAI,SAAS,CAAC,CAAC,EAAE,OAAO,sBAAsB,CAAC,CAAC;AAEnG,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,UAAU,IAAI,SAAS,CAAC,CAAC,EAAE,OAAO,kCAAkC,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"proving_request_type.d.ts","sourceRoot":"","sources":["../../src/proofs/proving_request_type.ts"],"names":[],"mappings":"AAAA,oBAAY,kBAAkB;IAC5B,SAAS,IAAA;IACT,
|
|
1
|
+
{"version":3,"file":"proving_request_type.d.ts","sourceRoot":"","sources":["../../src/proofs/proving_request_type.ts"],"names":[],"mappings":"AAAA,oBAAY,kBAAkB;IAC5B,SAAS,IAAA;IACT,qBAAqB,IAAA;IAErB,sBAAsB,IAAA;IACtB,qBAAqB,IAAA;IACrB,eAAe,IAAA;IACf,uBAAuB,IAAA;IACvB,iCAAiC,IAAA;IACjC,gCAAgC,IAAA;IAChC,iBAAiB,IAAA;IACjB,2BAA2B,IAAA;IAC3B,kBAAkB,KAAA;IAClB,sBAAsB,KAAA;IACtB,mCAAmC,KAAA;IACnC,yBAAyB,KAAA;IACzB,uBAAuB,KAAA;IACvB,WAAW,KAAA;IAEX,WAAW,KAAA;IACX,WAAW,KAAA;CACZ"}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
export var ProvingRequestType = /*#__PURE__*/ function(ProvingRequestType) {
|
|
2
2
|
ProvingRequestType[ProvingRequestType["PUBLIC_VM"] = 0] = "PUBLIC_VM";
|
|
3
|
-
ProvingRequestType[ProvingRequestType["
|
|
3
|
+
ProvingRequestType[ProvingRequestType["PUBLIC_CHONK_VERIFIER"] = 1] = "PUBLIC_CHONK_VERIFIER";
|
|
4
4
|
ProvingRequestType[ProvingRequestType["PRIVATE_TX_BASE_ROLLUP"] = 2] = "PRIVATE_TX_BASE_ROLLUP";
|
|
5
5
|
ProvingRequestType[ProvingRequestType["PUBLIC_TX_BASE_ROLLUP"] = 3] = "PUBLIC_TX_BASE_ROLLUP";
|
|
6
6
|
ProvingRequestType[ProvingRequestType["TX_MERGE_ROLLUP"] = 4] = "TX_MERGE_ROLLUP";
|
package/dest/rollup/index.d.ts
CHANGED
|
@@ -12,8 +12,8 @@ export * from './checkpoint_root_rollup_private_inputs.js';
|
|
|
12
12
|
export * from './epoch_constant_data.js';
|
|
13
13
|
export * from './private_tx_base_rollup_private_inputs.js';
|
|
14
14
|
export * from './public_tx_base_rollup_private_inputs.js';
|
|
15
|
-
export * from './
|
|
16
|
-
export * from './
|
|
15
|
+
export * from './public_chonk_verifier_private_inputs.js';
|
|
16
|
+
export * from './public_chonk_verifier_public_inputs.js';
|
|
17
17
|
export * from './root_rollup_private_inputs.js';
|
|
18
18
|
export * from './root_rollup_public_inputs.js';
|
|
19
19
|
export * from './tree_snapshot_diff_hints.js';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rollup/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,wCAAwC,CAAC;AACvD,cAAc,iCAAiC,CAAC;AAChD,cAAc,uCAAuC,CAAC;AACtD,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,6CAA6C,CAAC;AAC5D,cAAc,sCAAsC,CAAC;AACrD,cAAc,4CAA4C,CAAC;AAC3D,cAAc,0BAA0B,CAAC;AACzC,cAAc,4CAA4C,CAAC;AAC3D,cAAc,2CAA2C,CAAC;AAC1D,cAAc,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rollup/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,wCAAwC,CAAC;AACvD,cAAc,iCAAiC,CAAC;AAChD,cAAc,uCAAuC,CAAC;AACtD,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,6CAA6C,CAAC;AAC5D,cAAc,sCAAsC,CAAC;AACrD,cAAc,4CAA4C,CAAC;AAC3D,cAAc,0BAA0B,CAAC;AACzC,cAAc,4CAA4C,CAAC;AAC3D,cAAc,2CAA2C,CAAC;AAC1D,cAAc,2CAA2C,CAAC;AAC1D,cAAc,0CAA0C,CAAC;AACzD,cAAc,iCAAiC,CAAC;AAChD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,+BAA+B,CAAC;AAC9C,cAAc,qCAAqC,CAAC;AACpD,cAAc,8BAA8B,CAAC"}
|
package/dest/rollup/index.js
CHANGED
|
@@ -12,8 +12,8 @@ export * from './checkpoint_root_rollup_private_inputs.js';
|
|
|
12
12
|
export * from './epoch_constant_data.js';
|
|
13
13
|
export * from './private_tx_base_rollup_private_inputs.js';
|
|
14
14
|
export * from './public_tx_base_rollup_private_inputs.js';
|
|
15
|
-
export * from './
|
|
16
|
-
export * from './
|
|
15
|
+
export * from './public_chonk_verifier_private_inputs.js';
|
|
16
|
+
export * from './public_chonk_verifier_public_inputs.js';
|
|
17
17
|
export * from './root_rollup_private_inputs.js';
|
|
18
18
|
export * from './root_rollup_public_inputs.js';
|
|
19
19
|
export * from './tree_snapshot_diff_hints.js';
|
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
2
2
|
import type { FieldsOf } from '@aztec/foundation/types';
|
|
3
3
|
import { PrivateToRollupKernelCircuitPublicInputs } from '../kernel/private_to_rollup_kernel_circuit_public_inputs.js';
|
|
4
|
-
import { type
|
|
4
|
+
import { type ChonkProofData } from '../proofs/proof_data.js';
|
|
5
5
|
import { PrivateBaseRollupHints } from './base_rollup_hints.js';
|
|
6
6
|
export declare class PrivateTxBaseRollupPrivateInputs {
|
|
7
|
-
hidingKernelProofData:
|
|
7
|
+
hidingKernelProofData: ChonkProofData<PrivateToRollupKernelCircuitPublicInputs>;
|
|
8
8
|
hints: PrivateBaseRollupHints;
|
|
9
|
-
constructor(hidingKernelProofData:
|
|
9
|
+
constructor(hidingKernelProofData: ChonkProofData<PrivateToRollupKernelCircuitPublicInputs>, hints: PrivateBaseRollupHints);
|
|
10
10
|
static from(fields: FieldsOf<PrivateTxBaseRollupPrivateInputs>): PrivateTxBaseRollupPrivateInputs;
|
|
11
|
-
static getFields(fields: FieldsOf<PrivateTxBaseRollupPrivateInputs>): readonly [
|
|
11
|
+
static getFields(fields: FieldsOf<PrivateTxBaseRollupPrivateInputs>): readonly [ChonkProofData<PrivateToRollupKernelCircuitPublicInputs>, PrivateBaseRollupHints];
|
|
12
12
|
static fromBuffer(buffer: Buffer | BufferReader): PrivateTxBaseRollupPrivateInputs;
|
|
13
13
|
toBuffer(): Buffer<ArrayBufferLike>;
|
|
14
14
|
static fromString(str: string): PrivateTxBaseRollupPrivateInputs;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"private_tx_base_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/private_tx_base_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAE,KAAK,
|
|
1
|
+
{"version":3,"file":"private_tx_base_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/private_tx_base_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAE,KAAK,cAAc,EAAa,MAAM,yBAAyB,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,qBAAa,gCAAgC;IAElC,qBAAqB,EAAE,cAAc,CAAC,wCAAwC,CAAC;IAC/E,KAAK,EAAE,sBAAsB;gBAD7B,qBAAqB,EAAE,cAAc,CAAC,wCAAwC,CAAC,EAC/E,KAAK,EAAE,sBAAsB;IAGtC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gCAAgC,CAAC,GAAG,gCAAgC;IAIjG,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,gCAAgC,CAAC;IAInE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gCAAgC;IAQlF,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,yEAEhB;CACF"}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
import { Fr } from '@aztec/foundation/fields';
|
|
2
|
+
import { BufferReader } from '@aztec/foundation/serialize';
|
|
3
|
+
import type { FieldsOf } from '@aztec/foundation/types';
|
|
4
|
+
import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
|
|
5
|
+
import { type ChonkProofData } from '../proofs/proof_data.js';
|
|
6
|
+
export declare class PublicChonkVerifierPrivateInputs {
|
|
7
|
+
hidingKernelProofData: ChonkProofData<PrivateToPublicKernelCircuitPublicInputs>;
|
|
8
|
+
proverId: Fr;
|
|
9
|
+
constructor(hidingKernelProofData: ChonkProofData<PrivateToPublicKernelCircuitPublicInputs>, proverId: Fr);
|
|
10
|
+
static from(fields: FieldsOf<PublicChonkVerifierPrivateInputs>): PublicChonkVerifierPrivateInputs;
|
|
11
|
+
static getFields(fields: FieldsOf<PublicChonkVerifierPrivateInputs>): readonly [ChonkProofData<PrivateToPublicKernelCircuitPublicInputs>, Fr];
|
|
12
|
+
static fromBuffer(buffer: Buffer | BufferReader): PublicChonkVerifierPrivateInputs;
|
|
13
|
+
toBuffer(): Buffer<ArrayBufferLike>;
|
|
14
|
+
static fromString(str: string): PublicChonkVerifierPrivateInputs;
|
|
15
|
+
toString(): `0x${string}`;
|
|
16
|
+
/** Returns a representation for JSON serialization. */
|
|
17
|
+
toJSON(): Buffer<ArrayBufferLike>;
|
|
18
|
+
/** Creates an instance from a string. */
|
|
19
|
+
static get schema(): import("zod").ZodType<PublicChonkVerifierPrivateInputs, any, string>;
|
|
20
|
+
}
|
|
21
|
+
//# sourceMappingURL=public_chonk_verifier_private_inputs.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"public_chonk_verifier_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_chonk_verifier_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAE,KAAK,cAAc,EAAa,MAAM,yBAAyB,CAAC;AAGzE,qBAAa,gCAAgC;IAElC,qBAAqB,EAAE,cAAc,CAAC,wCAAwC,CAAC;IAC/E,QAAQ,EAAE,EAAE;gBADZ,qBAAqB,EAAE,cAAc,CAAC,wCAAwC,CAAC,EAC/E,QAAQ,EAAE,EAAE;IAGrB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gCAAgC,CAAC;IAI9D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,gCAAgC,CAAC;IAInE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,yEAEhB;CACF"}
|
package/dest/rollup/{public_tube_private_inputs.js → public_chonk_verifier_private_inputs.js}
RENAMED
|
@@ -4,7 +4,8 @@ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
|
4
4
|
import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
|
|
5
5
|
import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
|
|
6
6
|
import { ProofData } from '../proofs/proof_data.js';
|
|
7
|
-
|
|
7
|
+
// CHONK_VERIFIER: Recursively verifies Chonk (Client Honk) proofs in circuits
|
|
8
|
+
export class PublicChonkVerifierPrivateInputs {
|
|
8
9
|
hidingKernelProofData;
|
|
9
10
|
proverId;
|
|
10
11
|
constructor(hidingKernelProofData, proverId){
|
|
@@ -12,7 +13,7 @@ export class PublicTubePrivateInputs {
|
|
|
12
13
|
this.proverId = proverId;
|
|
13
14
|
}
|
|
14
15
|
static from(fields) {
|
|
15
|
-
return new
|
|
16
|
+
return new PublicChonkVerifierPrivateInputs(...PublicChonkVerifierPrivateInputs.getFields(fields));
|
|
16
17
|
}
|
|
17
18
|
static getFields(fields) {
|
|
18
19
|
return [
|
|
@@ -22,13 +23,13 @@ export class PublicTubePrivateInputs {
|
|
|
22
23
|
}
|
|
23
24
|
static fromBuffer(buffer) {
|
|
24
25
|
const reader = BufferReader.asReader(buffer);
|
|
25
|
-
return new
|
|
26
|
+
return new PublicChonkVerifierPrivateInputs(ProofData.fromBuffer(reader, PrivateToPublicKernelCircuitPublicInputs), Fr.fromBuffer(reader));
|
|
26
27
|
}
|
|
27
28
|
toBuffer() {
|
|
28
|
-
return serializeToBuffer(...
|
|
29
|
+
return serializeToBuffer(...PublicChonkVerifierPrivateInputs.getFields(this));
|
|
29
30
|
}
|
|
30
31
|
static fromString(str) {
|
|
31
|
-
return
|
|
32
|
+
return PublicChonkVerifierPrivateInputs.fromBuffer(hexToBuffer(str));
|
|
32
33
|
}
|
|
33
34
|
toString() {
|
|
34
35
|
return bufferToHex(this.toBuffer());
|
|
@@ -37,6 +38,6 @@ export class PublicTubePrivateInputs {
|
|
|
37
38
|
return this.toBuffer();
|
|
38
39
|
}
|
|
39
40
|
/** Creates an instance from a string. */ static get schema() {
|
|
40
|
-
return bufferSchemaFor(
|
|
41
|
+
return bufferSchemaFor(PublicChonkVerifierPrivateInputs);
|
|
41
42
|
}
|
|
42
43
|
}
|
package/dest/rollup/{public_tube_public_inputs.d.ts → public_chonk_verifier_public_inputs.d.ts}
RENAMED
|
@@ -2,19 +2,19 @@ import { Fr } from '@aztec/foundation/fields';
|
|
|
2
2
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
3
3
|
import type { FieldsOf } from '@aztec/foundation/types';
|
|
4
4
|
import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
|
|
5
|
-
export declare class
|
|
5
|
+
export declare class PublicChonkVerifierPublicInputs {
|
|
6
6
|
privateTail: PrivateToPublicKernelCircuitPublicInputs;
|
|
7
7
|
proverId: Fr;
|
|
8
8
|
constructor(privateTail: PrivateToPublicKernelCircuitPublicInputs, proverId: Fr);
|
|
9
|
-
static from(fields: FieldsOf<
|
|
10
|
-
static getFields(fields: FieldsOf<
|
|
11
|
-
static fromBuffer(buffer: Buffer | BufferReader):
|
|
9
|
+
static from(fields: FieldsOf<PublicChonkVerifierPublicInputs>): PublicChonkVerifierPublicInputs;
|
|
10
|
+
static getFields(fields: FieldsOf<PublicChonkVerifierPublicInputs>): readonly [PrivateToPublicKernelCircuitPublicInputs, Fr];
|
|
11
|
+
static fromBuffer(buffer: Buffer | BufferReader): PublicChonkVerifierPublicInputs;
|
|
12
12
|
toBuffer(): Buffer<ArrayBufferLike>;
|
|
13
|
-
static fromString(str: string):
|
|
13
|
+
static fromString(str: string): PublicChonkVerifierPublicInputs;
|
|
14
14
|
toString(): `0x${string}`;
|
|
15
15
|
/** Returns a representation for JSON serialization. */
|
|
16
16
|
toJSON(): Buffer<ArrayBufferLike>;
|
|
17
17
|
/** Creates an instance from a string. */
|
|
18
|
-
static get schema(): import("zod").ZodType<
|
|
18
|
+
static get schema(): import("zod").ZodType<PublicChonkVerifierPublicInputs, any, string>;
|
|
19
19
|
}
|
|
20
|
-
//# sourceMappingURL=
|
|
20
|
+
//# sourceMappingURL=public_chonk_verifier_public_inputs.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"public_chonk_verifier_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_chonk_verifier_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AAGvH,qBAAa,+BAA+B;IAEjC,WAAW,EAAE,wCAAwC;IACrD,QAAQ,EAAE,EAAE;gBADZ,WAAW,EAAE,wCAAwC,EACrD,QAAQ,EAAE,EAAE;IAGrB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,+BAA+B,CAAC;IAI7D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,+BAA+B,CAAC;IAIlE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,wEAEhB;CACF"}
|
|
@@ -3,7 +3,8 @@ import { bufferSchemaFor } from '@aztec/foundation/schemas';
|
|
|
3
3
|
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
4
4
|
import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
|
|
5
5
|
import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
|
|
6
|
-
|
|
6
|
+
// CHONK_VERIFIER: Recursively verifies Chonk (Client Honk) proofs in circuits
|
|
7
|
+
export class PublicChonkVerifierPublicInputs {
|
|
7
8
|
privateTail;
|
|
8
9
|
proverId;
|
|
9
10
|
constructor(privateTail, proverId){
|
|
@@ -11,7 +12,7 @@ export class PublicTubePublicInputs {
|
|
|
11
12
|
this.proverId = proverId;
|
|
12
13
|
}
|
|
13
14
|
static from(fields) {
|
|
14
|
-
return new
|
|
15
|
+
return new PublicChonkVerifierPublicInputs(...PublicChonkVerifierPublicInputs.getFields(fields));
|
|
15
16
|
}
|
|
16
17
|
static getFields(fields) {
|
|
17
18
|
return [
|
|
@@ -21,13 +22,13 @@ export class PublicTubePublicInputs {
|
|
|
21
22
|
}
|
|
22
23
|
static fromBuffer(buffer) {
|
|
23
24
|
const reader = BufferReader.asReader(buffer);
|
|
24
|
-
return new
|
|
25
|
+
return new PublicChonkVerifierPublicInputs(reader.readObject(PrivateToPublicKernelCircuitPublicInputs), reader.readObject(Fr));
|
|
25
26
|
}
|
|
26
27
|
toBuffer() {
|
|
27
|
-
return serializeToBuffer(...
|
|
28
|
+
return serializeToBuffer(...PublicChonkVerifierPublicInputs.getFields(this));
|
|
28
29
|
}
|
|
29
30
|
static fromString(str) {
|
|
30
|
-
return
|
|
31
|
+
return PublicChonkVerifierPublicInputs.fromBuffer(hexToBuffer(str));
|
|
31
32
|
}
|
|
32
33
|
toString() {
|
|
33
34
|
return bufferToHex(this.toBuffer());
|
|
@@ -36,6 +37,6 @@ export class PublicTubePublicInputs {
|
|
|
36
37
|
return this.toBuffer();
|
|
37
38
|
}
|
|
38
39
|
/** Creates an instance from a string. */ static get schema() {
|
|
39
|
-
return bufferSchemaFor(
|
|
40
|
+
return bufferSchemaFor(PublicChonkVerifierPublicInputs);
|
|
40
41
|
}
|
|
41
42
|
}
|
|
@@ -3,14 +3,14 @@ import type { FieldsOf } from '@aztec/foundation/types';
|
|
|
3
3
|
import { type RollupHonkProofData } from '../proofs/proof_data.js';
|
|
4
4
|
import type { AvmProofData } from './avm_proof_data.js';
|
|
5
5
|
import { PublicBaseRollupHints } from './base_rollup_hints.js';
|
|
6
|
-
import {
|
|
6
|
+
import { PublicChonkVerifierPublicInputs } from './public_chonk_verifier_public_inputs.js';
|
|
7
7
|
export declare class PublicTxBaseRollupPrivateInputs {
|
|
8
|
-
|
|
8
|
+
publicChonkVerifierProofData: RollupHonkProofData<PublicChonkVerifierPublicInputs>;
|
|
9
9
|
avmProofData: AvmProofData;
|
|
10
10
|
hints: PublicBaseRollupHints;
|
|
11
|
-
constructor(
|
|
11
|
+
constructor(publicChonkVerifierProofData: RollupHonkProofData<PublicChonkVerifierPublicInputs>, avmProofData: AvmProofData, hints: PublicBaseRollupHints);
|
|
12
12
|
static from(fields: FieldsOf<PublicTxBaseRollupPrivateInputs>): PublicTxBaseRollupPrivateInputs;
|
|
13
|
-
static getFields(fields: FieldsOf<PublicTxBaseRollupPrivateInputs>): readonly [RollupHonkProofData<
|
|
13
|
+
static getFields(fields: FieldsOf<PublicTxBaseRollupPrivateInputs>): readonly [RollupHonkProofData<PublicChonkVerifierPublicInputs>, AvmProofData, PublicBaseRollupHints];
|
|
14
14
|
static fromBuffer(buffer: Buffer | BufferReader): PublicTxBaseRollupPrivateInputs;
|
|
15
15
|
toBuffer(): Buffer<ArrayBufferLike>;
|
|
16
16
|
static fromString(str: string): PublicTxBaseRollupPrivateInputs;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"public_tx_base_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_tx_base_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGxD,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"public_tx_base_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_tx_base_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGxD,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAE3F,qBAAa,+BAA+B;IAEjC,4BAA4B,EAAE,mBAAmB,CAAC,+BAA+B,CAAC;IAClF,YAAY,EAAE,YAAY;IAC1B,KAAK,EAAE,qBAAqB;gBAF5B,4BAA4B,EAAE,mBAAmB,CAAC,+BAA+B,CAAC,EAClF,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,qBAAqB;IAGrC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,+BAA+B,CAAC,GAAG,+BAA+B;IAI/F,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,+BAA+B,CAAC;IAIlE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,+BAA+B;IASjF,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,wEAEhB;CACF"}
|
|
@@ -4,13 +4,13 @@ import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
|
|
|
4
4
|
import { AvmCircuitPublicInputs } from '../avm/avm_circuit_public_inputs.js';
|
|
5
5
|
import { ProofData } from '../proofs/proof_data.js';
|
|
6
6
|
import { PublicBaseRollupHints } from './base_rollup_hints.js';
|
|
7
|
-
import {
|
|
7
|
+
import { PublicChonkVerifierPublicInputs } from './public_chonk_verifier_public_inputs.js';
|
|
8
8
|
export class PublicTxBaseRollupPrivateInputs {
|
|
9
|
-
|
|
9
|
+
publicChonkVerifierProofData;
|
|
10
10
|
avmProofData;
|
|
11
11
|
hints;
|
|
12
|
-
constructor(
|
|
13
|
-
this.
|
|
12
|
+
constructor(publicChonkVerifierProofData, avmProofData, hints){
|
|
13
|
+
this.publicChonkVerifierProofData = publicChonkVerifierProofData;
|
|
14
14
|
this.avmProofData = avmProofData;
|
|
15
15
|
this.hints = hints;
|
|
16
16
|
}
|
|
@@ -19,14 +19,14 @@ export class PublicTxBaseRollupPrivateInputs {
|
|
|
19
19
|
}
|
|
20
20
|
static getFields(fields) {
|
|
21
21
|
return [
|
|
22
|
-
fields.
|
|
22
|
+
fields.publicChonkVerifierProofData,
|
|
23
23
|
fields.avmProofData,
|
|
24
24
|
fields.hints
|
|
25
25
|
];
|
|
26
26
|
}
|
|
27
27
|
static fromBuffer(buffer) {
|
|
28
28
|
const reader = BufferReader.asReader(buffer);
|
|
29
|
-
return new PublicTxBaseRollupPrivateInputs(ProofData.fromBuffer(reader,
|
|
29
|
+
return new PublicTxBaseRollupPrivateInputs(ProofData.fromBuffer(reader, PublicChonkVerifierPublicInputs), ProofData.fromBuffer(reader, AvmCircuitPublicInputs), reader.readObject(PublicBaseRollupHints));
|
|
30
30
|
}
|
|
31
31
|
toBuffer() {
|
|
32
32
|
return serializeToBuffer(...PublicTxBaseRollupPrivateInputs.getFields(this));
|
package/dest/stats/stats.d.ts
CHANGED
|
@@ -69,7 +69,7 @@ export type NodeSyncedChainHistoryStats = {
|
|
|
69
69
|
dbSize: number;
|
|
70
70
|
};
|
|
71
71
|
export type ClientCircuitName = 'private-kernel-init' | 'private-kernel-inner' | 'private-kernel-reset' | 'private-kernel-tail' | 'private-kernel-tail-to-public' | 'hiding-kernel-to-rollup' | 'hiding-kernel-to-public' | 'app-circuit';
|
|
72
|
-
export type ServerCircuitName = 'parity-base' | 'parity-root' | '
|
|
72
|
+
export type ServerCircuitName = 'parity-base' | 'parity-root' | 'chonk-verifier-public' | 'rollup-tx-base-private' | 'rollup-tx-base-public' | 'rollup-tx-merge' | 'rollup-block-root-first' | 'rollup-block-root-first-single-tx' | 'rollup-block-root-first-empty-tx' | 'rollup-block-root' | 'rollup-block-root-single-tx' | 'rollup-block-merge' | 'rollup-checkpoint-root' | 'rollup-checkpoint-root-single-block' | 'rollup-checkpoint-padding' | 'rollup-checkpoint-merge' | 'rollup-root' | 'avm-circuit';
|
|
73
73
|
export type CircuitName = ClientCircuitName | ServerCircuitName;
|
|
74
74
|
/** Stats for circuit simulation. */
|
|
75
75
|
export type CircuitSimulationStats = {
|
|
@@ -139,8 +139,8 @@ export type CircuitVerificationStats = {
|
|
|
139
139
|
eventName: 'circuit-verification';
|
|
140
140
|
/** Name of the circuit. */
|
|
141
141
|
circuitName: CircuitName;
|
|
142
|
-
/** Type of proof (
|
|
143
|
-
proofType: '
|
|
142
|
+
/** Type of proof (chonk, honk, etc) */
|
|
143
|
+
proofType: 'chonk' | 'ultra-honk';
|
|
144
144
|
/** Duration in ms. */
|
|
145
145
|
duration: number;
|
|
146
146
|
};
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../../src/stats/stats.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,6CAA6C;IAC7C,SAAS,EAAE,yBAAyB,CAAC;IACrC,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,yCAAyC;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG;IACzB,qCAAqC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,0CAA0C;AAC1C,MAAM,MAAM,cAAc,GAAG;IAC3B,6BAA6B;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,YAAY,EAAE,MAAM,CAAC;IACrB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,+BAA+B;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,gCAAgC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8DAA8D;IAC9D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,wBAAwB,CAAC;CACrC,GAAG,cAAc,GAChB,YAAY,CAAC;AAEf,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,uBAAuB,CAAC;CACpC,GAAG,cAAc,CAAC;AAEnB,qDAAqD;AACrD,MAAM,MAAM,2BAA2B,GAAG;IACxC,yBAAyB;IACzB,SAAS,EAAE,2BAA2B,CAAC;IACvC,sCAAsC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB,qBAAqB,GACrB,sBAAsB,GACtB,sBAAsB,GACtB,qBAAqB,GACrB,+BAA+B,GAC/B,yBAAyB,GACzB,yBAAyB,GACzB,aAAa,CAAC;AAElB,MAAM,MAAM,iBAAiB,GACzB,aAAa,GACb,aAAa,GACb,
|
|
1
|
+
{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../../src/stats/stats.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,6CAA6C;IAC7C,SAAS,EAAE,yBAAyB,CAAC;IACrC,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,yCAAyC;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG;IACzB,qCAAqC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,0CAA0C;AAC1C,MAAM,MAAM,cAAc,GAAG;IAC3B,6BAA6B;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,YAAY,EAAE,MAAM,CAAC;IACrB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,+BAA+B;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,gCAAgC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8DAA8D;IAC9D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,wBAAwB,CAAC;CACrC,GAAG,cAAc,GAChB,YAAY,CAAC;AAEf,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,uBAAuB,CAAC;CACpC,GAAG,cAAc,CAAC;AAEnB,qDAAqD;AACrD,MAAM,MAAM,2BAA2B,GAAG;IACxC,yBAAyB;IACzB,SAAS,EAAE,2BAA2B,CAAC;IACvC,sCAAsC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB,qBAAqB,GACrB,sBAAsB,GACtB,sBAAsB,GACtB,qBAAqB,GACrB,+BAA+B,GAC/B,yBAAyB,GACzB,yBAAyB,GACzB,aAAa,CAAC;AAElB,MAAM,MAAM,iBAAiB,GACzB,aAAa,GACb,aAAa,GACb,uBAAuB,GACvB,wBAAwB,GACxB,uBAAuB,GACvB,iBAAiB,GACjB,yBAAyB,GACzB,mCAAmC,GACnC,kCAAkC,GAClC,mBAAmB,GACnB,6BAA6B,GAC7B,oBAAoB,GACpB,wBAAwB,GACxB,qCAAqC,GACrC,2BAA2B,GAC3B,yBAAyB,GACzB,aAAa,GACb,aAAa,CAAC;AAGlB,MAAM,MAAM,WAAW,GAAG,iBAAiB,GAAG,iBAAiB,CAAC;AAEhE,oCAAoC;AACpC,MAAM,MAAM,sBAAsB,GAAG;IACnC,yBAAyB;IACzB,SAAS,EAAE,oBAAoB,CAAC;IAChC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,yDAAyD;IACzD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,2BAA2B;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,oCAAoC;AACpC,MAAM,MAAM,6BAA6B,GAAG;IAC1C,yBAAyB;IACzB,SAAS,EAAE,4BAA4B,CAAC;IACxC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,sDAAsD;IACtD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,kCAAkC;AAClC,MAAM,MAAM,mBAAmB,GAAG;IAChC,yBAAyB;IACzB,SAAS,EAAE,iBAAiB,CAAC;IAC7B,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,kDAAkD;IAClD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,yCAAyC;IACzC,WAAW,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,oCAAoC;AACpC,MAAM,MAAM,wBAAwB,GAAG;IACrC,yBAAyB;IACzB,SAAS,EAAE,sBAAsB,CAAC;IAClC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,uCAAuC;IACvC,SAAS,EAAE,OAAO,GAAG,YAAY,CAAC;IAClC,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,kDAAkD;AAClD,MAAM,MAAM,iBAAiB,GAAG;IAC9B,+BAA+B;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,4CAA4C;IAC5C,qBAAqB,EAAE,MAAM,CAAC;IAC9B,+CAA+C;IAC/C,sBAAsB,EAAE,MAAM,CAAC;CAChC,GAAG,YAAY,CAAC;AAEjB,uEAAuE;AACvE,MAAM,MAAM,mBAAmB,GAAG;IAChC,yBAAyB;IACzB,SAAS,EAAE,kBAAkB,CAAC;IAC9B,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,4BAA4B;IAC5B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,2BAA2B;IAC3B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,oCAAoC;IACpC,mBAAmB,EAAE,MAAM,CAAC;CAC7B,GAAG,YAAY,CAAC;AAEjB,sBAAsB;AACtB,MAAM,MAAM,OAAO,GAAG;IACpB,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,yBAAyB;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,4BAA4B;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,2BAA2B;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,6BAA6B;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wDAAwD;IACxD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mCAAmC;IACnC,gBAAgB,EAAE,WAAW,GAAG,KAAK,CAAC;CACvC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,sCAAsC;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,qBAAqB;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB;IAChB,QAAQ,EAAE,aAAa,GAAG,SAAS,CAAC;IACpC,iCAAiC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,kBAAkB,CAAC;CAC/B,GAAG,OAAO,CAAC;AAEZ,yEAAyE;AACzE,MAAM,MAAM,KAAK,GACb,kBAAkB,GAClB,mBAAmB,GACnB,sBAAsB,GACtB,6BAA6B,GAC7B,mBAAmB,GACnB,mBAAmB,GACnB,mBAAmB,GACnB,iBAAiB,GACjB,mBAAmB,GACnB,2BAA2B,GAC3B,gBAAgB,GAChB,kBAAkB,GAClB,kBAAkB,CAAC;AAEvB,+CAA+C;AAC/C,MAAM,MAAM,cAAc,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC"}
|
|
@@ -32,7 +32,7 @@ import { BlockRootFirstRollupPrivateInputs, BlockRootSingleTxRollupPrivateInputs
|
|
|
32
32
|
import { CheckpointHeader } from '../rollup/checkpoint_header.js';
|
|
33
33
|
import { CheckpointRollupPublicInputs } from '../rollup/checkpoint_rollup_public_inputs.js';
|
|
34
34
|
import { PrivateTxBaseRollupPrivateInputs } from '../rollup/private_tx_base_rollup_private_inputs.js';
|
|
35
|
-
import {
|
|
35
|
+
import { PublicChonkVerifierPublicInputs } from '../rollup/public_chonk_verifier_public_inputs.js';
|
|
36
36
|
import { PublicTxBaseRollupPrivateInputs } from '../rollup/public_tx_base_rollup_private_inputs.js';
|
|
37
37
|
import { RootRollupPublicInputs } from '../rollup/root_rollup_public_inputs.js';
|
|
38
38
|
import { TreeSnapshotDiffHints } from '../rollup/tree_snapshot_diff_hints.js';
|
|
@@ -113,7 +113,7 @@ export declare function makeCallContext(seed?: number, overrides?: Partial<Field
|
|
|
113
113
|
*/
|
|
114
114
|
export declare function makePrivateKernelTailCircuitPublicInputs(seed?: number, isForPublic?: boolean): PrivateKernelTailCircuitPublicInputs;
|
|
115
115
|
export declare function makePrivateToPublicKernelCircuitPublicInputs(seed?: number): PrivateToPublicKernelCircuitPublicInputs;
|
|
116
|
-
export declare function
|
|
116
|
+
export declare function makePublicChonkVerifierPublicInputs(seed?: number): PublicChonkVerifierPublicInputs;
|
|
117
117
|
export declare function makeProtocolContracts(seed?: number): ProtocolContracts;
|
|
118
118
|
/**
|
|
119
119
|
* Creates arbitrary public kernel circuit public inputs.
|
|
@@ -306,7 +306,7 @@ export declare function makeVector<T extends Bufferable>(length: number, fn: (i:
|
|
|
306
306
|
export declare function makeVectorAsync<T extends Bufferable>(length: number, fn: (i: number) => Promise<T>, offset?: number): Promise<Vector<Awaited<T>>>;
|
|
307
307
|
export declare function makeMap<T>(size: number, fn: (i: number) => [string, T], offset?: number): Map<string, T>;
|
|
308
308
|
export declare function makeMapAsync<T>(size: number, fn: (i: number) => Promise<[string, T]>, offset?: number): Promise<Map<string, T>>;
|
|
309
|
-
export declare function makePublicKeys(seed?: number): PublicKeys
|
|
309
|
+
export declare function makePublicKeys(seed?: number): Promise<PublicKeys>;
|
|
310
310
|
export declare function makeContractInstanceFromClassId(classId: Fr, seed?: number, overrides?: {
|
|
311
311
|
deployer?: AztecAddress;
|
|
312
312
|
initializationHash?: Fr;
|