@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.
Files changed (105) hide show
  1. package/dest/block/l2_block_source.d.ts +5 -5
  2. package/dest/block/l2_block_source.d.ts.map +1 -1
  3. package/dest/interfaces/archiver.js +3 -3
  4. package/dest/interfaces/epoch-prover.d.ts +3 -3
  5. package/dest/interfaces/epoch-prover.d.ts.map +1 -1
  6. package/dest/interfaces/private_kernel_prover.d.ts +2 -2
  7. package/dest/interfaces/private_kernel_prover.d.ts.map +1 -1
  8. package/dest/interfaces/proving-job.d.ts +15 -15
  9. package/dest/interfaces/proving-job.d.ts.map +1 -1
  10. package/dest/interfaces/proving-job.js +8 -8
  11. package/dest/interfaces/server_circuit_prover.d.ts +3 -3
  12. package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
  13. package/dest/kernel/private_kernel_data.js +2 -2
  14. package/dest/kernel/private_kernel_prover_output.d.ts +4 -4
  15. package/dest/kernel/private_kernel_prover_output.d.ts.map +1 -1
  16. package/dest/keys/derivation.d.ts.map +1 -1
  17. package/dest/keys/derivation.js +2 -3
  18. package/dest/logs/directional_app_tagging_secret.d.ts.map +1 -1
  19. package/dest/logs/directional_app_tagging_secret.js +1 -2
  20. package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
  21. package/dest/logs/shared_secret_derivation.js +2 -4
  22. package/dest/p2p/gossipable.d.ts +4 -12
  23. package/dest/p2p/gossipable.d.ts.map +1 -1
  24. package/dest/p2p/gossipable.js +4 -7
  25. package/dest/p2p/topic_type.d.ts +4 -8
  26. package/dest/p2p/topic_type.d.ts.map +1 -1
  27. package/dest/p2p/topic_type.js +14 -8
  28. package/dest/proofs/chonk_proof.d.ts +28 -0
  29. package/dest/proofs/chonk_proof.d.ts.map +1 -0
  30. package/dest/proofs/{client_ivc_proof.js → chonk_proof.js} +22 -21
  31. package/dest/proofs/index.d.ts +1 -1
  32. package/dest/proofs/index.d.ts.map +1 -1
  33. package/dest/proofs/index.js +1 -1
  34. package/dest/proofs/proof_data.d.ts +2 -2
  35. package/dest/proofs/proof_data.d.ts.map +1 -1
  36. package/dest/proofs/proving_request_type.d.ts +1 -1
  37. package/dest/proofs/proving_request_type.d.ts.map +1 -1
  38. package/dest/proofs/proving_request_type.js +1 -1
  39. package/dest/rollup/index.d.ts +2 -2
  40. package/dest/rollup/index.d.ts.map +1 -1
  41. package/dest/rollup/index.js +2 -2
  42. package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts +4 -4
  43. package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts.map +1 -1
  44. package/dest/rollup/public_chonk_verifier_private_inputs.d.ts +21 -0
  45. package/dest/rollup/public_chonk_verifier_private_inputs.d.ts.map +1 -0
  46. package/dest/rollup/{public_tube_private_inputs.js → public_chonk_verifier_private_inputs.js} +7 -6
  47. package/dest/rollup/{public_tube_public_inputs.d.ts → public_chonk_verifier_public_inputs.d.ts} +7 -7
  48. package/dest/rollup/public_chonk_verifier_public_inputs.d.ts.map +1 -0
  49. package/dest/rollup/{public_tube_public_inputs.js → public_chonk_verifier_public_inputs.js} +7 -6
  50. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts +4 -4
  51. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -1
  52. package/dest/rollup/public_tx_base_rollup_private_inputs.js +6 -6
  53. package/dest/stats/stats.d.ts +3 -3
  54. package/dest/stats/stats.d.ts.map +1 -1
  55. package/dest/tests/factories.d.ts +3 -3
  56. package/dest/tests/factories.d.ts.map +1 -1
  57. package/dest/tests/factories.js +13 -12
  58. package/dest/tests/mocks.d.ts +3 -3
  59. package/dest/tests/mocks.d.ts.map +1 -1
  60. package/dest/tests/mocks.js +3 -3
  61. package/dest/tx/processed_tx.d.ts +2 -2
  62. package/dest/tx/processed_tx.d.ts.map +1 -1
  63. package/dest/tx/processed_tx.js +2 -2
  64. package/dest/tx/proven_tx.d.ts +7 -7
  65. package/dest/tx/proven_tx.d.ts.map +1 -1
  66. package/dest/tx/proven_tx.js +8 -8
  67. package/dest/tx/simulated_tx.js +2 -2
  68. package/dest/tx/tx.d.ts +3 -3
  69. package/dest/tx/tx.d.ts.map +1 -1
  70. package/dest/tx/tx.js +13 -13
  71. package/package.json +8 -8
  72. package/src/block/l2_block_source.ts +5 -5
  73. package/src/interfaces/archiver.ts +3 -3
  74. package/src/interfaces/epoch-prover.ts +3 -3
  75. package/src/interfaces/private_kernel_prover.ts +2 -2
  76. package/src/interfaces/proving-job.ts +13 -10
  77. package/src/interfaces/server_circuit_prover.ts +7 -5
  78. package/src/kernel/private_kernel_data.ts +2 -2
  79. package/src/kernel/private_kernel_prover_output.ts +4 -4
  80. package/src/keys/derivation.ts +2 -3
  81. package/src/logs/directional_app_tagging_secret.ts +1 -2
  82. package/src/logs/shared_secret_derivation.ts +2 -4
  83. package/src/p2p/gossipable.ts +4 -12
  84. package/src/p2p/topic_type.ts +15 -8
  85. package/src/proofs/{client_ivc_proof.ts → chonk_proof.ts} +25 -24
  86. package/src/proofs/index.ts +1 -1
  87. package/src/proofs/proof_data.ts +2 -2
  88. package/src/proofs/proving_request_type.ts +1 -1
  89. package/src/rollup/index.ts +2 -2
  90. package/src/rollup/private_tx_base_rollup_private_inputs.ts +2 -2
  91. package/src/rollup/{public_tube_private_inputs.ts → public_chonk_verifier_private_inputs.ts} +11 -10
  92. package/src/rollup/{public_tube_public_inputs.ts → public_chonk_verifier_public_inputs.ts} +9 -8
  93. package/src/rollup/public_tx_base_rollup_private_inputs.ts +4 -4
  94. package/src/stats/stats.ts +3 -3
  95. package/src/tests/factories.ts +18 -17
  96. package/src/tests/mocks.ts +4 -4
  97. package/src/tx/processed_tx.ts +4 -4
  98. package/src/tx/proven_tx.ts +6 -6
  99. package/src/tx/simulated_tx.ts +2 -2
  100. package/src/tx/tx.ts +11 -11
  101. package/dest/proofs/client_ivc_proof.d.ts +0 -28
  102. package/dest/proofs/client_ivc_proof.d.ts.map +0 -1
  103. package/dest/rollup/public_tube_private_inputs.d.ts +0 -21
  104. package/dest/rollup/public_tube_private_inputs.d.ts.map +0 -1
  105. 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 { CIVC_PROOF_LENGTH } from '@aztec/constants';
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
- export class ClientIvcProof {
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 !== CIVC_PROOF_LENGTH) {
14
- throw new Error(`Invalid ClientIvcProof length: ${fields.length}`);
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 ClientIvcProofWithPublicInputs([
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 ClientIvcProof(new Array(CIVC_PROOF_LENGTH).fill(Fr.ZERO));
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(CIVC_PROOF_LENGTH * reducedFrSize);
33
+ const randomFields = randomBytes(CHONK_PROOF_LENGTH * reducedFrSize);
33
34
  const proof = Array.from({
34
- length: CIVC_PROOF_LENGTH
35
+ length: CHONK_PROOF_LENGTH
35
36
  }, (_, i)=>new Fr(randomFields.subarray(i * reducedFrSize, (i + 1) * reducedFrSize)));
36
- return new ClientIvcProof(proof);
37
+ return new ChonkProof(proof);
37
38
  }
38
39
  static get schema() {
39
- return bufferSchemaFor(ClientIvcProof);
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 ClientIvcProof(proof);
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 ClientIvcProofWithPublicInputs {
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 < CIVC_PROOF_LENGTH) {
62
- throw new Error(`Invalid ClientIvcProofWithPublicInputs length: ${fieldsWithPublicInputs.length}`);
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 - CIVC_PROOF_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 - CIVC_PROOF_LENGTH;
71
- return new ClientIvcProof(this.fieldsWithPublicInputs.slice(numPublicInputs));
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 ClientIvcProof.empty().attachPublicInputs([]);
78
+ return ChonkProof.empty().attachPublicInputs([]);
78
79
  }
79
80
  static get schema() {
80
- return bufferSchemaFor(ClientIvcProofWithPublicInputs);
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 ClientIvcProofWithPublicInputs(proof);
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 ClientIvcProofWithPublicInputs(proof);
99
+ return new ChonkProofWithPublicInputs(proof);
99
100
  }
100
101
  }
@@ -1,5 +1,5 @@
1
1
  export * from './recursive_proof.js';
2
- export * from './client_ivc_proof.js';
2
+ export * from './chonk_proof.js';
3
3
  export * from './proof.js';
4
4
  export * from './proof_data.js';
5
5
  export * from './proving_request_type.js';
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proofs/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,2BAA2B,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"}
@@ -1,5 +1,5 @@
1
1
  export * from './recursive_proof.js';
2
- export * from './client_ivc_proof.js';
2
+ export * from './chonk_proof.js';
3
3
  export * from './proof.js';
4
4
  export * from './proof_data.js';
5
5
  export * from './proving_request_type.js';
@@ -1,4 +1,4 @@
1
- import type { CIVC_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
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 CivcProofData<T extends Bufferable> = ProofData<T, typeof CIVC_PROOF_LENGTH>;
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,iBAAiB,EAAE,sBAAsB,EAAE,kCAAkC,EAAE,MAAM,kBAAkB,CAAC;AACtH,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,aAAa,CAAC,CAAC,SAAS,UAAU,IAAI,SAAS,CAAC,CAAC,EAAE,OAAO,iBAAiB,CAAC,CAAC;AAEzF,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
+ {"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,6 +1,6 @@
1
1
  export declare enum ProvingRequestType {
2
2
  PUBLIC_VM = 0,
3
- PUBLIC_TUBE = 1,
3
+ PUBLIC_CHONK_VERIFIER = 1,
4
4
  PRIVATE_TX_BASE_ROLLUP = 2,
5
5
  PUBLIC_TX_BASE_ROLLUP = 3,
6
6
  TX_MERGE_ROLLUP = 4,
@@ -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,WAAW,IAAA;IAEX,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
+ {"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["PUBLIC_TUBE"] = 1] = "PUBLIC_TUBE";
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";
@@ -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 './public_tube_private_inputs.js';
16
- export * from './public_tube_public_inputs.js';
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,iCAAiC,CAAC;AAChD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,iCAAiC,CAAC;AAChD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,+BAA+B,CAAC;AAC9C,cAAc,qCAAqC,CAAC;AACpD,cAAc,8BAA8B,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"}
@@ -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 './public_tube_private_inputs.js';
16
- export * from './public_tube_public_inputs.js';
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 CivcProofData } from '../proofs/proof_data.js';
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: CivcProofData<PrivateToRollupKernelCircuitPublicInputs>;
7
+ hidingKernelProofData: ChonkProofData<PrivateToRollupKernelCircuitPublicInputs>;
8
8
  hints: PrivateBaseRollupHints;
9
- constructor(hidingKernelProofData: CivcProofData<PrivateToRollupKernelCircuitPublicInputs>, hints: PrivateBaseRollupHints);
9
+ constructor(hidingKernelProofData: ChonkProofData<PrivateToRollupKernelCircuitPublicInputs>, hints: PrivateBaseRollupHints);
10
10
  static from(fields: FieldsOf<PrivateTxBaseRollupPrivateInputs>): PrivateTxBaseRollupPrivateInputs;
11
- static getFields(fields: FieldsOf<PrivateTxBaseRollupPrivateInputs>): readonly [CivcProofData<PrivateToRollupKernelCircuitPublicInputs>, PrivateBaseRollupHints];
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,aAAa,EAAa,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,qBAAa,gCAAgC;IAElC,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC;IAC9E,KAAK,EAAE,sBAAsB;gBAD7B,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC,EAC9E,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"}
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"}
@@ -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
- export class PublicTubePrivateInputs {
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 PublicTubePrivateInputs(...PublicTubePrivateInputs.getFields(fields));
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 PublicTubePrivateInputs(ProofData.fromBuffer(reader, PrivateToPublicKernelCircuitPublicInputs), Fr.fromBuffer(reader));
26
+ return new PublicChonkVerifierPrivateInputs(ProofData.fromBuffer(reader, PrivateToPublicKernelCircuitPublicInputs), Fr.fromBuffer(reader));
26
27
  }
27
28
  toBuffer() {
28
- return serializeToBuffer(...PublicTubePrivateInputs.getFields(this));
29
+ return serializeToBuffer(...PublicChonkVerifierPrivateInputs.getFields(this));
29
30
  }
30
31
  static fromString(str) {
31
- return PublicTubePrivateInputs.fromBuffer(hexToBuffer(str));
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(PublicTubePrivateInputs);
41
+ return bufferSchemaFor(PublicChonkVerifierPrivateInputs);
41
42
  }
42
43
  }
@@ -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 PublicTubePublicInputs {
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<PublicTubePublicInputs>): PublicTubePublicInputs;
10
- static getFields(fields: FieldsOf<PublicTubePublicInputs>): readonly [PrivateToPublicKernelCircuitPublicInputs, Fr];
11
- static fromBuffer(buffer: Buffer | BufferReader): PublicTubePublicInputs;
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): PublicTubePublicInputs;
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<PublicTubePublicInputs, any, string>;
18
+ static get schema(): import("zod").ZodType<PublicChonkVerifierPublicInputs, any, string>;
19
19
  }
20
- //# sourceMappingURL=public_tube_public_inputs.d.ts.map
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
- export class PublicTubePublicInputs {
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 PublicTubePublicInputs(...PublicTubePublicInputs.getFields(fields));
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 PublicTubePublicInputs(reader.readObject(PrivateToPublicKernelCircuitPublicInputs), reader.readObject(Fr));
25
+ return new PublicChonkVerifierPublicInputs(reader.readObject(PrivateToPublicKernelCircuitPublicInputs), reader.readObject(Fr));
25
26
  }
26
27
  toBuffer() {
27
- return serializeToBuffer(...PublicTubePublicInputs.getFields(this));
28
+ return serializeToBuffer(...PublicChonkVerifierPublicInputs.getFields(this));
28
29
  }
29
30
  static fromString(str) {
30
- return PublicTubePublicInputs.fromBuffer(hexToBuffer(str));
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(PublicTubePublicInputs);
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 { PublicTubePublicInputs } from './public_tube_public_inputs.js';
6
+ import { PublicChonkVerifierPublicInputs } from './public_chonk_verifier_public_inputs.js';
7
7
  export declare class PublicTxBaseRollupPrivateInputs {
8
- publicTubeProofData: RollupHonkProofData<PublicTubePublicInputs>;
8
+ publicChonkVerifierProofData: RollupHonkProofData<PublicChonkVerifierPublicInputs>;
9
9
  avmProofData: AvmProofData;
10
10
  hints: PublicBaseRollupHints;
11
- constructor(publicTubeProofData: RollupHonkProofData<PublicTubePublicInputs>, avmProofData: AvmProofData, hints: PublicBaseRollupHints);
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<PublicTubePublicInputs>, AvmProofData, PublicBaseRollupHints];
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,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,qBAAa,+BAA+B;IAEjC,mBAAmB,EAAE,mBAAmB,CAAC,sBAAsB,CAAC;IAChE,YAAY,EAAE,YAAY;IAC1B,KAAK,EAAE,qBAAqB;gBAF5B,mBAAmB,EAAE,mBAAmB,CAAC,sBAAsB,CAAC,EAChE,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"}
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 { PublicTubePublicInputs } from './public_tube_public_inputs.js';
7
+ import { PublicChonkVerifierPublicInputs } from './public_chonk_verifier_public_inputs.js';
8
8
  export class PublicTxBaseRollupPrivateInputs {
9
- publicTubeProofData;
9
+ publicChonkVerifierProofData;
10
10
  avmProofData;
11
11
  hints;
12
- constructor(publicTubeProofData, avmProofData, hints){
13
- this.publicTubeProofData = publicTubeProofData;
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.publicTubeProofData,
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, PublicTubePublicInputs), ProofData.fromBuffer(reader, AvmCircuitPublicInputs), reader.readObject(PublicBaseRollupHints));
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));
@@ -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' | 'tube-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';
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 (client-ivc, honk, etc) */
143
- proofType: 'client-ivc' | 'ultra-honk';
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,aAAa,GACb,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,4CAA4C;IAC5C,SAAS,EAAE,YAAY,GAAG,YAAY,CAAC;IACvC,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"}
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 { PublicTubePublicInputs } from '../rollup/public_tube_public_inputs.js';
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 makePublicTubePublicInputs(seed?: number): PublicTubePublicInputs;
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;