@aztec/stdlib 0.0.1-commit.ff7989d6c → 0.0.1-commit.fff30aa
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/abi.d.ts +57 -85
- package/dest/abi/abi.d.ts.map +1 -1
- package/dest/abi/abi.js +55 -6
- package/dest/abi/buffer.d.ts +14 -4
- package/dest/abi/buffer.d.ts.map +1 -1
- package/dest/abi/buffer.js +25 -4
- package/dest/abi/decoder.d.ts +6 -45
- package/dest/abi/decoder.d.ts.map +1 -1
- package/dest/abi/decoder.js +17 -70
- package/dest/abi/encoder.d.ts +1 -1
- package/dest/abi/encoder.d.ts.map +1 -1
- package/dest/abi/encoder.js +37 -6
- package/dest/abi/event_metadata_definition.d.ts +3 -1
- package/dest/abi/event_metadata_definition.d.ts.map +1 -1
- package/dest/abi/event_metadata_definition.js +1 -1
- package/dest/abi/function_selector.js +1 -1
- package/dest/abi/function_signature_decoder.d.ts +43 -0
- package/dest/abi/function_signature_decoder.d.ts.map +1 -0
- package/dest/abi/function_signature_decoder.js +66 -0
- package/dest/abi/index.d.ts +2 -1
- package/dest/abi/index.d.ts.map +1 -1
- package/dest/abi/index.js +1 -0
- package/dest/abi/selector.d.ts +2 -2
- package/dest/abi/selector.d.ts.map +1 -1
- package/dest/abi/selector.js +1 -1
- package/dest/abi/utils.d.ts +14 -1
- package/dest/abi/utils.d.ts.map +1 -1
- package/dest/abi/utils.js +15 -0
- package/dest/avm/avm.d.ts +300 -300
- package/dest/avm/avm_accumulated_data.js +2 -2
- package/dest/avm/avm_circuit_public_inputs.js +2 -2
- package/dest/avm/avm_proving_request.d.ts +166 -166
- package/dest/avm/revert_code.d.ts +9 -4
- package/dest/avm/revert_code.d.ts.map +1 -1
- package/dest/avm/revert_code.js +16 -21
- package/dest/block/l2_block.d.ts +9 -1
- package/dest/block/l2_block.d.ts.map +1 -1
- package/dest/block/l2_block.js +12 -2
- package/dest/block/l2_block_source.d.ts +16 -8
- package/dest/block/l2_block_source.d.ts.map +1 -1
- package/dest/block/l2_block_stream/interfaces.d.ts +6 -3
- package/dest/block/l2_block_stream/interfaces.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 +2 -1
- package/dest/checkpoint/checkpoint.d.ts.map +1 -1
- package/dest/checkpoint/checkpoint.js +9 -4
- 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/validate.d.ts +36 -0
- package/dest/checkpoint/validate.d.ts.map +1 -0
- package/dest/checkpoint/validate.js +120 -0
- 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 +5 -0
- package/dest/epoch-helpers/index.d.ts +9 -1
- package/dest/epoch-helpers/index.d.ts.map +1 -1
- package/dest/epoch-helpers/index.js +13 -2
- package/dest/gas/gas_fees.d.ts +1 -1
- package/dest/gas/gas_fees.d.ts.map +1 -1
- package/dest/gas/gas_fees.js +4 -1
- package/dest/gas/gas_settings.d.ts +40 -3
- package/dest/gas/gas_settings.d.ts.map +1 -1
- package/dest/gas/gas_settings.js +50 -6
- package/dest/hash/hash.d.ts +19 -1
- package/dest/hash/hash.d.ts.map +1 -1
- package/dest/hash/hash.js +29 -0
- package/dest/interfaces/allowed_element.d.ts +26 -20
- package/dest/interfaces/allowed_element.d.ts.map +1 -1
- package/dest/interfaces/allowed_element.js +8 -8
- package/dest/interfaces/archiver.d.ts +1 -1
- package/dest/interfaces/archiver.d.ts.map +1 -1
- package/dest/interfaces/archiver.js +3 -2
- package/dest/interfaces/aztec-node-admin.d.ts +64 -27
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/aztec-node-debug.d.ts +21 -0
- package/dest/interfaces/aztec-node-debug.d.ts.map +1 -0
- package/dest/interfaces/aztec-node-debug.js +18 -0
- package/dest/interfaces/aztec-node.d.ts +12 -6
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +5 -2
- package/dest/interfaces/block-builder.d.ts +38 -11
- package/dest/interfaces/block-builder.d.ts.map +1 -1
- package/dest/interfaces/block-builder.js +13 -6
- package/dest/interfaces/client.d.ts +2 -1
- package/dest/interfaces/client.d.ts.map +1 -1
- package/dest/interfaces/client.js +1 -0
- package/dest/interfaces/configs.d.ts +62 -32
- package/dest/interfaces/configs.d.ts.map +1 -1
- package/dest/interfaces/configs.js +6 -2
- package/dest/interfaces/merkle_tree_operations.d.ts +9 -19
- 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/prover-client.d.ts +6 -1
- package/dest/interfaces/prover-client.d.ts.map +1 -1
- package/dest/interfaces/prover-client.js +7 -1
- package/dest/interfaces/validator.d.ts +68 -26
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/interfaces/validator.js +7 -3
- package/dest/interfaces/world_state.d.ts +5 -4
- package/dest/interfaces/world_state.d.ts.map +1 -1
- package/dest/kernel/claimed_length_array.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/private_kernel_reset_hints.d.ts +1 -1
- package/dest/kernel/hints/private_kernel_reset_hints.d.ts.map +1 -1
- package/dest/kernel/padded_side_effects.js +1 -1
- package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +2 -1
- package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_kernel_tail_circuit_public_inputs.js +4 -0
- package/dest/kernel/private_to_avm_accumulated_data.js +2 -2
- package/dest/kernel/private_to_public_accumulated_data.js +2 -2
- package/dest/kernel/private_to_rollup_accumulated_data.js +1 -1
- 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} +35 -20
- package/dest/logs/index.d.ts +4 -2
- package/dest/logs/index.d.ts.map +1 -1
- package/dest/logs/index.js +3 -1
- package/dest/logs/log_filter.d.ts +4 -1
- package/dest/logs/log_filter.d.ts.map +1 -1
- package/dest/logs/log_filter.js +2 -1
- package/dest/logs/message_context.d.ts +4 -7
- package/dest/logs/message_context.d.ts.map +1 -1
- package/dest/logs/message_context.js +23 -9
- package/dest/logs/pending_tagged_log.d.ts +2 -3
- package/dest/logs/pending_tagged_log.d.ts.map +1 -1
- package/dest/logs/pending_tagged_log.js +2 -2
- 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.js +1 -1
- package/dest/logs/public_log.d.ts +4 -3
- package/dest/logs/public_log.d.ts.map +1 -1
- package/dest/logs/public_log.js +9 -2
- package/dest/logs/shared_secret_derivation.d.ts +11 -10
- package/dest/logs/shared_secret_derivation.d.ts.map +1 -1
- package/dest/logs/shared_secret_derivation.js +15 -9
- package/dest/logs/siloed_tag.d.ts +8 -3
- package/dest/logs/siloed_tag.d.ts.map +1 -1
- package/dest/logs/siloed_tag.js +11 -2
- package/dest/logs/tag.js +1 -1
- package/dest/logs/tagging_index_range.d.ts +40 -0
- package/dest/logs/tagging_index_range.d.ts.map +1 -0
- package/dest/logs/tagging_index_range.js +8 -0
- package/dest/logs/tx_scoped_l2_log.d.ts +3 -1
- package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
- package/dest/logs/tx_scoped_l2_log.js +7 -0
- package/dest/messaging/l1_to_l2_message.d.ts +3 -2
- package/dest/messaging/l1_to_l2_message.d.ts.map +1 -1
- package/dest/messaging/l1_to_l2_message.js +11 -13
- package/dest/messaging/l2_to_l1_membership.d.ts +32 -6
- package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
- package/dest/messaging/l2_to_l1_membership.js +69 -26
- package/dest/noir/index.d.ts +3 -3
- package/dest/noir/index.d.ts.map +1 -1
- package/dest/note/note_dao.d.ts +1 -1
- package/dest/note/note_dao.d.ts.map +1 -1
- package/dest/note/note_dao.js +1 -4
- 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 +1 -1
- package/dest/p2p/checkpoint_proposal.d.ts +2 -7
- package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
- package/dest/p2p/checkpoint_proposal.js +14 -24
- 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/peer_error.d.ts +3 -1
- package/dest/p2p/peer_error.d.ts.map +1 -1
- package/dest/p2p/peer_error.js +5 -0
- 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/parity/parity_base_private_inputs.js +1 -1
- package/dest/proofs/chonk_proof.d.ts +1 -1
- package/dest/proofs/chonk_proof.d.ts.map +1 -1
- package/dest/proofs/chonk_proof.js +7 -1
- package/dest/rollup/base_rollup_hints.js +2 -2
- package/dest/rollup/block_root_rollup_private_inputs.js +5 -5
- package/dest/rollup/checkpoint_rollup_public_inputs.js +1 -1
- package/dest/rollup/checkpoint_root_rollup_private_inputs.js +3 -3
- package/dest/rollup/root_rollup_public_inputs.js +1 -1
- package/dest/rollup/tree_snapshot_diff_hints.js +2 -2
- package/dest/slashing/tally.d.ts +7 -2
- package/dest/slashing/tally.d.ts.map +1 -1
- package/dest/slashing/tally.js +30 -2
- package/dest/tests/factories.d.ts +3 -1
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +9 -1
- package/dest/tests/mocks.d.ts +5 -3
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +20 -15
- package/dest/tx/block_header.d.ts +3 -1
- package/dest/tx/block_header.d.ts.map +1 -1
- package/dest/tx/block_header.js +4 -0
- package/dest/tx/capsule.d.ts +6 -2
- package/dest/tx/capsule.d.ts.map +1 -1
- package/dest/tx/capsule.js +9 -3
- package/dest/tx/private_execution_result.d.ts +6 -6
- package/dest/tx/private_execution_result.d.ts.map +1 -1
- package/dest/tx/private_execution_result.js +6 -6
- package/dest/tx/profiling.d.ts +14 -2
- package/dest/tx/profiling.d.ts.map +1 -1
- package/dest/tx/profiling.js +13 -3
- package/dest/tx/protocol_contracts.js +2 -2
- package/dest/tx/simulated_tx.d.ts +63 -77
- package/dest/tx/simulated_tx.d.ts.map +1 -1
- package/dest/tx/simulated_tx.js +7 -4
- package/dest/tx/tx.d.ts +6 -5
- package/dest/tx/tx.d.ts.map +1 -1
- package/dest/tx/tx.js +18 -6
- package/dest/tx/tx_receipt.d.ts +29 -6
- package/dest/tx/tx_receipt.d.ts.map +1 -1
- package/dest/tx/tx_receipt.js +23 -19
- package/dest/tx/validator/error_texts.d.ts +9 -1
- package/dest/tx/validator/error_texts.d.ts.map +1 -1
- package/dest/tx/validator/error_texts.js +10 -0
- package/dest/update-checker/index.d.ts +3 -2
- package/dest/update-checker/index.d.ts.map +1 -1
- package/dest/update-checker/index.js +2 -1
- package/dest/update-checker/package_version.d.ts +3 -0
- package/dest/update-checker/package_version.d.ts.map +1 -0
- package/dest/update-checker/package_version.js +24 -0
- package/dest/update-checker/version_checker.d.ts +25 -0
- package/dest/update-checker/version_checker.d.ts.map +1 -0
- package/dest/update-checker/version_checker.js +50 -0
- package/dest/validators/errors.d.ts +6 -1
- package/dest/validators/errors.d.ts.map +1 -1
- package/dest/validators/errors.js +7 -0
- package/dest/versioning/versioning.d.ts +4 -2
- package/dest/versioning/versioning.d.ts.map +1 -1
- package/dest/versioning/versioning.js +4 -1
- package/dest/vks/vk_data.js +1 -1
- package/package.json +10 -10
- package/src/abi/abi.ts +78 -2
- package/src/abi/buffer.ts +25 -4
- package/src/abi/decoder.ts +36 -82
- package/src/abi/encoder.ts +49 -6
- package/src/abi/event_metadata_definition.ts +2 -0
- package/src/abi/function_selector.ts +1 -1
- package/src/abi/function_signature_decoder.ts +77 -0
- package/src/abi/index.ts +1 -0
- package/src/abi/selector.ts +1 -1
- package/src/abi/utils.ts +25 -0
- package/src/avm/avm_accumulated_data.ts +6 -6
- package/src/avm/avm_circuit_public_inputs.ts +4 -4
- package/src/avm/revert_code.ts +26 -25
- package/src/block/l2_block.ts +13 -1
- package/src/block/l2_block_source.ts +16 -7
- package/src/block/l2_block_stream/interfaces.ts +6 -2
- package/src/block/l2_block_stream/l2_block_stream.ts +21 -0
- package/src/checkpoint/checkpoint.ts +12 -3
- package/src/checkpoint/index.ts +1 -0
- package/src/checkpoint/validate.ts +230 -0
- package/src/config/sequencer-config.ts +6 -1
- package/src/epoch-helpers/index.ts +22 -0
- package/src/gas/README.md +123 -0
- package/src/gas/gas_fees.ts +7 -1
- package/src/gas/gas_settings.ts +65 -12
- package/src/hash/hash.ts +34 -0
- package/src/interfaces/allowed_element.ts +29 -9
- package/src/interfaces/archiver.ts +3 -2
- package/src/interfaces/aztec-node-debug.ts +40 -0
- package/src/interfaces/aztec-node.ts +24 -5
- package/src/interfaces/block-builder.ts +60 -14
- package/src/interfaces/client.ts +1 -0
- package/src/interfaces/configs.ts +25 -8
- package/src/interfaces/merkle_tree_operations.ts +8 -18
- package/src/interfaces/p2p.ts +2 -13
- package/src/interfaces/prover-client.ts +8 -0
- package/src/interfaces/validator.ts +19 -3
- package/src/interfaces/world_state.ts +4 -3
- package/src/kernel/claimed_length_array.ts +2 -2
- 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/private_kernel_reset_hints.ts +5 -2
- package/src/kernel/hints/read_request_hints.ts +3 -3
- package/src/kernel/padded_side_effects.ts +3 -3
- package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +9 -0
- package/src/kernel/private_to_avm_accumulated_data.ts +4 -4
- package/src/kernel/private_to_public_accumulated_data.ts +10 -10
- package/src/kernel/private_to_rollup_accumulated_data.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} +41 -22
- package/src/logs/index.ts +3 -1
- package/src/logs/log_filter.ts +5 -0
- package/src/logs/message_context.ts +17 -7
- package/src/logs/pending_tagged_log.ts +1 -3
- package/src/logs/pre_tag.ts +5 -5
- package/src/logs/private_log.ts +1 -1
- package/src/logs/public_log.ts +15 -3
- package/src/logs/shared_secret_derivation.ts +21 -10
- package/src/logs/siloed_tag.ts +14 -3
- package/src/logs/tag.ts +1 -1
- package/src/logs/tagging_index_range.ts +24 -0
- package/src/logs/tx_scoped_l2_log.ts +16 -0
- package/src/messaging/l1_to_l2_message.ts +12 -9
- package/src/messaging/l2_to_l1_membership.ts +98 -33
- package/src/noir/index.ts +2 -2
- package/src/note/note_dao.ts +1 -4
- package/src/p2p/attestation_utils.ts +56 -0
- package/src/p2p/block_proposal.ts +1 -1
- package/src/p2p/checkpoint_proposal.ts +24 -38
- package/src/p2p/client_type.ts +0 -6
- package/src/p2p/index.ts +0 -1
- package/src/p2p/peer_error.ts +7 -0
- package/src/p2p/topic_type.ts +8 -15
- package/src/parity/parity_base_private_inputs.ts +1 -1
- package/src/proofs/chonk_proof.ts +9 -1
- package/src/rollup/base_rollup_hints.ts +2 -2
- package/src/rollup/block_root_rollup_private_inputs.ts +8 -8
- package/src/rollup/checkpoint_rollup_public_inputs.ts +2 -2
- package/src/rollup/checkpoint_root_rollup_private_inputs.ts +4 -4
- package/src/rollup/root_rollup_public_inputs.ts +2 -2
- package/src/rollup/tree_snapshot_diff_hints.ts +5 -5
- package/src/slashing/tally.ts +34 -1
- package/src/tests/factories.ts +10 -1
- package/src/tests/mocks.ts +26 -11
- package/src/tx/block_header.ts +6 -0
- package/src/tx/capsule.ts +10 -2
- package/src/tx/private_execution_result.ts +5 -5
- package/src/tx/profiling.ts +11 -2
- package/src/tx/protocol_contracts.ts +2 -2
- package/src/tx/simulated_tx.ts +14 -3
- package/src/tx/tx.ts +20 -11
- package/src/tx/tx_receipt.ts +28 -16
- package/src/tx/validator/error_texts.ts +12 -0
- package/src/update-checker/index.ts +2 -1
- package/src/update-checker/package_version.ts +30 -0
- package/src/update-checker/version_checker.ts +65 -0
- package/src/validators/errors.ts +9 -0
- package/src/versioning/versioning.ts +4 -1
- package/src/vks/vk_data.ts +1 -1
- package/dest/ha-signing/config.d.ts +0 -101
- package/dest/ha-signing/config.d.ts.map +0 -1
- package/dest/ha-signing/config.js +0 -92
- package/dest/ha-signing/index.d.ts +0 -3
- package/dest/ha-signing/index.d.ts.map +0 -1
- package/dest/ha-signing/index.js +0 -2
- package/dest/ha-signing/types.d.ts +0 -85
- package/dest/ha-signing/types.d.ts.map +0 -1
- package/dest/ha-signing/types.js +0 -32
- package/dest/logs/directional_app_tagging_secret.d.ts +0 -40
- package/dest/logs/directional_app_tagging_secret.d.ts.map +0 -1
- package/dest/update-checker/update-checker.d.ts +0 -49
- package/dest/update-checker/update-checker.d.ts.map +0 -1
- package/dest/update-checker/update-checker.js +0 -130
- package/src/ha-signing/config.ts +0 -149
- package/src/ha-signing/index.ts +0 -18
- package/src/ha-signing/types.ts +0 -112
- package/src/update-checker/update-checker.ts +0 -166
|
@@ -1,11 +1,10 @@
|
|
|
1
1
|
import { MAX_NULLIFIER_READ_REQUESTS_PER_TX } from '@aztec/constants';
|
|
2
2
|
import { NullifierReadRequestHintsBuilder } from './nullifier_read_request_hints.js';
|
|
3
3
|
import { PendingReadHint, ReadRequestActionEnum, ReadRequestResetActions } from './read_request_hints.js';
|
|
4
|
-
import { ScopedValueCache } from './scoped_value_cache.js';
|
|
5
4
|
export function isValidNullifierReadRequest(readRequest, nullifier) {
|
|
6
5
|
return readRequest.value.equals(nullifier.value) && nullifier.contractAddress.equals(readRequest.contractAddress) && readRequest.counter > nullifier.counter;
|
|
7
6
|
}
|
|
8
|
-
export function getNullifierReadRequestResetActions(nullifierReadRequests, nullifiers
|
|
7
|
+
export function getNullifierReadRequestResetActions(nullifierReadRequests, nullifiers) {
|
|
9
8
|
const resetActions = ReadRequestResetActions.empty(MAX_NULLIFIER_READ_REQUESTS_PER_TX);
|
|
10
9
|
const nullifierMap = new Map();
|
|
11
10
|
nullifiers.getActiveItems().forEach((nullifier, index)=>{
|
|
@@ -17,15 +16,19 @@ export function getNullifierReadRequestResetActions(nullifierReadRequests, nulli
|
|
|
17
16
|
});
|
|
18
17
|
nullifierMap.set(value, arr);
|
|
19
18
|
});
|
|
20
|
-
const futureNullifiersMap = new ScopedValueCache(futureNullifiers);
|
|
21
19
|
for(let i = 0; i < nullifierReadRequests.claimedLength; ++i){
|
|
22
20
|
const readRequest = nullifierReadRequests.array[i];
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
resetActions.actions[i] = ReadRequestActionEnum.READ_AS_PENDING;
|
|
26
|
-
resetActions.pendingReadHints.push(new PendingReadHint(i, pendingNullifier.index));
|
|
27
|
-
} else if (!futureNullifiersMap.get(readRequest).some((futureNullifier)=>isValidNullifierReadRequest(readRequest, futureNullifier))) {
|
|
21
|
+
if (readRequest.contractAddress.isZero()) {
|
|
22
|
+
// Settled read: empty contract address means resolve against the nullifier tree.
|
|
28
23
|
resetActions.actions[i] = ReadRequestActionEnum.READ_AS_SETTLED;
|
|
24
|
+
} else {
|
|
25
|
+
// Pending read: non-empty contract address means match against a pending nullifier.
|
|
26
|
+
const pendingNullifier = nullifierMap.get(readRequest.value.toBigInt())?.find(({ nullifier })=>isValidNullifierReadRequest(readRequest, nullifier));
|
|
27
|
+
if (pendingNullifier) {
|
|
28
|
+
resetActions.actions[i] = ReadRequestActionEnum.READ_AS_PENDING;
|
|
29
|
+
resetActions.pendingReadHints.push(new PendingReadHint(i, pendingNullifier.index));
|
|
30
|
+
}
|
|
31
|
+
// Otherwise, the read request may be resolved by a future nullifier. Leave as NOOP.
|
|
29
32
|
}
|
|
30
33
|
}
|
|
31
34
|
return resetActions;
|
|
@@ -54,7 +57,7 @@ export async function buildNullifierReadRequestHintsFromResetActions(oracle, nul
|
|
|
54
57
|
}
|
|
55
58
|
return builder.toHints();
|
|
56
59
|
}
|
|
57
|
-
export async function buildNullifierReadRequestHints(oracle, nullifierReadRequests, nullifiers,
|
|
58
|
-
const resetActions = getNullifierReadRequestResetActions(nullifierReadRequests, nullifiers
|
|
60
|
+
export async function buildNullifierReadRequestHints(oracle, nullifierReadRequests, nullifiers, maxPending = MAX_NULLIFIER_READ_REQUESTS_PER_TX, maxSettled = MAX_NULLIFIER_READ_REQUESTS_PER_TX) {
|
|
61
|
+
const resetActions = getNullifierReadRequestResetActions(nullifierReadRequests, nullifiers);
|
|
59
62
|
return await buildNullifierReadRequestHintsFromResetActions(oracle, nullifierReadRequests, resetActions, maxPending, maxSettled);
|
|
60
63
|
}
|
|
@@ -2,10 +2,13 @@ import type { Tuple } from '@aztec/foundation/serialize';
|
|
|
2
2
|
import type { ClaimedLengthArray } from '../claimed_length_array.js';
|
|
3
3
|
import type { ScopedNoteHash } from '../note_hash.js';
|
|
4
4
|
import type { ScopedNullifier } from '../nullifier.js';
|
|
5
|
+
import type { PrivateLogData, ScopedPrivateLogData } from '../private_log_data.js';
|
|
5
6
|
import type { ScopedReadRequest } from './read_request.js';
|
|
6
7
|
import { TransientDataSquashingHint } from './transient_data_squashing_hint.js';
|
|
7
|
-
export declare function buildTransientDataHints<NOTE_HASHES_LEN extends number, NULLIFIERS_LEN extends number>(noteHashes: ClaimedLengthArray<ScopedNoteHash, NOTE_HASHES_LEN>, nullifiers: ClaimedLengthArray<ScopedNullifier, NULLIFIERS_LEN>, futureNoteHashReads: ScopedReadRequest[], futureNullifierReads: ScopedReadRequest[], noteHashNullifierCounterMap: Map<number, number>, splitCounter: number): {
|
|
8
|
+
export declare function buildTransientDataHints<NOTE_HASHES_LEN extends number, NULLIFIERS_LEN extends number>(noteHashes: ClaimedLengthArray<ScopedNoteHash, NOTE_HASHES_LEN>, nullifiers: ClaimedLengthArray<ScopedNullifier, NULLIFIERS_LEN>, futureNoteHashReads: ScopedReadRequest[], futureNullifierReads: ScopedReadRequest[], futureLogs: PrivateLogData[], noteHashNullifierCounterMap: Map<number, number>, splitCounter: number): {
|
|
8
9
|
numTransientData: number;
|
|
9
10
|
hints: Tuple<TransientDataSquashingHint, NULLIFIERS_LEN>;
|
|
10
11
|
};
|
|
11
|
-
|
|
12
|
+
/** Counts private logs that are linked to squashed note hashes and would be removed along with them. */
|
|
13
|
+
export declare function countSquashedLogs<NOTE_HASHES_LEN extends number, LOGS_LEN extends number>(noteHashes: ClaimedLengthArray<ScopedNoteHash, NOTE_HASHES_LEN>, privateLogs: ClaimedLengthArray<ScopedPrivateLogData, LOGS_LEN>, squashingHints: TransientDataSquashingHint[]): number;
|
|
14
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVpbGRfdHJhbnNpZW50X2RhdGFfaGludHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9rZXJuZWwvaGludHMvYnVpbGRfdHJhbnNpZW50X2RhdGFfaGludHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsS0FBSyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFFekQsT0FBTyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUNyRSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUN0RCxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUN2RCxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUduRixPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRTNELE9BQU8sRUFBRSwwQkFBMEIsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBRWhGLHdCQUFnQix1QkFBdUIsQ0FBQyxlQUFlLFNBQVMsTUFBTSxFQUFFLGNBQWMsU0FBUyxNQUFNLEVBQ25HLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsZUFBZSxDQUFDLEVBQy9ELFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxlQUFlLEVBQUUsY0FBYyxDQUFDLEVBQy9ELG1CQUFtQixFQUFFLGlCQUFpQixFQUFFLEVBQ3hDLG9CQUFvQixFQUFFLGlCQUFpQixFQUFFLEVBQ3pDLFVBQVUsRUFBRSxjQUFjLEVBQUUsRUFDNUIsMkJBQTJCLEVBQUUsR0FBRyxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUMsRUFDaEQsWUFBWSxFQUFFLE1BQU0sR0FDbkI7SUFBRSxnQkFBZ0IsRUFBRSxNQUFNLENBQUM7SUFBQyxLQUFLLEVBQUUsS0FBSyxDQUFDLDBCQUEwQixFQUFFLGNBQWMsQ0FBQyxDQUFBO0NBQUUsQ0E4RHhGO0FBRUQsd0dBQXdHO0FBQ3hHLHdCQUFnQixpQkFBaUIsQ0FBQyxlQUFlLFNBQVMsTUFBTSxFQUFFLFFBQVEsU0FBUyxNQUFNLEVBQ3ZGLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsZUFBZSxDQUFDLEVBQy9ELFdBQVcsRUFBRSxrQkFBa0IsQ0FBQyxvQkFBb0IsRUFBRSxRQUFRLENBQUMsRUFDL0QsY0FBYyxFQUFFLDBCQUEwQixFQUFFLEdBQzNDLE1BQU0sQ0FHUiJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"build_transient_data_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/build_transient_data_hints.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AAEzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;
|
|
1
|
+
{"version":3,"file":"build_transient_data_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/build_transient_data_hints.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AAEzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAGnF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAE3D,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAEhF,wBAAgB,uBAAuB,CAAC,eAAe,SAAS,MAAM,EAAE,cAAc,SAAS,MAAM,EACnG,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,eAAe,CAAC,EAC/D,UAAU,EAAE,kBAAkB,CAAC,eAAe,EAAE,cAAc,CAAC,EAC/D,mBAAmB,EAAE,iBAAiB,EAAE,EACxC,oBAAoB,EAAE,iBAAiB,EAAE,EACzC,UAAU,EAAE,cAAc,EAAE,EAC5B,2BAA2B,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAChD,YAAY,EAAE,MAAM,GACnB;IAAE,gBAAgB,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC,0BAA0B,EAAE,cAAc,CAAC,CAAA;CAAE,CA8DxF;AAED,wGAAwG;AACxG,wBAAgB,iBAAiB,CAAC,eAAe,SAAS,MAAM,EAAE,QAAQ,SAAS,MAAM,EACvF,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,eAAe,CAAC,EAC/D,WAAW,EAAE,kBAAkB,CAAC,oBAAoB,EAAE,QAAQ,CAAC,EAC/D,cAAc,EAAE,0BAA0B,EAAE,GAC3C,MAAM,CAGR"}
|
|
@@ -3,17 +3,19 @@ import { isValidNoteHashReadRequest } from './build_note_hash_read_request_hints
|
|
|
3
3
|
import { isValidNullifierReadRequest } from './build_nullifier_read_request_hints.js';
|
|
4
4
|
import { ScopedValueCache } from './scoped_value_cache.js';
|
|
5
5
|
import { TransientDataSquashingHint } from './transient_data_squashing_hint.js';
|
|
6
|
-
export function buildTransientDataHints(noteHashes, nullifiers, futureNoteHashReads, futureNullifierReads, noteHashNullifierCounterMap, splitCounter) {
|
|
6
|
+
export function buildTransientDataHints(noteHashes, nullifiers, futureNoteHashReads, futureNullifierReads, futureLogs, noteHashNullifierCounterMap, splitCounter) {
|
|
7
7
|
const futureNoteHashReadsMap = new ScopedValueCache(futureNoteHashReads);
|
|
8
8
|
const futureNullifierReadsMap = new ScopedValueCache(futureNullifierReads);
|
|
9
|
+
const futureLogNoteHashCounters = new Set(futureLogs.filter((l)=>l.noteHashCounter > 0).map((l)=>l.noteHashCounter));
|
|
9
10
|
const nullifierIndexMap = new Map();
|
|
10
11
|
nullifiers.getActiveItems().forEach((n, i)=>nullifierIndexMap.set(n.counter, i));
|
|
11
12
|
const hints = [];
|
|
12
13
|
for(let noteHashIndex = 0; noteHashIndex < noteHashes.claimedLength; noteHashIndex++){
|
|
13
14
|
const noteHash = noteHashes.array[noteHashIndex];
|
|
14
15
|
const noteHashNullifierCounter = noteHashNullifierCounterMap.get(noteHash.counter);
|
|
15
|
-
// The note hash might not be linked to a nullifier or it might be read in the future
|
|
16
|
-
|
|
16
|
+
// The note hash might not be linked to a nullifier, or it might be read in the future, or a future log might be
|
|
17
|
+
// linked to it.
|
|
18
|
+
if (!noteHashNullifierCounter || futureNoteHashReadsMap.get(noteHash).find((read)=>isValidNoteHashReadRequest(read, noteHash)) || futureLogNoteHashCounters.has(noteHash.counter)) {
|
|
17
19
|
continue;
|
|
18
20
|
}
|
|
19
21
|
const nullifierIndex = nullifierIndexMap.get(noteHashNullifierCounter);
|
|
@@ -48,3 +50,7 @@ export function buildTransientDataHints(noteHashes, nullifiers, futureNoteHashRe
|
|
|
48
50
|
hints: padArrayEnd(hints, noActionHint, nullifiers.array.length)
|
|
49
51
|
};
|
|
50
52
|
}
|
|
53
|
+
/** Counts private logs that are linked to squashed note hashes and would be removed along with them. */ export function countSquashedLogs(noteHashes, privateLogs, squashingHints) {
|
|
54
|
+
const squashedNoteHashCounters = new Set(squashingHints.map((h)=>noteHashes.array[h.noteHashIndex].counter));
|
|
55
|
+
return privateLogs.getActiveItems().filter((l)=>squashedNoteHashCounters.has(l.inner.noteHashCounter)).length;
|
|
56
|
+
}
|
|
@@ -46,4 +46,4 @@ export declare class PrivateKernelResetHints<NH_RR_PENDING extends number, NH_RR
|
|
|
46
46
|
*/
|
|
47
47
|
static fromBuffer<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_HINTS_LEN extends number, TRANSIENT_DATA_HINTS_LEN extends number>(buffer: Buffer | BufferReader, numNoteHashReadRequestPending: NH_RR_PENDING, numNoteHashReadRequestSettled: NH_RR_SETTLED, numNullifierReadRequestPending: NLL_RR_PENDING, numNullifierReadRequestSettled: NLL_RR_SETTLED, numKeyValidationHints: KEY_VALIDATION_HINTS_LEN, numTransientDataSquashingHints: TRANSIENT_DATA_HINTS_LEN): PrivateKernelResetHints<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_HINTS_LEN, TRANSIENT_DATA_HINTS_LEN>;
|
|
48
48
|
}
|
|
49
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
49
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfcmVzZXRfaGludHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9rZXJuZWwvaGludHMvcHJpdmF0ZV9rZXJuZWxfcmVzZXRfaGludHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFlBQVksRUFBRSxLQUFLLEtBQUssRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUUxRixPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUM3RCxPQUFPLEVBQUUsS0FBSyx3QkFBd0IsRUFBc0MsTUFBTSxtQ0FBbUMsQ0FBQztBQUN0SCxPQUFPLEVBQUUsS0FBSyx5QkFBeUIsRUFBdUMsTUFBTSxtQ0FBbUMsQ0FBQztBQUN4SCxPQUFPLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUVoRixxQkFBYSx1QkFBdUIsQ0FDbEMsYUFBYSxTQUFTLE1BQU0sRUFDNUIsYUFBYSxTQUFTLE1BQU0sRUFDNUIsY0FBYyxTQUFTLE1BQU0sRUFDN0IsY0FBYyxTQUFTLE1BQU0sRUFDN0Isd0JBQXdCLFNBQVMsTUFBTSxFQUN2Qyx3QkFBd0IsU0FBUyxNQUFNO0lBR3JDOztPQUVHO0lBQ0ksd0JBQXdCLEVBQUUsd0JBQXdCLENBQUMsYUFBYSxFQUFFLGFBQWEsQ0FBQztJQUN2Rjs7T0FFRztJQUNJLHlCQUF5QixFQUFFLHlCQUF5QixDQUFDLGNBQWMsRUFBRSxjQUFjLENBQUM7SUFDM0Y7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxLQUFLLENBQUMsaUJBQWlCLEVBQUUsd0JBQXdCLENBQUM7SUFDN0U7O09BRUc7SUFDSSwyQkFBMkIsRUFBRSxLQUFLLENBQUMsMEJBQTBCLEVBQUUsd0JBQXdCLENBQUM7SUFoQmpHO0lBQ0U7O09BRUc7SUFDSSx3QkFBd0IsRUFBRSx3QkFBd0IsQ0FBQyxhQUFhLEVBQUUsYUFBYSxDQUFDO0lBQ3ZGOztPQUVHO0lBQ0kseUJBQXlCLEVBQUUseUJBQXlCLENBQUMsY0FBYyxFQUFFLGNBQWMsQ0FBQztJQUMzRjs7T0FFRztJQUNJLGtCQUFrQixFQUFFLEtBQUssQ0FBQyxpQkFBaUIsRUFBRSx3QkFBd0IsQ0FBQztJQUM3RTs7T0FFRztJQUNJLDJCQUEyQixFQUFFLEtBQUssQ0FBQywwQkFBMEIsRUFBRSx3QkFBd0IsQ0FBQyxFQUM3RjtJQUVKLFFBQVEsNEJBT1A7SUFFRCxXQUFXLENBQ1QsNkJBQTZCLEVBQUUsTUFBTSxFQUNyQyw2QkFBNkIsRUFBRSxNQUFNLEVBQ3JDLDhCQUE4QixFQUFFLE1BQU0sRUFDdEMsOEJBQThCLEVBQUUsTUFBTSxFQUN0QyxxQkFBcUIsRUFBRSxNQUFNLEVBQzdCLDhCQUE4QixFQUFFLE1BQU0sMkVBbUJ2QztJQUNEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUNmLGFBQWEsU0FBUyxNQUFNLEVBQzVCLGFBQWEsU0FBUyxNQUFNLEVBQzVCLGNBQWMsU0FBUyxNQUFNLEVBQzdCLGNBQWMsU0FBUyxNQUFNLEVBQzdCLHdCQUF3QixTQUFTLE1BQU0sRUFDdkMsd0JBQXdCLFNBQVMsTUFBTSxFQUV2QyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksRUFDN0IsNkJBQTZCLEVBQUUsYUFBYSxFQUM1Qyw2QkFBNkIsRUFBRSxhQUFhLEVBQzVDLDhCQUE4QixFQUFFLGNBQWMsRUFDOUMsOEJBQThCLEVBQUUsY0FBYyxFQUM5QyxxQkFBcUIsRUFBRSx3QkFBd0IsRUFDL0MsOEJBQThCLEVBQUUsd0JBQXdCLEdBQ3ZELHVCQUF1QixDQUN4QixhQUFhLEVBQ2IsYUFBYSxFQUNiLGNBQWMsRUFDZCxjQUFjLEVBQ2Qsd0JBQXdCLEVBQ3hCLHdCQUF3QixDQUN6QixDQWlCQTtDQUNGIn0=
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"private_kernel_reset_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/private_kernel_reset_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,KAAK,wBAAwB,EAAsC,MAAM,mCAAmC,CAAC;AACtH,OAAO,EAAE,KAAK,yBAAyB,EAAuC,MAAM,mCAAmC,CAAC;AACxH,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAEhF,qBAAa,uBAAuB,CAClC,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,wBAAwB,SAAS,MAAM,EACvC,wBAAwB,SAAS,MAAM;IAGrC;;OAEG;IACI,wBAAwB,EAAE,wBAAwB,CAAC,aAAa,EAAE,aAAa,CAAC;IACvF;;OAEG;IACI,yBAAyB,EAAE,yBAAyB,CAAC,cAAc,EAAE,cAAc,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;IAC7E;;OAEG;IACI,2BAA2B,EAAE,KAAK,CAAC,0BAA0B,EAAE,wBAAwB,CAAC;IAhBjG;IACE;;OAEG;IACI,wBAAwB,EAAE,wBAAwB,CAAC,aAAa,EAAE,aAAa,CAAC;IACvF;;OAEG;IACI,yBAAyB,EAAE,yBAAyB,CAAC,cAAc,EAAE,cAAc,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;IAC7E;;OAEG;IACI,2BAA2B,EAAE,KAAK,CAAC,0BAA0B,EAAE,wBAAwB,CAAC,EAC7F;IAEJ,QAAQ,4BAOP;IAED,WAAW,CACT,6BAA6B,EAAE,MAAM,EACrC,6BAA6B,EAAE,MAAM,EACrC,8BAA8B,EAAE,MAAM,EACtC,8BAA8B,EAAE,MAAM,EACtC,qBAAqB,EAAE,MAAM,EAC7B,8BAA8B,EAAE,MAAM,2EAmBvC;IACD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CACf,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,wBAAwB,SAAS,MAAM,EACvC,wBAAwB,SAAS,MAAM,EAEvC,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,6BAA6B,EAAE,aAAa,EAC5C,6BAA6B,EAAE,aAAa,EAC5C,8BAA8B,EAAE,cAAc,EAC9C,8BAA8B,EAAE,cAAc,EAC9C,qBAAqB,EAAE,wBAAwB,EAC/C,8BAA8B,EAAE,wBAAwB,GACvD,uBAAuB,CACxB,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,wBAAwB,CACzB,
|
|
1
|
+
{"version":3,"file":"private_kernel_reset_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/private_kernel_reset_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,KAAK,wBAAwB,EAAsC,MAAM,mCAAmC,CAAC;AACtH,OAAO,EAAE,KAAK,yBAAyB,EAAuC,MAAM,mCAAmC,CAAC;AACxH,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAEhF,qBAAa,uBAAuB,CAClC,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,wBAAwB,SAAS,MAAM,EACvC,wBAAwB,SAAS,MAAM;IAGrC;;OAEG;IACI,wBAAwB,EAAE,wBAAwB,CAAC,aAAa,EAAE,aAAa,CAAC;IACvF;;OAEG;IACI,yBAAyB,EAAE,yBAAyB,CAAC,cAAc,EAAE,cAAc,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;IAC7E;;OAEG;IACI,2BAA2B,EAAE,KAAK,CAAC,0BAA0B,EAAE,wBAAwB,CAAC;IAhBjG;IACE;;OAEG;IACI,wBAAwB,EAAE,wBAAwB,CAAC,aAAa,EAAE,aAAa,CAAC;IACvF;;OAEG;IACI,yBAAyB,EAAE,yBAAyB,CAAC,cAAc,EAAE,cAAc,CAAC;IAC3F;;OAEG;IACI,kBAAkB,EAAE,KAAK,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;IAC7E;;OAEG;IACI,2BAA2B,EAAE,KAAK,CAAC,0BAA0B,EAAE,wBAAwB,CAAC,EAC7F;IAEJ,QAAQ,4BAOP;IAED,WAAW,CACT,6BAA6B,EAAE,MAAM,EACrC,6BAA6B,EAAE,MAAM,EACrC,8BAA8B,EAAE,MAAM,EACtC,8BAA8B,EAAE,MAAM,EACtC,qBAAqB,EAAE,MAAM,EAC7B,8BAA8B,EAAE,MAAM,2EAmBvC;IACD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CACf,aAAa,SAAS,MAAM,EAC5B,aAAa,SAAS,MAAM,EAC5B,cAAc,SAAS,MAAM,EAC7B,cAAc,SAAS,MAAM,EAC7B,wBAAwB,SAAS,MAAM,EACvC,wBAAwB,SAAS,MAAM,EAEvC,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,6BAA6B,EAAE,aAAa,EAC5C,6BAA6B,EAAE,aAAa,EAC5C,8BAA8B,EAAE,cAAc,EAC9C,8BAA8B,EAAE,cAAc,EAC9C,qBAAqB,EAAE,wBAAwB,EAC/C,8BAA8B,EAAE,wBAAwB,GACvD,uBAAuB,CACxB,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,wBAAwB,CACzB,CAiBA;CACF"}
|
|
@@ -17,7 +17,7 @@ export class PaddedSideEffects {
|
|
|
17
17
|
}
|
|
18
18
|
static fromBuffer(buffer) {
|
|
19
19
|
const reader = BufferReader.asReader(buffer);
|
|
20
|
-
return new PaddedSideEffects(reader.
|
|
20
|
+
return new PaddedSideEffects(reader.readTuple(MAX_NOTE_HASHES_PER_TX, Fr), reader.readTuple(MAX_NULLIFIERS_PER_TX, Fr), reader.readTuple(MAX_PRIVATE_LOGS_PER_TX, PrivateLog));
|
|
21
21
|
}
|
|
22
22
|
static empty() {
|
|
23
23
|
return new PaddedSideEffects(makeTuple(MAX_NOTE_HASHES_PER_TX, Fr.zero), makeTuple(MAX_NULLIFIERS_PER_TX, Fr.zero), makeTuple(MAX_PRIVATE_LOGS_PER_TX, PrivateLog.empty));
|
|
@@ -105,6 +105,7 @@ export declare class PrivateKernelTailCircuitPublicInputs {
|
|
|
105
105
|
getRevertiblePublicCallRequests(): PublicCallRequest[];
|
|
106
106
|
getTeardownPublicCallRequest(): PublicCallRequest | undefined;
|
|
107
107
|
getNonEmptyNoteHashes(): Fr[];
|
|
108
|
+
getNonEmptyL2ToL1Msgs(): import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
|
|
108
109
|
getNonEmptyNullifiers(): Fr[];
|
|
109
110
|
getNonEmptyPrivateLogs(): PrivateLog[];
|
|
110
111
|
getNonEmptyContractClassLogsHashes(): ScopedLogHash[];
|
|
@@ -120,4 +121,4 @@ export declare class PrivateKernelTailCircuitPublicInputs {
|
|
|
120
121
|
*/
|
|
121
122
|
static emptyWithNullifier(): PrivateKernelTailCircuitPublicInputs;
|
|
122
123
|
}
|
|
123
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
124
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJpdmF0ZV9rZXJuZWxfdGFpbF9jaXJjdWl0X3B1YmxpY19pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvcHJpdmF0ZV9rZXJuZWxfdGFpbF9jaXJjdWl0X3B1YmxpY19pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXBELE9BQU8sRUFBRSxZQUFZLEVBQXVDLE1BQU0sNkJBQTZCLENBQUM7QUFFaEcsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxHQUFHLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFDcEMsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDbkQsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQzNELE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQ2pELE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLGVBQWUsQ0FBQztBQUNuRCxPQUFPLEVBQUUsOEJBQThCLEVBQUUsTUFBTSx5Q0FBeUMsQ0FBQztBQUN6RixPQUFPLEVBQUUsd0NBQXdDLEVBQUUsTUFBTSxxREFBcUQsQ0FBQztBQUMvRyxPQUFPLEVBQUUsOEJBQThCLEVBQUUsTUFBTSx5Q0FBeUMsQ0FBQztBQUN6RixPQUFPLEVBQUUsd0NBQXdDLEVBQUUsTUFBTSxxREFBcUQsQ0FBQztBQUMvRyxPQUFPLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUc3RCxxQkFBYSx1Q0FBdUM7SUFFaEQ7O09BRUc7SUFDSSw0QkFBNEIsRUFBRSw4QkFBOEI7SUFDbkU7O09BRUc7SUFDSSx5QkFBeUIsRUFBRSw4QkFBOEI7SUFDaEU7O09BRUc7SUFDSSx5QkFBeUIsRUFBRSxpQkFBaUI7SUFackQ7SUFDRTs7T0FFRztJQUNJLDRCQUE0QixFQUFFLDhCQUE4QjtJQUNuRTs7T0FFRztJQUNJLHlCQUF5QixFQUFFLDhCQUE4QjtJQUNoRTs7T0FFRztJQUNJLHlCQUF5QixFQUFFLGlCQUFpQixFQUNqRDtJQUVKLE9BQU8sV0FNTjtJQUVELElBQUksVUFBVSxZQUViO0lBRUQsSUFBSSxhQUFhLFlBRWhCO0lBRUQsSUFBSSxhQUFhLFlBRWhCO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyx1Q0FBdUMsQ0FPeEY7SUFFRCxRQUFRLDRCQU1QO0lBRUQsTUFBTSxDQUFDLEtBQUssNENBTVg7Q0FDRjtBQUVELHFCQUFhLHVDQUF1QztJQUMvQixHQUFHLEVBQUUsOEJBQThCO0lBQXRELFlBQW1CLEdBQUcsRUFBRSw4QkFBOEIsRUFBSTtJQUUxRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLHVDQUF1QyxDQUd4RjtJQUVELE9BQU8sV0FFTjtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsS0FBSyw0Q0FFWDtDQUNGO0FBRUQscUJBQWEsb0NBQW9DO0lBRTdDOztPQUVHO0lBQ0ksU0FBUyxFQUFFLGNBQWM7SUFDaEM7OztPQUdHO0lBQ0ksT0FBTyxFQUFFLEdBQUc7SUFDbkI7O09BRUc7SUFDSSxRQUFRLEVBQUUsWUFBWTtJQUM3Qjs7T0FFRztJQUNJLG1CQUFtQixFQUFFLE1BQU07SUFFM0IsU0FBUyxDQUFDO0lBQ1YsU0FBUyxDQUFDO0lBcEJuQjtJQUNFOztPQUVHO0lBQ0ksU0FBUyxFQUFFLGNBQWM7SUFDaEM7OztPQUdHO0lBQ0ksT0FBTyxFQUFFLEdBQUc7SUFDbkI7O09BRUc7SUFDSSxRQUFRLEVBQUUsWUFBWTtJQUM3Qjs7T0FFRztJQUNJLG1CQUFtQixFQUFFLE1BQU0sRUFFM0IsU0FBUyxDQUFDLHFEQUF5QyxFQUNuRCxTQUFTLENBQUMscURBQXlDLEVBVTNEO0lBRUQsTUFBTSxLQUFLLE1BQU0sNkVBRWhCO0lBRUQsTUFBTSw0QkFFTDtJQUVELE9BQU8sV0FTTjtJQUVELDBDQUEwQyw2Q0FhekM7SUFFRCwwQ0FBMEMsNkNBaUJ6QztJQUVELFlBQVksSUFBSSx3Q0FBd0MsR0FBRyx3Q0FBd0MsQ0FJbEc7SUFFRCwwQkFBMEIsV0FNekI7SUFFRCx1Q0FBdUMsV0FFdEM7SUFFRCxvQ0FBb0MsV0FFbkM7SUFFRCw0QkFBNEIsWUFFM0I7SUFFRCxrQ0FBa0Msd0JBSWpDO0lBRUQsK0JBQStCLHdCQUU5QjtJQUVELDRCQUE0QixrQ0FHM0I7SUFFRCxxQkFBcUIsU0FPcEI7SUFFRCxxQkFBcUIscUVBT3BCO0lBRUQscUJBQXFCLFNBT3BCO0lBRUQsc0JBQXNCLGlCQU9yQjtJQUVELGtDQUFrQyxvQkFPakM7SUFFRCxpQ0FBaUMsV0FPaEM7SUFFRCwyQkFBMkIsV0FNMUI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLG9DQUFvQyxDQVdyRjtJQUVELFFBQVEsNEJBVVA7SUFFRCxNQUFNLENBQUMsS0FBSyx5Q0FTWDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsa0JBQWtCLHlDQVd4QjtDQUNGIn0=
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"private_kernel_tail_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_tail_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D,qBAAa,uCAAuC;IAEhD;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IAZrD;IACE;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB,EACjD;IAEJ,OAAO,WAMN;IAED,IAAI,UAAU,YAEb;IAED,IAAI,aAAa,YAEhB;IAED,IAAI,aAAa,YAEhB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC,CAOxF;IAED,QAAQ,4BAMP;IAED,MAAM,CAAC,KAAK,4CAMX;CACF;AAED,qBAAa,uCAAuC;IAC/B,GAAG,EAAE,8BAA8B;IAAtD,YAAmB,GAAG,EAAE,8BAA8B,EAAI;IAE1D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC,CAGxF;IAED,OAAO,WAEN;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,KAAK,4CAEX;CACF;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,mBAAmB,EAAE,MAAM;IAE3B,SAAS,CAAC;IACV,SAAS,CAAC;IApBnB;IACE;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,mBAAmB,EAAE,MAAM,EAE3B,SAAS,CAAC,qDAAyC,EACnD,SAAS,CAAC,qDAAyC,EAU3D;IAED,MAAM,KAAK,MAAM,6EAEhB;IAED,MAAM,4BAEL;IAED,OAAO,WASN;IAED,0CAA0C,6CAazC;IAED,0CAA0C,6CAiBzC;IAED,YAAY,IAAI,wCAAwC,GAAG,wCAAwC,CAIlG;IAED,0BAA0B,WAMzB;IAED,uCAAuC,WAEtC;IAED,oCAAoC,WAEnC;IAED,4BAA4B,YAE3B;IAED,kCAAkC,wBAIjC;IAED,+BAA+B,wBAE9B;IAED,4BAA4B,kCAG3B;IAED,qBAAqB,SAOpB;IAED,qBAAqB,SAOpB;IAED,sBAAsB,iBAOrB;IAED,kCAAkC,oBAOjC;IAED,iCAAiC,WAOhC;IAED,2BAA2B,WAM1B;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oCAAoC,CAWrF;IAED,QAAQ,4BAUP;IAED,MAAM,CAAC,KAAK,yCASX;IAED;;;;OAIG;IACH,MAAM,CAAC,kBAAkB,yCAWxB;CACF"}
|
|
1
|
+
{"version":3,"file":"private_kernel_tail_circuit_public_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/private_kernel_tail_circuit_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D,qBAAa,uCAAuC;IAEhD;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB;IAZrD;IACE;;OAEG;IACI,4BAA4B,EAAE,8BAA8B;IACnE;;OAEG;IACI,yBAAyB,EAAE,8BAA8B;IAChE;;OAEG;IACI,yBAAyB,EAAE,iBAAiB,EACjD;IAEJ,OAAO,WAMN;IAED,IAAI,UAAU,YAEb;IAED,IAAI,aAAa,YAEhB;IAED,IAAI,aAAa,YAEhB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC,CAOxF;IAED,QAAQ,4BAMP;IAED,MAAM,CAAC,KAAK,4CAMX;CACF;AAED,qBAAa,uCAAuC;IAC/B,GAAG,EAAE,8BAA8B;IAAtD,YAAmB,GAAG,EAAE,8BAA8B,EAAI;IAE1D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uCAAuC,CAGxF;IAED,OAAO,WAEN;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,KAAK,4CAEX;CACF;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,mBAAmB,EAAE,MAAM;IAE3B,SAAS,CAAC;IACV,SAAS,CAAC;IApBnB;IACE;;OAEG;IACI,SAAS,EAAE,cAAc;IAChC;;;OAGG;IACI,OAAO,EAAE,GAAG;IACnB;;OAEG;IACI,QAAQ,EAAE,YAAY;IAC7B;;OAEG;IACI,mBAAmB,EAAE,MAAM,EAE3B,SAAS,CAAC,qDAAyC,EACnD,SAAS,CAAC,qDAAyC,EAU3D;IAED,MAAM,KAAK,MAAM,6EAEhB;IAED,MAAM,4BAEL;IAED,OAAO,WASN;IAED,0CAA0C,6CAazC;IAED,0CAA0C,6CAiBzC;IAED,YAAY,IAAI,wCAAwC,GAAG,wCAAwC,CAIlG;IAED,0BAA0B,WAMzB;IAED,uCAAuC,WAEtC;IAED,oCAAoC,WAEnC;IAED,4BAA4B,YAE3B;IAED,kCAAkC,wBAIjC;IAED,+BAA+B,wBAE9B;IAED,4BAA4B,kCAG3B;IAED,qBAAqB,SAOpB;IAED,qBAAqB,qEAOpB;IAED,qBAAqB,SAOpB;IAED,sBAAsB,iBAOrB;IAED,kCAAkC,oBAOjC;IAED,iCAAiC,WAOhC;IAED,2BAA2B,WAM1B;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oCAAoC,CAWrF;IAED,QAAQ,4BAUP;IAED,MAAM,CAAC,KAAK,yCASX;IAED;;;;OAIG;IACH,MAAM,CAAC,kBAAkB,yCAWxB;CACF"}
|
|
@@ -149,6 +149,10 @@ export class PrivateKernelTailCircuitPublicInputs {
|
|
|
149
149
|
const noteHashes = this.forPublic ? this.forPublic.nonRevertibleAccumulatedData.noteHashes.concat(this.forPublic.revertibleAccumulatedData.noteHashes) : this.forRollup.end.noteHashes;
|
|
150
150
|
return noteHashes.filter((n)=>!n.isZero());
|
|
151
151
|
}
|
|
152
|
+
getNonEmptyL2ToL1Msgs() {
|
|
153
|
+
const l2ToL1Msgs = this.forPublic ? this.forPublic.nonRevertibleAccumulatedData.l2ToL1Msgs.concat(this.forPublic.revertibleAccumulatedData.l2ToL1Msgs) : this.forRollup.end.l2ToL1Msgs;
|
|
154
|
+
return l2ToL1Msgs.filter((m)=>!m.isEmpty());
|
|
155
|
+
}
|
|
152
156
|
getNonEmptyNullifiers() {
|
|
153
157
|
const nullifiers = this.forPublic ? this.forPublic.nonRevertibleAccumulatedData.nullifiers.concat(this.forPublic.revertibleAccumulatedData.nullifiers) : this.forRollup.end.nullifiers;
|
|
154
158
|
return nullifiers.filter((n)=>!n.isZero());
|
|
@@ -41,7 +41,7 @@ export class PrivateToAvmAccumulatedData {
|
|
|
41
41
|
}
|
|
42
42
|
static fromFields(fields) {
|
|
43
43
|
const reader = FieldReader.asReader(fields);
|
|
44
|
-
return new this(reader.readFieldArray(MAX_NOTE_HASHES_PER_TX), reader.readFieldArray(MAX_NULLIFIERS_PER_TX), reader.
|
|
44
|
+
return new this(reader.readFieldArray(MAX_NOTE_HASHES_PER_TX), reader.readFieldArray(MAX_NULLIFIERS_PER_TX), reader.readTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message));
|
|
45
45
|
}
|
|
46
46
|
toFields() {
|
|
47
47
|
const fields = serializeToFields(...PrivateToAvmAccumulatedData.getFields(this));
|
|
@@ -55,7 +55,7 @@ export class PrivateToAvmAccumulatedData {
|
|
|
55
55
|
}
|
|
56
56
|
static fromBuffer(buffer) {
|
|
57
57
|
const reader = BufferReader.asReader(buffer);
|
|
58
|
-
return new PrivateToAvmAccumulatedData(reader.
|
|
58
|
+
return new PrivateToAvmAccumulatedData(reader.readTuple(MAX_NOTE_HASHES_PER_TX, Fr), reader.readTuple(MAX_NULLIFIERS_PER_TX, Fr), reader.readTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message));
|
|
59
59
|
}
|
|
60
60
|
toBuffer() {
|
|
61
61
|
return serializeToBuffer(...PrivateToAvmAccumulatedData.getFields(this));
|
|
@@ -40,14 +40,14 @@ export class PrivateToPublicAccumulatedData {
|
|
|
40
40
|
}
|
|
41
41
|
static fromFields(fields) {
|
|
42
42
|
const reader = FieldReader.asReader(fields);
|
|
43
|
-
return new this(reader.readFieldArray(MAX_NOTE_HASHES_PER_TX), reader.readFieldArray(MAX_NULLIFIERS_PER_TX), reader.
|
|
43
|
+
return new this(reader.readFieldArray(MAX_NOTE_HASHES_PER_TX), reader.readFieldArray(MAX_NULLIFIERS_PER_TX), reader.readTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message), reader.readTuple(MAX_PRIVATE_LOGS_PER_TX, PrivateLog), reader.readTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ScopedLogHash), reader.readTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest));
|
|
44
44
|
}
|
|
45
45
|
static from(fields) {
|
|
46
46
|
return new PrivateToPublicAccumulatedData(...PrivateToPublicAccumulatedData.getFields(fields));
|
|
47
47
|
}
|
|
48
48
|
static fromBuffer(buffer) {
|
|
49
49
|
const reader = BufferReader.asReader(buffer);
|
|
50
|
-
return new PrivateToPublicAccumulatedData(reader.
|
|
50
|
+
return new PrivateToPublicAccumulatedData(reader.readTuple(MAX_NOTE_HASHES_PER_TX, Fr), reader.readTuple(MAX_NULLIFIERS_PER_TX, Fr), reader.readTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message), reader.readTuple(MAX_PRIVATE_LOGS_PER_TX, PrivateLog), reader.readTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ScopedLogHash), reader.readTuple(MAX_ENQUEUED_CALLS_PER_TX, PublicCallRequest));
|
|
51
51
|
}
|
|
52
52
|
toBuffer() {
|
|
53
53
|
return serializeToBuffer(...PrivateToPublicAccumulatedData.getFields(this));
|
|
@@ -70,7 +70,7 @@ _computedKey = inspect.custom;
|
|
|
70
70
|
* @returns Deserialized object.
|
|
71
71
|
*/ static fromBuffer(buffer) {
|
|
72
72
|
const reader = BufferReader.asReader(buffer);
|
|
73
|
-
return new PrivateToRollupAccumulatedData(reader.
|
|
73
|
+
return new PrivateToRollupAccumulatedData(reader.readTuple(MAX_NOTE_HASHES_PER_TX, Fr), reader.readTuple(MAX_NULLIFIERS_PER_TX, Fr), reader.readTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message), reader.readTuple(MAX_PRIVATE_LOGS_PER_TX, PrivateLog), reader.readTuple(MAX_CONTRACT_CLASS_LOGS_PER_TX, ScopedLogHash));
|
|
74
74
|
}
|
|
75
75
|
/**
|
|
76
76
|
* Deserializes from a string, corresponding to a write in cpp.
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
import type { TxReceipt } from '../tx/tx_receipt.js';
|
|
2
|
+
import type { DebugLog } from './debug_log.js';
|
|
3
|
+
/**
|
|
4
|
+
* Store for debug logs emitted by public functions during transaction execution.
|
|
5
|
+
*
|
|
6
|
+
* Uses the Null Object pattern: production code uses NullDebugLogStore (no-op), while test mode uses
|
|
7
|
+
* InMemoryDebugLogStore (stores and serves logs).
|
|
8
|
+
*/
|
|
9
|
+
export interface DebugLogStore {
|
|
10
|
+
/** Store debug logs for a processed transaction. */
|
|
11
|
+
storeLogs(txHash: string, logs: DebugLog[]): void;
|
|
12
|
+
/** Decorate a TxReceipt with any stored debug logs for the given tx. */
|
|
13
|
+
decorateReceiptWithLogs(txHash: string, receipt: TxReceipt): void;
|
|
14
|
+
/** Whether debug log collection is enabled. */
|
|
15
|
+
readonly isEnabled: boolean;
|
|
16
|
+
}
|
|
17
|
+
/** No-op implementation for production mode. */
|
|
18
|
+
export declare class NullDebugLogStore implements DebugLogStore {
|
|
19
|
+
storeLogs(_txHash: string, _logs: DebugLog[]): void;
|
|
20
|
+
decorateReceiptWithLogs(_txHash: string, _receipt: TxReceipt): void;
|
|
21
|
+
get isEnabled(): boolean;
|
|
22
|
+
}
|
|
23
|
+
/** In-memory implementation for test mode that stores and serves debug logs. */
|
|
24
|
+
export declare class InMemoryDebugLogStore implements DebugLogStore {
|
|
25
|
+
private map;
|
|
26
|
+
storeLogs(txHash: string, logs: DebugLog[]): void;
|
|
27
|
+
decorateReceiptWithLogs(txHash: string, receipt: TxReceipt): void;
|
|
28
|
+
get isEnabled(): boolean;
|
|
29
|
+
}
|
|
30
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZGVidWdfbG9nX3N0b3JlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbG9ncy9kZWJ1Z19sb2dfc3RvcmUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDckQsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0sZ0JBQWdCLENBQUM7QUFFL0M7Ozs7O0dBS0c7QUFDSCxNQUFNLFdBQVcsYUFBYTtJQUM1QixvREFBb0Q7SUFDcEQsU0FBUyxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLFFBQVEsRUFBRSxHQUFHLElBQUksQ0FBQztJQUNsRCx3RUFBd0U7SUFDeEUsdUJBQXVCLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxPQUFPLEVBQUUsU0FBUyxHQUFHLElBQUksQ0FBQztJQUNsRSwrQ0FBK0M7SUFDL0MsUUFBUSxDQUFDLFNBQVMsRUFBRSxPQUFPLENBQUM7Q0FDN0I7QUFFRCxnREFBZ0Q7QUFDaEQscUJBQWEsaUJBQWtCLFlBQVcsYUFBYTtJQUNyRCxTQUFTLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxLQUFLLEVBQUUsUUFBUSxFQUFFLEdBQUcsSUFBSSxDQUVsRDtJQUNELHVCQUF1QixDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsUUFBUSxFQUFFLFNBQVMsR0FBRyxJQUFJLENBRWxFO0lBQ0QsSUFBSSxTQUFTLElBQUksT0FBTyxDQUV2QjtDQUNGO0FBRUQsZ0ZBQWdGO0FBQ2hGLHFCQUFhLHFCQUFzQixZQUFXLGFBQWE7SUFDekQsT0FBTyxDQUFDLEdBQUcsQ0FBaUM7SUFFNUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLFFBQVEsRUFBRSxHQUFHLElBQUksQ0FJaEQ7SUFFRCx1QkFBdUIsQ0FBQyxNQUFNLEVBQUUsTUFBTSxFQUFFLE9BQU8sRUFBRSxTQUFTLEdBQUcsSUFBSSxDQU9oRTtJQUVELElBQUksU0FBUyxJQUFJLE9BQU8sQ0FFdkI7Q0FDRiJ9
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"debug_log_store.d.ts","sourceRoot":"","sources":["../../src/logs/debug_log_store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,oDAAoD;IACpD,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAClD,wEAAwE;IACxE,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,GAAG,IAAI,CAAC;IAClE,+CAA+C;IAC/C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,gDAAgD;AAChD,qBAAa,iBAAkB,YAAW,aAAa;IACrD,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,CAElD;IACD,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,GAAG,IAAI,CAElE;IACD,IAAI,SAAS,IAAI,OAAO,CAEvB;CACF;AAED,gFAAgF;AAChF,qBAAa,qBAAsB,YAAW,aAAa;IACzD,OAAO,CAAC,GAAG,CAAiC;IAE5C,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,CAIhD;IAED,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,GAAG,IAAI,CAOhE;IAED,IAAI,SAAS,IAAI,OAAO,CAEvB;CACF"}
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
/** No-op implementation for production mode. */ export class NullDebugLogStore {
|
|
2
|
+
storeLogs(_txHash, _logs) {
|
|
3
|
+
return;
|
|
4
|
+
}
|
|
5
|
+
decorateReceiptWithLogs(_txHash, _receipt) {
|
|
6
|
+
return;
|
|
7
|
+
}
|
|
8
|
+
get isEnabled() {
|
|
9
|
+
return false;
|
|
10
|
+
}
|
|
11
|
+
}
|
|
12
|
+
/** In-memory implementation for test mode that stores and serves debug logs. */ export class InMemoryDebugLogStore {
|
|
13
|
+
map = new Map();
|
|
14
|
+
storeLogs(txHash, logs) {
|
|
15
|
+
if (logs.length > 0) {
|
|
16
|
+
this.map.set(txHash, logs);
|
|
17
|
+
}
|
|
18
|
+
}
|
|
19
|
+
decorateReceiptWithLogs(txHash, receipt) {
|
|
20
|
+
if (receipt.isMined()) {
|
|
21
|
+
const debugLogs = this.map.get(txHash);
|
|
22
|
+
if (debugLogs) {
|
|
23
|
+
receipt.debugLogs = debugLogs;
|
|
24
|
+
}
|
|
25
|
+
}
|
|
26
|
+
}
|
|
27
|
+
get isEnabled() {
|
|
28
|
+
return true;
|
|
29
|
+
}
|
|
30
|
+
}
|
|
@@ -0,0 +1,47 @@
|
|
|
1
|
+
import { type Fq, Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
+
import { z } from 'zod';
|
|
3
|
+
import { AztecAddress } from '../aztec-address/index.js';
|
|
4
|
+
import type { CompleteAddress } from '../contract/complete_address.js';
|
|
5
|
+
/**
|
|
6
|
+
* Extended directional application tagging secret used for log tagging.
|
|
7
|
+
*
|
|
8
|
+
* "Extended" because it bundles the directional app tagging secret with the app (contract) address. This bundling was
|
|
9
|
+
* done because where this type is used we commonly need access to both the secret and the address.
|
|
10
|
+
*
|
|
11
|
+
* "Directional" because the derived secret is bound to the recipient address: A→B differs from B→A even with the same
|
|
12
|
+
* participants and app.
|
|
13
|
+
*
|
|
14
|
+
* Note: It's a bit unfortunate that this type resides in `stdlib` as the rest of the tagging functionality resides in
|
|
15
|
+
* `pxe/src/tagging`. We need to use this type in `PreTag` that in turn is used by other types in stdlib hence there
|
|
16
|
+
* doesn't seem to be a good way around this.
|
|
17
|
+
*/
|
|
18
|
+
export declare class ExtendedDirectionalAppTaggingSecret {
|
|
19
|
+
readonly secret: Fr;
|
|
20
|
+
readonly app: AztecAddress;
|
|
21
|
+
constructor(secret: Fr, app: AztecAddress);
|
|
22
|
+
/**
|
|
23
|
+
* Derives shared tagging secret and from that, the app address and recipient derives the directional app tagging
|
|
24
|
+
* secret. Returns undefined if `externalAddress` is an invalid address.
|
|
25
|
+
*
|
|
26
|
+
* @param localAddress - The complete address of entity A in the shared tagging secret derivation scheme
|
|
27
|
+
* @param localIvsk - The incoming viewing secret key of entity A
|
|
28
|
+
* @param externalAddress - The address of entity B in the shared tagging secret derivation scheme
|
|
29
|
+
* @param app - Contract address to silo the secret to
|
|
30
|
+
* @param recipient - Recipient of the log. Defines the "direction of the secret".
|
|
31
|
+
* @returns The secret that can be used along with an index to compute a tag to be included in a log.
|
|
32
|
+
*/
|
|
33
|
+
static compute(localAddress: CompleteAddress, localIvsk: Fq, externalAddress: AztecAddress, app: AztecAddress, recipient: AztecAddress): Promise<ExtendedDirectionalAppTaggingSecret | undefined>;
|
|
34
|
+
toString(): string;
|
|
35
|
+
static fromString(str: string): ExtendedDirectionalAppTaggingSecret;
|
|
36
|
+
}
|
|
37
|
+
export declare const ExtendedDirectionalAppTaggingSecretSchema: z.ZodObject<{
|
|
38
|
+
secret: z.ZodType<Fr, any, string>;
|
|
39
|
+
app: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
|
|
40
|
+
}, "strip", z.ZodTypeAny, {
|
|
41
|
+
secret: Fr;
|
|
42
|
+
app: AztecAddress;
|
|
43
|
+
}, {
|
|
44
|
+
secret: string;
|
|
45
|
+
app?: any;
|
|
46
|
+
}>;
|
|
47
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXh0ZW5kZWRfZGlyZWN0aW9uYWxfYXBwX3RhZ2dpbmdfc2VjcmV0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbG9ncy9leHRlbmRlZF9kaXJlY3Rpb25hbF9hcHBfdGFnZ2luZ19zZWNyZXQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxFQUFFLEtBQUssRUFBRSxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRzdELE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBR3ZFOzs7Ozs7Ozs7Ozs7R0FZRztBQUNILHFCQUFhLG1DQUFtQzthQUU1QixNQUFNLEVBQUUsRUFBRTthQUNWLEdBQUcsRUFBRSxZQUFZO0lBRm5DLFlBQ2tCLE1BQU0sRUFBRSxFQUFFLEVBQ1YsR0FBRyxFQUFFLFlBQVksRUFDL0I7SUFFSjs7Ozs7Ozs7OztPQVVHO0lBQ0gsT0FBYSxPQUFPLENBQ2xCLFlBQVksRUFBRSxlQUFlLEVBQzdCLFNBQVMsRUFBRSxFQUFFLEVBQ2IsZUFBZSxFQUFFLFlBQVksRUFDN0IsR0FBRyxFQUFFLFlBQVksRUFDakIsU0FBUyxFQUFFLFlBQVksR0FDdEIsT0FBTyxDQUFDLG1DQUFtQyxHQUFHLFNBQVMsQ0FBQyxDQVUxRDtJQUVELFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLG1DQUFtQyxDQUdsRTtDQUNGO0FBMkJELGVBQU8sTUFBTSx5Q0FBeUM7Ozs7Ozs7OztFQUdwRCxDQUFDIn0=
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"extended_directional_app_tagging_secret.d.ts","sourceRoot":"","sources":["../../src/logs/extended_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,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAGvE;;;;;;;;;;;;GAYG;AACH,qBAAa,mCAAmC;aAE5B,MAAM,EAAE,EAAE;aACV,GAAG,EAAE,YAAY;IAFnC,YACkB,MAAM,EAAE,EAAE,EACV,GAAG,EAAE,YAAY,EAC/B;IAEJ;;;;;;;;;;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,mCAAmC,GAAG,SAAS,CAAC,CAU1D;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mCAAmC,CAGlE;CACF;AA2BD,eAAO,MAAM,yCAAyC;;;;;;;;;EAGpD,CAAC"}
|
package/dest/logs/{directional_app_tagging_secret.js → extended_directional_app_tagging_secret.js}
RENAMED
|
@@ -2,24 +2,30 @@ import { Grumpkin } from '@aztec/foundation/crypto/grumpkin';
|
|
|
2
2
|
import { poseidon2Hash } from '@aztec/foundation/crypto/poseidon';
|
|
3
3
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
4
|
import { z } from 'zod';
|
|
5
|
+
import { AztecAddress } from '../aztec-address/index.js';
|
|
5
6
|
import { computeAddressSecret, computePreaddress } from '../keys/derivation.js';
|
|
6
7
|
/**
|
|
7
|
-
*
|
|
8
|
+
* Extended directional application tagging secret used for log tagging.
|
|
8
9
|
*
|
|
9
|
-
* "
|
|
10
|
-
*
|
|
10
|
+
* "Extended" because it bundles the directional app tagging secret with the app (contract) address. This bundling was
|
|
11
|
+
* done because where this type is used we commonly need access to both the secret and the address.
|
|
11
12
|
*
|
|
12
|
-
*
|
|
13
|
-
*
|
|
14
|
-
*
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
13
|
+
* "Directional" because the derived secret is bound to the recipient address: A→B differs from B→A even with the same
|
|
14
|
+
* participants and app.
|
|
15
|
+
*
|
|
16
|
+
* Note: It's a bit unfortunate that this type resides in `stdlib` as the rest of the tagging functionality resides in
|
|
17
|
+
* `pxe/src/tagging`. We need to use this type in `PreTag` that in turn is used by other types in stdlib hence there
|
|
18
|
+
* doesn't seem to be a good way around this.
|
|
19
|
+
*/ export class ExtendedDirectionalAppTaggingSecret {
|
|
20
|
+
secret;
|
|
21
|
+
app;
|
|
22
|
+
constructor(secret, app){
|
|
23
|
+
this.secret = secret;
|
|
24
|
+
this.app = app;
|
|
19
25
|
}
|
|
20
26
|
/**
|
|
21
27
|
* Derives shared tagging secret and from that, the app address and recipient derives the directional app tagging
|
|
22
|
-
* secret.
|
|
28
|
+
* secret. Returns undefined if `externalAddress` is an invalid address.
|
|
23
29
|
*
|
|
24
30
|
* @param localAddress - The complete address of entity A in the shared tagging secret derivation scheme
|
|
25
31
|
* @param localIvsk - The incoming viewing secret key of entity A
|
|
@@ -29,6 +35,9 @@ import { computeAddressSecret, computePreaddress } from '../keys/derivation.js';
|
|
|
29
35
|
* @returns The secret that can be used along with an index to compute a tag to be included in a log.
|
|
30
36
|
*/ static async compute(localAddress, localIvsk, externalAddress, app, recipient) {
|
|
31
37
|
const taggingSecretPoint = await computeSharedTaggingSecret(localAddress, localIvsk, externalAddress);
|
|
38
|
+
if (!taggingSecretPoint) {
|
|
39
|
+
return undefined;
|
|
40
|
+
}
|
|
32
41
|
const appTaggingSecret = await poseidon2Hash([
|
|
33
42
|
taggingSecretPoint.x,
|
|
34
43
|
taggingSecretPoint.y,
|
|
@@ -38,27 +47,33 @@ import { computeAddressSecret, computePreaddress } from '../keys/derivation.js';
|
|
|
38
47
|
appTaggingSecret,
|
|
39
48
|
recipient
|
|
40
49
|
]);
|
|
41
|
-
return new
|
|
50
|
+
return new ExtendedDirectionalAppTaggingSecret(directionalAppTaggingSecret, app);
|
|
42
51
|
}
|
|
43
52
|
toString() {
|
|
44
|
-
return this.
|
|
53
|
+
return `${this.secret.toString()}:${this.app.toString()}`;
|
|
45
54
|
}
|
|
46
55
|
static fromString(str) {
|
|
47
|
-
|
|
56
|
+
const [secretStr, appStr] = str.split(':');
|
|
57
|
+
return new ExtendedDirectionalAppTaggingSecret(Fr.fromString(secretStr), AztecAddress.fromString(appStr));
|
|
48
58
|
}
|
|
49
59
|
}
|
|
50
|
-
// Returns shared tagging secret computed with Diffie-Hellman key exchange
|
|
60
|
+
// Returns shared tagging secret computed with Diffie-Hellman key exchange, or undefined if `externalAddress` is an
|
|
61
|
+
// invalid address.
|
|
51
62
|
async function computeSharedTaggingSecret(localAddress, localIvsk, externalAddress) {
|
|
52
|
-
const knownPreaddress = await computePreaddress(await localAddress.publicKeys.hash(), localAddress.partialAddress);
|
|
53
|
-
// TODO: #8970 - Computation of address point from x coordinate might fail
|
|
54
|
-
const externalAddressPoint = await externalAddress.toAddressPoint();
|
|
55
63
|
// Given A (local complete address) -> B (external address) and h == preaddress
|
|
56
64
|
// Compute shared secret as S = (h_A + local_ivsk_A) * Addr_Point_B
|
|
65
|
+
const knownPreaddress = await computePreaddress(await localAddress.publicKeys.hash(), localAddress.partialAddress);
|
|
66
|
+
// An invalid address has no corresponding address point
|
|
67
|
+
if (!await externalAddress.isValid()) {
|
|
68
|
+
return undefined;
|
|
69
|
+
}
|
|
70
|
+
const externalAddressPoint = await externalAddress.toAddressPoint();
|
|
57
71
|
// Beware! h_a + local_ivsk_a (also known as the address secret) can lead to an address point with a negative
|
|
58
72
|
// y-coordinate, since there's two possible candidates computeAddressSecret takes care of selecting the one that
|
|
59
73
|
// leads to a positive y-coordinate, which is the only valid address point
|
|
60
74
|
return Grumpkin.mul(externalAddressPoint, await computeAddressSecret(knownPreaddress, localIvsk));
|
|
61
75
|
}
|
|
62
|
-
export const
|
|
63
|
-
|
|
76
|
+
export const ExtendedDirectionalAppTaggingSecretSchema = z.object({
|
|
77
|
+
secret: Fr.schema,
|
|
78
|
+
app: AztecAddress.schema
|
|
64
79
|
});
|
package/dest/logs/index.d.ts
CHANGED
|
@@ -1,5 +1,6 @@
|
|
|
1
|
-
export * from './
|
|
1
|
+
export * from './extended_directional_app_tagging_secret.js';
|
|
2
2
|
export * from './pre_tag.js';
|
|
3
|
+
export * from './tagging_index_range.js';
|
|
3
4
|
export * from './contract_class_log.js';
|
|
4
5
|
export * from './public_log.js';
|
|
5
6
|
export * from './private_log.js';
|
|
@@ -12,6 +13,7 @@ export * from './shared_secret_derivation.js';
|
|
|
12
13
|
export * from './tx_scoped_l2_log.js';
|
|
13
14
|
export * from './message_context.js';
|
|
14
15
|
export * from './debug_log.js';
|
|
16
|
+
export * from './debug_log_store.js';
|
|
15
17
|
export * from './tag.js';
|
|
16
18
|
export * from './siloed_tag.js';
|
|
17
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
19
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9sb2dzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsOENBQThDLENBQUM7QUFDN0QsY0FBYyxjQUFjLENBQUM7QUFDN0IsY0FBYywwQkFBMEIsQ0FBQztBQUN6QyxjQUFjLHlCQUF5QixDQUFDO0FBQ3hDLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYyxrQkFBa0IsQ0FBQztBQUNqQyxjQUFjLHlCQUF5QixDQUFDO0FBQ3hDLGNBQWMsYUFBYSxDQUFDO0FBQzVCLGNBQWMsaUJBQWlCLENBQUM7QUFDaEMsY0FBYywwQkFBMEIsQ0FBQztBQUN6QyxjQUFjLGtDQUFrQyxDQUFDO0FBQ2pELGNBQWMsK0JBQStCLENBQUM7QUFDOUMsY0FBYyx1QkFBdUIsQ0FBQztBQUN0QyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsZ0JBQWdCLENBQUM7QUFDL0IsY0FBYyxzQkFBc0IsQ0FBQztBQUNyQyxjQUFjLFVBQVUsQ0FBQztBQUN6QixjQUFjLGlCQUFpQixDQUFDIn0=
|
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,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/logs/index.ts"],"names":[],"mappings":"AAAA,cAAc,8CAA8C,CAAC;AAC7D,cAAc,cAAc,CAAC;AAC7B,cAAc,0BAA0B,CAAC;AACzC,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,sBAAsB,CAAC;AACrC,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC"}
|
package/dest/logs/index.js
CHANGED
|
@@ -1,5 +1,6 @@
|
|
|
1
|
-
export * from './
|
|
1
|
+
export * from './extended_directional_app_tagging_secret.js';
|
|
2
2
|
export * from './pre_tag.js';
|
|
3
|
+
export * from './tagging_index_range.js';
|
|
3
4
|
export * from './contract_class_log.js';
|
|
4
5
|
export * from './public_log.js';
|
|
5
6
|
export * from './private_log.js';
|
|
@@ -12,5 +13,6 @@ export * from './shared_secret_derivation.js';
|
|
|
12
13
|
export * from './tx_scoped_l2_log.js';
|
|
13
14
|
export * from './message_context.js';
|
|
14
15
|
export * from './debug_log.js';
|
|
16
|
+
export * from './debug_log_store.js';
|
|
15
17
|
export * from './tag.js';
|
|
16
18
|
export * from './siloed_tag.js';
|
|
@@ -1,3 +1,4 @@
|
|
|
1
|
+
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
1
2
|
import type { AztecAddress } from '../aztec-address/index.js';
|
|
2
3
|
import { type ZodFor } from '../schemas/index.js';
|
|
3
4
|
import { TxHash } from '../tx/tx_hash.js';
|
|
@@ -17,6 +18,8 @@ export type LogFilter = {
|
|
|
17
18
|
afterLog?: LogId;
|
|
18
19
|
/** The contract address to filter logs by. */
|
|
19
20
|
contractAddress?: AztecAddress;
|
|
21
|
+
/** The tag (first field of the log) to filter logs by. */
|
|
22
|
+
tag?: Fr;
|
|
20
23
|
};
|
|
21
24
|
export declare const LogFilterSchema: ZodFor<LogFilter>;
|
|
22
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
25
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibG9nX2ZpbHRlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2xvZ3MvbG9nX2ZpbHRlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUl6RCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUM5RCxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQVcsTUFBTSxxQkFBcUIsQ0FBQztBQUMzRCxPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDMUMsT0FBTyxFQUFFLEtBQUssRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUVwQzs7O0dBR0c7QUFDSCxNQUFNLE1BQU0sU0FBUyxHQUFHO0lBQ3RCLDBEQUEwRDtJQUMxRCxNQUFNLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDaEIsc0VBQXNFO0lBQ3RFLFNBQVMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNuQixrRUFBa0U7SUFDbEUsT0FBTyxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ2pCLGlEQUFpRDtJQUNqRCxRQUFRLENBQUMsRUFBRSxLQUFLLENBQUM7SUFDakIsOENBQThDO0lBQzlDLGVBQWUsQ0FBQyxFQUFFLFlBQVksQ0FBQztJQUMvQiwwREFBMEQ7SUFDMUQsR0FBRyxDQUFDLEVBQUUsRUFBRSxDQUFDO0NBQ1YsQ0FBQztBQUVGLGVBQU8sTUFBTSxlQUFlLEVBQUUsTUFBTSxDQUFDLFNBQVMsQ0FPNUMsQ0FBQyJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"log_filter.d.ts","sourceRoot":"","sources":["../../src/logs/log_filter.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"log_filter.d.ts","sourceRoot":"","sources":["../../src/logs/log_filter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAIzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,0DAA0D;IAC1D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,sEAAsE;IACtE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,kEAAkE;IAClE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,iDAAiD;IACjD,QAAQ,CAAC,EAAE,KAAK,CAAC;IACjB,8CAA8C;IAC9C,eAAe,CAAC,EAAE,YAAY,CAAC;IAC/B,0DAA0D;IAC1D,GAAG,CAAC,EAAE,EAAE,CAAC;CACV,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,SAAS,CAO5C,CAAC"}
|
package/dest/logs/log_filter.js
CHANGED
|
@@ -7,5 +7,6 @@ export const LogFilterSchema = z.object({
|
|
|
7
7
|
fromBlock: schemas.Integer.optional(),
|
|
8
8
|
toBlock: schemas.Integer.optional(),
|
|
9
9
|
afterLog: LogId.schema.optional(),
|
|
10
|
-
contractAddress: schemas.AztecAddress.optional()
|
|
10
|
+
contractAddress: schemas.AztecAddress.optional(),
|
|
11
|
+
tag: schemas.Fr.optional()
|
|
11
12
|
});
|
|
@@ -1,6 +1,4 @@
|
|
|
1
1
|
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
-
import type { AztecAddress } from '../aztec-address/index.js';
|
|
3
|
-
import type { TxEffect } from '../tx/tx_effect.js';
|
|
4
2
|
import type { TxHash } from '../tx/tx_hash.js';
|
|
5
3
|
/**
|
|
6
4
|
* Additional information needed to process a message.
|
|
@@ -15,15 +13,14 @@ export declare class MessageContext {
|
|
|
15
13
|
txHash: TxHash;
|
|
16
14
|
uniqueNoteHashesInTx: Fr[];
|
|
17
15
|
firstNullifierInTx: Fr;
|
|
18
|
-
|
|
19
|
-
constructor(txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr, recipient: AztecAddress);
|
|
16
|
+
constructor(txHash: TxHash, uniqueNoteHashesInTx: Fr[], firstNullifierInTx: Fr);
|
|
20
17
|
toFields(): Fr[];
|
|
21
18
|
toNoirStruct(): {
|
|
22
19
|
tx_hash: Fr;
|
|
23
20
|
unique_note_hashes_in_tx: Fr[];
|
|
24
21
|
first_nullifier_in_tx: Fr;
|
|
25
|
-
recipient: AztecAddress;
|
|
26
22
|
};
|
|
27
|
-
static
|
|
23
|
+
static toEmptyFields(): Fr[];
|
|
24
|
+
static toSerializedOption(response: MessageContext | null): Fr[];
|
|
28
25
|
}
|
|
29
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
26
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVzc2FnZV9jb250ZXh0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvbG9ncy9tZXNzYWdlX2NvbnRleHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBRXBELE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRS9DOzs7Ozs7OztHQVFHO0FBQ0gscUJBQWEsY0FBYztJQUVoQixNQUFNLEVBQUUsTUFBTTtJQUNkLG9CQUFvQixFQUFFLEVBQUUsRUFBRTtJQUMxQixrQkFBa0IsRUFBRSxFQUFFO0lBSC9CLFlBQ1MsTUFBTSxFQUFFLE1BQU0sRUFDZCxvQkFBb0IsRUFBRSxFQUFFLEVBQUUsRUFDMUIsa0JBQWtCLEVBQUUsRUFBRSxFQUMzQjtJQUVKLFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FNZjtJQUVELFlBQVk7Ozs7TUFRWDtJQUVELE1BQU0sQ0FBQyxhQUFhLElBQUksRUFBRSxFQUFFLENBSTNCO0lBRUQsTUFBTSxDQUFDLGtCQUFrQixDQUFDLFFBQVEsRUFBRSxjQUFjLEdBQUcsSUFBSSxHQUFHLEVBQUUsRUFBRSxDQU0vRDtDQUNGIn0=
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"message_context.d.ts","sourceRoot":"","sources":["../../src/logs/message_context.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"message_context.d.ts","sourceRoot":"","sources":["../../src/logs/message_context.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C;;;;;;;;GAQG;AACH,qBAAa,cAAc;IAEhB,MAAM,EAAE,MAAM;IACd,oBAAoB,EAAE,EAAE,EAAE;IAC1B,kBAAkB,EAAE,EAAE;IAH/B,YACS,MAAM,EAAE,MAAM,EACd,oBAAoB,EAAE,EAAE,EAAE,EAC1B,kBAAkB,EAAE,EAAE,EAC3B;IAEJ,QAAQ,IAAI,EAAE,EAAE,CAMf;IAED,YAAY;;;;MAQX;IAED,MAAM,CAAC,aAAa,IAAI,EAAE,EAAE,CAI3B;IAED,MAAM,CAAC,kBAAkB,CAAC,QAAQ,EAAE,cAAc,GAAG,IAAI,GAAG,EAAE,EAAE,CAM/D;CACF"}
|