@aztec/stdlib 0.82.2 → 0.82.3-nightly.20250403
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.d.ts +4648 -1474
- package/dest/avm/avm.d.ts.map +1 -1
- package/dest/avm/avm.js +182 -109
- package/dest/avm/avm_proving_request.d.ts +1867 -498
- package/dest/avm/avm_proving_request.d.ts.map +1 -1
- package/dest/block/l2_block_downloader/l2_block_stream.d.ts +10 -12
- package/dest/block/l2_block_downloader/l2_block_stream.d.ts.map +1 -1
- package/dest/block/l2_block_downloader/l2_block_stream.js +45 -11
- package/dest/config/config.d.ts +2 -2
- package/dest/config/config.d.ts.map +1 -1
- package/dest/config/config.js +4 -5
- package/dest/contract/interfaces/node-info.d.ts +2 -2
- package/dest/contract/interfaces/node-info.d.ts.map +1 -1
- package/dest/contract/interfaces/node-info.js +1 -1
- package/dest/database-version/version_manager.d.ts +4 -2
- package/dest/database-version/version_manager.d.ts.map +1 -1
- package/dest/database-version/version_manager.js +13 -9
- package/dest/epoch-helpers/index.d.ts +2 -0
- package/dest/epoch-helpers/index.d.ts.map +1 -1
- package/dest/epoch-helpers/index.js +3 -0
- package/dest/file-store/factory.d.ts +7 -0
- package/dest/file-store/factory.d.ts.map +1 -0
- package/dest/file-store/factory.js +46 -0
- package/dest/file-store/gcs.d.ts +22 -0
- package/dest/file-store/gcs.d.ts.map +1 -0
- package/dest/file-store/gcs.js +115 -0
- package/dest/file-store/http.d.ts +15 -0
- package/dest/file-store/http.d.ts.map +1 -0
- package/dest/file-store/http.js +53 -0
- package/dest/file-store/index.d.ts +3 -0
- package/dest/file-store/index.d.ts.map +1 -0
- package/dest/file-store/index.js +2 -0
- package/dest/file-store/interface.d.ts +24 -0
- package/dest/file-store/interface.d.ts.map +1 -0
- package/dest/file-store/interface.js +1 -0
- package/dest/file-store/local.d.ts +16 -0
- package/dest/file-store/local.d.ts.map +1 -0
- package/dest/file-store/local.js +40 -0
- package/dest/interfaces/aztec-node-admin.d.ts +9 -1
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/aztec-node-admin.js +2 -1
- package/dest/interfaces/aztec-node.d.ts +3 -0
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +2 -0
- package/dest/interfaces/p2p.d.ts +2 -0
- package/dest/interfaces/p2p.d.ts.map +1 -1
- package/dest/interfaces/p2p.js +2 -1
- package/dest/interfaces/prover-client.d.ts +3 -3
- package/dest/interfaces/prover-client.d.ts.map +1 -1
- package/dest/interfaces/prover-client.js +6 -4
- package/dest/interfaces/prover-node.d.ts +4 -0
- package/dest/interfaces/prover-node.d.ts.map +1 -1
- package/dest/interfaces/prover-node.js +5 -1
- package/dest/interfaces/proving-job.d.ts +1866 -497
- package/dest/interfaces/proving-job.d.ts.map +1 -1
- package/dest/interfaces/pxe.d.ts +7 -6
- package/dest/interfaces/pxe.d.ts.map +1 -1
- package/dest/interfaces/pxe.js +1 -1
- package/dest/interfaces/service.d.ts +3 -0
- package/dest/interfaces/service.d.ts.map +1 -1
- package/dest/interfaces/service.js +7 -0
- package/dest/interfaces/world_state.d.ts +13 -15
- package/dest/interfaces/world_state.d.ts.map +1 -1
- package/dest/keys/derivation.d.ts +1 -1
- package/dest/keys/derivation.d.ts.map +1 -1
- package/dest/keys/derivation.js +10 -2
- package/dest/logs/index.d.ts +2 -1
- package/dest/logs/index.d.ts.map +1 -1
- package/dest/logs/index.js +2 -1
- package/dest/logs/pending_tagged_log.d.ts +17 -0
- package/dest/logs/pending_tagged_log.d.ts.map +1 -0
- package/dest/logs/pending_tagged_log.js +45 -0
- package/dest/logs/{l1_payload/shared_secret_derivation.d.ts → shared_secret_derivation.d.ts} +4 -3
- package/dest/logs/shared_secret_derivation.d.ts.map +1 -0
- package/dest/logs/{l1_payload/shared_secret_derivation.js → shared_secret_derivation.js} +3 -5
- package/dest/logs/tx_scoped_l2_log.d.ts +6 -1
- package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
- package/dest/logs/tx_scoped_l2_log.js +12 -4
- package/dest/note/note.d.ts +45 -4
- package/dest/note/note.d.ts.map +1 -1
- package/dest/note/note.js +51 -4
- package/dest/proofs/proof.d.ts.map +1 -1
- package/dest/proofs/proof.js +33 -7
- package/dest/snapshots/download.d.ts +9 -0
- package/dest/snapshots/download.d.ts.map +1 -0
- package/dest/snapshots/download.js +37 -0
- package/dest/snapshots/index.d.ts +4 -0
- package/dest/snapshots/index.d.ts.map +1 -0
- package/dest/snapshots/index.js +3 -0
- package/dest/snapshots/types.d.ts +97 -0
- package/dest/snapshots/types.d.ts.map +1 -0
- package/dest/snapshots/types.js +27 -0
- package/dest/snapshots/upload.d.ts +5 -0
- package/dest/snapshots/upload.d.ts.map +1 -0
- package/dest/snapshots/upload.js +37 -0
- package/dest/tests/factories.d.ts +21 -7
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +78 -30
- package/dest/tests/mocks.d.ts +2 -1
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +5 -1
- package/dest/trees/merkle_tree_id.d.ts +8 -0
- package/dest/trees/merkle_tree_id.d.ts.map +1 -1
- package/dest/trees/merkle_tree_id.js +10 -0
- package/dest/trees/nullifier_leaf.d.ts +49 -15
- package/dest/trees/nullifier_leaf.d.ts.map +1 -1
- package/dest/trees/nullifier_leaf.js +45 -22
- package/dest/trees/nullifier_membership_witness.d.ts +34 -18
- package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
- package/dest/trees/protocol_contract_leaf.d.ts +0 -1
- package/dest/trees/protocol_contract_leaf.d.ts.map +1 -1
- package/dest/trees/protocol_contract_leaf.js +0 -3
- package/dest/trees/public_data_leaf.d.ts +59 -25
- package/dest/trees/public_data_leaf.d.ts.map +1 -1
- package/dest/trees/public_data_leaf.js +41 -30
- package/dest/trees/public_data_witness.d.ts +42 -24
- package/dest/trees/public_data_witness.d.ts.map +1 -1
- package/dest/trees/public_data_witness.js +6 -6
- package/dest/validators/index.d.ts +3 -0
- package/dest/validators/index.d.ts.map +1 -0
- package/dest/validators/index.js +1 -0
- package/dest/validators/schemas.d.ts +342 -0
- package/dest/validators/schemas.d.ts.map +1 -0
- package/dest/validators/schemas.js +40 -0
- package/dest/validators/types.d.ts +39 -0
- package/dest/validators/types.d.ts.map +1 -0
- package/dest/validators/types.js +1 -0
- package/dest/versioning/versioning.d.ts +1 -1
- package/dest/versioning/versioning.d.ts.map +1 -1
- package/dest/versioning/versioning.js +6 -6
- package/package.json +11 -8
- package/src/avm/avm.ts +183 -104
- package/src/block/l2_block_downloader/l2_block_stream.ts +64 -29
- package/src/config/config.ts +6 -6
- package/src/contract/interfaces/node-info.ts +3 -3
- package/src/database-version/version_manager.ts +12 -8
- package/src/epoch-helpers/index.ts +8 -0
- package/src/file-store/factory.ts +61 -0
- package/src/file-store/gcs.ts +121 -0
- package/src/file-store/http.ts +58 -0
- package/src/file-store/index.ts +2 -0
- package/src/file-store/interface.ts +19 -0
- package/src/file-store/local.ts +46 -0
- package/src/interfaces/aztec-node-admin.ts +11 -1
- package/src/interfaces/aztec-node.ts +7 -0
- package/src/interfaces/p2p.ts +4 -0
- package/src/interfaces/prover-client.ts +9 -7
- package/src/interfaces/prover-node.ts +10 -0
- package/src/interfaces/pxe.ts +14 -7
- package/src/interfaces/service.ts +13 -0
- package/src/interfaces/world_state.ts +17 -15
- package/src/keys/derivation.ts +12 -6
- package/src/logs/index.ts +2 -1
- package/src/logs/pending_tagged_log.ts +43 -0
- package/src/logs/{l1_payload/shared_secret_derivation.ts → shared_secret_derivation.ts} +4 -11
- package/src/logs/tx_scoped_l2_log.ts +13 -4
- package/src/note/note.ts +61 -5
- package/src/proofs/proof.ts +39 -5
- package/src/snapshots/download.ts +60 -0
- package/src/snapshots/index.ts +3 -0
- package/src/snapshots/types.ts +58 -0
- package/src/snapshots/upload.ts +55 -0
- package/src/tests/factories.ts +137 -53
- package/src/tests/mocks.ts +7 -0
- package/src/trees/merkle_tree_id.ts +12 -0
- package/src/trees/nullifier_leaf.ts +48 -21
- package/src/trees/protocol_contract_leaf.ts +0 -4
- package/src/trees/public_data_leaf.ts +40 -29
- package/src/trees/public_data_witness.ts +6 -6
- package/src/validators/index.ts +3 -0
- package/src/validators/schemas.ts +53 -0
- package/src/validators/types.ts +37 -0
- package/src/versioning/versioning.ts +8 -14
- package/dest/event/event.d.ts +0 -24
- package/dest/event/event.d.ts.map +0 -1
- package/dest/event/event.js +0 -13
- package/dest/event/event_metadata.d.ts +0 -38
- package/dest/event/event_metadata.d.ts.map +0 -1
- package/dest/event/event_metadata.js +0 -45
- package/dest/event/index.d.ts +0 -4
- package/dest/event/index.d.ts.map +0 -1
- package/dest/event/index.js +0 -3
- package/dest/event/l1_event_payload.d.ts +0 -52
- package/dest/event/l1_event_payload.d.ts.map +0 -1
- package/dest/event/l1_event_payload.js +0 -64
- package/dest/logs/l1_payload/encrypted_log_payload.d.ts +0 -50
- package/dest/logs/l1_payload/encrypted_log_payload.d.ts.map +0 -1
- package/dest/logs/l1_payload/encrypted_log_payload.js +0 -140
- package/dest/logs/l1_payload/encryption_util.d.ts +0 -24
- package/dest/logs/l1_payload/encryption_util.d.ts.map +0 -1
- package/dest/logs/l1_payload/encryption_util.js +0 -46
- package/dest/logs/l1_payload/index.d.ts +0 -3
- package/dest/logs/l1_payload/index.d.ts.map +0 -1
- package/dest/logs/l1_payload/index.js +0 -2
- package/dest/logs/l1_payload/payload.d.ts +0 -60
- package/dest/logs/l1_payload/payload.d.ts.map +0 -1
- package/dest/logs/l1_payload/payload.js +0 -61
- package/dest/logs/l1_payload/shared_secret_derivation.d.ts.map +0 -1
- package/src/event/event.ts +0 -16
- package/src/event/event_metadata.ts +0 -56
- package/src/event/index.ts +0 -3
- package/src/event/l1_event_payload.ts +0 -87
- package/src/logs/l1_payload/encrypted_log_payload.ts +0 -202
- package/src/logs/l1_payload/encryption_util.ts +0 -54
- package/src/logs/l1_payload/index.ts +0 -2
- package/src/logs/l1_payload/payload.ts +0 -73
|
@@ -10,58 +10,77 @@ import { z } from 'zod';
|
|
|
10
10
|
*/
|
|
11
11
|
export declare class PublicDataTreeLeafPreimage implements IndexedTreeLeafPreimage {
|
|
12
12
|
/**
|
|
13
|
-
* The slot
|
|
13
|
+
* The leaf (slot, value).
|
|
14
14
|
*/
|
|
15
|
-
|
|
15
|
+
leaf: PublicDataTreeLeaf;
|
|
16
16
|
/**
|
|
17
|
-
*
|
|
17
|
+
* Next key (slot) inside the indexed tree's linked list.
|
|
18
18
|
*/
|
|
19
|
-
|
|
20
|
-
/**
|
|
21
|
-
* Next value inside the indexed tree's linked list.
|
|
22
|
-
*/
|
|
23
|
-
nextSlot: Fr;
|
|
19
|
+
nextKey: Fr;
|
|
24
20
|
/**
|
|
25
21
|
* Index of the next leaf in the indexed tree's linked list.
|
|
26
22
|
*/
|
|
27
23
|
nextIndex: bigint;
|
|
28
24
|
constructor(
|
|
29
25
|
/**
|
|
30
|
-
* The slot
|
|
26
|
+
* The leaf (slot, value).
|
|
31
27
|
*/
|
|
32
|
-
|
|
28
|
+
leaf: PublicDataTreeLeaf,
|
|
33
29
|
/**
|
|
34
|
-
*
|
|
30
|
+
* Next key (slot) inside the indexed tree's linked list.
|
|
35
31
|
*/
|
|
36
|
-
|
|
37
|
-
/**
|
|
38
|
-
* Next value inside the indexed tree's linked list.
|
|
39
|
-
*/
|
|
40
|
-
nextSlot: Fr,
|
|
32
|
+
nextKey: Fr,
|
|
41
33
|
/**
|
|
42
34
|
* Index of the next leaf in the indexed tree's linked list.
|
|
43
35
|
*/
|
|
44
36
|
nextIndex: bigint);
|
|
45
37
|
static get schema(): z.ZodEffects<z.ZodObject<{
|
|
38
|
+
leaf: z.ZodEffects<z.ZodObject<{
|
|
39
|
+
slot: z.ZodType<Fr, any, string>;
|
|
40
|
+
value: z.ZodType<Fr, any, string>;
|
|
41
|
+
}, "strip", z.ZodTypeAny, {
|
|
42
|
+
value: Fr;
|
|
43
|
+
slot: Fr;
|
|
44
|
+
}, {
|
|
45
|
+
value: string;
|
|
46
|
+
slot: string;
|
|
47
|
+
}>, PublicDataTreeLeaf, {
|
|
48
|
+
value: string;
|
|
49
|
+
slot: string;
|
|
50
|
+
}>;
|
|
51
|
+
nextKey: z.ZodType<Fr, any, string>;
|
|
52
|
+
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
53
|
+
}, "strip", z.ZodTypeAny, {
|
|
54
|
+
leaf: PublicDataTreeLeaf;
|
|
55
|
+
nextKey: Fr;
|
|
56
|
+
nextIndex: bigint;
|
|
57
|
+
}, {
|
|
58
|
+
leaf: {
|
|
59
|
+
value: string;
|
|
60
|
+
slot: string;
|
|
61
|
+
};
|
|
62
|
+
nextKey: string;
|
|
63
|
+
nextIndex: string | number | bigint;
|
|
64
|
+
}>, PublicDataTreeLeafPreimage, {
|
|
65
|
+
leaf: {
|
|
66
|
+
value: string;
|
|
67
|
+
slot: string;
|
|
68
|
+
};
|
|
69
|
+
nextKey: string;
|
|
70
|
+
nextIndex: string | number | bigint;
|
|
71
|
+
}>;
|
|
72
|
+
static get leafSchema(): z.ZodEffects<z.ZodObject<{
|
|
46
73
|
slot: z.ZodType<Fr, any, string>;
|
|
47
74
|
value: z.ZodType<Fr, any, string>;
|
|
48
|
-
nextSlot: z.ZodType<Fr, any, string>;
|
|
49
|
-
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
50
75
|
}, "strip", z.ZodTypeAny, {
|
|
51
76
|
value: Fr;
|
|
52
77
|
slot: Fr;
|
|
53
|
-
nextIndex: bigint;
|
|
54
|
-
nextSlot: Fr;
|
|
55
78
|
}, {
|
|
56
79
|
value: string;
|
|
57
80
|
slot: string;
|
|
58
|
-
|
|
59
|
-
nextSlot: string;
|
|
60
|
-
}>, PublicDataTreeLeafPreimage, {
|
|
81
|
+
}>, PublicDataTreeLeaf, {
|
|
61
82
|
value: string;
|
|
62
83
|
slot: string;
|
|
63
|
-
nextIndex: string | number | bigint;
|
|
64
|
-
nextSlot: string;
|
|
65
84
|
}>;
|
|
66
85
|
getKey(): bigint;
|
|
67
86
|
getNextKey(): bigint;
|
|
@@ -99,6 +118,8 @@ export declare class PublicDataTreeLeaf implements IndexedTreeLeaf {
|
|
|
99
118
|
value: Fr);
|
|
100
119
|
getKey(): bigint;
|
|
101
120
|
toBuffer(): Buffer;
|
|
121
|
+
clone(): PublicDataTreeLeaf;
|
|
122
|
+
toHashInputs(): Buffer[];
|
|
102
123
|
static fromBuffer(buffer: Buffer | BufferReader): PublicDataTreeLeaf;
|
|
103
124
|
equals(another: PublicDataTreeLeaf): boolean;
|
|
104
125
|
toString(): string;
|
|
@@ -106,5 +127,18 @@ export declare class PublicDataTreeLeaf implements IndexedTreeLeaf {
|
|
|
106
127
|
updateTo(another: PublicDataTreeLeaf): PublicDataTreeLeaf;
|
|
107
128
|
static buildDummy(key: bigint): PublicDataTreeLeaf;
|
|
108
129
|
static empty(): PublicDataTreeLeaf;
|
|
130
|
+
static get schema(): z.ZodEffects<z.ZodObject<{
|
|
131
|
+
slot: z.ZodType<Fr, any, string>;
|
|
132
|
+
value: z.ZodType<Fr, any, string>;
|
|
133
|
+
}, "strip", z.ZodTypeAny, {
|
|
134
|
+
value: Fr;
|
|
135
|
+
slot: Fr;
|
|
136
|
+
}, {
|
|
137
|
+
value: string;
|
|
138
|
+
slot: string;
|
|
139
|
+
}>, PublicDataTreeLeaf, {
|
|
140
|
+
value: string;
|
|
141
|
+
slot: string;
|
|
142
|
+
}>;
|
|
109
143
|
}
|
|
110
144
|
//# sourceMappingURL=public_data_leaf.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"public_data_leaf.d.ts","sourceRoot":"","sources":["../../src/trees/public_data_leaf.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAExF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;GAGG;AACH,qBAAa,0BAA2B,YAAW,uBAAuB;IAEtE;;OAEG;IACI,IAAI,EAAE,
|
|
1
|
+
{"version":3,"file":"public_data_leaf.d.ts","sourceRoot":"","sources":["../../src/trees/public_data_leaf.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAExF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;GAGG;AACH,qBAAa,0BAA2B,YAAW,uBAAuB;IAEtE;;OAEG;IACI,IAAI,EAAE,kBAAkB;IAC/B;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,SAAS,EAAE,MAAM;;IAXxB;;OAEG;IACI,IAAI,EAAE,kBAAkB;IAC/B;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,SAAS,EAAE,MAAM;IAG1B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED,MAAM,KAAK,UAAU;;;;;;;;;;;;OAEpB;IAED,MAAM,IAAI,MAAM;IAIhB,UAAU,IAAI,MAAM;IAIpB,YAAY,IAAI,MAAM;IAItB,MAAM,IAAI,kBAAkB;IAI5B,QAAQ,IAAI,MAAM;IAIlB,YAAY,IAAI,MAAM,EAAE;IAQxB,KAAK,IAAI,0BAA0B;IAInC,MAAM,CAAC,MAAM;IAQb,MAAM,CAAC,KAAK,IAAI,0BAA0B;IAI1C,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IAQ5E,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,0BAA0B;IAIzG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,0BAA0B,GAAG,0BAA0B;CAG/E;AAED;;GAEG;AACH,qBAAa,kBAAmB,YAAW,eAAe;IAEtD;;OAEG;IACI,IAAI,EAAE,EAAE;IACf;;OAEG;IACI,KAAK,EAAE,EAAE;;IAPhB;;OAEG;IACI,IAAI,EAAE,EAAE;IACf;;OAEG;IACI,KAAK,EAAE,EAAE;IAGlB,MAAM,IAAI,MAAM;IAIhB,QAAQ;IAIR,KAAK,IAAI,kBAAkB;IAI3B,YAAY,IAAI,MAAM,EAAE;IAIxB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,MAAM,CAAC,OAAO,EAAE,kBAAkB,GAAG,OAAO;IAI5C,QAAQ,IAAI,MAAM;IAIlB,OAAO,IAAI,OAAO;IAIlB,QAAQ,CAAC,OAAO,EAAE,kBAAkB,GAAG,kBAAkB;IAOzD,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB;IAIlD,MAAM,CAAC,KAAK,IAAI,kBAAkB;IAIlC,MAAM,KAAK,MAAM;;;;;;;;;;;;OAOhB;CACF"}
|
|
@@ -7,77 +7,73 @@ import { z } from 'zod';
|
|
|
7
7
|
* Class containing the data of a preimage of a single leaf in the public data tree.
|
|
8
8
|
* Note: It's called preimage because this data gets hashed before being inserted as a node into the `IndexedTree`.
|
|
9
9
|
*/ export class PublicDataTreeLeafPreimage {
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
nextSlot;
|
|
10
|
+
leaf;
|
|
11
|
+
nextKey;
|
|
13
12
|
nextIndex;
|
|
14
13
|
constructor(/**
|
|
15
|
-
* The slot
|
|
16
|
-
*/
|
|
17
|
-
*
|
|
18
|
-
*/
|
|
19
|
-
* Next value inside the indexed tree's linked list.
|
|
20
|
-
*/ nextSlot, /**
|
|
14
|
+
* The leaf (slot, value).
|
|
15
|
+
*/ leaf, /**
|
|
16
|
+
* Next key (slot) inside the indexed tree's linked list.
|
|
17
|
+
*/ nextKey, /**
|
|
21
18
|
* Index of the next leaf in the indexed tree's linked list.
|
|
22
19
|
*/ nextIndex){
|
|
23
|
-
this.
|
|
24
|
-
this.
|
|
25
|
-
this.nextSlot = nextSlot;
|
|
20
|
+
this.leaf = leaf;
|
|
21
|
+
this.nextKey = nextKey;
|
|
26
22
|
this.nextIndex = nextIndex;
|
|
27
23
|
}
|
|
28
24
|
static get schema() {
|
|
29
25
|
return z.object({
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
nextSlot: schemas.Fr,
|
|
26
|
+
leaf: PublicDataTreeLeaf.schema,
|
|
27
|
+
nextKey: schemas.Fr,
|
|
33
28
|
nextIndex: schemas.BigInt
|
|
34
|
-
}).transform(({
|
|
29
|
+
}).transform(({ leaf, nextKey, nextIndex })=>new PublicDataTreeLeafPreimage(leaf, nextKey, nextIndex));
|
|
30
|
+
}
|
|
31
|
+
static get leafSchema() {
|
|
32
|
+
return PublicDataTreeLeaf.schema;
|
|
35
33
|
}
|
|
36
34
|
getKey() {
|
|
37
|
-
return this.
|
|
35
|
+
return this.leaf.getKey();
|
|
38
36
|
}
|
|
39
37
|
getNextKey() {
|
|
40
|
-
return this.
|
|
38
|
+
return this.nextKey.toBigInt();
|
|
41
39
|
}
|
|
42
40
|
getNextIndex() {
|
|
43
41
|
return this.nextIndex;
|
|
44
42
|
}
|
|
45
43
|
asLeaf() {
|
|
46
|
-
return
|
|
44
|
+
return this.leaf;
|
|
47
45
|
}
|
|
48
46
|
toBuffer() {
|
|
49
47
|
return Buffer.concat(this.toHashInputs());
|
|
50
48
|
}
|
|
51
49
|
toHashInputs() {
|
|
52
50
|
return [
|
|
53
|
-
|
|
54
|
-
Buffer.from(this.value.toBuffer()),
|
|
51
|
+
...this.leaf.toHashInputs(),
|
|
55
52
|
Buffer.from(toBufferBE(this.nextIndex, 32)),
|
|
56
|
-
Buffer.from(this.
|
|
53
|
+
Buffer.from(this.nextKey.toBuffer())
|
|
57
54
|
];
|
|
58
55
|
}
|
|
59
56
|
clone() {
|
|
60
|
-
return new PublicDataTreeLeafPreimage(this.
|
|
57
|
+
return new PublicDataTreeLeafPreimage(this.leaf.clone(), this.nextKey, this.nextIndex);
|
|
61
58
|
}
|
|
62
59
|
static random() {
|
|
63
|
-
return new PublicDataTreeLeafPreimage(
|
|
60
|
+
return new PublicDataTreeLeafPreimage(PublicDataTreeLeaf.buildDummy(BigInt(Math.floor(Math.random() * 1000))), Fr.random(), BigInt(Math.floor(Math.random() * 1000)));
|
|
64
61
|
}
|
|
65
62
|
static empty() {
|
|
66
|
-
return new PublicDataTreeLeafPreimage(
|
|
63
|
+
return new PublicDataTreeLeafPreimage(PublicDataTreeLeaf.empty(), Fr.ZERO, 0n);
|
|
67
64
|
}
|
|
68
65
|
static fromBuffer(buffer) {
|
|
69
66
|
const reader = BufferReader.asReader(buffer);
|
|
70
|
-
const
|
|
71
|
-
const value = Fr.fromBuffer(reader);
|
|
67
|
+
const value = PublicDataTreeLeaf.fromBuffer(reader);
|
|
72
68
|
const nextIndex = toBigIntBE(reader.readBytes(32));
|
|
73
69
|
const nextSlot = Fr.fromBuffer(reader);
|
|
74
|
-
return new PublicDataTreeLeafPreimage(
|
|
70
|
+
return new PublicDataTreeLeafPreimage(value, nextSlot, nextIndex);
|
|
75
71
|
}
|
|
76
72
|
static fromLeaf(leaf, nextKey, nextIndex) {
|
|
77
|
-
return new PublicDataTreeLeafPreimage(leaf
|
|
73
|
+
return new PublicDataTreeLeafPreimage(leaf, new Fr(nextKey), nextIndex);
|
|
78
74
|
}
|
|
79
75
|
static clone(preimage) {
|
|
80
|
-
return
|
|
76
|
+
return preimage.clone();
|
|
81
77
|
}
|
|
82
78
|
}
|
|
83
79
|
/**
|
|
@@ -102,6 +98,15 @@ import { z } from 'zod';
|
|
|
102
98
|
this.value
|
|
103
99
|
]);
|
|
104
100
|
}
|
|
101
|
+
clone() {
|
|
102
|
+
return new PublicDataTreeLeaf(this.slot, this.value);
|
|
103
|
+
}
|
|
104
|
+
toHashInputs() {
|
|
105
|
+
return [
|
|
106
|
+
this.slot.toBuffer(),
|
|
107
|
+
this.value.toBuffer()
|
|
108
|
+
];
|
|
109
|
+
}
|
|
105
110
|
static fromBuffer(buffer) {
|
|
106
111
|
const reader = BufferReader.asReader(buffer);
|
|
107
112
|
return new PublicDataTreeLeaf(Fr.fromBuffer(reader), Fr.fromBuffer(reader));
|
|
@@ -127,4 +132,10 @@ import { z } from 'zod';
|
|
|
127
132
|
static empty() {
|
|
128
133
|
return new PublicDataTreeLeaf(Fr.ZERO, Fr.ZERO);
|
|
129
134
|
}
|
|
135
|
+
static get schema() {
|
|
136
|
+
return z.object({
|
|
137
|
+
slot: schemas.Fr,
|
|
138
|
+
value: schemas.Fr
|
|
139
|
+
}).transform(({ slot, value })=>new PublicDataTreeLeaf(slot, value));
|
|
140
|
+
}
|
|
130
141
|
}
|
|
@@ -43,25 +43,39 @@ export declare class PublicDataWitness {
|
|
|
43
43
|
static get schema(): z.ZodEffects<z.ZodObject<{
|
|
44
44
|
index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
45
45
|
leafPreimage: z.ZodEffects<z.ZodObject<{
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
46
|
+
leaf: z.ZodEffects<z.ZodObject<{
|
|
47
|
+
slot: z.ZodType<Fr, any, string>;
|
|
48
|
+
value: z.ZodType<Fr, any, string>;
|
|
49
|
+
}, "strip", z.ZodTypeAny, {
|
|
50
|
+
value: Fr;
|
|
51
|
+
slot: Fr;
|
|
52
|
+
}, {
|
|
53
|
+
value: string;
|
|
54
|
+
slot: string;
|
|
55
|
+
}>, import("./public_data_leaf.js").PublicDataTreeLeaf, {
|
|
56
|
+
value: string;
|
|
57
|
+
slot: string;
|
|
58
|
+
}>;
|
|
59
|
+
nextKey: z.ZodType<Fr, any, string>;
|
|
49
60
|
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
50
61
|
}, "strip", z.ZodTypeAny, {
|
|
51
|
-
|
|
52
|
-
|
|
62
|
+
leaf: import("./public_data_leaf.js").PublicDataTreeLeaf;
|
|
63
|
+
nextKey: Fr;
|
|
53
64
|
nextIndex: bigint;
|
|
54
|
-
nextSlot: Fr;
|
|
55
65
|
}, {
|
|
56
|
-
|
|
57
|
-
|
|
66
|
+
leaf: {
|
|
67
|
+
value: string;
|
|
68
|
+
slot: string;
|
|
69
|
+
};
|
|
70
|
+
nextKey: string;
|
|
58
71
|
nextIndex: string | number | bigint;
|
|
59
|
-
nextSlot: string;
|
|
60
72
|
}>, PublicDataTreeLeafPreimage, {
|
|
61
|
-
|
|
62
|
-
|
|
73
|
+
leaf: {
|
|
74
|
+
value: string;
|
|
75
|
+
slot: string;
|
|
76
|
+
};
|
|
77
|
+
nextKey: string;
|
|
63
78
|
nextIndex: string | number | bigint;
|
|
64
|
-
nextSlot: string;
|
|
65
79
|
}>;
|
|
66
80
|
siblingPath: z.ZodEffects<z.ZodEffects<z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer, string>, z.ZodEffects<z.ZodObject<{
|
|
67
81
|
type: z.ZodLiteral<"Buffer">;
|
|
@@ -84,32 +98,36 @@ export declare class PublicDataWitness {
|
|
|
84
98
|
}>;
|
|
85
99
|
}, "strip", z.ZodTypeAny, {
|
|
86
100
|
index: bigint;
|
|
87
|
-
siblingPath: SiblingPath<40>;
|
|
88
101
|
leafPreimage: PublicDataTreeLeafPreimage;
|
|
102
|
+
siblingPath: SiblingPath<40>;
|
|
89
103
|
}, {
|
|
90
104
|
index: string | number | bigint;
|
|
105
|
+
leafPreimage: {
|
|
106
|
+
leaf: {
|
|
107
|
+
value: string;
|
|
108
|
+
slot: string;
|
|
109
|
+
};
|
|
110
|
+
nextKey: string;
|
|
111
|
+
nextIndex: string | number | bigint;
|
|
112
|
+
};
|
|
91
113
|
siblingPath: string | {
|
|
92
114
|
type: "Buffer";
|
|
93
115
|
data: number[];
|
|
94
116
|
};
|
|
117
|
+
}>, PublicDataWitness, {
|
|
118
|
+
index: string | number | bigint;
|
|
95
119
|
leafPreimage: {
|
|
96
|
-
|
|
97
|
-
|
|
120
|
+
leaf: {
|
|
121
|
+
value: string;
|
|
122
|
+
slot: string;
|
|
123
|
+
};
|
|
124
|
+
nextKey: string;
|
|
98
125
|
nextIndex: string | number | bigint;
|
|
99
|
-
nextSlot: string;
|
|
100
126
|
};
|
|
101
|
-
}>, PublicDataWitness, {
|
|
102
|
-
index: string | number | bigint;
|
|
103
127
|
siblingPath: string | {
|
|
104
128
|
type: "Buffer";
|
|
105
129
|
data: number[];
|
|
106
130
|
};
|
|
107
|
-
leafPreimage: {
|
|
108
|
-
value: string;
|
|
109
|
-
slot: string;
|
|
110
|
-
nextIndex: string | number | bigint;
|
|
111
|
-
nextSlot: string;
|
|
112
|
-
};
|
|
113
131
|
}>;
|
|
114
132
|
/**
|
|
115
133
|
* Returns a field array representation of a public data witness.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"public_data_witness.d.ts","sourceRoot":"","sources":["../../src/trees/public_data_witness.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAEnE;;;;;GAKG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;aACa,KAAK,EAAE,MAAM;IAC7B;;;OAGG;aACa,YAAY,EAAE,0BAA0B;IACxD;;OAEG;aACa,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC;;IAZxE;;OAEG;IACa,KAAK,EAAE,MAAM;IAC7B;;;OAGG;IACa,YAAY,EAAE,0BAA0B;IACxD;;OAEG;IACa,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC;IAG1E,MAAM,KAAK,MAAM
|
|
1
|
+
{"version":3,"file":"public_data_witness.d.ts","sourceRoot":"","sources":["../../src/trees/public_data_witness.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAEnE;;;;;GAKG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;aACa,KAAK,EAAE,MAAM;IAC7B;;;OAGG;aACa,YAAY,EAAE,0BAA0B;IACxD;;OAEG;aACa,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC;;IAZxE;;OAEG;IACa,KAAK,EAAE,MAAM;IAC7B;;;OAGG;IACa,YAAY,EAAE,0BAA0B;IACxD;;OAEG;IACa,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC;IAG1E,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED;;;OAGG;IACI,QAAQ,IAAI,EAAE,EAAE;IAWvB;;OAEG;IACI,oBAAoB,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE;IAYpD,QAAQ,IAAI,MAAM;IAIlB;;OAEG;IACH,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,MAAM;IAQb;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB;IAUnE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;CAG9B"}
|
|
@@ -41,10 +41,10 @@ import { PublicDataTreeLeafPreimage } from './public_data_leaf.js';
|
|
|
41
41
|
*/ toFields() {
|
|
42
42
|
return [
|
|
43
43
|
new Fr(this.index),
|
|
44
|
-
new Fr(this.leafPreimage.slot),
|
|
45
|
-
new Fr(this.leafPreimage.value),
|
|
44
|
+
new Fr(this.leafPreimage.leaf.slot),
|
|
45
|
+
new Fr(this.leafPreimage.leaf.value),
|
|
46
46
|
new Fr(this.leafPreimage.nextIndex),
|
|
47
|
-
new Fr(this.leafPreimage.
|
|
47
|
+
new Fr(this.leafPreimage.nextKey),
|
|
48
48
|
...this.siblingPath.toFields()
|
|
49
49
|
];
|
|
50
50
|
}
|
|
@@ -54,9 +54,9 @@ import { PublicDataTreeLeafPreimage } from './public_data_leaf.js';
|
|
|
54
54
|
// TODO(#12874): remove the stupid as string conversion by modifying ForeignCallOutput type in acvm.js
|
|
55
55
|
return [
|
|
56
56
|
new Fr(this.index).toString(),
|
|
57
|
-
new Fr(this.leafPreimage.slot).toString(),
|
|
58
|
-
new Fr(this.leafPreimage.value).toString(),
|
|
59
|
-
new Fr(this.leafPreimage.
|
|
57
|
+
new Fr(this.leafPreimage.leaf.slot).toString(),
|
|
58
|
+
new Fr(this.leafPreimage.leaf.value).toString(),
|
|
59
|
+
new Fr(this.leafPreimage.nextKey).toString(),
|
|
60
60
|
new Fr(this.leafPreimage.nextIndex).toString(),
|
|
61
61
|
this.siblingPath.toFields().map((fr)=>fr.toString())
|
|
62
62
|
];
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validators/index.ts"],"names":[],"mappings":"AAAA,mBAAmB,YAAY,CAAC;AAEhC,cAAc,cAAc,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export * from './schemas.js';
|