@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.
- package/dest/avm/avm_accumulated_data.d.ts +1 -0
- package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
- package/dest/avm/avm_accumulated_data.js +4 -0
- package/dest/avm/index.d.ts +0 -1
- package/dest/avm/index.d.ts.map +1 -1
- package/dest/avm/index.js +0 -1
- package/dest/file-store/factory.d.ts.map +1 -1
- package/dest/file-store/factory.js +18 -0
- package/dest/file-store/s3.d.ts +25 -0
- package/dest/file-store/s3.d.ts.map +1 -0
- package/dest/file-store/s3.js +187 -0
- package/dest/interfaces/aztec-node-admin.d.ts +6 -0
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/slasher.d.ts +4 -0
- package/dest/interfaces/slasher.d.ts.map +1 -1
- package/dest/interfaces/slasher.js +1 -0
- package/dest/interfaces/validator.d.ts +6 -1
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/interfaces/validator.js +2 -1
- package/dest/rollup/avm_proof_data.d.ts +2 -12
- package/dest/rollup/avm_proof_data.d.ts.map +1 -1
- package/dest/rollup/avm_proof_data.js +0 -24
- package/dest/rollup/base_rollup_hints.d.ts +15 -16
- package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
- package/dest/rollup/base_rollup_hints.js +24 -25
- package/dest/rollup/block_root_rollup_private_inputs.d.ts +13 -13
- package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -1
- package/dest/rollup/block_root_rollup_private_inputs.js +20 -20
- package/dest/rollup/index.d.ts +1 -1
- package/dest/rollup/index.d.ts.map +1 -1
- package/dest/rollup/index.js +1 -1
- package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts +1 -1
- package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -1
- package/dest/rollup/public_tx_base_rollup_private_inputs.js +2 -2
- package/dest/rollup/{state_diff_hints.d.ts → tree_snapshot_diff_hints.d.ts} +22 -38
- package/dest/rollup/tree_snapshot_diff_hints.d.ts.map +1 -0
- package/dest/rollup/tree_snapshot_diff_hints.js +75 -0
- package/dest/rollup/tx_rollup_public_inputs.d.ts +4 -4
- package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -1
- package/dest/rollup/tx_rollup_public_inputs.js +7 -7
- package/dest/tests/factories.d.ts +4 -4
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +20 -25
- package/package.json +9 -8
- package/src/avm/avm_accumulated_data.ts +10 -0
- package/src/avm/index.ts +0 -1
- package/src/file-store/factory.ts +15 -0
- package/src/file-store/s3.ts +186 -0
- package/src/interfaces/slasher.ts +2 -0
- package/src/interfaces/validator.ts +5 -1
- package/src/rollup/avm_proof_data.ts +2 -31
- package/src/rollup/base_rollup_hints.ts +20 -21
- package/src/rollup/block_root_rollup_private_inputs.ts +14 -14
- package/src/rollup/index.ts +1 -1
- package/src/rollup/public_tx_base_rollup_private_inputs.ts +3 -2
- package/src/rollup/{state_diff_hints.ts → tree_snapshot_diff_hints.ts} +26 -41
- package/src/rollup/tx_rollup_public_inputs.ts +4 -4
- package/src/tests/factories.ts +25 -37
- package/dest/avm/public_data_hint.d.ts +0 -16
- package/dest/avm/public_data_hint.d.ts.map +0 -1
- package/dest/avm/public_data_hint.js +0 -27
- package/dest/rollup/state_diff_hints.d.ts.map +0 -1
- package/dest/rollup/state_diff_hints.js +0 -85
- 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
|
|
26
|
+
public startTreeSnapshots: PartialStateReference,
|
|
27
27
|
/**
|
|
28
28
|
* Partial state reference at the end of the rollup circuit.
|
|
29
29
|
*/
|
|
30
|
-
public
|
|
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.
|
|
100
|
-
this.
|
|
99
|
+
this.startTreeSnapshots,
|
|
100
|
+
this.endTreeSnapshots,
|
|
101
101
|
|
|
102
102
|
this.startSpongeBlob,
|
|
103
103
|
this.endSpongeBlob,
|
package/src/tests/factories.ts
CHANGED
|
@@ -9,7 +9,7 @@ import {
|
|
|
9
9
|
FIXED_DA_GAS,
|
|
10
10
|
FIXED_L2_GAS,
|
|
11
11
|
GeneratorIndex,
|
|
12
|
-
|
|
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
|
-
|
|
33
|
-
|
|
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 {
|
|
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,
|
|
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
|
|
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
|
|
983
|
+
* @returns A TreeSnapshotDiffHints object.
|
|
986
984
|
*/
|
|
987
|
-
export function
|
|
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
|
|
1002
|
+
const noteHashSubtreeRootSiblingPath = makeTuple(NOTE_HASH_SUBTREE_ROOT_SIBLING_PATH_LENGTH, fr, seed + 0x5000);
|
|
1005
1003
|
|
|
1006
|
-
const
|
|
1004
|
+
const nullifierSubtreeRootSiblingPath = makeTuple(NULLIFIER_SUBTREE_ROOT_SIBLING_PATH_LENGTH, fr, seed + 0x6000);
|
|
1007
1005
|
|
|
1008
|
-
const
|
|
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
|
|
1008
|
+
return new TreeSnapshotDiffHints(
|
|
1009
|
+
noteHashSubtreeRootSiblingPath,
|
|
1013
1010
|
nullifierPredecessorPreimages,
|
|
1014
1011
|
nullifierPredecessorMembershipWitnesses,
|
|
1015
1012
|
sortedNullifiers,
|
|
1016
1013
|
sortedNullifierIndexes,
|
|
1017
|
-
|
|
1018
|
-
|
|
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
|
|
1044
|
+
const treeSnapshotDiffHints = makeTreeSnapshotDiffHints(seed + 0x600);
|
|
1051
1045
|
|
|
1052
|
-
const
|
|
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
|
|
1052
|
+
const feePayerBalanceLeafPreimage = PublicDataTreeLeafPreimage.empty();
|
|
1059
1053
|
|
|
1060
1054
|
return PrivateBaseRollupHints.from({
|
|
1061
1055
|
start,
|
|
1062
1056
|
startSpongeBlob,
|
|
1063
|
-
|
|
1064
|
-
|
|
1065
|
-
|
|
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
|
-
|
|
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 =
|
|
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
|
-
}
|