@aztec/stdlib 3.0.0-nightly.20251222 → 3.0.0-nightly.20251224
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/checkpoint/checkpoint.d.ts +15 -1
- package/dest/checkpoint/checkpoint.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint.js +26 -0
- package/dest/checkpoint/checkpoint_info.d.ts +9 -0
- package/dest/checkpoint/checkpoint_info.d.ts.map +1 -0
- package/dest/checkpoint/checkpoint_info.js +1 -0
- package/dest/contract/contract_class_id.js +1 -1
- package/dest/hash/hash.d.ts +1 -9
- package/dest/hash/hash.d.ts.map +1 -1
- package/dest/hash/hash.js +0 -12
- package/dest/interfaces/archiver.d.ts +1 -1
- package/dest/interfaces/archiver.d.ts.map +1 -1
- package/dest/interfaces/archiver.js +4 -1
- package/dest/interfaces/aztec-node-admin.d.ts +19 -7
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.d.ts +10 -10
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +3 -3
- package/dest/interfaces/block-builder.d.ts +3 -2
- package/dest/interfaces/block-builder.d.ts.map +1 -1
- package/dest/interfaces/block-builder.js +9 -1
- package/dest/interfaces/configs.d.ts +35 -13
- package/dest/interfaces/configs.d.ts.map +1 -1
- package/dest/interfaces/configs.js +7 -3
- package/dest/interfaces/l2_logs_source.d.ts +12 -8
- package/dest/interfaces/l2_logs_source.d.ts.map +1 -1
- package/dest/interfaces/merkle_tree_operations.d.ts +2 -2
- package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
- package/dest/interfaces/proving-job.d.ts +166 -166
- package/dest/interfaces/world_state.d.ts +10 -3
- package/dest/interfaces/world_state.d.ts.map +1 -1
- package/dest/kernel/private_circuit_public_inputs.d.ts +47 -47
- package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_circuit_public_inputs.js +59 -59
- package/dest/logs/index.d.ts +3 -1
- package/dest/logs/index.d.ts.map +1 -1
- package/dest/logs/index.js +2 -0
- package/dest/logs/siloed_tag.d.ts +23 -0
- package/dest/logs/siloed_tag.d.ts.map +1 -0
- package/dest/logs/siloed_tag.js +30 -0
- package/dest/logs/tag.d.ts +21 -0
- package/dest/logs/tag.d.ts.map +1 -0
- package/dest/logs/tag.js +30 -0
- package/dest/logs/tx_scoped_l2_log.d.ts +8 -2
- package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
- package/dest/logs/tx_scoped_l2_log.js +13 -5
- package/dest/messaging/l1_to_l2_message.d.ts +1 -1
- package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
- package/dest/rollup/checkpoint_constant_data.d.ts +2 -1
- package/dest/rollup/checkpoint_constant_data.d.ts.map +1 -1
- package/dest/rollup/checkpoint_constant_data.js +1 -0
- package/dest/rollup/checkpoint_header.d.ts +5 -1
- package/dest/rollup/checkpoint_header.d.ts.map +1 -1
- package/dest/rollup/checkpoint_header.js +4 -1
- package/dest/schemas/schemas.d.ts +3 -1
- package/dest/schemas/schemas.d.ts.map +1 -1
- package/dest/schemas/schemas.js +1 -0
- package/dest/stats/stats.d.ts +10 -6
- package/dest/stats/stats.d.ts.map +1 -1
- package/dest/tx/global_variable_builder.d.ts +4 -2
- package/dest/tx/global_variable_builder.d.ts.map +1 -1
- package/dest/tx/global_variables.d.ts +6 -1
- package/dest/tx/global_variables.d.ts.map +1 -1
- package/package.json +8 -8
- package/src/checkpoint/checkpoint.ts +32 -0
- package/src/checkpoint/checkpoint_info.ts +9 -0
- package/src/contract/contract_class_id.ts +1 -1
- package/src/hash/hash.ts +0 -11
- package/src/interfaces/archiver.ts +8 -2
- package/src/interfaces/aztec-node.ts +17 -14
- package/src/interfaces/block-builder.ts +11 -1
- package/src/interfaces/configs.ts +36 -8
- package/src/interfaces/l2_logs_source.ts +12 -7
- package/src/interfaces/merkle_tree_operations.ts +4 -1
- package/src/interfaces/world_state.ts +7 -2
- package/src/kernel/private_circuit_public_inputs.ts +85 -85
- package/src/logs/index.ts +2 -0
- package/src/logs/siloed_tag.ts +44 -0
- package/src/logs/tag.ts +42 -0
- package/src/logs/tx_scoped_l2_log.ts +15 -5
- package/src/messaging/l1_to_l2_message.ts +1 -0
- package/src/rollup/checkpoint_constant_data.ts +1 -0
- package/src/rollup/checkpoint_header.ts +4 -0
- package/src/schemas/schemas.ts +3 -0
- package/src/stats/stats.ts +10 -5
- package/src/tx/global_variable_builder.ts +8 -1
- package/src/tx/global_variables.ts +6 -0
|
@@ -35,8 +35,15 @@ export interface WorldStateSynchronizerStatus {
|
|
|
35
35
|
}
|
|
36
36
|
/** Provides writeable forks of the world state at a given block number. */
|
|
37
37
|
export interface ForkMerkleTreeOperations {
|
|
38
|
-
/**
|
|
39
|
-
|
|
38
|
+
/**
|
|
39
|
+
* Forks the world state at the given block number, defaulting to the latest one.
|
|
40
|
+
* @param block - The block number to fork at.
|
|
41
|
+
* @param opts - Optional parameters:
|
|
42
|
+
* - closeDelayMs: number of milliseconds to wait before closing the fork on dispose.
|
|
43
|
+
*/
|
|
44
|
+
fork(block?: BlockNumber, opts?: {
|
|
45
|
+
closeDelayMs?: number;
|
|
46
|
+
}): Promise<MerkleTreeWriteOperations>;
|
|
40
47
|
/** Gets a handle that allows reading the state as it was at the given block number. */
|
|
41
48
|
getSnapshot(blockNumber: BlockNumber): MerkleTreeReadOperations;
|
|
42
49
|
/** Backups the db to the target path. */
|
|
@@ -67,4 +74,4 @@ export interface WorldStateSynchronizer extends ForkMerkleTreeOperations {
|
|
|
67
74
|
clear(): Promise<void>;
|
|
68
75
|
}
|
|
69
76
|
export declare const WorldStateSyncStatusSchema: z.ZodType<WorldStateSyncStatus, z.ZodTypeDef, any>;
|
|
70
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
77
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid29ybGRfc3RhdGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9pbnRlcmZhY2VzL3dvcmxkX3N0YXRlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQXFCLE1BQU0saUNBQWlDLENBQUM7QUFDakYsT0FBTyxLQUFLLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUV0RSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsd0JBQXdCLEVBQUUseUJBQXlCLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUV2RyxZQUFZLEVBQUUsZ0JBQWdCLEVBQUUsQ0FBQztBQUVqQzs7R0FFRztBQUNILG9CQUFZLHNCQUFzQjtJQUNoQyxJQUFJLElBQUE7SUFDSixRQUFRLElBQUE7SUFDUixPQUFPLElBQUE7SUFDUCxPQUFPLElBQUE7Q0FDUjtBQUVELE1BQU0sV0FBVyxvQkFBb0I7SUFDbkMsaUJBQWlCLEVBQUUsV0FBVyxDQUFDO0lBQy9CLGVBQWUsRUFBRSxNQUFNLENBQUM7SUFDeEIsb0JBQW9CLEVBQUUsV0FBVyxDQUFDO0lBQ2xDLHlCQUF5QixFQUFFLFdBQVcsQ0FBQztJQUN2QyxlQUFlLEVBQUUsT0FBTyxDQUFDO0NBQzFCO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLFdBQVcsNEJBQTRCO0lBQzNDOztPQUVHO0lBQ0gsS0FBSyxFQUFFLHNCQUFzQixDQUFDO0lBQzlCOztPQUVHO0lBQ0gsV0FBVyxFQUFFLG9CQUFvQixDQUFDO0NBQ25DO0FBRUQsMkVBQTJFO0FBQzNFLE1BQU0sV0FBVyx3QkFBd0I7SUFDdkM7Ozs7O09BS0c7SUFDSCxJQUFJLENBQUMsS0FBSyxDQUFDLEVBQUUsV0FBVyxFQUFFLElBQUksQ0FBQyxFQUFFO1FBQUUsWUFBWSxDQUFDLEVBQUUsTUFBTSxDQUFBO0tBQUUsR0FBRyxPQUFPLENBQUMseUJBQXlCLENBQUMsQ0FBQztJQUVoRyx1RkFBdUY7SUFDdkYsV0FBVyxDQUFDLFdBQVcsRUFBRSxXQUFXLEdBQUcsd0JBQXdCLENBQUM7SUFFaEUseUNBQXlDO0lBQ3pDLFFBQVEsQ0FBQyxPQUFPLEVBQUUsTUFBTSxFQUFFLE9BQU8sQ0FBQyxFQUFFLE9BQU8sR0FBRyxPQUFPLENBQUMsTUFBTSxDQUFDLE9BQU8sQ0FBQyxnQkFBZ0IsRUFBRSxVQUFVLENBQUMsRUFBRSxNQUFNLENBQUMsQ0FBQyxDQUFDO0NBQzlHO0FBRUQsNERBQTREO0FBQzVELE1BQU0sV0FBVyxzQkFBdUIsU0FBUSx3QkFBd0I7SUFDdEUsK0JBQStCO0lBQy9CLEtBQUssSUFBSSxPQUFPLENBQUMsSUFBSSxHQUFHLG9CQUFvQixDQUFDLElBQUksQ0FBQyxDQUFDLENBQUM7SUFFcEQsc0RBQXNEO0lBQ3RELE1BQU0sSUFBSSxPQUFPLENBQUMsNEJBQTRCLENBQUMsQ0FBQztJQUVoRCwrQ0FBK0M7SUFDL0MsSUFBSSxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUV0QiwwRUFBMEU7SUFDMUUsUUFBUSxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUUxQiw4Q0FBOEM7SUFDOUMsVUFBVSxJQUFJLElBQUksQ0FBQztJQUVuQjs7Ozs7T0FLRztJQUNILGFBQWEsQ0FBQyxjQUFjLENBQUMsRUFBRSxXQUFXLEVBQUUsMkJBQTJCLENBQUMsRUFBRSxPQUFPLEdBQUcsT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQUFDO0lBRXpHLCtGQUErRjtJQUMvRixZQUFZLElBQUksd0JBQXdCLENBQUM7SUFFekMscUJBQXFCO0lBQ3JCLEtBQUssSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7Q0FDeEI7QUFFRCxlQUFPLE1BQU0sMEJBQTBCLEVBQUUsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxvQkFBb0IsRUFBRSxDQUFDLENBQUMsVUFBVSxFQUFFLEdBQUcsQ0FNeEYsQ0FBQyJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"world_state.d.ts","sourceRoot":"","sources":["../../src/interfaces/world_state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AACjF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAEtE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,KAAK,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAEvG,YAAY,EAAE,gBAAgB,EAAE,CAAC;AAEjC;;GAEG;AACH,oBAAY,sBAAsB;IAChC,IAAI,IAAA;IACJ,QAAQ,IAAA;IACR,OAAO,IAAA;IACP,OAAO,IAAA;CACR;AAED,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,WAAW,CAAC;IAC/B,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,WAAW,CAAC;IAClC,yBAAyB,EAAE,WAAW,CAAC;IACvC,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C;;OAEG;IACH,KAAK,EAAE,sBAAsB,CAAC;IAC9B;;OAEG;IACH,WAAW,EAAE,oBAAoB,CAAC;CACnC;AAED,2EAA2E;AAC3E,MAAM,WAAW,wBAAwB;IACvC
|
|
1
|
+
{"version":3,"file":"world_state.d.ts","sourceRoot":"","sources":["../../src/interfaces/world_state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AACjF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAEtE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,KAAK,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAEvG,YAAY,EAAE,gBAAgB,EAAE,CAAC;AAEjC;;GAEG;AACH,oBAAY,sBAAsB;IAChC,IAAI,IAAA;IACJ,QAAQ,IAAA;IACR,OAAO,IAAA;IACP,OAAO,IAAA;CACR;AAED,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,WAAW,CAAC;IAC/B,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,WAAW,CAAC;IAClC,yBAAyB,EAAE,WAAW,CAAC;IACvC,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C;;OAEG;IACH,KAAK,EAAE,sBAAsB,CAAC;IAC9B;;OAEG;IACH,WAAW,EAAE,oBAAoB,CAAC;CACnC;AAED,2EAA2E;AAC3E,MAAM,WAAW,wBAAwB;IACvC;;;;;OAKG;IACH,IAAI,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;IAEhG,uFAAuF;IACvF,WAAW,CAAC,WAAW,EAAE,WAAW,GAAG,wBAAwB,CAAC;IAEhE,yCAAyC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;CAC9G;AAED,4DAA4D;AAC5D,MAAM,WAAW,sBAAuB,SAAQ,wBAAwB;IACtE,+BAA+B;IAC/B,KAAK,IAAI,OAAO,CAAC,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;IAEpD,sDAAsD;IACtD,MAAM,IAAI,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAEhD,+CAA+C;IAC/C,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtB,0EAA0E;IAC1E,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1B,8CAA8C;IAC9C,UAAU,IAAI,IAAI,CAAC;IAEnB;;;;;OAKG;IACH,aAAa,CAAC,cAAc,CAAC,EAAE,WAAW,EAAE,2BAA2B,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAEzG,+FAA+F;IAC/F,YAAY,IAAI,wBAAwB,CAAC;IAEzC,qBAAqB;IACrB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxB;AAED,eAAO,MAAM,0BAA0B,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,CAMxF,CAAC"}
|
|
@@ -23,26 +23,26 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
23
23
|
callContext: CallContext;
|
|
24
24
|
argsHash: Fr;
|
|
25
25
|
returnsHash: Fr;
|
|
26
|
+
anchorBlockHeader: BlockHeader;
|
|
27
|
+
txContext: TxContext;
|
|
26
28
|
minRevertibleSideEffectCounter: Fr;
|
|
27
29
|
isFeePayer: boolean;
|
|
28
30
|
includeByTimestamp: UInt64;
|
|
31
|
+
startSideEffectCounter: Fr;
|
|
32
|
+
endSideEffectCounter: Fr;
|
|
33
|
+
expectedNonRevertibleSideEffectCounter: Fr;
|
|
34
|
+
expectedRevertibleSideEffectCounter: Fr;
|
|
29
35
|
noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_CALL>;
|
|
30
36
|
nullifierReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NULLIFIER_READ_REQUESTS_PER_CALL>;
|
|
31
37
|
keyValidationRequestsAndGenerators: ClaimedLengthArray<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>;
|
|
32
|
-
noteHashes: ClaimedLengthArray<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>;
|
|
33
|
-
nullifiers: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>;
|
|
34
38
|
privateCallRequests: ClaimedLengthArray<PrivateCallRequest, typeof MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL>;
|
|
35
39
|
publicCallRequests: ClaimedLengthArray<CountedPublicCallRequest, typeof MAX_ENQUEUED_CALLS_PER_CALL>;
|
|
36
40
|
publicTeardownCallRequest: PublicCallRequest;
|
|
41
|
+
noteHashes: ClaimedLengthArray<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>;
|
|
42
|
+
nullifiers: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>;
|
|
37
43
|
l2ToL1Msgs: ClaimedLengthArray<CountedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_CALL>;
|
|
38
44
|
privateLogs: ClaimedLengthArray<PrivateLogData, typeof MAX_PRIVATE_LOGS_PER_CALL>;
|
|
39
45
|
contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>;
|
|
40
|
-
startSideEffectCounter: Fr;
|
|
41
|
-
endSideEffectCounter: Fr;
|
|
42
|
-
expectedNonRevertibleSideEffectCounter: Fr;
|
|
43
|
-
expectedRevertibleSideEffectCounter: Fr;
|
|
44
|
-
anchorBlockHeader: BlockHeader;
|
|
45
|
-
txContext: TxContext;
|
|
46
46
|
constructor(
|
|
47
47
|
/**
|
|
48
48
|
* Context of the call corresponding to this private circuit execution.
|
|
@@ -56,6 +56,18 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
56
56
|
* Pedersen hash of the return values of the corresponding function call.
|
|
57
57
|
*/
|
|
58
58
|
returnsHash: Fr,
|
|
59
|
+
/**
|
|
60
|
+
* Header of a block whose state is used during private execution (not the block the transaction is included in).
|
|
61
|
+
*/
|
|
62
|
+
anchorBlockHeader: BlockHeader,
|
|
63
|
+
/**
|
|
64
|
+
* Transaction context.
|
|
65
|
+
*
|
|
66
|
+
* Note: The chainId and version in the txContext are not redundant to the values in self.anchor_block_header.global_variables because
|
|
67
|
+
* they can be different in case of a protocol upgrade. In such a situation we could be using header from a block
|
|
68
|
+
* before the upgrade took place but be using the updated protocol to execute and prove the transaction.
|
|
69
|
+
*/
|
|
70
|
+
txContext: TxContext,
|
|
59
71
|
/**
|
|
60
72
|
* The side-effect counter under which all side effects are non-revertible.
|
|
61
73
|
*/
|
|
@@ -68,6 +80,22 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
68
80
|
* The highest timestamp of a block in which the transaction can still be included.
|
|
69
81
|
*/
|
|
70
82
|
includeByTimestamp: UInt64,
|
|
83
|
+
/**
|
|
84
|
+
* The side effect counter at the start of this call.
|
|
85
|
+
*/
|
|
86
|
+
startSideEffectCounter: Fr,
|
|
87
|
+
/**
|
|
88
|
+
* The end side effect counter for this call.
|
|
89
|
+
*/
|
|
90
|
+
endSideEffectCounter: Fr,
|
|
91
|
+
/**
|
|
92
|
+
* The expected non revertible side effect counter for this call.
|
|
93
|
+
*/
|
|
94
|
+
expectedNonRevertibleSideEffectCounter: Fr,
|
|
95
|
+
/**
|
|
96
|
+
* The expected revertible side effect counter for this call.
|
|
97
|
+
*/
|
|
98
|
+
expectedRevertibleSideEffectCounter: Fr,
|
|
71
99
|
/**
|
|
72
100
|
* Read requests created by the corresponding function call.
|
|
73
101
|
*/
|
|
@@ -80,14 +108,6 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
80
108
|
* Key validation requests and generators created by the corresponding function call.
|
|
81
109
|
*/
|
|
82
110
|
keyValidationRequestsAndGenerators: ClaimedLengthArray<KeyValidationRequestAndGenerator, typeof MAX_KEY_VALIDATION_REQUESTS_PER_CALL>,
|
|
83
|
-
/**
|
|
84
|
-
* New note hashes created by the corresponding function call.
|
|
85
|
-
*/
|
|
86
|
-
noteHashes: ClaimedLengthArray<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>,
|
|
87
|
-
/**
|
|
88
|
-
* New nullifiers created by the corresponding function call.
|
|
89
|
-
*/
|
|
90
|
-
nullifiers: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>,
|
|
91
111
|
/**
|
|
92
112
|
* Private call requests made within the current kernel iteration.
|
|
93
113
|
*/
|
|
@@ -100,6 +120,14 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
100
120
|
* Hash of the public teardown function.
|
|
101
121
|
*/
|
|
102
122
|
publicTeardownCallRequest: PublicCallRequest,
|
|
123
|
+
/**
|
|
124
|
+
* New note hashes created by the corresponding function call.
|
|
125
|
+
*/
|
|
126
|
+
noteHashes: ClaimedLengthArray<NoteHash, typeof MAX_NOTE_HASHES_PER_CALL>,
|
|
127
|
+
/**
|
|
128
|
+
* New nullifiers created by the corresponding function call.
|
|
129
|
+
*/
|
|
130
|
+
nullifiers: ClaimedLengthArray<Nullifier, typeof MAX_NULLIFIERS_PER_CALL>,
|
|
103
131
|
/**
|
|
104
132
|
* New L2 to L1 messages created by the corresponding function call.
|
|
105
133
|
*/
|
|
@@ -111,35 +139,7 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
111
139
|
/**
|
|
112
140
|
* Hash of the contract class logs emitted in this function call.
|
|
113
141
|
*/
|
|
114
|
-
contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL
|
|
115
|
-
/**
|
|
116
|
-
* The side effect counter at the start of this call.
|
|
117
|
-
*/
|
|
118
|
-
startSideEffectCounter: Fr,
|
|
119
|
-
/**
|
|
120
|
-
* The end side effect counter for this call.
|
|
121
|
-
*/
|
|
122
|
-
endSideEffectCounter: Fr,
|
|
123
|
-
/**
|
|
124
|
-
* The expected non revertible side effect counter for this call.
|
|
125
|
-
*/
|
|
126
|
-
expectedNonRevertibleSideEffectCounter: Fr,
|
|
127
|
-
/**
|
|
128
|
-
* The expected revertible side effect counter for this call.
|
|
129
|
-
*/
|
|
130
|
-
expectedRevertibleSideEffectCounter: Fr,
|
|
131
|
-
/**
|
|
132
|
-
* Header of a block whose state is used during private execution (not the block the transaction is included in).
|
|
133
|
-
*/
|
|
134
|
-
anchorBlockHeader: BlockHeader,
|
|
135
|
-
/**
|
|
136
|
-
* Transaction context.
|
|
137
|
-
*
|
|
138
|
-
* Note: The chainId and version in the txContext are not redundant to the values in self.anchor_block_header.global_variables because
|
|
139
|
-
* they can be different in case of a protocol upgrade. In such a situation we could be using header from a block
|
|
140
|
-
* before the upgrade took place but be using the updated protocol to execute and prove the transaction.
|
|
141
|
-
*/
|
|
142
|
-
txContext: TxContext);
|
|
142
|
+
contractClassLogsHashes: ClaimedLengthArray<CountedLogHash, typeof MAX_CONTRACT_CLASS_LOGS_PER_CALL>);
|
|
143
143
|
/**
|
|
144
144
|
* Create PrivateCircuitPublicInputs from a fields dictionary.
|
|
145
145
|
* @param fields - The dictionary.
|
|
@@ -164,7 +164,7 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
164
164
|
* @param fields - Object with fields.
|
|
165
165
|
* @returns The array.
|
|
166
166
|
*/
|
|
167
|
-
static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, Fr, boolean, bigint, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<KeyValidationRequestAndGenerator, 16>, ClaimedLengthArray<
|
|
167
|
+
static getFields(fields: FieldsOf<PrivateCircuitPublicInputs>): readonly [CallContext, Fr, Fr, BlockHeader, TxContext, Fr, boolean, bigint, Fr, Fr, Fr, Fr, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<ScopedReadRequest, 16>, ClaimedLengthArray<KeyValidationRequestAndGenerator, 16>, ClaimedLengthArray<PrivateCallRequest, 8>, ClaimedLengthArray<CountedPublicCallRequest, 32>, PublicCallRequest, ClaimedLengthArray<NoteHash, 16>, ClaimedLengthArray<Nullifier, 16>, ClaimedLengthArray<CountedL2ToL1Message, 8>, ClaimedLengthArray<PrivateLogData, 16>, ClaimedLengthArray<CountedLogHash, 1>];
|
|
168
168
|
/**
|
|
169
169
|
* Serialize this as a buffer.
|
|
170
170
|
* @returns The buffer.
|
|
@@ -177,4 +177,4 @@ export declare class PrivateCircuitPublicInputs {
|
|
|
177
177
|
toJSON(): Buffer<ArrayBufferLike>;
|
|
178
178
|
static get schema(): import("zod").ZodType<PrivateCircuitPublicInputs, any, string>;
|
|
179
179
|
}
|
|
180
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
180
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9jaXJjdWl0X3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLGdDQUFnQyxFQUNoQywyQkFBMkIsRUFDM0Isb0NBQW9DLEVBQ3BDLDBCQUEwQixFQUMxQix3QkFBd0IsRUFDeEIsb0NBQW9DLEVBQ3BDLHVCQUF1QixFQUN2QixvQ0FBb0MsRUFDcEMsc0NBQXNDLEVBQ3RDLHlCQUF5QixFQUMxQixNQUFNLGtCQUFrQixDQUFDO0FBQzFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQ0wsWUFBWSxFQUNaLFdBQVcsRUFJWixNQUFNLDZCQUE2QixDQUFDO0FBQ3JDLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXhELE9BQU8sRUFBRSxnQ0FBZ0MsRUFBRSxNQUFNLHlEQUF5RCxDQUFDO0FBQzNHLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN2RCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUN2RSxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDL0QsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDeEUsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BELE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRCxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDaEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDakQsT0FBTyxFQUNMLGtCQUFrQixFQUduQixNQUFNLDJCQUEyQixDQUFDO0FBQ25DLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzVELE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUMxQyxPQUFPLEVBQUUsU0FBUyxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFDM0MsT0FBTyxFQUFFLHdCQUF3QixFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFdkY7O0dBRUc7QUFDSCxxQkFBYSwwQkFBMEI7SUFLNUIsV0FBVyxFQUFFLFdBQVc7SUFJeEIsUUFBUSxFQUFFLEVBQUU7SUFJWixXQUFXLEVBQUUsRUFBRTtJQUlmLGlCQUFpQixFQUFFLFdBQVc7SUFROUIsU0FBUyxFQUFFLFNBQVM7SUFJcEIsOEJBQThCLEVBQUUsRUFBRTtJQUlsQyxVQUFVLEVBQUUsT0FBTztJQUluQixrQkFBa0IsRUFBRSxNQUFNO0lBSTFCLHNCQUFzQixFQUFFLEVBQUU7SUFJMUIsb0JBQW9CLEVBQUUsRUFBRTtJQUl4QixzQ0FBc0MsRUFBRSxFQUFFO0lBSTFDLG1DQUFtQyxFQUFFLEVBQUU7SUFJdkMsb0JBQW9CLEVBQUUsa0JBQWtCLENBQUMsaUJBQWlCLEVBQUUsT0FBTyxvQ0FBb0MsQ0FBQztJQUl4RyxxQkFBcUIsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLG9DQUFvQyxDQUFDO0lBSXpHLGtDQUFrQyxFQUFFLGtCQUFrQixDQUMzRCxnQ0FBZ0MsRUFDaEMsT0FBTyxvQ0FBb0MsQ0FDNUM7SUFJTSxtQkFBbUIsRUFBRSxrQkFBa0IsQ0FBQyxrQkFBa0IsRUFBRSxPQUFPLHNDQUFzQyxDQUFDO0lBSTFHLGtCQUFrQixFQUFFLGtCQUFrQixDQUFDLHdCQUF3QixFQUFFLE9BQU8sMkJBQTJCLENBQUM7SUFJcEcseUJBQXlCLEVBQUUsaUJBQWlCO0lBSTVDLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxRQUFRLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQztJQUl6RSxVQUFVLEVBQUUsa0JBQWtCLENBQUMsU0FBUyxFQUFFLE9BQU8sdUJBQXVCLENBQUM7SUFJekUsVUFBVSxFQUFFLGtCQUFrQixDQUFDLG9CQUFvQixFQUFFLE9BQU8sMEJBQTBCLENBQUM7SUFJdkYsV0FBVyxFQUFFLGtCQUFrQixDQUFDLGNBQWMsRUFBRSxPQUFPLHlCQUF5QixDQUFDO0lBSWpGLHVCQUF1QixFQUFFLGtCQUFrQixDQUFDLGNBQWMsRUFBRSxPQUFPLGdDQUFnQyxDQUFDO0lBbkc3RztJQUNFOztPQUVHO0lBQ0ksV0FBVyxFQUFFLFdBQVc7SUFDL0I7O09BRUc7SUFDSSxRQUFRLEVBQUUsRUFBRTtJQUNuQjs7T0FFRztJQUNJLFdBQVcsRUFBRSxFQUFFO0lBQ3RCOztPQUVHO0lBQ0ksaUJBQWlCLEVBQUUsV0FBVztJQUNyQzs7Ozs7O09BTUc7SUFDSSxTQUFTLEVBQUUsU0FBUztJQUMzQjs7T0FFRztJQUNJLDhCQUE4QixFQUFFLEVBQUU7SUFDekM7O09BRUc7SUFDSSxVQUFVLEVBQUUsT0FBTztJQUMxQjs7T0FFRztJQUNJLGtCQUFrQixFQUFFLE1BQU07SUFDakM7O09BRUc7SUFDSSxzQkFBc0IsRUFBRSxFQUFFO0lBQ2pDOztPQUVHO0lBQ0ksb0JBQW9CLEVBQUUsRUFBRTtJQUMvQjs7T0FFRztJQUNJLHNDQUFzQyxFQUFFLEVBQUU7SUFDakQ7O09BRUc7SUFDSSxtQ0FBbUMsRUFBRSxFQUFFO0lBQzlDOztPQUVHO0lBQ0ksb0JBQW9CLEVBQUUsa0JBQWtCLENBQUMsaUJBQWlCLEVBQUUsT0FBTyxvQ0FBb0MsQ0FBQztJQUMvRzs7T0FFRztJQUNJLHFCQUFxQixFQUFFLGtCQUFrQixDQUFDLGlCQUFpQixFQUFFLE9BQU8sb0NBQW9DLENBQUM7SUFDaEg7O09BRUc7SUFDSSxrQ0FBa0MsRUFBRSxrQkFBa0IsQ0FDM0QsZ0NBQWdDLEVBQ2hDLE9BQU8sb0NBQW9DLENBQzVDO0lBQ0Q7O09BRUc7SUFDSSxtQkFBbUIsRUFBRSxrQkFBa0IsQ0FBQyxrQkFBa0IsRUFBRSxPQUFPLHNDQUFzQyxDQUFDO0lBQ2pIOztPQUVHO0lBQ0ksa0JBQWtCLEVBQUUsa0JBQWtCLENBQUMsd0JBQXdCLEVBQUUsT0FBTywyQkFBMkIsQ0FBQztJQUMzRzs7T0FFRztJQUNJLHlCQUF5QixFQUFFLGlCQUFpQjtJQUNuRDs7T0FFRztJQUNJLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxRQUFRLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQztJQUNoRjs7T0FFRztJQUNJLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxTQUFTLEVBQUUsT0FBTyx1QkFBdUIsQ0FBQztJQUNoRjs7T0FFRztJQUNJLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxvQkFBb0IsRUFBRSxPQUFPLDBCQUEwQixDQUFDO0lBQzlGOztPQUVHO0lBQ0ksV0FBVyxFQUFFLGtCQUFrQixDQUFDLGNBQWMsRUFBRSxPQUFPLHlCQUF5QixDQUFDO0lBQ3hGOztPQUVHO0lBQ0ksdUJBQXVCLEVBQUUsa0JBQWtCLENBQUMsY0FBYyxFQUFFLE9BQU8sZ0NBQWdDLENBQUMsRUFDekc7SUFFSjs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDBCQUEwQixDQUFDLEdBQUcsMEJBQTBCLENBRXBGO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsMEJBQTBCLENBNkIzRTtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRywwQkFBMEIsQ0E2QnhFO0lBRUQ7OztPQUdHO0lBQ0gsT0FBYyxLQUFLLElBQUksMEJBQTBCLENBMEJoRDtJQUVELE9BQU8sWUEwQk47SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDBCQUEwQixDQUFDLGdpQkEwQjVEO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxJQUFJLE1BQU0sQ0E0QmpCO0lBRUQ7O09BRUc7SUFDSCxRQUFRLElBQUksRUFBRSxFQUFFLENBRWY7SUFFTSxNQUFNLDRCQUVaO0lBRUQsTUFBTSxLQUFLLE1BQU0sbUVBRWhCO0NBQ0YifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAC1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EACL,YAAY,EACZ,WAAW,EAIZ,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,kBAAkB,EAGnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAEvF;;GAEG;AACH,qBAAa,0BAA0B;IAK5B,WAAW,EAAE,WAAW;IAIxB,QAAQ,EAAE,EAAE;IAIZ,WAAW,EAAE,EAAE;IAIf,8BAA8B,EAAE,EAAE;IAIlC,UAAU,EAAE,OAAO;IAInB,kBAAkB,EAAE,MAAM;IAI1B,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAIxG,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAIzG,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IAIM,
|
|
1
|
+
{"version":3,"file":"private_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,2BAA2B,EAC3B,oCAAoC,EACpC,0BAA0B,EAC1B,wBAAwB,EACxB,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,EACpC,sCAAsC,EACtC,yBAAyB,EAC1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EACL,YAAY,EACZ,WAAW,EAIZ,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,gCAAgC,EAAE,MAAM,yDAAyD,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,kBAAkB,EAGnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAEvF;;GAEG;AACH,qBAAa,0BAA0B;IAK5B,WAAW,EAAE,WAAW;IAIxB,QAAQ,EAAE,EAAE;IAIZ,WAAW,EAAE,EAAE;IAIf,iBAAiB,EAAE,WAAW;IAQ9B,SAAS,EAAE,SAAS;IAIpB,8BAA8B,EAAE,EAAE;IAIlC,UAAU,EAAE,OAAO;IAInB,kBAAkB,EAAE,MAAM;IAI1B,sBAAsB,EAAE,EAAE;IAI1B,oBAAoB,EAAE,EAAE;IAIxB,sCAAsC,EAAE,EAAE;IAI1C,mCAAmC,EAAE,EAAE;IAIvC,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAIxG,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAIzG,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IAIM,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IAI1G,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAIpG,yBAAyB,EAAE,iBAAiB;IAI5C,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAIzE,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAIzE,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAIvF,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IAIjF,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC;IAnG7G;IACE;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,iBAAiB,EAAE,WAAW;IACrC;;;;;;OAMG;IACI,SAAS,EAAE,SAAS;IAC3B;;OAEG;IACI,8BAA8B,EAAE,EAAE;IACzC;;OAEG;IACI,UAAU,EAAE,OAAO;IAC1B;;OAEG;IACI,kBAAkB,EAAE,MAAM;IACjC;;OAEG;IACI,sBAAsB,EAAE,EAAE;IACjC;;OAEG;IACI,oBAAoB,EAAE,EAAE;IAC/B;;OAEG;IACI,sCAAsC,EAAE,EAAE;IACjD;;OAEG;IACI,mCAAmC,EAAE,EAAE;IAC9C;;OAEG;IACI,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAC/G;;OAEG;IACI,qBAAqB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,oCAAoC,CAAC;IAChH;;OAEG;IACI,kCAAkC,EAAE,kBAAkB,CAC3D,gCAAgC,EAChC,OAAO,oCAAoC,CAC5C;IACD;;OAEG;IACI,mBAAmB,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,OAAO,sCAAsC,CAAC;IACjH;;OAEG;IACI,kBAAkB,EAAE,kBAAkB,CAAC,wBAAwB,EAAE,OAAO,2BAA2B,CAAC;IAC3G;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IACnD;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE,OAAO,wBAAwB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,uBAAuB,CAAC;IAChF;;OAEG;IACI,UAAU,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,0BAA0B,CAAC;IAC9F;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,yBAAyB,CAAC;IACxF;;OAEG;IACI,uBAAuB,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,gCAAgC,CAAC,EACzG;IAEJ;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,GAAG,0BAA0B,CAEpF;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B,CA6B3E;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,0BAA0B,CA6BxE;IAED;;;OAGG;IACH,OAAc,KAAK,IAAI,0BAA0B,CA0BhD;IAED,OAAO,YA0BN;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,0BAA0B,CAAC,giBA0B5D;IAED;;;OAGG;IACH,QAAQ,IAAI,MAAM,CA4BjB;IAED;;OAEG;IACH,QAAQ,IAAI,EAAE,EAAE,CAEf;IAEM,MAAM,4BAEZ;IAED,MAAM,KAAK,MAAM,mEAEhB;CACF"}
|
|
@@ -21,26 +21,26 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
|
|
|
21
21
|
callContext;
|
|
22
22
|
argsHash;
|
|
23
23
|
returnsHash;
|
|
24
|
+
anchorBlockHeader;
|
|
25
|
+
txContext;
|
|
24
26
|
minRevertibleSideEffectCounter;
|
|
25
27
|
isFeePayer;
|
|
26
28
|
includeByTimestamp;
|
|
29
|
+
startSideEffectCounter;
|
|
30
|
+
endSideEffectCounter;
|
|
31
|
+
expectedNonRevertibleSideEffectCounter;
|
|
32
|
+
expectedRevertibleSideEffectCounter;
|
|
27
33
|
noteHashReadRequests;
|
|
28
34
|
nullifierReadRequests;
|
|
29
35
|
keyValidationRequestsAndGenerators;
|
|
30
|
-
noteHashes;
|
|
31
|
-
nullifiers;
|
|
32
36
|
privateCallRequests;
|
|
33
37
|
publicCallRequests;
|
|
34
38
|
publicTeardownCallRequest;
|
|
39
|
+
noteHashes;
|
|
40
|
+
nullifiers;
|
|
35
41
|
l2ToL1Msgs;
|
|
36
42
|
privateLogs;
|
|
37
43
|
contractClassLogsHashes;
|
|
38
|
-
startSideEffectCounter;
|
|
39
|
-
endSideEffectCounter;
|
|
40
|
-
expectedNonRevertibleSideEffectCounter;
|
|
41
|
-
expectedRevertibleSideEffectCounter;
|
|
42
|
-
anchorBlockHeader;
|
|
43
|
-
txContext;
|
|
44
44
|
constructor(/**
|
|
45
45
|
* Context of the call corresponding to this private circuit execution.
|
|
46
46
|
*/ callContext, /**
|
|
@@ -48,73 +48,73 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
|
|
|
48
48
|
*/ argsHash, /**
|
|
49
49
|
* Pedersen hash of the return values of the corresponding function call.
|
|
50
50
|
*/ returnsHash, /**
|
|
51
|
+
* Header of a block whose state is used during private execution (not the block the transaction is included in).
|
|
52
|
+
*/ anchorBlockHeader, /**
|
|
53
|
+
* Transaction context.
|
|
54
|
+
*
|
|
55
|
+
* Note: The chainId and version in the txContext are not redundant to the values in self.anchor_block_header.global_variables because
|
|
56
|
+
* they can be different in case of a protocol upgrade. In such a situation we could be using header from a block
|
|
57
|
+
* before the upgrade took place but be using the updated protocol to execute and prove the transaction.
|
|
58
|
+
*/ txContext, /**
|
|
51
59
|
* The side-effect counter under which all side effects are non-revertible.
|
|
52
60
|
*/ minRevertibleSideEffectCounter, /**
|
|
53
61
|
* Whether the caller of the function is the fee payer.
|
|
54
62
|
*/ isFeePayer, /**
|
|
55
63
|
* The highest timestamp of a block in which the transaction can still be included.
|
|
56
64
|
*/ includeByTimestamp, /**
|
|
65
|
+
* The side effect counter at the start of this call.
|
|
66
|
+
*/ startSideEffectCounter, /**
|
|
67
|
+
* The end side effect counter for this call.
|
|
68
|
+
*/ endSideEffectCounter, /**
|
|
69
|
+
* The expected non revertible side effect counter for this call.
|
|
70
|
+
*/ expectedNonRevertibleSideEffectCounter, /**
|
|
71
|
+
* The expected revertible side effect counter for this call.
|
|
72
|
+
*/ expectedRevertibleSideEffectCounter, /**
|
|
57
73
|
* Read requests created by the corresponding function call.
|
|
58
74
|
*/ noteHashReadRequests, /**
|
|
59
75
|
* Nullifier read requests created by the corresponding function call.
|
|
60
76
|
*/ nullifierReadRequests, /**
|
|
61
77
|
* Key validation requests and generators created by the corresponding function call.
|
|
62
78
|
*/ keyValidationRequestsAndGenerators, /**
|
|
63
|
-
* New note hashes created by the corresponding function call.
|
|
64
|
-
*/ noteHashes, /**
|
|
65
|
-
* New nullifiers created by the corresponding function call.
|
|
66
|
-
*/ nullifiers, /**
|
|
67
79
|
* Private call requests made within the current kernel iteration.
|
|
68
80
|
*/ privateCallRequests, /**
|
|
69
81
|
* Public call stack at the current kernel iteration.
|
|
70
82
|
*/ publicCallRequests, /**
|
|
71
83
|
* Hash of the public teardown function.
|
|
72
84
|
*/ publicTeardownCallRequest, /**
|
|
85
|
+
* New note hashes created by the corresponding function call.
|
|
86
|
+
*/ noteHashes, /**
|
|
87
|
+
* New nullifiers created by the corresponding function call.
|
|
88
|
+
*/ nullifiers, /**
|
|
73
89
|
* New L2 to L1 messages created by the corresponding function call.
|
|
74
90
|
*/ l2ToL1Msgs, /**
|
|
75
91
|
* Logs emitted in this function call.
|
|
76
92
|
*/ privateLogs, /**
|
|
77
93
|
* Hash of the contract class logs emitted in this function call.
|
|
78
|
-
*/ contractClassLogsHashes
|
|
79
|
-
* The side effect counter at the start of this call.
|
|
80
|
-
*/ startSideEffectCounter, /**
|
|
81
|
-
* The end side effect counter for this call.
|
|
82
|
-
*/ endSideEffectCounter, /**
|
|
83
|
-
* The expected non revertible side effect counter for this call.
|
|
84
|
-
*/ expectedNonRevertibleSideEffectCounter, /**
|
|
85
|
-
* The expected revertible side effect counter for this call.
|
|
86
|
-
*/ expectedRevertibleSideEffectCounter, /**
|
|
87
|
-
* Header of a block whose state is used during private execution (not the block the transaction is included in).
|
|
88
|
-
*/ anchorBlockHeader, /**
|
|
89
|
-
* Transaction context.
|
|
90
|
-
*
|
|
91
|
-
* Note: The chainId and version in the txContext are not redundant to the values in self.anchor_block_header.global_variables because
|
|
92
|
-
* they can be different in case of a protocol upgrade. In such a situation we could be using header from a block
|
|
93
|
-
* before the upgrade took place but be using the updated protocol to execute and prove the transaction.
|
|
94
|
-
*/ txContext){
|
|
94
|
+
*/ contractClassLogsHashes){
|
|
95
95
|
this.callContext = callContext;
|
|
96
96
|
this.argsHash = argsHash;
|
|
97
97
|
this.returnsHash = returnsHash;
|
|
98
|
+
this.anchorBlockHeader = anchorBlockHeader;
|
|
99
|
+
this.txContext = txContext;
|
|
98
100
|
this.minRevertibleSideEffectCounter = minRevertibleSideEffectCounter;
|
|
99
101
|
this.isFeePayer = isFeePayer;
|
|
100
102
|
this.includeByTimestamp = includeByTimestamp;
|
|
103
|
+
this.startSideEffectCounter = startSideEffectCounter;
|
|
104
|
+
this.endSideEffectCounter = endSideEffectCounter;
|
|
105
|
+
this.expectedNonRevertibleSideEffectCounter = expectedNonRevertibleSideEffectCounter;
|
|
106
|
+
this.expectedRevertibleSideEffectCounter = expectedRevertibleSideEffectCounter;
|
|
101
107
|
this.noteHashReadRequests = noteHashReadRequests;
|
|
102
108
|
this.nullifierReadRequests = nullifierReadRequests;
|
|
103
109
|
this.keyValidationRequestsAndGenerators = keyValidationRequestsAndGenerators;
|
|
104
|
-
this.noteHashes = noteHashes;
|
|
105
|
-
this.nullifiers = nullifiers;
|
|
106
110
|
this.privateCallRequests = privateCallRequests;
|
|
107
111
|
this.publicCallRequests = publicCallRequests;
|
|
108
112
|
this.publicTeardownCallRequest = publicTeardownCallRequest;
|
|
113
|
+
this.noteHashes = noteHashes;
|
|
114
|
+
this.nullifiers = nullifiers;
|
|
109
115
|
this.l2ToL1Msgs = l2ToL1Msgs;
|
|
110
116
|
this.privateLogs = privateLogs;
|
|
111
117
|
this.contractClassLogsHashes = contractClassLogsHashes;
|
|
112
|
-
this.startSideEffectCounter = startSideEffectCounter;
|
|
113
|
-
this.endSideEffectCounter = endSideEffectCounter;
|
|
114
|
-
this.expectedNonRevertibleSideEffectCounter = expectedNonRevertibleSideEffectCounter;
|
|
115
|
-
this.expectedRevertibleSideEffectCounter = expectedRevertibleSideEffectCounter;
|
|
116
|
-
this.anchorBlockHeader = anchorBlockHeader;
|
|
117
|
-
this.txContext = txContext;
|
|
118
118
|
}
|
|
119
119
|
/**
|
|
120
120
|
* Create PrivateCircuitPublicInputs from a fields dictionary.
|
|
@@ -129,20 +129,20 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
|
|
|
129
129
|
* @returns The deserialized instance.
|
|
130
130
|
*/ static fromBuffer(buffer) {
|
|
131
131
|
const reader = BufferReader.asReader(buffer);
|
|
132
|
-
return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readBoolean(), reader.readUInt64(), reader.readObject(
|
|
132
|
+
return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readObject(Fr), reader.readBoolean(), reader.readUInt64(), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromBuffer(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromBuffer(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)));
|
|
133
133
|
}
|
|
134
134
|
static fromFields(fields) {
|
|
135
135
|
const reader = FieldReader.asReader(fields);
|
|
136
|
-
return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readField(), reader.readBoolean(), reader.readU64(), reader.
|
|
136
|
+
return new PrivateCircuitPublicInputs(reader.readObject(CallContext), reader.readField(), reader.readField(), reader.readObject(BlockHeader), reader.readObject(TxContext), reader.readField(), reader.readBoolean(), reader.readU64(), reader.readField(), reader.readField(), reader.readField(), reader.readField(), reader.readObject(ClaimedLengthArrayFromFields(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL)), reader.readObject(PublicCallRequest), reader.readObject(ClaimedLengthArrayFromFields(NoteHash, MAX_NOTE_HASHES_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(Nullifier, MAX_NULLIFIERS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL)), reader.readObject(ClaimedLengthArrayFromFields(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL)));
|
|
137
137
|
}
|
|
138
138
|
/**
|
|
139
139
|
* Create an empty PrivateCircuitPublicInputs.
|
|
140
140
|
* @returns An empty PrivateCircuitPublicInputs object.
|
|
141
141
|
*/ static empty() {
|
|
142
|
-
return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, Fr.ZERO, false, 0n,
|
|
142
|
+
return new PrivateCircuitPublicInputs(CallContext.empty(), Fr.ZERO, Fr.ZERO, BlockHeader.empty(), TxContext.empty(), Fr.ZERO, false, 0n, Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, ClaimedLengthArray.empty(ScopedReadRequest, MAX_NOTE_HASH_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(ScopedReadRequest, MAX_NULLIFIER_READ_REQUESTS_PER_CALL), ClaimedLengthArray.empty(KeyValidationRequestAndGenerator, MAX_KEY_VALIDATION_REQUESTS_PER_CALL), ClaimedLengthArray.empty(PrivateCallRequest, MAX_PRIVATE_CALL_STACK_LENGTH_PER_CALL), ClaimedLengthArray.empty(CountedPublicCallRequest, MAX_ENQUEUED_CALLS_PER_CALL), PublicCallRequest.empty(), ClaimedLengthArray.empty(NoteHash, MAX_NOTE_HASHES_PER_CALL), ClaimedLengthArray.empty(Nullifier, MAX_NULLIFIERS_PER_CALL), ClaimedLengthArray.empty(CountedL2ToL1Message, MAX_L2_TO_L1_MSGS_PER_CALL), ClaimedLengthArray.empty(PrivateLogData, MAX_PRIVATE_LOGS_PER_CALL), ClaimedLengthArray.empty(CountedLogHash, MAX_CONTRACT_CLASS_LOGS_PER_CALL));
|
|
143
143
|
}
|
|
144
144
|
isEmpty() {
|
|
145
|
-
return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.
|
|
145
|
+
return this.callContext.isEmpty() && this.argsHash.isZero() && this.returnsHash.isZero() && this.anchorBlockHeader.isEmpty() && this.txContext.isEmpty() && this.minRevertibleSideEffectCounter.isZero() && !this.isFeePayer && !this.includeByTimestamp && this.startSideEffectCounter.isZero() && this.endSideEffectCounter.isZero() && this.expectedNonRevertibleSideEffectCounter.isZero() && this.expectedRevertibleSideEffectCounter.isZero() && this.noteHashReadRequests.isEmpty() && this.nullifierReadRequests.isEmpty() && this.keyValidationRequestsAndGenerators.isEmpty() && this.privateCallRequests.isEmpty() && this.publicCallRequests.isEmpty() && this.publicTeardownCallRequest.isEmpty() && this.noteHashes.isEmpty() && this.nullifiers.isEmpty() && this.l2ToL1Msgs.isEmpty() && this.privateLogs.isEmpty() && this.contractClassLogsHashes.isEmpty();
|
|
146
146
|
}
|
|
147
147
|
/**
|
|
148
148
|
* Serialize into a field array. Low-level utility.
|
|
@@ -153,26 +153,26 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
|
|
|
153
153
|
fields.callContext,
|
|
154
154
|
fields.argsHash,
|
|
155
155
|
fields.returnsHash,
|
|
156
|
+
fields.anchorBlockHeader,
|
|
157
|
+
fields.txContext,
|
|
156
158
|
fields.minRevertibleSideEffectCounter,
|
|
157
159
|
fields.isFeePayer,
|
|
158
160
|
fields.includeByTimestamp,
|
|
161
|
+
fields.startSideEffectCounter,
|
|
162
|
+
fields.endSideEffectCounter,
|
|
163
|
+
fields.expectedNonRevertibleSideEffectCounter,
|
|
164
|
+
fields.expectedRevertibleSideEffectCounter,
|
|
159
165
|
fields.noteHashReadRequests,
|
|
160
166
|
fields.nullifierReadRequests,
|
|
161
167
|
fields.keyValidationRequestsAndGenerators,
|
|
162
|
-
fields.noteHashes,
|
|
163
|
-
fields.nullifiers,
|
|
164
168
|
fields.privateCallRequests,
|
|
165
169
|
fields.publicCallRequests,
|
|
166
170
|
fields.publicTeardownCallRequest,
|
|
171
|
+
fields.noteHashes,
|
|
172
|
+
fields.nullifiers,
|
|
167
173
|
fields.l2ToL1Msgs,
|
|
168
174
|
fields.privateLogs,
|
|
169
|
-
fields.contractClassLogsHashes
|
|
170
|
-
fields.startSideEffectCounter,
|
|
171
|
-
fields.endSideEffectCounter,
|
|
172
|
-
fields.expectedNonRevertibleSideEffectCounter,
|
|
173
|
-
fields.expectedRevertibleSideEffectCounter,
|
|
174
|
-
fields.anchorBlockHeader,
|
|
175
|
-
fields.txContext
|
|
175
|
+
fields.contractClassLogsHashes
|
|
176
176
|
];
|
|
177
177
|
}
|
|
178
178
|
/**
|
|
@@ -185,26 +185,26 @@ import { CountedPublicCallRequest, PublicCallRequest } from './public_call_reque
|
|
|
185
185
|
this.callContext,
|
|
186
186
|
this.argsHash,
|
|
187
187
|
this.returnsHash,
|
|
188
|
+
this.anchorBlockHeader,
|
|
189
|
+
this.txContext,
|
|
188
190
|
this.minRevertibleSideEffectCounter,
|
|
189
191
|
this.isFeePayer,
|
|
190
192
|
bigintToUInt64BE(this.includeByTimestamp),
|
|
193
|
+
this.startSideEffectCounter,
|
|
194
|
+
this.endSideEffectCounter,
|
|
195
|
+
this.expectedNonRevertibleSideEffectCounter,
|
|
196
|
+
this.expectedRevertibleSideEffectCounter,
|
|
191
197
|
this.noteHashReadRequests,
|
|
192
198
|
this.nullifierReadRequests,
|
|
193
199
|
this.keyValidationRequestsAndGenerators,
|
|
194
|
-
this.noteHashes,
|
|
195
|
-
this.nullifiers,
|
|
196
200
|
this.privateCallRequests,
|
|
197
201
|
this.publicCallRequests,
|
|
198
202
|
this.publicTeardownCallRequest,
|
|
203
|
+
this.noteHashes,
|
|
204
|
+
this.nullifiers,
|
|
199
205
|
this.l2ToL1Msgs,
|
|
200
206
|
this.privateLogs,
|
|
201
|
-
this.contractClassLogsHashes
|
|
202
|
-
this.startSideEffectCounter,
|
|
203
|
-
this.endSideEffectCounter,
|
|
204
|
-
this.expectedNonRevertibleSideEffectCounter,
|
|
205
|
-
this.expectedRevertibleSideEffectCounter,
|
|
206
|
-
this.anchorBlockHeader,
|
|
207
|
-
this.txContext
|
|
207
|
+
this.contractClassLogsHashes
|
|
208
208
|
]);
|
|
209
209
|
}
|
|
210
210
|
/**
|
package/dest/logs/index.d.ts
CHANGED
|
@@ -13,4 +13,6 @@ export * from './shared_secret_derivation.js';
|
|
|
13
13
|
export * from './tx_scoped_l2_log.js';
|
|
14
14
|
export * from './message_context.js';
|
|
15
15
|
export * from './debug_log.js';
|
|
16
|
-
|
|
16
|
+
export * from './tag.js';
|
|
17
|
+
export * from './siloed_tag.js';
|
|
18
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9sb2dzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyxxQ0FBcUMsQ0FBQztBQUNwRCxjQUFjLGNBQWMsQ0FBQztBQUM3QixjQUFjLHlCQUF5QixDQUFDO0FBQ3hDLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYyxrQkFBa0IsQ0FBQztBQUNqQyxjQUFjLHlCQUF5QixDQUFDO0FBQ3hDLGNBQWMsYUFBYSxDQUFDO0FBQzVCLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYywwQkFBMEIsQ0FBQztBQUN6QyxjQUFjLGtDQUFrQyxDQUFDO0FBQ2pELGNBQWMsK0JBQStCLENBQUM7QUFDOUMsY0FBYyx1QkFBdUIsQ0FBQztBQUN0QyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsZ0JBQWdCLENBQUM7QUFDL0IsY0FBYyxVQUFVLENBQUM7QUFDekIsY0FBYyxpQkFBaUIsQ0FBQyJ9
|
package/dest/logs/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/logs/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAC;AACtC,cAAc,qCAAqC,CAAC;AACpD,cAAc,cAAc,CAAC;AAC7B,cAAc,yBAAyB,CAAC;AACxC,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kCAAkC,CAAC;AACjD,cAAc,+BAA+B,CAAC;AAC9C,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,gBAAgB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/logs/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAC;AACtC,cAAc,qCAAqC,CAAC;AACpD,cAAc,cAAc,CAAC;AAC7B,cAAc,yBAAyB,CAAC;AACxC,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kCAAkC,CAAC;AACjD,cAAc,+BAA+B,CAAC;AAC9C,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC"}
|
package/dest/logs/index.js
CHANGED
|
@@ -0,0 +1,23 @@
|
|
|
1
|
+
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
+
import type { ZodFor } from '@aztec/foundation/schemas';
|
|
3
|
+
import type { AztecAddress } from '../aztec-address/index.js';
|
|
4
|
+
import type { Tag } from './tag.js';
|
|
5
|
+
/** Branding to ensure fields are not interchangeable types. */
|
|
6
|
+
export interface SiloedTag {
|
|
7
|
+
/** Brand. */
|
|
8
|
+
_branding: 'SiloedTag';
|
|
9
|
+
}
|
|
10
|
+
/**
|
|
11
|
+
* Represents a tag used in private log as it "appears on the chain" - that is the tag is siloed with a contract
|
|
12
|
+
* address that emitted the log.
|
|
13
|
+
*/
|
|
14
|
+
export declare class SiloedTag {
|
|
15
|
+
readonly value: Fr;
|
|
16
|
+
constructor(value: Fr);
|
|
17
|
+
static compute(tag: Tag, app: AztecAddress): Promise<SiloedTag>;
|
|
18
|
+
toString(): string;
|
|
19
|
+
toJSON(): string;
|
|
20
|
+
equals(other: SiloedTag): boolean;
|
|
21
|
+
static get schema(): ZodFor<SiloedTag>;
|
|
22
|
+
}
|
|
23
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2lsb2VkX3RhZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2xvZ3Mvc2lsb2VkX3RhZy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUV4RCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUU5RCxPQUFPLEtBQUssRUFBRSxHQUFHLEVBQUUsTUFBTSxVQUFVLENBQUM7QUFJcEMsK0RBQStEO0FBQy9ELE1BQU0sV0FBVyxTQUFTO0lBQ3hCLGFBQWE7SUFDYixTQUFTLEVBQUUsV0FBVyxDQUFDO0NBQ3hCO0FBRUQ7OztHQUdHO0FBQ0gscUJBQWEsU0FBUzthQUNRLEtBQUssRUFBRSxFQUFFO0lBQXJDLFlBQTRCLEtBQUssRUFBRSxFQUFFLEVBQUk7SUFFekMsT0FBYSxPQUFPLENBQUMsR0FBRyxFQUFFLEdBQUcsRUFBRSxHQUFHLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQyxTQUFTLENBQUMsQ0FHcEU7SUFFRCxRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVELE1BQU0sSUFBSSxNQUFNLENBRWY7SUFFRCxNQUFNLENBQUMsS0FBSyxFQUFFLFNBQVMsR0FBRyxPQUFPLENBRWhDO0lBRUQsTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsU0FBUyxDQUFDLENBRXJDO0NBQ0YifQ==
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"siloed_tag.d.ts","sourceRoot":"","sources":["../../src/logs/siloed_tag.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAIpC,+DAA+D;AAC/D,MAAM,WAAW,SAAS;IACxB,aAAa;IACb,SAAS,EAAE,WAAW,CAAC;CACxB;AAED;;;GAGG;AACH,qBAAa,SAAS;aACQ,KAAK,EAAE,EAAE;IAArC,YAA4B,KAAK,EAAE,EAAE,EAAI;IAEzC,OAAa,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,CAGpE;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,IAAI,MAAM,CAEf;IAED,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAEhC;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAErC;CACF"}
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
import { poseidon2Hash } from '@aztec/foundation/crypto/poseidon';
|
|
2
|
+
import { schemas } from '../schemas/schemas.js';
|
|
3
|
+
/**
|
|
4
|
+
* Represents a tag used in private log as it "appears on the chain" - that is the tag is siloed with a contract
|
|
5
|
+
* address that emitted the log.
|
|
6
|
+
*/ export class SiloedTag {
|
|
7
|
+
value;
|
|
8
|
+
constructor(value){
|
|
9
|
+
this.value = value;
|
|
10
|
+
}
|
|
11
|
+
static async compute(tag, app) {
|
|
12
|
+
const siloedTag = await poseidon2Hash([
|
|
13
|
+
app,
|
|
14
|
+
tag.value
|
|
15
|
+
]);
|
|
16
|
+
return new SiloedTag(siloedTag);
|
|
17
|
+
}
|
|
18
|
+
toString() {
|
|
19
|
+
return this.value.toString();
|
|
20
|
+
}
|
|
21
|
+
toJSON() {
|
|
22
|
+
return this.value.toString();
|
|
23
|
+
}
|
|
24
|
+
equals(other) {
|
|
25
|
+
return this.value.equals(other.value);
|
|
26
|
+
}
|
|
27
|
+
static get schema() {
|
|
28
|
+
return schemas.Fr.transform((fr)=>new SiloedTag(fr));
|
|
29
|
+
}
|
|
30
|
+
}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
+
import type { ZodFor } from '@aztec/foundation/schemas';
|
|
3
|
+
import type { PreTag } from './pre_tag.js';
|
|
4
|
+
export interface Tag {
|
|
5
|
+
/** Brand. */
|
|
6
|
+
_branding: 'Tag';
|
|
7
|
+
}
|
|
8
|
+
/**
|
|
9
|
+
* Represents a tag of a private log. This is not the tag that "appears" on the chain as this tag is first siloed
|
|
10
|
+
* with a contract address by kernels before being included in the final log.
|
|
11
|
+
*/
|
|
12
|
+
export declare class Tag {
|
|
13
|
+
readonly value: Fr;
|
|
14
|
+
constructor(value: Fr);
|
|
15
|
+
static compute(preTag: PreTag): Promise<Tag>;
|
|
16
|
+
toString(): string;
|
|
17
|
+
toJSON(): string;
|
|
18
|
+
equals(other: Tag): boolean;
|
|
19
|
+
static get schema(): ZodFor<Tag>;
|
|
20
|
+
}
|
|
21
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGFnLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbG9ncy90YWcudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFHeEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sY0FBYyxDQUFDO0FBSTNDLE1BQU0sV0FBVyxHQUFHO0lBQ2xCLGFBQWE7SUFDYixTQUFTLEVBQUUsS0FBSyxDQUFDO0NBQ2xCO0FBRUQ7OztHQUdHO0FBQ0gscUJBQWEsR0FBRzthQUNjLEtBQUssRUFBRSxFQUFFO0lBQXJDLFlBQTRCLEtBQUssRUFBRSxFQUFFLEVBQUk7SUFFekMsT0FBYSxPQUFPLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsR0FBRyxDQUFDLENBR2pEO0lBRUQsUUFBUSxJQUFJLE1BQU0sQ0FFakI7SUFFRCxNQUFNLElBQUksTUFBTSxDQUVmO0lBRUQsTUFBTSxDQUFDLEtBQUssRUFBRSxHQUFHLEdBQUcsT0FBTyxDQUUxQjtJQUVELE1BQU0sS0FBSyxNQUFNLElBQUksTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUUvQjtDQUNGIn0=
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"tag.d.ts","sourceRoot":"","sources":["../../src/logs/tag.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAGxD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAI3C,MAAM,WAAW,GAAG;IAClB,aAAa;IACb,SAAS,EAAE,KAAK,CAAC;CAClB;AAED;;;GAGG;AACH,qBAAa,GAAG;aACc,KAAK,EAAE,EAAE;IAArC,YAA4B,KAAK,EAAE,EAAE,EAAI;IAEzC,OAAa,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAGjD;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,IAAI,MAAM,CAEf;IAED,MAAM,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAE1B;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,CAE/B;CACF"}
|