@aztec/stdlib 0.0.1-commit.8f9871590 → 0.0.1-commit.9117c5f5a
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/abi/decoder.d.ts +1 -1
- package/dest/abi/decoder.d.ts.map +1 -1
- package/dest/abi/decoder.js +1 -4
- package/dest/abi/encoder.d.ts +1 -1
- package/dest/abi/encoder.d.ts.map +1 -1
- package/dest/abi/encoder.js +9 -5
- package/dest/auth_witness/auth_witness.js +3 -3
- package/dest/avm/avm.d.ts +300 -300
- package/dest/avm/avm_proving_request.d.ts +166 -166
- package/dest/avm/revert_code.d.ts +16 -1
- package/dest/avm/revert_code.d.ts.map +1 -1
- package/dest/avm/revert_code.js +15 -5
- package/dest/block/block_data.d.ts +52 -0
- package/dest/block/block_data.d.ts.map +1 -0
- package/dest/block/block_data.js +12 -0
- package/dest/block/index.d.ts +2 -1
- package/dest/block/index.d.ts.map +1 -1
- package/dest/block/index.js +1 -0
- package/dest/block/l2_block_source.d.ts +20 -1
- package/dest/block/l2_block_source.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_block_stream.d.ts +1 -1
- package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_block_stream.js +10 -0
- package/dest/checkpoint/checkpoint.d.ts +6 -1
- package/dest/checkpoint/checkpoint.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint.js +5 -4
- package/dest/checkpoint/checkpoint_data.d.ts +120 -0
- package/dest/checkpoint/checkpoint_data.d.ts.map +1 -0
- package/dest/checkpoint/checkpoint_data.js +26 -0
- package/dest/checkpoint/index.d.ts +2 -1
- package/dest/checkpoint/index.d.ts.map +1 -1
- package/dest/checkpoint/index.js +1 -0
- package/dest/checkpoint/published_checkpoint.d.ts +11 -2
- package/dest/checkpoint/published_checkpoint.d.ts.map +1 -1
- package/dest/checkpoint/published_checkpoint.js +1 -2
- package/dest/config/sequencer-config.d.ts +2 -2
- package/dest/config/sequencer-config.d.ts.map +1 -1
- package/dest/config/sequencer-config.js +6 -0
- package/dest/contract/contract_address.js +4 -4
- package/dest/contract/contract_class.d.ts +2 -3
- package/dest/contract/contract_class.d.ts.map +1 -1
- package/dest/contract/contract_class_id.js +3 -3
- package/dest/contract/private_function.js +2 -2
- package/dest/file-store/local.d.ts +3 -3
- package/dest/file-store/local.d.ts.map +1 -1
- package/dest/file-store/local.js +13 -4
- package/dest/file-store/s3.d.ts +1 -1
- package/dest/file-store/s3.d.ts.map +1 -1
- package/dest/file-store/s3.js +11 -3
- package/dest/ha-signing/config.d.ts +101 -0
- package/dest/ha-signing/config.d.ts.map +1 -0
- package/dest/ha-signing/config.js +92 -0
- package/dest/ha-signing/index.d.ts +3 -0
- package/dest/ha-signing/index.d.ts.map +1 -0
- package/dest/ha-signing/index.js +2 -0
- package/dest/ha-signing/types.d.ts +85 -0
- package/dest/ha-signing/types.d.ts.map +1 -0
- package/dest/ha-signing/types.js +32 -0
- package/dest/hash/hash.js +11 -11
- package/dest/hash/map_slot.js +2 -2
- package/dest/interfaces/archiver.d.ts +1 -1
- package/dest/interfaces/archiver.d.ts.map +1 -1
- package/dest/interfaces/archiver.js +5 -0
- package/dest/interfaces/aztec-node-admin.d.ts +30 -2
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/aztec-node-admin.js +9 -3
- package/dest/interfaces/configs.d.ts +17 -2
- package/dest/interfaces/configs.d.ts.map +1 -1
- package/dest/interfaces/configs.js +4 -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/p2p.d.ts +3 -8
- package/dest/interfaces/p2p.d.ts.map +1 -1
- package/dest/interfaces/validator.d.ts +2 -2
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/interfaces/validator.js +1 -1
- package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts +3 -3
- package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map +1 -1
- package/dest/kernel/hints/build_note_hash_read_request_hints.js +13 -10
- package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +3 -3
- package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
- package/dest/kernel/hints/build_nullifier_read_request_hints.js +13 -10
- package/dest/kernel/hints/build_transient_data_hints.d.ts +5 -2
- package/dest/kernel/hints/build_transient_data_hints.d.ts.map +1 -1
- package/dest/kernel/hints/build_transient_data_hints.js +9 -3
- package/dest/kernel/hints/index.d.ts +2 -2
- package/dest/kernel/hints/index.js +2 -2
- package/dest/kernel/hints/key_validation_request_and_separator.d.ts +24 -0
- package/dest/kernel/hints/key_validation_request_and_separator.d.ts.map +1 -0
- package/dest/kernel/hints/{key_validation_request_and_generator.js → key_validation_request_and_separator.js} +12 -15
- package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts → scoped_key_validation_request_and_separator.d.ts} +8 -8
- package/dest/kernel/hints/{scoped_key_validation_request_and_generator.d.ts.map → scoped_key_validation_request_and_separator.d.ts.map} +1 -1
- package/dest/kernel/hints/{scoped_key_validation_request_and_generator.js → scoped_key_validation_request_and_separator.js} +6 -6
- package/dest/kernel/private_circuit_public_inputs.d.ts +6 -6
- package/dest/kernel/private_circuit_public_inputs.js +11 -11
- package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +2 -2
- package/dest/kernel/private_to_rollup_kernel_circuit_public_inputs.js +2 -2
- package/dest/kernel/private_validation_requests.d.ts +3 -3
- package/dest/kernel/private_validation_requests.js +9 -9
- package/dest/keys/derivation.js +8 -8
- package/dest/keys/key_types.d.ts +3 -3
- package/dest/keys/key_types.d.ts.map +1 -1
- package/dest/keys/public_keys.js +2 -2
- package/dest/keys/utils.js +5 -5
- package/dest/logs/debug_log_store.d.ts +30 -0
- package/dest/logs/debug_log_store.d.ts.map +1 -0
- package/dest/logs/debug_log_store.js +30 -0
- package/dest/logs/extended_directional_app_tagging_secret.d.ts +47 -0
- package/dest/logs/extended_directional_app_tagging_secret.d.ts.map +1 -0
- package/dest/logs/{directional_app_tagging_secret.js → extended_directional_app_tagging_secret.js} +23 -15
- package/dest/logs/index.d.ts +3 -2
- package/dest/logs/index.d.ts.map +1 -1
- package/dest/logs/index.js +2 -1
- package/dest/logs/pre_tag.d.ts +16 -11
- package/dest/logs/pre_tag.d.ts.map +1 -1
- package/dest/logs/pre_tag.js +2 -2
- package/dest/logs/private_log.d.ts +2 -2
- package/dest/logs/private_log.d.ts.map +1 -1
- package/dest/logs/siloed_tag.d.ts +5 -3
- package/dest/logs/siloed_tag.d.ts.map +1 -1
- package/dest/logs/siloed_tag.js +6 -1
- package/dest/logs/tag.js +1 -1
- package/dest/p2p/attestation_utils.d.ts +11 -1
- package/dest/p2p/attestation_utils.d.ts.map +1 -1
- package/dest/p2p/attestation_utils.js +45 -0
- package/dest/p2p/block_proposal.d.ts +2 -2
- package/dest/p2p/block_proposal.d.ts.map +1 -1
- package/dest/p2p/block_proposal.js +2 -4
- package/dest/p2p/checkpoint_proposal.d.ts +2 -2
- package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
- package/dest/p2p/checkpoint_proposal.js +1 -1
- package/dest/p2p/client_type.d.ts +2 -5
- package/dest/p2p/client_type.d.ts.map +1 -1
- package/dest/p2p/client_type.js +0 -7
- package/dest/p2p/index.d.ts +1 -2
- package/dest/p2p/index.d.ts.map +1 -1
- package/dest/p2p/index.js +0 -1
- package/dest/p2p/topic_type.d.ts +3 -4
- package/dest/p2p/topic_type.d.ts.map +1 -1
- package/dest/p2p/topic_type.js +7 -24
- package/dest/rollup/checkpoint_header.d.ts +2 -2
- package/dest/rollup/checkpoint_header.js +2 -2
- package/dest/tests/factories.d.ts +3 -1
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +18 -10
- package/dest/tests/mocks.d.ts +2 -2
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +5 -5
- package/dest/tx/block_header.js +2 -2
- package/dest/tx/global_variables.d.ts +4 -4
- package/dest/tx/global_variables.d.ts.map +1 -1
- package/dest/tx/profiling.d.ts +4 -4
- package/dest/tx/profiling.d.ts.map +1 -1
- package/dest/tx/profiling.js +3 -3
- package/dest/tx/protocol_contracts.d.ts +1 -1
- package/dest/tx/protocol_contracts.d.ts.map +1 -1
- package/dest/tx/protocol_contracts.js +2 -2
- package/dest/tx/public_simulation_output.d.ts +4 -2
- package/dest/tx/public_simulation_output.d.ts.map +1 -1
- package/dest/tx/public_simulation_output.js +7 -3
- package/dest/tx/tx_receipt.d.ts +16 -2
- package/dest/tx/tx_receipt.d.ts.map +1 -1
- package/dest/tx/tx_receipt.js +11 -3
- package/dest/tx/tx_request.js +2 -2
- package/package.json +10 -10
- package/src/abi/decoder.ts +1 -4
- package/src/abi/encoder.ts +8 -5
- package/src/auth_witness/auth_witness.ts +3 -3
- package/src/avm/revert_code.ts +15 -0
- package/src/block/block_data.ts +26 -0
- package/src/block/index.ts +1 -0
- package/src/block/l2_block_source.ts +22 -0
- package/src/block/l2_block_stream/l2_block_stream.ts +21 -0
- package/src/checkpoint/checkpoint.ts +5 -3
- package/src/checkpoint/checkpoint_data.ts +51 -0
- package/src/checkpoint/index.ts +1 -0
- package/src/checkpoint/published_checkpoint.ts +3 -1
- package/src/config/sequencer-config.ts +11 -1
- package/src/contract/contract_address.ts +4 -4
- package/src/contract/contract_class.ts +3 -3
- package/src/contract/contract_class_id.ts +3 -3
- package/src/contract/private_function.ts +2 -2
- package/src/file-store/local.ts +15 -5
- package/src/file-store/s3.ts +12 -3
- package/src/ha-signing/config.ts +149 -0
- package/src/ha-signing/index.ts +18 -0
- package/src/ha-signing/types.ts +112 -0
- package/src/hash/hash.ts +11 -11
- package/src/hash/map_slot.ts +2 -2
- package/src/interfaces/archiver.ts +5 -0
- package/src/interfaces/aztec-node-admin.ts +23 -0
- package/src/interfaces/configs.ts +12 -1
- package/src/interfaces/merkle_tree_operations.ts +1 -1
- package/src/interfaces/p2p.ts +2 -13
- package/src/interfaces/validator.ts +1 -1
- package/src/kernel/hints/build_note_hash_read_request_hints.ts +14 -18
- package/src/kernel/hints/build_nullifier_read_request_hints.ts +15 -18
- package/src/kernel/hints/build_transient_data_hints.ts +17 -2
- package/src/kernel/hints/index.ts +2 -2
- package/src/kernel/hints/{key_validation_request_and_generator.ts → key_validation_request_and_separator.ts} +12 -15
- package/src/kernel/hints/{scoped_key_validation_request_and_generator.ts → scoped_key_validation_request_and_separator.ts} +10 -10
- package/src/kernel/private_circuit_public_inputs.ts +10 -10
- package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +2 -2
- package/src/kernel/private_to_rollup_kernel_circuit_public_inputs.ts +2 -2
- package/src/kernel/private_validation_requests.ts +8 -8
- package/src/keys/derivation.ts +8 -8
- package/src/keys/key_types.ts +6 -2
- package/src/keys/public_keys.ts +2 -2
- package/src/keys/utils.ts +5 -5
- package/src/logs/debug_log_store.ts +54 -0
- package/src/logs/{directional_app_tagging_secret.ts → extended_directional_app_tagging_secret.ts} +24 -16
- package/src/logs/index.ts +2 -1
- package/src/logs/pre_tag.ts +5 -5
- package/src/logs/siloed_tag.ts +8 -2
- package/src/logs/tag.ts +1 -1
- package/src/p2p/attestation_utils.ts +56 -0
- package/src/p2p/block_proposal.ts +1 -3
- package/src/p2p/checkpoint_proposal.ts +1 -1
- package/src/p2p/client_type.ts +0 -6
- package/src/p2p/index.ts +0 -1
- package/src/p2p/topic_type.ts +8 -15
- package/src/rollup/checkpoint_header.ts +2 -2
- package/src/tests/factories.ts +20 -11
- package/src/tests/mocks.ts +7 -3
- package/src/tx/block_header.ts +2 -2
- package/src/tx/global_variables.ts +3 -3
- package/src/tx/profiling.ts +5 -5
- package/src/tx/protocol_contracts.ts +2 -2
- package/src/tx/public_simulation_output.ts +4 -0
- package/src/tx/tx_receipt.ts +10 -0
- package/src/tx/tx_request.ts +2 -2
- package/dest/kernel/hints/key_validation_request_and_generator.d.ts +0 -30
- package/dest/kernel/hints/key_validation_request_and_generator.d.ts.map +0 -1
- package/dest/logs/directional_app_tagging_secret.d.ts +0 -40
- package/dest/logs/directional_app_tagging_secret.d.ts.map +0 -1
package/src/tests/factories.ts
CHANGED
|
@@ -9,7 +9,7 @@ import {
|
|
|
9
9
|
AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED,
|
|
10
10
|
CHONK_PROOF_LENGTH,
|
|
11
11
|
CONTRACT_CLASS_LOG_SIZE_IN_FIELDS,
|
|
12
|
-
|
|
12
|
+
DomainSeparator,
|
|
13
13
|
L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH,
|
|
14
14
|
MAX_CHECKPOINTS_PER_EPOCH,
|
|
15
15
|
MAX_CONTRACT_CLASS_LOGS_PER_TX,
|
|
@@ -102,7 +102,7 @@ import {
|
|
|
102
102
|
import { Gas, GasFees, GasSettings } from '../gas/index.js';
|
|
103
103
|
import { computeCalldataHash } from '../hash/hash.js';
|
|
104
104
|
import { KeyValidationRequest } from '../kernel/hints/key_validation_request.js';
|
|
105
|
-
import {
|
|
105
|
+
import { KeyValidationRequestAndSeparator } from '../kernel/hints/key_validation_request_and_separator.js';
|
|
106
106
|
import { ReadRequest, ScopedReadRequest } from '../kernel/hints/read_request.js';
|
|
107
107
|
import {
|
|
108
108
|
ClaimedLengthArray,
|
|
@@ -128,6 +128,7 @@ import {
|
|
|
128
128
|
PublicCallRequestArrayLengths,
|
|
129
129
|
} from '../kernel/public_call_request.js';
|
|
130
130
|
import { PublicKeys, computeAddress } from '../keys/index.js';
|
|
131
|
+
import { ExtendedDirectionalAppTaggingSecret } from '../logs/extended_directional_app_tagging_secret.js';
|
|
131
132
|
import { ContractClassLog, ContractClassLogFields } from '../logs/index.js';
|
|
132
133
|
import { PrivateLog } from '../logs/private_log.js';
|
|
133
134
|
import { FlatPublicLogs, PublicLog } from '../logs/public_log.js';
|
|
@@ -259,12 +260,12 @@ function makeKeyValidationRequests(seed: number): KeyValidationRequest {
|
|
|
259
260
|
}
|
|
260
261
|
|
|
261
262
|
/**
|
|
262
|
-
* Creates arbitrary
|
|
263
|
-
* @param seed - The seed to use for generating the
|
|
264
|
-
* @returns A
|
|
263
|
+
* Creates arbitrary KeyValidationRequestAndSeparator from the given seed.
|
|
264
|
+
* @param seed - The seed to use for generating the KeyValidationRequestAndSeparator.
|
|
265
|
+
* @returns A KeyValidationRequestAndSeparator.
|
|
265
266
|
*/
|
|
266
|
-
function
|
|
267
|
-
return new
|
|
267
|
+
function makeKeyValidationRequestAndSeparators(seed: number): KeyValidationRequestAndSeparator {
|
|
268
|
+
return new KeyValidationRequestAndSeparator(makeKeyValidationRequests(seed), fr(seed + 4));
|
|
268
269
|
}
|
|
269
270
|
|
|
270
271
|
export function makePublicDataWrite(seed = 1) {
|
|
@@ -671,9 +672,9 @@ export function makePrivateCircuitPublicInputs(seed = 0): PrivateCircuitPublicIn
|
|
|
671
672
|
makeScopedReadRequest,
|
|
672
673
|
seed + 0x310,
|
|
673
674
|
),
|
|
674
|
-
|
|
675
|
+
keyValidationRequestsAndSeparators: makeClaimedLengthArray(
|
|
675
676
|
MAX_KEY_VALIDATION_REQUESTS_PER_CALL,
|
|
676
|
-
|
|
677
|
+
makeKeyValidationRequestAndSeparators,
|
|
677
678
|
seed + 0x320,
|
|
678
679
|
),
|
|
679
680
|
noteHashes: makeClaimedLengthArray(MAX_NOTE_HASHES_PER_CALL, makeNoteHash, seed + 0x400),
|
|
@@ -1287,11 +1288,11 @@ export async function makeContractInstanceFromClassId(
|
|
|
1287
1288
|
|
|
1288
1289
|
const saltedInitializationHash = await poseidon2HashWithSeparator(
|
|
1289
1290
|
[salt, initializationHash, deployer],
|
|
1290
|
-
|
|
1291
|
+
DomainSeparator.PARTIAL_ADDRESS,
|
|
1291
1292
|
);
|
|
1292
1293
|
const partialAddress = await poseidon2HashWithSeparator(
|
|
1293
1294
|
[classId, saltedInitializationHash],
|
|
1294
|
-
|
|
1295
|
+
DomainSeparator.PARTIAL_ADDRESS,
|
|
1295
1296
|
);
|
|
1296
1297
|
const address = await computeAddress(publicKeys, partialAddress);
|
|
1297
1298
|
return new SerializableContractInstance({
|
|
@@ -1757,3 +1758,11 @@ export function makeL2Tips(
|
|
|
1757
1758
|
},
|
|
1758
1759
|
};
|
|
1759
1760
|
}
|
|
1761
|
+
|
|
1762
|
+
export async function randomExtendedDirectionalAppTaggingSecret(): Promise<ExtendedDirectionalAppTaggingSecret> {
|
|
1763
|
+
const resolvedApp = await AztecAddress.random();
|
|
1764
|
+
// Using the fromString method like this is messy as it leaks the underlying serialization format but I don't want to
|
|
1765
|
+
// expose the type's constructor just for tests since in prod the secret is always constructed via compute. Also this
|
|
1766
|
+
// method is tested in extended_directional_app_tagging_secret.test.ts hence all should be fine.
|
|
1767
|
+
return ExtendedDirectionalAppTaggingSecret.fromString(`${Fr.random().toString()}:${resolvedApp.toString()}`);
|
|
1768
|
+
}
|
package/src/tests/mocks.ts
CHANGED
|
@@ -1,10 +1,11 @@
|
|
|
1
1
|
import {
|
|
2
|
-
FIXED_DA_GAS,
|
|
3
|
-
FIXED_L2_GAS,
|
|
4
2
|
MAX_ENQUEUED_CALLS_PER_TX,
|
|
5
3
|
MAX_NULLIFIERS_PER_TX,
|
|
6
4
|
MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX,
|
|
7
5
|
MAX_TX_LIFETIME,
|
|
6
|
+
PRIVATE_TX_L2_GAS_OVERHEAD,
|
|
7
|
+
PUBLIC_TX_L2_GAS_OVERHEAD,
|
|
8
|
+
TX_DA_GAS_OVERHEAD,
|
|
8
9
|
} from '@aztec/constants';
|
|
9
10
|
import { type FieldsOf, makeTuple } from '@aztec/foundation/array';
|
|
10
11
|
import { BlockNumber, CheckpointNumber, IndexWithinCheckpoint, SlotNumber } from '@aztec/foundation/branded-types';
|
|
@@ -205,8 +206,11 @@ export async function mockProcessedTx({
|
|
|
205
206
|
feePayer,
|
|
206
207
|
feePaymentPublicDataWrite,
|
|
207
208
|
// The default gasUsed is the tx overhead.
|
|
208
|
-
gasUsed = Gas.from({ daGas: FIXED_DA_GAS, l2Gas: FIXED_L2_GAS }),
|
|
209
209
|
privateOnly = false,
|
|
210
|
+
gasUsed = Gas.from({
|
|
211
|
+
daGas: TX_DA_GAS_OVERHEAD,
|
|
212
|
+
l2Gas: privateOnly ? PRIVATE_TX_L2_GAS_OVERHEAD : PUBLIC_TX_L2_GAS_OVERHEAD,
|
|
213
|
+
}),
|
|
210
214
|
avmAccumulatedData,
|
|
211
215
|
...mockTxOpts
|
|
212
216
|
}: {
|
package/src/tx/block_header.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { BLOCK_HEADER_LENGTH,
|
|
1
|
+
import { BLOCK_HEADER_LENGTH, DomainSeparator } from '@aztec/constants';
|
|
2
2
|
import { BlockNumber, SlotNumber } from '@aztec/foundation/branded-types';
|
|
3
3
|
import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
|
|
4
4
|
import { randomInt } from '@aztec/foundation/crypto/random';
|
|
@@ -164,7 +164,7 @@ export class BlockHeader {
|
|
|
164
164
|
|
|
165
165
|
hash(): Promise<BlockHash> {
|
|
166
166
|
if (!this._cachedHash) {
|
|
167
|
-
this._cachedHash = poseidon2HashWithSeparator(this.toFields(),
|
|
167
|
+
this._cachedHash = poseidon2HashWithSeparator(this.toFields(), DomainSeparator.BLOCK_HEADER_HASH).then(
|
|
168
168
|
fr => new BlockHash(fr),
|
|
169
169
|
);
|
|
170
170
|
}
|
|
@@ -22,10 +22,10 @@ import { schemas } from '../schemas/index.js';
|
|
|
22
22
|
import type { UInt64 } from '../types/index.js';
|
|
23
23
|
|
|
24
24
|
/**
|
|
25
|
-
* Global variables that are constant across the entire slot.
|
|
26
|
-
*
|
|
25
|
+
* Global variables that are constant across the entire checkpoint (slot).
|
|
26
|
+
* Excludes blockNumber since that varies per block within a checkpoint.
|
|
27
27
|
*/
|
|
28
|
-
export type CheckpointGlobalVariables = Omit<FieldsOf<GlobalVariables>, 'blockNumber'
|
|
28
|
+
export type CheckpointGlobalVariables = Omit<FieldsOf<GlobalVariables>, 'blockNumber'>;
|
|
29
29
|
|
|
30
30
|
/**
|
|
31
31
|
* Global variables of the L2 block.
|
package/src/tx/profiling.ts
CHANGED
|
@@ -157,23 +157,23 @@ export class TxProfileResult {
|
|
|
157
157
|
}
|
|
158
158
|
}
|
|
159
159
|
|
|
160
|
-
export class
|
|
160
|
+
export class UtilityExecutionResult {
|
|
161
161
|
constructor(
|
|
162
162
|
public result: Fr[],
|
|
163
163
|
public stats?: SimulationStats,
|
|
164
164
|
) {}
|
|
165
165
|
|
|
166
|
-
static get schema(): ZodFor<
|
|
166
|
+
static get schema(): ZodFor<UtilityExecutionResult> {
|
|
167
167
|
return z
|
|
168
168
|
.object({
|
|
169
169
|
result: z.array(schemas.Fr),
|
|
170
170
|
stats: optional(SimulationStatsSchema),
|
|
171
171
|
})
|
|
172
|
-
.transform(({ result, stats }) => new
|
|
172
|
+
.transform(({ result, stats }) => new UtilityExecutionResult(result, stats));
|
|
173
173
|
}
|
|
174
174
|
|
|
175
|
-
static random():
|
|
176
|
-
return new
|
|
175
|
+
static random(): UtilityExecutionResult {
|
|
176
|
+
return new UtilityExecutionResult([Fr.random()], {
|
|
177
177
|
nodeRPCCalls: {
|
|
178
178
|
perMethod: { getBlockHeader: { times: [1] } },
|
|
179
179
|
roundTrips: {
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { DomainSeparator, MAX_PROTOCOL_CONTRACTS } from '@aztec/constants';
|
|
2
2
|
import { makeTuple } from '@aztec/foundation/array';
|
|
3
3
|
import { arraySerializedSizeOfNonEmpty } from '@aztec/foundation/collection';
|
|
4
4
|
import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
|
|
@@ -71,7 +71,7 @@ export class ProtocolContracts {
|
|
|
71
71
|
}
|
|
72
72
|
|
|
73
73
|
hash() {
|
|
74
|
-
return poseidon2HashWithSeparator(this.derivedAddresses,
|
|
74
|
+
return poseidon2HashWithSeparator(this.derivedAddresses, DomainSeparator.PROTOCOL_CONTRACTS);
|
|
75
75
|
}
|
|
76
76
|
|
|
77
77
|
static get schema() {
|
|
@@ -7,6 +7,7 @@ import { z } from 'zod';
|
|
|
7
7
|
import { SimulationError } from '../errors/simulation_error.js';
|
|
8
8
|
import { Gas } from '../gas/gas.js';
|
|
9
9
|
import type { GasUsed } from '../gas/gas_used.js';
|
|
10
|
+
import { DebugLog } from '../logs/debug_log.js';
|
|
10
11
|
import { NullishToUndefined } from '../schemas/schemas.js';
|
|
11
12
|
import { TxEffect } from '../tx/tx_effect.js';
|
|
12
13
|
import { GlobalVariables } from './global_variables.js';
|
|
@@ -71,6 +72,7 @@ export class PublicSimulationOutput {
|
|
|
71
72
|
public txEffect: TxEffect,
|
|
72
73
|
public publicReturnValues: NestedProcessReturnValues[],
|
|
73
74
|
public gasUsed: GasUsed,
|
|
75
|
+
public debugLogs: DebugLog[] = [],
|
|
74
76
|
) {}
|
|
75
77
|
|
|
76
78
|
static get schema(): ZodFor<PublicSimulationOutput> {
|
|
@@ -86,6 +88,7 @@ export class PublicSimulationOutput {
|
|
|
86
88
|
publicGas: Gas.schema,
|
|
87
89
|
billedGas: Gas.schema,
|
|
88
90
|
}),
|
|
91
|
+
debugLogs: z.array(DebugLog.schema).default([]),
|
|
89
92
|
})
|
|
90
93
|
.transform(
|
|
91
94
|
fields =>
|
|
@@ -95,6 +98,7 @@ export class PublicSimulationOutput {
|
|
|
95
98
|
fields.txEffect,
|
|
96
99
|
fields.publicReturnValues,
|
|
97
100
|
fields.gasUsed,
|
|
101
|
+
fields.debugLogs,
|
|
98
102
|
),
|
|
99
103
|
);
|
|
100
104
|
}
|
package/src/tx/tx_receipt.ts
CHANGED
|
@@ -4,6 +4,7 @@ import { z } from 'zod';
|
|
|
4
4
|
|
|
5
5
|
import { RevertCode } from '../avm/revert_code.js';
|
|
6
6
|
import { BlockHash } from '../block/block_hash.js';
|
|
7
|
+
import { DebugLog } from '../logs/debug_log.js';
|
|
7
8
|
import { type ZodFor, schemas } from '../schemas/schemas.js';
|
|
8
9
|
import { TxHash } from './tx_hash.js';
|
|
9
10
|
|
|
@@ -57,6 +58,12 @@ export class TxReceipt {
|
|
|
57
58
|
public blockHash?: BlockHash,
|
|
58
59
|
/** The block number in which the transaction was included. */
|
|
59
60
|
public blockNumber?: BlockNumber,
|
|
61
|
+
/**
|
|
62
|
+
* Debug logs collected during public function execution. Served only when the node is in test mode and placed on
|
|
63
|
+
* the receipt only because it's a convenient place for it (the logs are printed out by the wallet when a mined
|
|
64
|
+
* tx receipt is obtained).
|
|
65
|
+
*/
|
|
66
|
+
public debugLogs?: DebugLog[],
|
|
60
67
|
) {}
|
|
61
68
|
|
|
62
69
|
/** Returns true if the transaction was executed successfully. */
|
|
@@ -103,6 +110,7 @@ export class TxReceipt {
|
|
|
103
110
|
blockHash: BlockHash.schema.optional(),
|
|
104
111
|
blockNumber: BlockNumberSchema.optional(),
|
|
105
112
|
transactionFee: schemas.BigInt.optional(),
|
|
113
|
+
debugLogs: z.array(DebugLog.schema).optional(),
|
|
106
114
|
})
|
|
107
115
|
.transform(fields => TxReceipt.from(fields));
|
|
108
116
|
}
|
|
@@ -115,6 +123,7 @@ export class TxReceipt {
|
|
|
115
123
|
transactionFee?: bigint;
|
|
116
124
|
blockHash?: BlockHash;
|
|
117
125
|
blockNumber?: BlockNumber;
|
|
126
|
+
debugLogs?: DebugLog[];
|
|
118
127
|
}) {
|
|
119
128
|
return new TxReceipt(
|
|
120
129
|
fields.txHash,
|
|
@@ -124,6 +133,7 @@ export class TxReceipt {
|
|
|
124
133
|
fields.transactionFee,
|
|
125
134
|
fields.blockHash,
|
|
126
135
|
fields.blockNumber,
|
|
136
|
+
fields.debugLogs,
|
|
127
137
|
);
|
|
128
138
|
}
|
|
129
139
|
|
package/src/tx/tx_request.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { DomainSeparator, TX_REQUEST_LENGTH } from '@aztec/constants';
|
|
2
2
|
import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
|
|
3
3
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
4
|
import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
|
|
@@ -68,7 +68,7 @@ export class TxRequest {
|
|
|
68
68
|
}
|
|
69
69
|
|
|
70
70
|
hash() {
|
|
71
|
-
return poseidon2HashWithSeparator(this.toFields(),
|
|
71
|
+
return poseidon2HashWithSeparator(this.toFields(), DomainSeparator.TX_REQUEST);
|
|
72
72
|
}
|
|
73
73
|
|
|
74
74
|
static empty() {
|
|
@@ -1,30 +0,0 @@
|
|
|
1
|
-
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
-
import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
|
|
3
|
-
import { KeyValidationRequest } from './key_validation_request.js';
|
|
4
|
-
/**
|
|
5
|
-
* Request for validating keys used in the app and a generator.
|
|
6
|
-
*/
|
|
7
|
-
export declare class KeyValidationRequestAndGenerator {
|
|
8
|
-
/** The key validation request. */
|
|
9
|
-
readonly request: KeyValidationRequest;
|
|
10
|
-
/**
|
|
11
|
-
* The generator index which can be used along with sk_m to derive the sk_app stored in the request.
|
|
12
|
-
* Note: This generator constrains that a correct key type gets validated in the kernel.
|
|
13
|
-
*/
|
|
14
|
-
readonly skAppGenerator: Fr;
|
|
15
|
-
constructor(
|
|
16
|
-
/** The key validation request. */
|
|
17
|
-
request: KeyValidationRequest,
|
|
18
|
-
/**
|
|
19
|
-
* The generator index which can be used along with sk_m to derive the sk_app stored in the request.
|
|
20
|
-
* Note: This generator constrains that a correct key type gets validated in the kernel.
|
|
21
|
-
*/
|
|
22
|
-
skAppGenerator: Fr);
|
|
23
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
24
|
-
static fromBuffer(buffer: Buffer | BufferReader): KeyValidationRequestAndGenerator;
|
|
25
|
-
toFields(): Fr[];
|
|
26
|
-
static fromFields(fields: Fr[] | FieldReader): KeyValidationRequestAndGenerator;
|
|
27
|
-
isEmpty(): boolean;
|
|
28
|
-
static empty(): KeyValidationRequestAndGenerator;
|
|
29
|
-
}
|
|
30
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoia2V5X3ZhbGlkYXRpb25fcmVxdWVzdF9hbmRfZ2VuZXJhdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMva2VybmVsL2hpbnRzL2tleV92YWxpZGF0aW9uX3JlcXVlc3RfYW5kX2dlbmVyYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxXQUFXLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFM0YsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFFbkU7O0dBRUc7QUFDSCxxQkFBYSxnQ0FBZ0M7SUFFekMsa0NBQWtDO2FBQ2xCLE9BQU8sRUFBRSxvQkFBb0I7SUFDN0M7OztPQUdHO2FBQ2EsY0FBYyxFQUFFLEVBQUU7SUFQcEM7SUFDRSxrQ0FBa0M7SUFDbEIsT0FBTyxFQUFFLG9CQUFvQjtJQUM3Qzs7O09BR0c7SUFDYSxjQUFjLEVBQUUsRUFBRSxFQUNoQztJQUVKLFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxvQ0FHOUM7SUFFRCxRQUFRLElBQUksRUFBRSxFQUFFLENBUWY7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEdBQUcsZ0NBQWdDLENBRzlFO0lBRUQsT0FBTyxZQUVOO0lBRUQsTUFBTSxDQUFDLEtBQUsscUNBRVg7Q0FDRiJ9
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"key_validation_request_and_generator.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/key_validation_request_and_generator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE;;GAEG;AACH,qBAAa,gCAAgC;IAEzC,kCAAkC;aAClB,OAAO,EAAE,oBAAoB;IAC7C;;;OAGG;aACa,cAAc,EAAE,EAAE;IAPpC;IACE,kCAAkC;IAClB,OAAO,EAAE,oBAAoB;IAC7C;;;OAGG;IACa,cAAc,EAAE,EAAE,EAChC;IAEJ,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,oCAG9C;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,gCAAgC,CAG9E;IAED,OAAO,YAEN;IAED,MAAM,CAAC,KAAK,qCAEX;CACF"}
|
|
@@ -1,40 +0,0 @@
|
|
|
1
|
-
import { type Fq, Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
-
import { z } from 'zod';
|
|
3
|
-
import type { AztecAddress } from '../aztec-address/index.js';
|
|
4
|
-
import type { CompleteAddress } from '../contract/complete_address.js';
|
|
5
|
-
/**
|
|
6
|
-
* Directional application tagging secret used for log tagging.
|
|
7
|
-
*
|
|
8
|
-
* "Directional" because the derived secret is bound to the recipient
|
|
9
|
-
* address: A→B differs from B→A even with the same participants and app.
|
|
10
|
-
*
|
|
11
|
-
* Note: It's a bit unfortunate that this type resides in `stdlib` as the rest of the tagging functionality resides
|
|
12
|
-
* in `pxe/src/tagging`. We need to use this type in `PreTag` that in turn is used by other types
|
|
13
|
-
* in stdlib hence there doesn't seem to be a good way around this.
|
|
14
|
-
*/
|
|
15
|
-
export declare class DirectionalAppTaggingSecret {
|
|
16
|
-
readonly value: Fr;
|
|
17
|
-
private constructor();
|
|
18
|
-
/**
|
|
19
|
-
* Derives shared tagging secret and from that, the app address and recipient derives the directional app tagging
|
|
20
|
-
* secret.
|
|
21
|
-
*
|
|
22
|
-
* @param localAddress - The complete address of entity A in the shared tagging secret derivation scheme
|
|
23
|
-
* @param localIvsk - The incoming viewing secret key of entity A
|
|
24
|
-
* @param externalAddress - The address of entity B in the shared tagging secret derivation scheme
|
|
25
|
-
* @param app - Contract address to silo the secret to
|
|
26
|
-
* @param recipient - Recipient of the log. Defines the "direction of the secret".
|
|
27
|
-
* @returns The secret that can be used along with an index to compute a tag to be included in a log.
|
|
28
|
-
*/
|
|
29
|
-
static compute(localAddress: CompleteAddress, localIvsk: Fq, externalAddress: AztecAddress, app: AztecAddress, recipient: AztecAddress): Promise<DirectionalAppTaggingSecret>;
|
|
30
|
-
toString(): string;
|
|
31
|
-
static fromString(str: string): DirectionalAppTaggingSecret;
|
|
32
|
-
}
|
|
33
|
-
export declare const DirectionalAppTaggingSecretSchema: z.ZodObject<{
|
|
34
|
-
value: z.ZodType<Fr, any, string>;
|
|
35
|
-
}, "strip", z.ZodTypeAny, {
|
|
36
|
-
value: Fr;
|
|
37
|
-
}, {
|
|
38
|
-
value: string;
|
|
39
|
-
}>;
|
|
40
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGlyZWN0aW9uYWxfYXBwX3RhZ2dpbmdfc2VjcmV0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbG9ncy9kaXJlY3Rpb25hbF9hcHBfdGFnZ2luZ19zZWNyZXQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxFQUFFLEtBQUssRUFBRSxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRzdELE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFHdkU7Ozs7Ozs7OztHQVNHO0FBQ0gscUJBQWEsMkJBQTJCO2FBQ0YsS0FBSyxFQUFFLEVBQUU7SUFBN0MsT0FBTyxlQUEwQztJQUVqRDs7Ozs7Ozs7OztPQVVHO0lBQ0gsT0FBYSxPQUFPLENBQ2xCLFlBQVksRUFBRSxlQUFlLEVBQzdCLFNBQVMsRUFBRSxFQUFFLEVBQ2IsZUFBZSxFQUFFLFlBQVksRUFDN0IsR0FBRyxFQUFFLFlBQVksRUFDakIsU0FBUyxFQUFFLFlBQVksR0FDdEIsT0FBTyxDQUFDLDJCQUEyQixDQUFDLENBTXRDO0lBRUQsUUFBUSxJQUFJLE1BQU0sQ0FFakI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsMkJBQTJCLENBRTFEO0NBQ0Y7QUFvQkQsZUFBTyxNQUFNLGlDQUFpQzs7Ozs7O0VBRTVDLENBQUMifQ==
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"directional_app_tagging_secret.d.ts","sourceRoot":"","sources":["../../src/logs/directional_app_tagging_secret.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAG7D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAGvE;;;;;;;;;GASG;AACH,qBAAa,2BAA2B;aACF,KAAK,EAAE,EAAE;IAA7C,OAAO,eAA0C;IAEjD;;;;;;;;;;OAUG;IACH,OAAa,OAAO,CAClB,YAAY,EAAE,eAAe,EAC7B,SAAS,EAAE,EAAE,EACb,eAAe,EAAE,YAAY,EAC7B,GAAG,EAAE,YAAY,EACjB,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,2BAA2B,CAAC,CAMtC;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,2BAA2B,CAE1D;CACF;AAoBD,eAAO,MAAM,iCAAiC;;;;;;EAE5C,CAAC"}
|