@aztec/stdlib 0.82.3 → 0.83.0
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 +3889 -382
- package/dest/avm/avm.d.ts.map +1 -1
- package/dest/avm/avm.js +64 -18
- package/dest/avm/avm_proving_request.d.ts +1610 -66
- package/dest/avm/avm_proving_request.d.ts.map +1 -1
- package/dest/block/l2_block_downloader/l2_block_stream.d.ts +9 -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 +39 -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/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/proving-job.d.ts +1610 -66
- 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/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.js +1 -1
- package/dest/snapshots/types.d.ts +4 -4
- package/dest/snapshots/types.d.ts.map +1 -1
- package/dest/snapshots/types.js +1 -1
- package/dest/snapshots/upload.d.ts +1 -1
- package/dest/snapshots/upload.d.ts.map +1 -1
- package/dest/snapshots/upload.js +1 -1
- package/dest/tests/factories.d.ts +10 -2
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +42 -6
- 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/nullifier_leaf.d.ts +46 -21
- package/dest/trees/nullifier_leaf.d.ts.map +1 -1
- package/dest/trees/nullifier_leaf.js +48 -30
- package/dest/trees/nullifier_membership_witness.d.ts +28 -12
- 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 +46 -25
- package/dest/trees/public_data_leaf.d.ts.map +1 -1
- package/dest/trees/public_data_leaf.js +35 -30
- package/dest/trees/public_data_witness.d.ts +36 -18
- package/dest/trees/public_data_witness.d.ts.map +1 -1
- package/dest/trees/public_data_witness.js +6 -6
- 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 +6 -7
- package/src/avm/avm.ts +74 -20
- package/src/block/l2_block_downloader/l2_block_stream.ts +58 -29
- package/src/config/config.ts +6 -6
- package/src/contract/interfaces/node-info.ts +3 -3
- package/src/interfaces/prover-client.ts +9 -7
- package/src/interfaces/pxe.ts +14 -7
- 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 +1 -1
- package/src/snapshots/types.ts +2 -2
- package/src/snapshots/upload.ts +5 -3
- package/src/tests/factories.ts +72 -8
- package/src/tests/mocks.ts +7 -0
- package/src/trees/nullifier_leaf.ts +49 -26
- package/src/trees/protocol_contract_leaf.ts +0 -4
- package/src/trees/public_data_leaf.ts +31 -29
- package/src/trees/public_data_witness.ts +6 -6
- 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
package/dest/avm/avm.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"avm.d.ts","sourceRoot":"","sources":["../../src/avm/avm.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;
|
|
1
|
+
{"version":3,"file":"avm.d.ts","sourceRoot":"","sources":["../../src/avm/avm.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAI9C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAMxE,qBAAa,oBAAoB;aAEb,OAAO,EAAE,EAAE;aACX,YAAY,EAAE,EAAE;aAChB,oBAAoB,EAAE,EAAE;aACxB,cAAc,EAAE,MAAM;gBAHtB,OAAO,EAAE,EAAE,EACX,YAAY,EAAE,EAAE,EAChB,oBAAoB,EAAE,EAAE,EACxB,cAAc,EAAE,MAAM;IAGxC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAYhB;CACF;AAED,qBAAa,yBAAyB;aACR,OAAO,EAAE,EAAE;aAAkB,UAAU,EAAE,EAAE;gBAA3C,OAAO,EAAE,EAAE,EAAkB,UAAU,EAAE,EAAE;IAEvE,MAAM,KAAK,MAAM;;;;;;;;;;;;OAOhB;CACF;AAED,qBAAa,uBAAuB;aAEhB,OAAO,EAAE,YAAY;aACrB,IAAI,EAAE,EAAE;aACR,QAAQ,EAAE,YAAY;aACtB,sBAAsB,EAAE,EAAE;aAC1B,uBAAuB,EAAE,EAAE;aAC3B,kBAAkB,EAAE,EAAE;aACtB,UAAU,EAAE,UAAU;gBANtB,OAAO,EAAE,YAAY,EACrB,IAAI,EAAE,EAAE,EACR,QAAQ,EAAE,YAAY,EACtB,sBAAsB,EAAE,EAAE,EAC1B,uBAAuB,EAAE,EAAE,EAC3B,kBAAkB,EAAE,EAAE,EACtB,UAAU,EAAE,UAAU;IAGxC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BhB;CACF;AAMD,qBAAa,qBAAqB;aAEd,OAAO,EAAE,sBAAsB;aAE/B,MAAM,EAAE,YAAY;aACpB,KAAK,EAAE,MAAM;aAEb,IAAI,EAAE,EAAE,EAAE;gBALV,OAAO,EAAE,sBAAsB,EAE/B,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,MAAM,EAEb,IAAI,EAAE,EAAE,EAAE;IAG5B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAShB;CACF;AAGD,qBAAa,4BAA4B;aAErB,OAAO,EAAE,sBAAsB;aAE/B,MAAM,EAAE,YAAY;aACpB,KAAK,EAAE,EAAE;aAET,KAAK,EAAE,MAAM;aACb,cAAc,EAAE,OAAO;gBANvB,OAAO,EAAE,sBAAsB,EAE/B,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,EAAE,EAET,KAAK,EAAE,MAAM,EACb,cAAc,EAAE,OAAO;IAGzC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAahB;CACF;AAED,KAAK,wBAAwB,GAAG,qBAAqB,GAAG,0BAA0B,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BnF,qBAAa,oCAAqC,SAAQ,yCAAyD;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACtH,qBAAa,mCAAoC,SAAQ,wCAAoD;CAAG;AAIhH,qBAAa,mBAAmB;aAEZ,OAAO,EAAE,sBAAsB;aAE/B,MAAM,EAAE,YAAY;aACpB,KAAK,EAAE,MAAM;aAEb,KAAK,EAAE,EAAE;gBALT,OAAO,EAAE,sBAAsB,EAE/B,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,MAAM,EAEb,KAAK,EAAE,EAAE;IAG3B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAShB;CACF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqDD,qBAAa,qCAAsC,SAAQ,0CAA0D;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACxH,qBAAa,oCAAqC,SAAQ,yCAAqD;CAAG;AAKlH,qBAAa,mBAAmB;aAEZ,SAAS,EAAE,YAAY;aACvB,eAAe,EAAE,YAAY;aAC7B,QAAQ,EAAE,EAAE,EAAE;IACvB,YAAY,EAAE,OAAO;gBAHZ,SAAS,EAAE,YAAY,EACvB,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,EAAE,EAAE,EACvB,YAAY,EAAE,OAAO;IAG9B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;OAYhB;CACF;AAED,qBAAa,iBAAiB;aAEV,aAAa,EAAE,mBAAmB,EAAE;aAEpC,iBAAiB,EAAE,uBAAuB,EAAE;aAC5C,eAAe,EAAE,oBAAoB,EAAE;aACvC,mBAAmB,EAAE,yBAAyB,EAAE;aAEhD,mBAAmB,EAAE,qBAAqB,EAAE;aAC5C,0BAA0B,EAAE,4BAA4B,EAAE;aAC1D,kCAAkC,EAAE,oCAAoC,EAAE;aAC1E,iCAAiC,EAAE,mCAAmC,EAAE;aACxE,iBAAiB,EAAE,mBAAmB,EAAE;aACxC,mCAAmC,EAAE,qCAAqC,EAAE;aAC5E,kCAAkC,EAAE,oCAAoC,EAAE;gBAZ1E,aAAa,GAAE,mBAAmB,EAAO,EAEzC,iBAAiB,GAAE,uBAAuB,EAAO,EACjD,eAAe,GAAE,oBAAoB,EAAO,EAC5C,mBAAmB,GAAE,yBAAyB,EAAO,EAErD,mBAAmB,GAAE,qBAAqB,EAAO,EACjD,0BAA0B,GAAE,4BAA4B,EAAO,EAC/D,kCAAkC,GAAE,oCAAoC,EAAO,EAC/E,iCAAiC,GAAE,mCAAmC,EAAO,EAC7E,iBAAiB,GAAE,mBAAmB,EAAO,EAC7C,mCAAmC,GAAE,qCAAqC,EAAO,EACjF,kCAAkC,GAAE,oCAAoC,EAAO;IAGjG,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2ChB;CACF;AAED,qBAAa,gBAAgB;aAET,YAAY,EAAE,MAAM;aACpB,QAAQ,EAAE,EAAE,EAAE;aACd,KAAK,EAAE,iBAAiB;IACjC,YAAY,EAAE,sBAAsB;gBAH3B,YAAY,EAAE,MAAM,EAAE,qBAAqB;IAC3C,QAAQ,EAAE,EAAE,EAAE,EACd,KAAK,EAAE,iBAAiB,EACjC,YAAY,EAAE,sBAAsB;IAG7C,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAYhB;IAEM,wBAAwB,IAAI,MAAM;IAKlC,QAAQ,IAAI,MAAM;IAGzB,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;CAG9B"}
|
package/dest/avm/avm.js
CHANGED
|
@@ -4,8 +4,8 @@ import { z } from 'zod';
|
|
|
4
4
|
import { AztecAddress } from '../aztec-address/index.js';
|
|
5
5
|
import { PublicKeys } from '../keys/public_keys.js';
|
|
6
6
|
import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
|
|
7
|
-
import {
|
|
8
|
-
import {
|
|
7
|
+
import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
|
|
8
|
+
import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
|
|
9
9
|
import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
|
|
10
10
|
import { serializeWithMessagePack } from './message_pack.js';
|
|
11
11
|
////////////////////////////////////////////////////////////////////////////
|
|
@@ -133,33 +133,27 @@ function AvmGetLeafPreimageHintFactory(klass) {
|
|
|
133
133
|
return class AvmGetLeafPreimageHint {
|
|
134
134
|
hintKey;
|
|
135
135
|
index;
|
|
136
|
-
|
|
137
|
-
nextIndex;
|
|
138
|
-
nextValue;
|
|
136
|
+
leafPreimage;
|
|
139
137
|
constructor(hintKey, // params (tree id will be implicit)
|
|
140
138
|
index, // return
|
|
141
|
-
|
|
139
|
+
leafPreimage){
|
|
142
140
|
this.hintKey = hintKey;
|
|
143
141
|
this.index = index;
|
|
144
|
-
this.
|
|
145
|
-
this.nextIndex = nextIndex;
|
|
146
|
-
this.nextValue = nextValue;
|
|
142
|
+
this.leafPreimage = leafPreimage;
|
|
147
143
|
}
|
|
148
144
|
static get schema() {
|
|
149
145
|
return z.object({
|
|
150
146
|
hintKey: AppendOnlyTreeSnapshot.schema,
|
|
151
147
|
index: schemas.BigInt,
|
|
152
|
-
|
|
153
|
-
|
|
154
|
-
nextValue: schemas.Fr
|
|
155
|
-
}).transform(({ hintKey, index, leaf, nextIndex, nextValue })=>new AvmGetLeafPreimageHint(hintKey, index, leaf, nextIndex, nextValue));
|
|
148
|
+
leafPreimage: klass.schema
|
|
149
|
+
}).transform(({ hintKey, index, leafPreimage })=>new AvmGetLeafPreimageHint(hintKey, index, leafPreimage));
|
|
156
150
|
}
|
|
157
151
|
};
|
|
158
152
|
}
|
|
159
153
|
// Note: only supported for PUBLIC_DATA_TREE and NULLIFIER_TREE.
|
|
160
|
-
export class AvmGetLeafPreimageHintPublicDataTree extends AvmGetLeafPreimageHintFactory(
|
|
154
|
+
export class AvmGetLeafPreimageHintPublicDataTree extends AvmGetLeafPreimageHintFactory(PublicDataTreeLeafPreimage) {
|
|
161
155
|
}
|
|
162
|
-
export class AvmGetLeafPreimageHintNullifierTree extends AvmGetLeafPreimageHintFactory(
|
|
156
|
+
export class AvmGetLeafPreimageHintNullifierTree extends AvmGetLeafPreimageHintFactory(NullifierLeafPreimage) {
|
|
163
157
|
}
|
|
164
158
|
// Hint for MerkleTreeDB.getLeafValue.
|
|
165
159
|
// Note: only supported for NOTE_HASH_TREE and L1_TO_L2_MESSAGE_TREE.
|
|
@@ -185,6 +179,52 @@ export class AvmGetLeafValueHint {
|
|
|
185
179
|
}).transform(({ hintKey, treeId, index, value })=>new AvmGetLeafValueHint(hintKey, treeId, index, value));
|
|
186
180
|
}
|
|
187
181
|
}
|
|
182
|
+
// Hint for MerkleTreeDB.sequentialInsert.
|
|
183
|
+
// NOTE: I need this factory because in order to get hold of the schema, I need an actual instance of the class,
|
|
184
|
+
// having the type doesn't suffice since TS does type erasure in the end.
|
|
185
|
+
function AvmSequentialInsertHintFactory(klass) {
|
|
186
|
+
return class AvmSequentialInsertHint {
|
|
187
|
+
hintKey;
|
|
188
|
+
stateAfter;
|
|
189
|
+
treeId;
|
|
190
|
+
leaf;
|
|
191
|
+
lowLeavesWitnessData;
|
|
192
|
+
insertionWitnessData;
|
|
193
|
+
constructor(hintKey, stateAfter, // params
|
|
194
|
+
treeId, leaf, // return
|
|
195
|
+
lowLeavesWitnessData, insertionWitnessData){
|
|
196
|
+
this.hintKey = hintKey;
|
|
197
|
+
this.stateAfter = stateAfter;
|
|
198
|
+
this.treeId = treeId;
|
|
199
|
+
this.leaf = leaf;
|
|
200
|
+
this.lowLeavesWitnessData = lowLeavesWitnessData;
|
|
201
|
+
this.insertionWitnessData = insertionWitnessData;
|
|
202
|
+
}
|
|
203
|
+
static get schema() {
|
|
204
|
+
return z.object({
|
|
205
|
+
hintKey: AppendOnlyTreeSnapshot.schema,
|
|
206
|
+
stateAfter: AppendOnlyTreeSnapshot.schema,
|
|
207
|
+
treeId: z.number().int().nonnegative(),
|
|
208
|
+
leaf: klass.leafSchema,
|
|
209
|
+
lowLeavesWitnessData: z.object({
|
|
210
|
+
leaf: klass.schema,
|
|
211
|
+
index: schemas.BigInt,
|
|
212
|
+
path: schemas.Fr.array()
|
|
213
|
+
}),
|
|
214
|
+
insertionWitnessData: z.object({
|
|
215
|
+
leaf: klass.schema,
|
|
216
|
+
index: schemas.BigInt,
|
|
217
|
+
path: schemas.Fr.array()
|
|
218
|
+
})
|
|
219
|
+
}).transform(({ hintKey, stateAfter, treeId, leaf, lowLeavesWitnessData, insertionWitnessData })=>new AvmSequentialInsertHint(hintKey, stateAfter, treeId, leaf, lowLeavesWitnessData, insertionWitnessData));
|
|
220
|
+
}
|
|
221
|
+
};
|
|
222
|
+
}
|
|
223
|
+
// Note: only supported for PUBLIC_DATA_TREE and NULLIFIER_TREE.
|
|
224
|
+
export class AvmSequentialInsertHintPublicDataTree extends AvmSequentialInsertHintFactory(PublicDataTreeLeafPreimage) {
|
|
225
|
+
}
|
|
226
|
+
export class AvmSequentialInsertHintNullifierTree extends AvmSequentialInsertHintFactory(NullifierLeafPreimage) {
|
|
227
|
+
}
|
|
188
228
|
////////////////////////////////////////////////////////////////////////////
|
|
189
229
|
// Hints (other)
|
|
190
230
|
////////////////////////////////////////////////////////////////////////////
|
|
@@ -218,9 +258,11 @@ export class AvmExecutionHints {
|
|
|
218
258
|
getLeafPreimageHintsPublicDataTree;
|
|
219
259
|
getLeafPreimageHintsNullifierTree;
|
|
220
260
|
getLeafValueHints;
|
|
261
|
+
sequentialInsertHintsPublicDataTree;
|
|
262
|
+
sequentialInsertHintsNullifierTree;
|
|
221
263
|
constructor(enqueuedCalls = [], // Contract hints.
|
|
222
264
|
contractInstances = [], contractClasses = [], bytecodeCommitments = [], // Merkle DB hints.
|
|
223
|
-
getSiblingPathHints = [], getPreviousValueIndexHints = [], getLeafPreimageHintsPublicDataTree = [], getLeafPreimageHintsNullifierTree = [], getLeafValueHints = []){
|
|
265
|
+
getSiblingPathHints = [], getPreviousValueIndexHints = [], getLeafPreimageHintsPublicDataTree = [], getLeafPreimageHintsNullifierTree = [], getLeafValueHints = [], sequentialInsertHintsPublicDataTree = [], sequentialInsertHintsNullifierTree = []){
|
|
224
266
|
this.enqueuedCalls = enqueuedCalls;
|
|
225
267
|
this.contractInstances = contractInstances;
|
|
226
268
|
this.contractClasses = contractClasses;
|
|
@@ -230,6 +272,8 @@ export class AvmExecutionHints {
|
|
|
230
272
|
this.getLeafPreimageHintsPublicDataTree = getLeafPreimageHintsPublicDataTree;
|
|
231
273
|
this.getLeafPreimageHintsNullifierTree = getLeafPreimageHintsNullifierTree;
|
|
232
274
|
this.getLeafValueHints = getLeafValueHints;
|
|
275
|
+
this.sequentialInsertHintsPublicDataTree = sequentialInsertHintsPublicDataTree;
|
|
276
|
+
this.sequentialInsertHintsNullifierTree = sequentialInsertHintsNullifierTree;
|
|
233
277
|
}
|
|
234
278
|
static empty() {
|
|
235
279
|
return new AvmExecutionHints();
|
|
@@ -244,8 +288,10 @@ export class AvmExecutionHints {
|
|
|
244
288
|
getPreviousValueIndexHints: AvmGetPreviousValueIndexHint.schema.array(),
|
|
245
289
|
getLeafPreimageHintsPublicDataTree: AvmGetLeafPreimageHintPublicDataTree.schema.array(),
|
|
246
290
|
getLeafPreimageHintsNullifierTree: AvmGetLeafPreimageHintNullifierTree.schema.array(),
|
|
247
|
-
getLeafValueHints: AvmGetLeafValueHint.schema.array()
|
|
248
|
-
|
|
291
|
+
getLeafValueHints: AvmGetLeafValueHint.schema.array(),
|
|
292
|
+
sequentialInsertHintsPublicDataTree: AvmSequentialInsertHintPublicDataTree.schema.array(),
|
|
293
|
+
sequentialInsertHintsNullifierTree: AvmSequentialInsertHintNullifierTree.schema.array()
|
|
294
|
+
}).transform(({ enqueuedCalls, contractInstances, contractClasses, bytecodeCommitments, getSiblingPathHints, getPreviousValueIndexHints, getLeafPreimageHintsPublicDataTree, getLeafPreimageHintsNullifierTree, getLeafValueHints, sequentialInsertHintsPublicDataTree, sequentialInsertHintsNullifierTree })=>new AvmExecutionHints(enqueuedCalls, contractInstances, contractClasses, bytecodeCommitments, getSiblingPathHints, getPreviousValueIndexHints, getLeafPreimageHintsPublicDataTree, getLeafPreimageHintsNullifierTree, getLeafValueHints, sequentialInsertHintsPublicDataTree, sequentialInsertHintsNullifierTree));
|
|
249
295
|
}
|
|
250
296
|
}
|
|
251
297
|
export class AvmCircuitInputs {
|