@aztec/stdlib 3.0.0-nightly.20250925 → 3.0.0-nightly.20250926

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 (64) hide show
  1. package/dest/avm/avm_accumulated_data.d.ts +1 -0
  2. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  3. package/dest/avm/avm_accumulated_data.js +4 -0
  4. package/dest/avm/index.d.ts +0 -1
  5. package/dest/avm/index.d.ts.map +1 -1
  6. package/dest/avm/index.js +0 -1
  7. package/dest/file-store/factory.d.ts.map +1 -1
  8. package/dest/file-store/factory.js +18 -0
  9. package/dest/file-store/s3.d.ts +25 -0
  10. package/dest/file-store/s3.d.ts.map +1 -0
  11. package/dest/file-store/s3.js +187 -0
  12. package/dest/interfaces/aztec-node-admin.d.ts +6 -0
  13. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  14. package/dest/interfaces/slasher.d.ts +4 -0
  15. package/dest/interfaces/slasher.d.ts.map +1 -1
  16. package/dest/interfaces/slasher.js +1 -0
  17. package/dest/interfaces/validator.d.ts +6 -1
  18. package/dest/interfaces/validator.d.ts.map +1 -1
  19. package/dest/interfaces/validator.js +2 -1
  20. package/dest/rollup/avm_proof_data.d.ts +2 -12
  21. package/dest/rollup/avm_proof_data.d.ts.map +1 -1
  22. package/dest/rollup/avm_proof_data.js +0 -24
  23. package/dest/rollup/base_rollup_hints.d.ts +15 -16
  24. package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
  25. package/dest/rollup/base_rollup_hints.js +24 -25
  26. package/dest/rollup/block_root_rollup_private_inputs.d.ts +13 -13
  27. package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -1
  28. package/dest/rollup/block_root_rollup_private_inputs.js +20 -20
  29. package/dest/rollup/index.d.ts +1 -1
  30. package/dest/rollup/index.d.ts.map +1 -1
  31. package/dest/rollup/index.js +1 -1
  32. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts +1 -1
  33. package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -1
  34. package/dest/rollup/public_tx_base_rollup_private_inputs.js +2 -2
  35. package/dest/rollup/{state_diff_hints.d.ts → tree_snapshot_diff_hints.d.ts} +22 -38
  36. package/dest/rollup/tree_snapshot_diff_hints.d.ts.map +1 -0
  37. package/dest/rollup/tree_snapshot_diff_hints.js +75 -0
  38. package/dest/rollup/tx_rollup_public_inputs.d.ts +4 -4
  39. package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -1
  40. package/dest/rollup/tx_rollup_public_inputs.js +7 -7
  41. package/dest/tests/factories.d.ts +4 -4
  42. package/dest/tests/factories.d.ts.map +1 -1
  43. package/dest/tests/factories.js +20 -25
  44. package/package.json +9 -8
  45. package/src/avm/avm_accumulated_data.ts +10 -0
  46. package/src/avm/index.ts +0 -1
  47. package/src/file-store/factory.ts +15 -0
  48. package/src/file-store/s3.ts +186 -0
  49. package/src/interfaces/slasher.ts +2 -0
  50. package/src/interfaces/validator.ts +5 -1
  51. package/src/rollup/avm_proof_data.ts +2 -31
  52. package/src/rollup/base_rollup_hints.ts +20 -21
  53. package/src/rollup/block_root_rollup_private_inputs.ts +14 -14
  54. package/src/rollup/index.ts +1 -1
  55. package/src/rollup/public_tx_base_rollup_private_inputs.ts +3 -2
  56. package/src/rollup/{state_diff_hints.ts → tree_snapshot_diff_hints.ts} +26 -41
  57. package/src/rollup/tx_rollup_public_inputs.ts +4 -4
  58. package/src/tests/factories.ts +25 -37
  59. package/dest/avm/public_data_hint.d.ts +0 -16
  60. package/dest/avm/public_data_hint.d.ts.map +0 -1
  61. package/dest/avm/public_data_hint.js +0 -27
  62. package/dest/rollup/state_diff_hints.d.ts.map +0 -1
  63. package/dest/rollup/state_diff_hints.js +0 -85
  64. package/src/avm/public_data_hint.ts +0 -38
@@ -23,11 +23,11 @@ export class TxRollupPublicInputs {
23
23
  /**
24
24
  * Partial state reference at the start of the rollup circuit.
25
25
  */
26
- public startPartialState: PartialStateReference,
26
+ public startTreeSnapshots: PartialStateReference,
27
27
  /**
28
28
  * Partial state reference at the end of the rollup circuit.
29
29
  */
30
- public endPartialState: PartialStateReference,
30
+ public endTreeSnapshots: PartialStateReference,
31
31
  /**
32
32
  * Sponge state to absorb blob inputs at the start of the rollup circuit.
33
33
  */
@@ -96,8 +96,8 @@ export class TxRollupPublicInputs {
96
96
  this.numTxs,
97
97
  this.constants,
98
98
 
99
- this.startPartialState,
100
- this.endPartialState,
99
+ this.startTreeSnapshots,
100
+ this.endTreeSnapshots,
101
101
 
102
102
  this.startSpongeBlob,
103
103
  this.endSpongeBlob,
@@ -9,7 +9,7 @@ import {
9
9
  FIXED_DA_GAS,
10
10
  FIXED_L2_GAS,
11
11
  GeneratorIndex,
12
- L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH,
12
+ L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH,
13
13
  MAX_CONTRACT_CLASS_LOGS_PER_TX,
14
14
  MAX_ENQUEUED_CALLS_PER_CALL,
15
15
  MAX_ENQUEUED_CALLS_PER_TX,
@@ -29,8 +29,8 @@ import {
29
29
  MAX_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX,
30
30
  MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX,
31
31
  NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
32
- NOTE_HASH_SUBTREE_SIBLING_PATH_LENGTH,
33
- NULLIFIER_SUBTREE_SIBLING_PATH_LENGTH,
32
+ NOTE_HASH_SUBTREE_ROOT_SIBLING_PATH_LENGTH,
33
+ NULLIFIER_SUBTREE_ROOT_SIBLING_PATH_LENGTH,
34
34
  NULLIFIER_TREE_HEIGHT,
35
35
  NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP,
36
36
  NUM_BASE_PARITY_PER_ROOT_PARITY,
@@ -75,7 +75,6 @@ import {
75
75
  AvmTxHint,
76
76
  RevertCode,
77
77
  } from '../avm/index.js';
78
- import { PublicDataHint } from '../avm/public_data_hint.js';
79
78
  import { PublicDataRead } from '../avm/public_data_read.js';
80
79
  import { PublicDataWrite } from '../avm/public_data_write.js';
81
80
  import { AztecAddress } from '../aztec-address/index.js';
@@ -131,7 +130,6 @@ import { ProofData } from '../proofs/index.js';
131
130
  import { Proof } from '../proofs/proof.js';
132
131
  import { ProvingRequestType } from '../proofs/proving_request_type.js';
133
132
  import { makeRecursiveProof } from '../proofs/recursive_proof.js';
134
- import { AvmProofData } from '../rollup/avm_proof_data.js';
135
133
  import { PrivateBaseRollupHints, PublicBaseRollupHints } from '../rollup/base_rollup_hints.js';
136
134
  import { BlockConstantData } from '../rollup/block_constant_data.js';
137
135
  import { BlockMergeRollupPrivateInputs } from '../rollup/block_merge_rollup_private_inputs.js';
@@ -147,7 +145,7 @@ import { EpochConstantData } from '../rollup/epoch_constant_data.js';
147
145
  import { PrivateTxBaseRollupPrivateInputs } from '../rollup/private_tx_base_rollup_private_inputs.js';
148
146
  import { PublicTxBaseRollupPrivateInputs } from '../rollup/public_tx_base_rollup_private_inputs.js';
149
147
  import { RootRollupPublicInputs } from '../rollup/root_rollup_public_inputs.js';
150
- import { PrivateBaseStateDiffHints } from '../rollup/state_diff_hints.js';
148
+ import { TreeSnapshotDiffHints } from '../rollup/tree_snapshot_diff_hints.js';
151
149
  import { TxMergeRollupPrivateInputs } from '../rollup/tx_merge_rollup_private_inputs.js';
152
150
  import { TxRollupPublicInputs } from '../rollup/tx_rollup_public_inputs.js';
153
151
  import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
@@ -919,7 +917,7 @@ export function makeBlockRootFirstRollupPrivateInputs(seed = 0) {
919
917
  makeProofData(seed, makeParityPublicInputs),
920
918
  [makeProofData(seed + 0x1000, makeTxRollupPublicInputs), makeProofData(seed + 0x2000, makeTxRollupPublicInputs)],
921
919
  makeAppendOnlyTreeSnapshot(seed + 0x3000),
922
- makeSiblingPath(seed + 0x4000, L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH),
920
+ makeSiblingPath(seed + 0x4000, L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH),
923
921
  makeSiblingPath(seed + 0x5000, ARCHIVE_HEIGHT),
924
922
  );
925
923
  }
@@ -980,11 +978,11 @@ export function makePublicDataTreeLeafPreimage(seed = 0): PublicDataTreeLeafPrei
980
978
  }
981
979
 
982
980
  /**
983
- * Creates an instance of PrivateBaseStateDiffHints with arbitrary values based on the provided seed.
981
+ * Creates an instance of TreeSnapshotDiffHints with arbitrary values based on the provided seed.
984
982
  * @param seed - The seed to use for generating the hints.
985
- * @returns A PrivateBaseStateDiffHints object.
983
+ * @returns A TreeSnapshotDiffHints object.
986
984
  */
987
- export function makePrivateBaseStateDiffHints(seed = 1): PrivateBaseStateDiffHints {
985
+ export function makeTreeSnapshotDiffHints(seed = 1): TreeSnapshotDiffHints {
988
986
  const nullifierPredecessorPreimages = makeTuple(
989
987
  MAX_NULLIFIERS_PER_TX,
990
988
  x => makeNullifierLeafPreimage(x),
@@ -1001,24 +999,20 @@ export function makePrivateBaseStateDiffHints(seed = 1): PrivateBaseStateDiffHin
1001
999
 
1002
1000
  const sortedNullifierIndexes = makeTuple(MAX_NULLIFIERS_PER_TX, i => i, seed + 0x4000);
1003
1001
 
1004
- const noteHashSubtreeSiblingPath = makeTuple(NOTE_HASH_SUBTREE_SIBLING_PATH_LENGTH, fr, seed + 0x5000);
1002
+ const noteHashSubtreeRootSiblingPath = makeTuple(NOTE_HASH_SUBTREE_ROOT_SIBLING_PATH_LENGTH, fr, seed + 0x5000);
1005
1003
 
1006
- const nullifierSubtreeSiblingPath = makeTuple(NULLIFIER_SUBTREE_SIBLING_PATH_LENGTH, fr, seed + 0x6000);
1004
+ const nullifierSubtreeRootSiblingPath = makeTuple(NULLIFIER_SUBTREE_ROOT_SIBLING_PATH_LENGTH, fr, seed + 0x6000);
1007
1005
 
1008
- const feeWriteLowLeafPreimage = makePublicDataTreeLeafPreimage(seed + 0x7000);
1009
- const feeWriteLowLeafMembershipWitness = makeMembershipWitness(PUBLIC_DATA_TREE_HEIGHT, seed + 0x8000);
1010
- const feeWriteSiblingPath = makeTuple(PUBLIC_DATA_TREE_HEIGHT, fr, seed + 0x9000);
1006
+ const feePayerBalanceMembershipWitness = makeMembershipWitness(PUBLIC_DATA_TREE_HEIGHT, seed + 0x8000);
1011
1007
 
1012
- return new PrivateBaseStateDiffHints(
1008
+ return new TreeSnapshotDiffHints(
1009
+ noteHashSubtreeRootSiblingPath,
1013
1010
  nullifierPredecessorPreimages,
1014
1011
  nullifierPredecessorMembershipWitnesses,
1015
1012
  sortedNullifiers,
1016
1013
  sortedNullifierIndexes,
1017
- noteHashSubtreeSiblingPath,
1018
- nullifierSubtreeSiblingPath,
1019
- feeWriteLowLeafPreimage,
1020
- feeWriteLowLeafMembershipWitness,
1021
- feeWriteSiblingPath,
1014
+ nullifierSubtreeRootSiblingPath,
1015
+ feePayerBalanceMembershipWitness,
1022
1016
  );
1023
1017
  }
1024
1018
 
@@ -1047,22 +1041,22 @@ function makePrivateBaseRollupHints(seed = 1) {
1047
1041
 
1048
1042
  const startSpongeBlob = makeSpongeBlob(seed + 0x200);
1049
1043
 
1050
- const stateDiffHints = makePrivateBaseStateDiffHints(seed + 0x600);
1044
+ const treeSnapshotDiffHints = makeTreeSnapshotDiffHints(seed + 0x600);
1051
1045
 
1052
- const archiveRootMembershipWitness = makeMembershipWitness(ARCHIVE_HEIGHT, seed + 0x9000);
1046
+ const anchorBlockArchiveSiblingPath = makeSiblingPath(seed + 0x9000, ARCHIVE_HEIGHT);
1053
1047
 
1054
1048
  const contractClassLogsFields = makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, makeContractClassLogFields, seed + 0x800);
1055
1049
 
1056
1050
  const constants = makeBlockConstantData(0x100);
1057
1051
 
1058
- const feePayerFeeJuiceBalanceReadHint = PublicDataHint.empty();
1052
+ const feePayerBalanceLeafPreimage = PublicDataTreeLeafPreimage.empty();
1059
1053
 
1060
1054
  return PrivateBaseRollupHints.from({
1061
1055
  start,
1062
1056
  startSpongeBlob,
1063
- stateDiffHints,
1064
- feePayerFeeJuiceBalanceReadHint,
1065
- archiveRootMembershipWitness,
1057
+ treeSnapshotDiffHints,
1058
+ feePayerBalanceLeafPreimage,
1059
+ anchorBlockArchiveSiblingPath,
1066
1060
  contractClassLogsFields,
1067
1061
  constants,
1068
1062
  });
@@ -1072,7 +1066,7 @@ function makePublicBaseRollupHints(seed = 1) {
1072
1066
  return PublicBaseRollupHints.from({
1073
1067
  startSpongeBlob: makeSpongeBlob(seed),
1074
1068
  lastArchive: makeAppendOnlyTreeSnapshot(seed + 0x1000),
1075
- archiveRootMembershipWitness: makeMembershipWitness(ARCHIVE_HEIGHT, seed + 0x2000),
1069
+ anchorBlockArchiveSiblingPath: makeSiblingPath(seed + 0x2000, ARCHIVE_HEIGHT),
1076
1070
  contractClassLogsFields: makeTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, makeContractClassLogFields, seed + 0x3000),
1077
1071
  proverId: fr(seed + 0x4000),
1078
1072
  });
@@ -1085,21 +1079,13 @@ export function makePrivateTxBaseRollupPrivateInputs(seed = 0) {
1085
1079
  });
1086
1080
  }
1087
1081
 
1088
- function makeAvmProofData(seed = 1) {
1089
- return new AvmProofData(
1090
- makeAvmCircuitPublicInputs(seed),
1091
- makeRecursiveProof<typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>(AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, seed + 0x100),
1092
- makeVkData(seed + 0x200),
1093
- );
1094
- }
1095
-
1096
1082
  export function makePublicTxBaseRollupPrivateInputs(seed = 0) {
1097
1083
  const publicTubeProofData = makeProofData(
1098
1084
  seed,
1099
1085
  makePrivateToPublicKernelCircuitPublicInputs,
1100
1086
  RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
1101
1087
  );
1102
- const avmProofData = makeAvmProofData(seed + 0x100);
1088
+ const avmProofData = makeProofData(seed + 0x100, makeAvmCircuitPublicInputs, AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED);
1103
1089
  const hints = makePublicBaseRollupHints(seed + 0x200);
1104
1090
 
1105
1091
  return PublicTxBaseRollupPrivateInputs.from({
@@ -1629,6 +1615,7 @@ export async function makeBloatedProcessedTx({
1629
1615
  // Create avm output.
1630
1616
  const avmOutput = AvmCircuitPublicInputs.empty();
1631
1617
  // Assign data from hints.
1618
+ avmOutput.protocolContractTreeRoot = protocolContractTreeRoot;
1632
1619
  avmOutput.startTreeSnapshots.l1ToL2MessageTree = newL1ToL2Snapshot;
1633
1620
  avmOutput.endTreeSnapshots.l1ToL2MessageTree = newL1ToL2Snapshot;
1634
1621
  // Assign data from private.
@@ -1671,6 +1658,7 @@ export async function makeBloatedProcessedTx({
1671
1658
  i => new PublicDataWrite(new Fr(i), new Fr(i + 10)),
1672
1659
  seed + 0x2000,
1673
1660
  );
1661
+ avmOutput.accumulatedDataArrayLengths = avmOutput.accumulatedData.getArrayLengths();
1674
1662
  avmOutput.gasSettings = gasSettings;
1675
1663
 
1676
1664
  const avmCircuitInputs = await makeAvmCircuitInputs(seed + 0x3000, { publicInputs: avmOutput });
@@ -1,16 +0,0 @@
1
- import { PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { BufferReader } from '@aztec/foundation/serialize';
4
- import { MembershipWitness } from '@aztec/foundation/trees';
5
- import { PublicDataTreeLeafPreimage } from '../trees/index.js';
6
- export declare class PublicDataHint {
7
- leafSlot: Fr;
8
- value: Fr;
9
- membershipWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>;
10
- leafPreimage: PublicDataTreeLeafPreimage;
11
- constructor(leafSlot: Fr, value: Fr, membershipWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>, leafPreimage: PublicDataTreeLeafPreimage);
12
- static empty(): PublicDataHint;
13
- static fromBuffer(buffer: Buffer | BufferReader): PublicDataHint;
14
- toBuffer(): Buffer<ArrayBufferLike>;
15
- }
16
- //# sourceMappingURL=public_data_hint.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"public_data_hint.d.ts","sourceRoot":"","sources":["../../src/avm/public_data_hint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAE/D,qBAAa,cAAc;IAEhB,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,EAAE;IACT,iBAAiB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IACpE,YAAY,EAAE,0BAA0B;gBAHxC,QAAQ,EAAE,EAAE,EACZ,KAAK,EAAE,EAAE,EACT,iBAAiB,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,EACpE,YAAY,EAAE,0BAA0B;IAGjD,MAAM,CAAC,KAAK;IASZ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAU/C,QAAQ;CAGT"}
@@ -1,27 +0,0 @@
1
- import { PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
4
- import { MembershipWitness } from '@aztec/foundation/trees';
5
- import { PublicDataTreeLeafPreimage } from '../trees/index.js';
6
- export class PublicDataHint {
7
- leafSlot;
8
- value;
9
- membershipWitness;
10
- leafPreimage;
11
- constructor(leafSlot, value, membershipWitness, leafPreimage){
12
- this.leafSlot = leafSlot;
13
- this.value = value;
14
- this.membershipWitness = membershipWitness;
15
- this.leafPreimage = leafPreimage;
16
- }
17
- static empty() {
18
- return new PublicDataHint(Fr.ZERO, Fr.ZERO, MembershipWitness.empty(PUBLIC_DATA_TREE_HEIGHT), PublicDataTreeLeafPreimage.empty());
19
- }
20
- static fromBuffer(buffer) {
21
- const reader = BufferReader.asReader(buffer);
22
- return new PublicDataHint(reader.readObject(Fr), reader.readObject(Fr), MembershipWitness.fromBuffer(reader, PUBLIC_DATA_TREE_HEIGHT), reader.readObject(PublicDataTreeLeafPreimage));
23
- }
24
- toBuffer() {
25
- return serializeToBuffer(this.leafSlot, this.value, this.membershipWitness, this.leafPreimage);
26
- }
27
- }
@@ -1 +0,0 @@
1
- {"version":3,"file":"state_diff_hints.d.ts","sourceRoot":"","sources":["../../src/rollup/state_diff_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,qCAAqC,EACrC,qCAAqC,EACrC,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAEtF;;GAEG;AACH,qBAAa,yBAAyB;IAElC;;;OAGG;IACI,6BAA6B,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,qBAAqB,CAAC;IAChG;;;OAGG;IACI,uCAAuC,EAAE,KAAK,CACnD,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAC/C,OAAO,qBAAqB,CAC7B;IACD;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAChE;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAC1E;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qCAAqC,CAAC;IAC1F;;OAEG;IACI,2BAA2B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qCAAqC,CAAC;IAE3F;;OAEG;IACI,uBAAuB,EAAE,0BAA0B;IAC1D;;OAEG;IACI,gCAAgC,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IAC1F;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,uBAAuB,CAAC;;IAzCrE;;;OAGG;IACI,6BAA6B,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,qBAAqB,CAAC;IAChG;;;OAGG;IACI,uCAAuC,EAAE,KAAK,CACnD,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAC/C,OAAO,qBAAqB,CAC7B;IACD;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAChE;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAC1E;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qCAAqC,CAAC;IAC1F;;OAEG;IACI,2BAA2B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qCAAqC,CAAC;IAE3F;;OAEG;IACI,uBAAuB,EAAE,0BAA0B;IAC1D;;OAEG;IACI,gCAAgC,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IAC1F;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,uBAAuB,CAAC;IAGvE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC,GAAG,yBAAyB;IAInF,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC;IAc5D;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,yBAAyB;IAiB3E,MAAM,CAAC,KAAK;CAab"}
@@ -1,85 +0,0 @@
1
- import { MAX_NULLIFIERS_PER_TX, NOTE_HASH_SUBTREE_SIBLING_PATH_LENGTH, NULLIFIER_SUBTREE_SIBLING_PATH_LENGTH, NULLIFIER_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
2
- import { makeTuple } from '@aztec/foundation/array';
3
- import { Fr } from '@aztec/foundation/fields';
4
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
5
- import { MembershipWitness } from '@aztec/foundation/trees';
6
- import { NullifierLeafPreimage, PublicDataTreeLeafPreimage } from '../trees/index.js';
7
- /**
8
- * Hints used while proving state diff validity for the private base rollup.
9
- */ export class PrivateBaseStateDiffHints {
10
- nullifierPredecessorPreimages;
11
- nullifierPredecessorMembershipWitnesses;
12
- sortedNullifiers;
13
- sortedNullifierIndexes;
14
- noteHashSubtreeSiblingPath;
15
- nullifierSubtreeSiblingPath;
16
- feeWriteLowLeafPreimage;
17
- feeWriteLowLeafMembershipWitness;
18
- feeWriteSiblingPath;
19
- constructor(/**
20
- * The nullifiers which need to be updated to perform the batch insertion of the new nullifiers.
21
- * See `StandardIndexedTree.batchInsert` function for more details.
22
- */ nullifierPredecessorPreimages, /**
23
- * Membership witnesses for the nullifiers which need to be updated to perform the batch insertion of the new
24
- * nullifiers.
25
- */ nullifierPredecessorMembershipWitnesses, /**
26
- * The nullifiers to be inserted in the tree, sorted high to low.
27
- */ sortedNullifiers, /**
28
- * The indexes of the sorted nullifiers to the original ones.
29
- */ sortedNullifierIndexes, /**
30
- * Sibling path "pointing to" where the new note hash subtree should be inserted into the note hash tree.
31
- */ noteHashSubtreeSiblingPath, /**
32
- * Sibling path "pointing to" where the new nullifiers subtree should be inserted into the nullifier tree.
33
- */ nullifierSubtreeSiblingPath, /**
34
- * Low leaf for the fee write in the public data tree.
35
- */ feeWriteLowLeafPreimage, /**
36
- * Membership witness for the low leaf for the fee write in the public data tree.
37
- */ feeWriteLowLeafMembershipWitness, /**
38
- * Sibling path "pointing to" where the fee write should be inserted into the public data tree.
39
- */ feeWriteSiblingPath){
40
- this.nullifierPredecessorPreimages = nullifierPredecessorPreimages;
41
- this.nullifierPredecessorMembershipWitnesses = nullifierPredecessorMembershipWitnesses;
42
- this.sortedNullifiers = sortedNullifiers;
43
- this.sortedNullifierIndexes = sortedNullifierIndexes;
44
- this.noteHashSubtreeSiblingPath = noteHashSubtreeSiblingPath;
45
- this.nullifierSubtreeSiblingPath = nullifierSubtreeSiblingPath;
46
- this.feeWriteLowLeafPreimage = feeWriteLowLeafPreimage;
47
- this.feeWriteLowLeafMembershipWitness = feeWriteLowLeafMembershipWitness;
48
- this.feeWriteSiblingPath = feeWriteSiblingPath;
49
- }
50
- static from(fields) {
51
- return new PrivateBaseStateDiffHints(...PrivateBaseStateDiffHints.getFields(fields));
52
- }
53
- static getFields(fields) {
54
- return [
55
- fields.nullifierPredecessorPreimages,
56
- fields.nullifierPredecessorMembershipWitnesses,
57
- fields.sortedNullifiers,
58
- fields.sortedNullifierIndexes,
59
- fields.noteHashSubtreeSiblingPath,
60
- fields.nullifierSubtreeSiblingPath,
61
- fields.feeWriteLowLeafPreimage,
62
- fields.feeWriteLowLeafMembershipWitness,
63
- fields.feeWriteSiblingPath
64
- ];
65
- }
66
- /**
67
- * Serializes the state diff hints to a buffer.
68
- * @returns A buffer of the serialized state diff hints.
69
- */ toBuffer() {
70
- return serializeToBuffer(...PrivateBaseStateDiffHints.getFields(this));
71
- }
72
- /**
73
- * Deserializes the state diff hints from a buffer.
74
- * @param buffer - A buffer to deserialize from.
75
- * @returns A new PrivateBaseStateDiffHints instance.
76
- */ static fromBuffer(buffer) {
77
- const reader = BufferReader.asReader(buffer);
78
- return new PrivateBaseStateDiffHints(reader.readArray(MAX_NULLIFIERS_PER_TX, NullifierLeafPreimage), reader.readArray(MAX_NULLIFIERS_PER_TX, {
79
- fromBuffer: (buffer)=>MembershipWitness.fromBuffer(buffer, NULLIFIER_TREE_HEIGHT)
80
- }), reader.readArray(MAX_NULLIFIERS_PER_TX, Fr), reader.readNumbers(MAX_NULLIFIERS_PER_TX), reader.readArray(NOTE_HASH_SUBTREE_SIBLING_PATH_LENGTH, Fr), reader.readArray(NULLIFIER_SUBTREE_SIBLING_PATH_LENGTH, Fr), reader.readObject(PublicDataTreeLeafPreimage), MembershipWitness.fromBuffer(reader, PUBLIC_DATA_TREE_HEIGHT), reader.readArray(PUBLIC_DATA_TREE_HEIGHT, Fr));
81
- }
82
- static empty() {
83
- return new PrivateBaseStateDiffHints(makeTuple(MAX_NULLIFIERS_PER_TX, NullifierLeafPreimage.empty), makeTuple(MAX_NULLIFIERS_PER_TX, ()=>MembershipWitness.empty(NULLIFIER_TREE_HEIGHT)), makeTuple(MAX_NULLIFIERS_PER_TX, Fr.zero), makeTuple(MAX_NULLIFIERS_PER_TX, ()=>0), makeTuple(NOTE_HASH_SUBTREE_SIBLING_PATH_LENGTH, Fr.zero), makeTuple(NULLIFIER_SUBTREE_SIBLING_PATH_LENGTH, Fr.zero), PublicDataTreeLeafPreimage.empty(), MembershipWitness.empty(PUBLIC_DATA_TREE_HEIGHT), makeTuple(PUBLIC_DATA_TREE_HEIGHT, Fr.zero));
84
- }
85
- }
@@ -1,38 +0,0 @@
1
- import { PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
4
- import { MembershipWitness } from '@aztec/foundation/trees';
5
-
6
- import { PublicDataTreeLeafPreimage } from '../trees/index.js';
7
-
8
- export class PublicDataHint {
9
- constructor(
10
- public leafSlot: Fr,
11
- public value: Fr,
12
- public membershipWitness: MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>,
13
- public leafPreimage: PublicDataTreeLeafPreimage,
14
- ) {}
15
-
16
- static empty() {
17
- return new PublicDataHint(
18
- Fr.ZERO,
19
- Fr.ZERO,
20
- MembershipWitness.empty(PUBLIC_DATA_TREE_HEIGHT),
21
- PublicDataTreeLeafPreimage.empty(),
22
- );
23
- }
24
-
25
- static fromBuffer(buffer: Buffer | BufferReader) {
26
- const reader = BufferReader.asReader(buffer);
27
- return new PublicDataHint(
28
- reader.readObject(Fr),
29
- reader.readObject(Fr),
30
- MembershipWitness.fromBuffer(reader, PUBLIC_DATA_TREE_HEIGHT),
31
- reader.readObject(PublicDataTreeLeafPreimage),
32
- );
33
- }
34
-
35
- toBuffer() {
36
- return serializeToBuffer(this.leafSlot, this.value, this.membershipWitness, this.leafPreimage);
37
- }
38
- }