@aztec/stdlib 2.1.0-rc.9 → 3.0.0-devnet.2
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 +8 -8
- package/dest/abi/abi.js +1 -1
- package/dest/abi/contract_artifact.js +3 -0
- package/dest/abi/event_metadata_definition.d.ts +8 -0
- package/dest/abi/event_metadata_definition.d.ts.map +1 -0
- package/dest/abi/event_metadata_definition.js +1 -0
- package/dest/abi/function_call.d.ts +7 -2
- package/dest/abi/function_call.d.ts.map +1 -1
- package/dest/abi/function_call.js +6 -2
- package/dest/abi/index.d.ts +1 -0
- package/dest/abi/index.d.ts.map +1 -1
- package/dest/abi/index.js +1 -0
- package/dest/avm/avm.d.ts +131 -72
- package/dest/avm/avm.d.ts.map +1 -1
- package/dest/avm/avm.js +8 -4
- package/dest/avm/avm_accumulated_data.d.ts +10 -21
- package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
- package/dest/avm/avm_accumulated_data.js +19 -22
- package/dest/avm/avm_circuit_public_inputs.d.ts +30 -13
- package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
- package/dest/avm/avm_circuit_public_inputs.js +17 -6
- package/dest/avm/avm_proving_request.d.ts +96 -48
- package/dest/avm/avm_proving_request.d.ts.map +1 -1
- package/dest/avm/index.d.ts +1 -1
- package/dest/avm/index.d.ts.map +1 -1
- package/dest/avm/index.js +1 -1
- package/dest/avm/message_pack.d.ts +1 -0
- package/dest/avm/message_pack.d.ts.map +1 -1
- package/dest/avm/message_pack.js +28 -5
- package/dest/block/attestation_info.d.ts +30 -0
- package/dest/block/attestation_info.d.ts.map +1 -0
- package/dest/block/attestation_info.js +39 -0
- package/dest/block/body.d.ts +4 -1
- package/dest/block/body.d.ts.map +1 -1
- package/dest/block/body.js +17 -15
- package/dest/block/index.d.ts +2 -0
- package/dest/block/index.d.ts.map +1 -1
- package/dest/block/index.js +2 -0
- package/dest/block/l2_block.d.ts +19 -5
- package/dest/block/l2_block.d.ts.map +1 -1
- package/dest/block/l2_block.js +28 -7
- package/dest/block/l2_block_code_to_purge.d.ts +3 -14
- package/dest/block/l2_block_code_to_purge.d.ts.map +1 -1
- package/dest/block/l2_block_code_to_purge.js +23 -13
- package/dest/block/l2_block_header.d.ts +100 -0
- package/dest/block/l2_block_header.d.ts.map +1 -0
- package/dest/block/l2_block_header.js +146 -0
- package/dest/block/l2_block_source.d.ts +29 -0
- package/dest/block/l2_block_source.d.ts.map +1 -1
- package/dest/block/l2_block_stream/l2_tips_memory_store.js +1 -1
- package/dest/block/proposal/attestations_and_signers.d.ts +1 -1
- package/dest/block/proposal/attestations_and_signers.js +1 -1
- package/dest/block/proposal/committee_attestation.d.ts +0 -1
- package/dest/block/proposal/committee_attestation.d.ts.map +1 -1
- package/dest/block/proposal/committee_attestation.js +0 -3
- package/dest/block/published_l2_block.d.ts +2 -8
- package/dest/block/published_l2_block.d.ts.map +1 -1
- package/dest/block/published_l2_block.js +0 -9
- package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -1
- package/dest/block/test/l2_tips_store_test_suite.js +1 -3
- package/dest/checkpoint/checkpoint_body.d.ts +4 -0
- package/dest/checkpoint/checkpoint_body.d.ts.map +1 -0
- package/dest/checkpoint/checkpoint_body.js +9 -0
- package/dest/checkpoint/index.d.ts +2 -0
- package/dest/checkpoint/index.d.ts.map +1 -0
- package/dest/checkpoint/index.js +1 -0
- package/dest/config/node-rpc-config.d.ts +2 -0
- package/dest/config/node-rpc-config.d.ts.map +1 -1
- package/dest/config/node-rpc-config.js +6 -0
- package/dest/contract/contract_address.d.ts +1 -1
- package/dest/contract/contract_address.js +1 -1
- package/dest/contract/contract_class_metadata.d.ts +8 -0
- package/dest/contract/contract_class_metadata.d.ts.map +1 -0
- package/dest/contract/contract_class_metadata.js +1 -0
- package/dest/contract/contract_instance.d.ts +9 -8
- package/dest/contract/contract_instance.d.ts.map +1 -1
- package/dest/contract/contract_instance.js +1 -2
- package/dest/contract/contract_metadata.d.ts +7 -0
- package/dest/contract/contract_metadata.d.ts.map +1 -0
- package/dest/contract/contract_metadata.js +1 -0
- package/dest/contract/index.d.ts +2 -0
- package/dest/contract/index.d.ts.map +1 -1
- package/dest/contract/index.js +2 -0
- package/dest/contract/interfaces/contract_class.d.ts +1 -1
- package/dest/contract/interfaces/contract_instance.d.ts +2 -2
- package/dest/hash/hash.d.ts.map +1 -1
- package/dest/hash/hash.js +0 -3
- package/dest/interfaces/archiver.d.ts +1 -1
- package/dest/interfaces/archiver.d.ts.map +1 -1
- package/dest/interfaces/archiver.js +7 -0
- package/dest/interfaces/aztec-node-admin.d.ts +40 -36
- package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
- package/dest/interfaces/aztec-node-admin.js +2 -2
- package/dest/interfaces/aztec-node.d.ts +30 -0
- package/dest/interfaces/aztec-node.d.ts.map +1 -1
- package/dest/interfaces/aztec-node.js +7 -1
- package/dest/interfaces/block-builder.d.ts +1 -2
- package/dest/interfaces/block-builder.d.ts.map +1 -1
- package/dest/interfaces/client.d.ts +0 -1
- package/dest/interfaces/client.d.ts.map +1 -1
- package/dest/interfaces/client.js +0 -1
- package/dest/interfaces/configs.d.ts +5 -0
- package/dest/interfaces/configs.d.ts.map +1 -1
- package/dest/interfaces/configs.js +1 -0
- package/dest/interfaces/epoch-prover.d.ts +26 -9
- package/dest/interfaces/epoch-prover.d.ts.map +1 -1
- package/dest/interfaces/merkle_tree_operations.d.ts +5 -0
- package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
- package/dest/interfaces/p2p.d.ts +2 -0
- package/dest/interfaces/p2p.d.ts.map +1 -1
- package/dest/interfaces/p2p.js +2 -1
- package/dest/interfaces/private_kernel_prover.d.ts +2 -2
- package/dest/interfaces/private_kernel_prover.d.ts.map +1 -1
- package/dest/interfaces/proving-job.d.ts +343 -194
- package/dest/interfaces/proving-job.d.ts.map +1 -1
- package/dest/interfaces/proving-job.js +131 -113
- package/dest/interfaces/server_circuit_prover.d.ts +34 -34
- package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
- package/dest/interfaces/tx_provider.d.ts +1 -1
- package/dest/interfaces/tx_provider.d.ts.map +1 -1
- package/dest/interfaces/validator.d.ts +99 -3
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/interfaces/validator.js +7 -0
- package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts +3 -2
- package/dest/kernel/hints/build_nullifier_read_request_hints.d.ts.map +1 -1
- package/dest/kernel/hints/nullifier_read_request_hints.d.ts +4 -3
- package/dest/kernel/hints/nullifier_read_request_hints.d.ts.map +1 -1
- package/dest/kernel/nullifier.d.ts +2 -2
- package/dest/kernel/nullifier.d.ts.map +1 -1
- package/dest/kernel/nullifier.js +11 -11
- package/dest/kernel/private_call_data.d.ts +4 -24
- package/dest/kernel/private_call_data.d.ts.map +1 -1
- package/dest/kernel/private_call_data.js +4 -16
- package/dest/kernel/private_circuit_public_inputs.d.ts +5 -5
- package/dest/kernel/private_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_circuit_public_inputs.js +7 -7
- package/dest/kernel/private_context_inputs.d.ts +2 -2
- package/dest/kernel/private_context_inputs.d.ts.map +1 -1
- package/dest/kernel/private_context_inputs.js +4 -4
- package/dest/kernel/private_kernel_circuit_public_inputs.d.ts +3 -3
- package/dest/kernel/private_kernel_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_kernel_circuit_public_inputs.js +3 -3
- package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts +5 -4
- package/dest/kernel/private_kernel_init_circuit_private_inputs.d.ts.map +1 -1
- package/dest/kernel/private_kernel_init_circuit_private_inputs.js +7 -6
- package/dest/kernel/private_kernel_prover_output.d.ts +1 -1
- package/dest/kernel/private_kernel_prover_output.d.ts.map +1 -1
- package/dest/kernel/private_kernel_tail_circuit_public_inputs.d.ts +1 -0
- 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 -1
- package/dest/kernel/private_to_public_accumulated_data.d.ts +1 -1
- package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +2 -0
- package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +7 -0
- package/dest/kernel/private_to_rollup_accumulated_data.d.ts +1 -1
- package/dest/keys/derivation.d.ts +0 -2
- package/dest/keys/derivation.d.ts.map +1 -1
- package/dest/keys/derivation.js +1 -21
- package/dest/logs/contract_class_log.d.ts +1 -1
- package/dest/logs/contract_class_log.d.ts.map +1 -1
- package/dest/logs/contract_class_log.js +1 -3
- package/dest/logs/debug_log.d.ts +13 -0
- package/dest/logs/debug_log.d.ts.map +1 -0
- package/dest/logs/debug_log.js +26 -0
- package/dest/logs/directional_app_tagging_secret.d.ts +40 -0
- package/dest/logs/directional_app_tagging_secret.d.ts.map +1 -0
- package/dest/logs/directional_app_tagging_secret.js +64 -0
- package/dest/logs/index.d.ts +3 -1
- package/dest/logs/index.d.ts.map +1 -1
- package/dest/logs/index.js +3 -1
- package/dest/logs/log_with_tx_data.d.ts +9 -12
- package/dest/logs/log_with_tx_data.d.ts.map +1 -1
- package/dest/logs/log_with_tx_data.js +18 -23
- package/dest/logs/pre_tag.d.ts +34 -0
- package/dest/logs/pre_tag.d.ts.map +1 -0
- package/dest/logs/pre_tag.js +7 -0
- package/dest/logs/public_log.d.ts +23 -10
- package/dest/logs/public_log.d.ts.map +1 -1
- package/dest/logs/public_log.js +117 -42
- package/dest/messaging/l2_to_l1_membership.d.ts +1 -1
- package/dest/messaging/l2_to_l1_membership.d.ts.map +1 -1
- package/dest/messaging/l2_to_l1_membership.js +16 -18
- package/dest/noir/index.d.ts +11 -0
- package/dest/noir/index.d.ts.map +1 -1
- package/dest/note/index.d.ts +1 -1
- package/dest/note/index.d.ts.map +1 -1
- package/dest/note/index.js +1 -1
- package/dest/note/notes_filter.d.ts +0 -5
- package/dest/note/notes_filter.d.ts.map +1 -1
- package/dest/note/notes_filter.js +0 -3
- package/dest/note/unique_note.d.ts +43 -0
- package/dest/note/unique_note.d.ts.map +1 -0
- package/dest/note/{extended_note.js → unique_note.js} +9 -48
- package/dest/p2p/block_attestation.d.ts +13 -13
- package/dest/p2p/block_attestation.d.ts.map +1 -1
- package/dest/p2p/block_attestation.js +27 -25
- package/dest/p2p/block_proposal.d.ts +6 -8
- package/dest/p2p/block_proposal.d.ts.map +1 -1
- package/dest/p2p/block_proposal.js +10 -13
- package/dest/p2p/consensus_payload.d.ts +7 -6
- package/dest/p2p/consensus_payload.d.ts.map +1 -1
- package/dest/p2p/consensus_payload.js +7 -6
- package/dest/parity/index.d.ts +2 -3
- package/dest/parity/index.d.ts.map +1 -1
- package/dest/parity/index.js +2 -3
- package/dest/parity/{base_parity_inputs.d.ts → parity_base_private_inputs.d.ts} +7 -7
- package/dest/parity/parity_base_private_inputs.d.ts.map +1 -0
- package/dest/parity/{base_parity_inputs.js → parity_base_private_inputs.js} +10 -6
- package/dest/parity/parity_root_private_inputs.d.ts +39 -0
- package/dest/parity/parity_root_private_inputs.d.ts.map +1 -0
- package/dest/parity/{root_parity_inputs.js → parity_root_private_inputs.js} +12 -13
- package/dest/proofs/client_ivc_proof.d.ts +17 -7
- package/dest/proofs/client_ivc_proof.d.ts.map +1 -1
- package/dest/proofs/client_ivc_proof.js +78 -19
- package/dest/proofs/index.d.ts +1 -0
- package/dest/proofs/index.d.ts.map +1 -1
- package/dest/proofs/index.js +1 -0
- package/dest/proofs/proof_data.d.ts +21 -0
- package/dest/proofs/proof_data.d.ts.map +1 -0
- package/dest/proofs/proof_data.js +22 -0
- package/dest/proofs/proving_request_type.d.ts +17 -13
- package/dest/proofs/proving_request_type.d.ts.map +1 -1
- package/dest/proofs/proving_request_type.js +17 -12
- package/dest/rollup/avm_proof_data.d.ts +2 -12
- package/dest/rollup/avm_proof_data.d.ts.map +1 -1
- package/dest/rollup/avm_proof_data.js +0 -24
- package/dest/rollup/base_rollup_hints.d.ts +17 -17
- package/dest/rollup/base_rollup_hints.d.ts.map +1 -1
- package/dest/rollup/base_rollup_hints.js +26 -26
- package/dest/rollup/block_constant_data.d.ts +24 -10
- package/dest/rollup/block_constant_data.d.ts.map +1 -1
- package/dest/rollup/block_constant_data.js +18 -10
- package/dest/rollup/{block_merge_rollup.d.ts → block_merge_rollup_private_inputs.d.ts} +17 -10
- package/dest/rollup/block_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{block_merge_rollup.js → block_merge_rollup_private_inputs.js} +14 -13
- package/dest/rollup/block_rollup_public_inputs.d.ts +124 -0
- package/dest/rollup/block_rollup_public_inputs.d.ts.map +1 -0
- package/dest/rollup/block_rollup_public_inputs.js +85 -0
- package/dest/rollup/block_root_rollup_private_inputs.d.ts +236 -0
- package/dest/rollup/block_root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/block_root_rollup_private_inputs.js +257 -0
- package/dest/rollup/checkpoint_constant_data.d.ts +54 -0
- package/dest/rollup/checkpoint_constant_data.d.ts.map +1 -0
- package/dest/rollup/checkpoint_constant_data.js +55 -0
- package/dest/{tx/proposed_block_header.d.ts → rollup/checkpoint_header.d.ts} +12 -13
- package/dest/rollup/checkpoint_header.d.ts.map +1 -0
- package/dest/{tx/proposed_block_header.js → rollup/checkpoint_header.js} +9 -9
- package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts +30 -0
- package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/checkpoint_merge_rollup_private_inputs.js +37 -0
- package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +106 -0
- package/dest/rollup/checkpoint_rollup_public_inputs.d.ts.map +1 -0
- package/dest/rollup/checkpoint_rollup_public_inputs.js +108 -0
- package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts +123 -0
- package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/checkpoint_root_rollup_private_inputs.js +178 -0
- package/dest/rollup/epoch_constant_data.d.ts +23 -6
- package/dest/rollup/epoch_constant_data.d.ts.map +1 -1
- package/dest/rollup/epoch_constant_data.js +25 -12
- package/dest/rollup/index.d.ts +17 -16
- package/dest/rollup/index.d.ts.map +1 -1
- package/dest/rollup/index.js +17 -16
- package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts +21 -0
- package/dest/rollup/private_tx_base_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/private_tx_base_rollup_private_inputs.js +42 -0
- package/dest/rollup/public_tube_private_inputs.d.ts +21 -0
- package/dest/rollup/public_tube_private_inputs.d.ts.map +1 -0
- package/dest/rollup/public_tube_private_inputs.js +42 -0
- package/dest/rollup/public_tube_public_inputs.d.ts +20 -0
- package/dest/rollup/public_tube_public_inputs.d.ts.map +1 -0
- package/dest/rollup/public_tube_public_inputs.js +41 -0
- package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts +23 -0
- package/dest/rollup/public_tx_base_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/public_tx_base_rollup_private_inputs.js +46 -0
- package/dest/rollup/root_rollup_private_inputs.d.ts +67 -0
- package/dest/rollup/root_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/root_rollup_private_inputs.js +69 -0
- package/dest/rollup/root_rollup_public_inputs.d.ts +46 -0
- package/dest/rollup/root_rollup_public_inputs.d.ts.map +1 -0
- package/dest/rollup/root_rollup_public_inputs.js +71 -0
- package/dest/rollup/{state_diff_hints.d.ts → tree_snapshot_diff_hints.d.ts} +22 -38
- package/dest/rollup/tree_snapshot_diff_hints.d.ts.map +1 -0
- package/dest/rollup/tree_snapshot_diff_hints.js +75 -0
- package/dest/rollup/{merge_rollup.d.ts → tx_merge_rollup_private_inputs.d.ts} +11 -10
- package/dest/rollup/tx_merge_rollup_private_inputs.d.ts.map +1 -0
- package/dest/rollup/{merge_rollup.js → tx_merge_rollup_private_inputs.js} +14 -13
- package/dest/rollup/{base_or_merge_rollup_public_inputs.d.ts → tx_rollup_public_inputs.d.ts} +14 -14
- package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -0
- package/dest/rollup/{base_or_merge_rollup_public_inputs.js → tx_rollup_public_inputs.js} +15 -15
- package/dest/stats/stats.d.ts +1 -1
- package/dest/stats/stats.d.ts.map +1 -1
- package/dest/tests/factories.d.ts +42 -74
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +144 -167
- package/dest/tests/mocks.d.ts +11 -7
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +44 -23
- package/dest/trees/index.d.ts +0 -1
- package/dest/trees/index.d.ts.map +1 -1
- package/dest/trees/index.js +0 -1
- package/dest/trees/merkle_tree_id.d.ts +4 -4
- package/dest/trees/nullifier_membership_witness.d.ts +3 -3
- package/dest/tx/block_header.d.ts +12 -13
- package/dest/tx/block_header.d.ts.map +1 -1
- package/dest/tx/block_header.js +16 -21
- package/dest/tx/global_variables.d.ts.map +1 -1
- package/dest/tx/global_variables.js +0 -1
- package/dest/tx/index.d.ts +2 -1
- package/dest/tx/index.d.ts.map +1 -1
- package/dest/tx/index.js +2 -1
- package/dest/tx/private_execution_result.d.ts +7 -2
- package/dest/tx/private_execution_result.d.ts.map +1 -1
- package/dest/tx/private_execution_result.js +10 -6
- package/dest/tx/private_tx_constant_data.d.ts +60 -0
- package/dest/tx/private_tx_constant_data.d.ts.map +1 -0
- package/dest/tx/private_tx_constant_data.js +69 -0
- package/dest/tx/processed_tx.d.ts +0 -1
- package/dest/tx/processed_tx.d.ts.map +1 -1
- package/dest/tx/processed_tx.js +1 -6
- package/dest/tx/profiling.d.ts.map +1 -1
- package/dest/tx/profiling.js +0 -2
- package/dest/tx/protocol_contracts.d.ts +29 -0
- package/dest/tx/protocol_contracts.d.ts.map +1 -0
- package/dest/tx/protocol_contracts.js +49 -0
- package/dest/tx/simulated_tx.d.ts +3 -3
- package/dest/tx/tx.d.ts +6 -2
- package/dest/tx/tx.d.ts.map +1 -1
- package/dest/tx/tx.js +10 -3
- package/dest/tx/tx_constant_data.d.ts +6 -38
- package/dest/tx/tx_constant_data.d.ts.map +1 -1
- package/dest/tx/tx_constant_data.js +11 -20
- package/dest/tx/tx_effect.d.ts +3 -36
- package/dest/tx/tx_effect.d.ts.map +1 -1
- package/dest/tx/tx_effect.js +63 -202
- package/dest/tx/validator/error_texts.d.ts +1 -1
- package/dest/tx/validator/error_texts.d.ts.map +1 -1
- package/dest/tx/validator/error_texts.js +1 -1
- package/dest/versioning/versioning.d.ts +2 -2
- package/dest/versioning/versioning.d.ts.map +1 -1
- package/dest/versioning/versioning.js +18 -13
- package/dest/world-state/index.d.ts +2 -0
- package/dest/world-state/index.d.ts.map +1 -0
- package/dest/world-state/index.js +1 -0
- package/dest/world-state/world_state_revision.d.ts +22 -0
- package/dest/world-state/world_state_revision.d.ts.map +1 -0
- package/dest/world-state/world_state_revision.js +21 -0
- package/dest/zkpassport/index.d.ts +15 -9
- package/dest/zkpassport/index.d.ts.map +1 -1
- package/dest/zkpassport/index.js +17 -11
- package/package.json +12 -10
- package/src/abi/abi.ts +1 -1
- package/src/abi/contract_artifact.ts +3 -0
- package/src/abi/event_metadata_definition.ts +8 -0
- package/src/abi/function_call.ts +5 -1
- package/src/abi/index.ts +1 -0
- package/src/avm/avm.ts +13 -2
- package/src/avm/avm_accumulated_data.ts +25 -29
- package/src/avm/avm_circuit_public_inputs.ts +21 -0
- package/src/avm/index.ts +1 -1
- package/src/avm/message_pack.ts +25 -1
- package/src/block/attestation_info.ts +62 -0
- package/src/block/body.ts +25 -23
- package/src/block/index.ts +2 -0
- package/src/block/l2_block.ts +33 -8
- package/src/block/l2_block_code_to_purge.ts +30 -31
- package/src/block/l2_block_header.ts +232 -0
- package/src/block/l2_block_source.ts +32 -0
- package/src/block/l2_block_stream/l2_tips_memory_store.ts +1 -1
- package/src/block/proposal/attestations_and_signers.ts +1 -1
- package/src/block/proposal/committee_attestation.ts +0 -4
- package/src/block/published_l2_block.ts +0 -17
- package/src/block/test/l2_tips_store_test_suite.ts +1 -2
- package/src/checkpoint/checkpoint_body.ts +10 -0
- package/src/checkpoint/index.ts +1 -0
- package/src/config/node-rpc-config.ts +9 -0
- package/src/contract/contract_address.ts +1 -1
- package/src/contract/contract_class_metadata.ts +8 -0
- package/src/contract/contract_instance.ts +11 -10
- package/src/contract/contract_metadata.ts +7 -0
- package/src/contract/index.ts +2 -0
- package/src/contract/interfaces/contract_class.ts +1 -1
- package/src/hash/hash.ts +0 -4
- package/src/interfaces/archiver.ts +9 -1
- package/src/interfaces/aztec-node-admin.ts +2 -2
- package/src/interfaces/aztec-node.ts +45 -0
- package/src/interfaces/block-builder.ts +1 -6
- package/src/interfaces/client.ts +0 -1
- package/src/interfaces/configs.ts +3 -0
- package/src/interfaces/epoch-prover.ts +35 -11
- package/src/interfaces/merkle_tree_operations.ts +6 -0
- package/src/interfaces/p2p.ts +4 -0
- package/src/interfaces/private_kernel_prover.ts +2 -2
- package/src/interfaces/proving-job.ts +215 -134
- package/src/interfaces/server_circuit_prover.ts +87 -61
- package/src/interfaces/tx_provider.ts +1 -0
- package/src/interfaces/validator.ts +19 -4
- package/src/kernel/hints/build_nullifier_read_request_hints.ts +3 -2
- package/src/kernel/hints/nullifier_read_request_hints.ts +3 -3
- package/src/kernel/nullifier.ts +8 -8
- package/src/kernel/private_call_data.ts +2 -21
- package/src/kernel/private_circuit_public_inputs.ts +5 -5
- package/src/kernel/private_context_inputs.ts +2 -2
- package/src/kernel/private_kernel_circuit_public_inputs.ts +4 -4
- package/src/kernel/private_kernel_init_circuit_private_inputs.ts +5 -4
- package/src/kernel/private_kernel_prover_output.ts +1 -1
- package/src/kernel/private_kernel_tail_circuit_public_inputs.ts +8 -2
- package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +9 -0
- package/src/keys/derivation.ts +1 -26
- package/src/logs/contract_class_log.ts +2 -3
- package/src/logs/debug_log.ts +32 -0
- package/src/logs/directional_app_tagging_secret.ts +78 -0
- package/src/logs/index.ts +3 -1
- package/src/logs/log_with_tx_data.ts +14 -24
- package/src/logs/pre_tag.ts +25 -0
- package/src/logs/public_log.ts +120 -58
- package/src/messaging/l2_to_l1_membership.ts +20 -26
- package/src/noir/index.ts +11 -0
- package/src/note/index.ts +1 -1
- package/src/note/notes_filter.ts +0 -7
- package/src/note/{extended_note.ts → unique_note.ts} +14 -75
- package/src/p2p/block_attestation.ts +31 -24
- package/src/p2p/block_proposal.ts +11 -16
- package/src/p2p/consensus_payload.ts +8 -7
- package/src/parity/index.ts +2 -3
- package/src/parity/{base_parity_inputs.ts → parity_base_private_inputs.ts} +13 -11
- package/src/parity/{root_parity_inputs.ts → parity_root_private_inputs.ts} +16 -18
- package/src/proofs/client_ivc_proof.ts +86 -20
- package/src/proofs/index.ts +1 -0
- package/src/proofs/proof_data.ts +36 -0
- package/src/proofs/proving_request_type.ts +14 -10
- package/src/rollup/avm_proof_data.ts +2 -31
- package/src/rollup/base_rollup_hints.ts +22 -22
- package/src/rollup/block_constant_data.ts +16 -6
- package/src/rollup/{block_merge_rollup.ts → block_merge_rollup_private_inputs.ts} +15 -11
- package/src/rollup/block_rollup_public_inputs.ts +123 -0
- package/src/rollup/block_root_rollup_private_inputs.ts +312 -0
- package/src/rollup/checkpoint_constant_data.ts +84 -0
- package/src/{tx/proposed_block_header.ts → rollup/checkpoint_header.ts} +17 -18
- package/src/rollup/checkpoint_merge_rollup_private_inputs.ts +49 -0
- package/src/rollup/{block_root_or_block_merge_public_inputs.ts → checkpoint_rollup_public_inputs.ts} +30 -52
- package/src/rollup/checkpoint_root_rollup_private_inputs.ts +218 -0
- package/src/rollup/epoch_constant_data.ts +28 -10
- package/src/rollup/index.ts +17 -16
- package/src/rollup/private_tx_base_rollup_private_inputs.ts +53 -0
- package/src/rollup/public_tube_private_inputs.ts +53 -0
- package/src/rollup/public_tube_public_inputs.ts +52 -0
- package/src/rollup/public_tx_base_rollup_private_inputs.ts +57 -0
- package/src/rollup/root_rollup_private_inputs.ts +90 -0
- package/src/rollup/root_rollup_public_inputs.ts +99 -0
- package/src/rollup/{state_diff_hints.ts → tree_snapshot_diff_hints.ts} +26 -41
- package/src/rollup/{merge_rollup.ts → tx_merge_rollup_private_inputs.ts} +13 -9
- package/src/rollup/{base_or_merge_rollup_public_inputs.ts → tx_rollup_public_inputs.ts} +13 -13
- package/src/stats/stats.ts +19 -13
- package/src/tests/factories.ts +217 -275
- package/src/tests/mocks.ts +71 -53
- package/src/trees/index.ts +0 -1
- package/src/tx/block_header.ts +17 -32
- package/src/tx/global_variables.ts +0 -1
- package/src/tx/index.ts +2 -1
- package/src/tx/private_execution_result.ts +9 -3
- package/src/tx/private_tx_constant_data.ts +94 -0
- package/src/tx/processed_tx.ts +1 -7
- package/src/tx/profiling.ts +0 -2
- package/src/tx/protocol_contracts.ts +70 -0
- package/src/tx/tx.ts +12 -3
- package/src/tx/tx_constant_data.ts +8 -21
- package/src/tx/tx_effect.ts +64 -213
- package/src/tx/validator/error_texts.ts +1 -1
- package/src/versioning/versioning.ts +20 -15
- package/src/world-state/index.ts +1 -0
- package/src/world-state/world_state_revision.ts +21 -0
- package/src/zkpassport/index.ts +40 -28
- package/dest/avm/public_data_hint.d.ts +0 -16
- package/dest/avm/public_data_hint.d.ts.map +0 -1
- package/dest/avm/public_data_hint.js +0 -27
- package/dest/interfaces/pxe.d.ts +0 -336
- package/dest/interfaces/pxe.d.ts.map +0 -1
- package/dest/interfaces/pxe.js +0 -101
- package/dest/logs/indexed_tagging_secret.d.ts +0 -28
- package/dest/logs/indexed_tagging_secret.d.ts.map +0 -1
- package/dest/logs/indexed_tagging_secret.js +0 -50
- package/dest/note/extended_note.d.ts +0 -111
- package/dest/note/extended_note.d.ts.map +0 -1
- package/dest/parity/base_parity_inputs.d.ts.map +0 -1
- package/dest/parity/root_parity_input.d.ts +0 -52
- package/dest/parity/root_parity_input.d.ts.map +0 -1
- package/dest/parity/root_parity_input.js +0 -50
- package/dest/parity/root_parity_inputs.d.ts +0 -37
- package/dest/parity/root_parity_inputs.d.ts.map +0 -1
- package/dest/rollup/base_or_merge_rollup_public_inputs.d.ts.map +0 -1
- package/dest/rollup/block_merge_rollup.d.ts.map +0 -1
- package/dest/rollup/block_root_or_block_merge_public_inputs.d.ts +0 -134
- package/dest/rollup/block_root_or_block_merge_public_inputs.d.ts.map +0 -1
- package/dest/rollup/block_root_or_block_merge_public_inputs.js +0 -125
- package/dest/rollup/block_root_rollup.d.ts +0 -283
- package/dest/rollup/block_root_rollup.d.ts.map +0 -1
- package/dest/rollup/block_root_rollup.js +0 -306
- package/dest/rollup/empty_block_root_rollup_inputs.d.ts +0 -51
- package/dest/rollup/empty_block_root_rollup_inputs.d.ts.map +0 -1
- package/dest/rollup/empty_block_root_rollup_inputs.js +0 -65
- package/dest/rollup/merge_rollup.d.ts.map +0 -1
- package/dest/rollup/padding_block_root_rollup_inputs.d.ts +0 -20
- package/dest/rollup/padding_block_root_rollup_inputs.d.ts.map +0 -1
- package/dest/rollup/padding_block_root_rollup_inputs.js +0 -39
- package/dest/rollup/previous_rollup_block_data.d.ts +0 -47
- package/dest/rollup/previous_rollup_block_data.d.ts.map +0 -1
- package/dest/rollup/previous_rollup_block_data.js +0 -37
- package/dest/rollup/previous_rollup_data.d.ts +0 -47
- package/dest/rollup/previous_rollup_data.d.ts.map +0 -1
- package/dest/rollup/previous_rollup_data.js +0 -37
- package/dest/rollup/private_base_rollup_inputs.d.ts +0 -21
- package/dest/rollup/private_base_rollup_inputs.d.ts.map +0 -1
- package/dest/rollup/private_base_rollup_inputs.js +0 -44
- package/dest/rollup/private_tube_data.d.ts +0 -15
- package/dest/rollup/private_tube_data.d.ts.map +0 -1
- package/dest/rollup/private_tube_data.js +0 -25
- package/dest/rollup/public_base_rollup_inputs.d.ts +0 -23
- package/dest/rollup/public_base_rollup_inputs.d.ts.map +0 -1
- package/dest/rollup/public_base_rollup_inputs.js +0 -48
- package/dest/rollup/public_tube_data.d.ts +0 -15
- package/dest/rollup/public_tube_data.d.ts.map +0 -1
- package/dest/rollup/public_tube_data.js +0 -25
- package/dest/rollup/root_rollup.d.ts +0 -106
- package/dest/rollup/root_rollup.d.ts.map +0 -1
- package/dest/rollup/root_rollup.js +0 -147
- package/dest/rollup/state_diff_hints.d.ts.map +0 -1
- package/dest/rollup/state_diff_hints.js +0 -85
- package/dest/rollup/tube_inputs.d.ts +0 -43
- package/dest/rollup/tube_inputs.d.ts.map +0 -1
- package/dest/rollup/tube_inputs.js +0 -63
- package/dest/trees/protocol_contract_leaf.d.ts +0 -84
- package/dest/trees/protocol_contract_leaf.d.ts.map +0 -1
- package/dest/trees/protocol_contract_leaf.js +0 -100
- package/dest/tx/proposed_block_header.d.ts.map +0 -1
- package/src/avm/public_data_hint.ts +0 -38
- package/src/interfaces/pxe.ts +0 -541
- package/src/logs/indexed_tagging_secret.ts +0 -48
- package/src/parity/root_parity_input.ts +0 -71
- package/src/rollup/block_root_rollup.ts +0 -380
- package/src/rollup/empty_block_root_rollup_inputs.ts +0 -80
- package/src/rollup/padding_block_root_rollup_inputs.ts +0 -47
- package/src/rollup/previous_rollup_block_data.ts +0 -48
- package/src/rollup/previous_rollup_data.ts +0 -48
- package/src/rollup/private_base_rollup_inputs.ts +0 -53
- package/src/rollup/private_tube_data.ts +0 -35
- package/src/rollup/public_base_rollup_inputs.ts +0 -59
- package/src/rollup/public_tube_data.ts +0 -35
- package/src/rollup/root_rollup.ts +0 -195
- package/src/rollup/tube_inputs.ts +0 -77
- package/src/trees/protocol_contract_leaf.ts +0 -128
|
@@ -1,106 +0,0 @@
|
|
|
1
|
-
import { FinalBlobAccumulatorPublicInputs } from '@aztec/blob-lib';
|
|
2
|
-
import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
|
|
3
|
-
import { Fr } from '@aztec/foundation/fields';
|
|
4
|
-
import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
|
|
5
|
-
import type { FieldsOf } from '@aztec/foundation/types';
|
|
6
|
-
import { FeeRecipient } from './block_root_or_block_merge_public_inputs.js';
|
|
7
|
-
import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
|
|
8
|
-
/**
|
|
9
|
-
* Represents inputs of the root rollup circuit.
|
|
10
|
-
*/
|
|
11
|
-
export declare class RootRollupInputs {
|
|
12
|
-
/**
|
|
13
|
-
* The previous rollup data.
|
|
14
|
-
* Note: Root rollup circuit is the latest circuit the chain of circuits and the previous rollup data is the data
|
|
15
|
-
* from 2 block merge circuits.
|
|
16
|
-
*/
|
|
17
|
-
previousRollupData: [PreviousRollupBlockData, PreviousRollupBlockData];
|
|
18
|
-
constructor(
|
|
19
|
-
/**
|
|
20
|
-
* The previous rollup data.
|
|
21
|
-
* Note: Root rollup circuit is the latest circuit the chain of circuits and the previous rollup data is the data
|
|
22
|
-
* from 2 block merge circuits.
|
|
23
|
-
*/
|
|
24
|
-
previousRollupData: [PreviousRollupBlockData, PreviousRollupBlockData]);
|
|
25
|
-
/**
|
|
26
|
-
* Serializes the inputs to a buffer.
|
|
27
|
-
* @returns - The inputs serialized to a buffer.
|
|
28
|
-
*/
|
|
29
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
30
|
-
/**
|
|
31
|
-
* Serializes the inputs to a hex string.
|
|
32
|
-
* @returns The instance serialized to a hex string.
|
|
33
|
-
*/
|
|
34
|
-
toString(): `0x${string}`;
|
|
35
|
-
/**
|
|
36
|
-
* Creates a new instance from fields.
|
|
37
|
-
* @param fields - Fields to create the instance from.
|
|
38
|
-
* @returns A new RootRollupInputs instance.
|
|
39
|
-
*/
|
|
40
|
-
static from(fields: FieldsOf<RootRollupInputs>): RootRollupInputs;
|
|
41
|
-
/**
|
|
42
|
-
* Extracts fields from an instance.
|
|
43
|
-
* @param fields - Fields to create the instance from.
|
|
44
|
-
* @returns An array of fields.
|
|
45
|
-
*/
|
|
46
|
-
static getFields(fields: FieldsOf<RootRollupInputs>): readonly [[PreviousRollupBlockData, PreviousRollupBlockData]];
|
|
47
|
-
/**
|
|
48
|
-
* Deserializes the inputs from a buffer.
|
|
49
|
-
* @param buffer - A buffer to deserialize from.
|
|
50
|
-
* @returns A new RootRollupInputs instance.
|
|
51
|
-
*/
|
|
52
|
-
static fromBuffer(buffer: Buffer | BufferReader): RootRollupInputs;
|
|
53
|
-
/**
|
|
54
|
-
* Deserializes the inputs from a hex string.
|
|
55
|
-
* @param str - A hex string to deserialize from.
|
|
56
|
-
* @returns A new RootRollupInputs instance.
|
|
57
|
-
*/
|
|
58
|
-
static fromString(str: string): RootRollupInputs;
|
|
59
|
-
/** Returns a representation for JSON serialization. */
|
|
60
|
-
toJSON(): Buffer<ArrayBufferLike>;
|
|
61
|
-
/** Creates an instance from a string. */
|
|
62
|
-
static get schema(): import("zod").ZodType<RootRollupInputs, any, string>;
|
|
63
|
-
}
|
|
64
|
-
/**
|
|
65
|
-
* Represents public inputs of the root rollup circuit.
|
|
66
|
-
*
|
|
67
|
-
* NOTE: in practice, we'll hash all of this up into a single public input, for cheap on-chain verification.
|
|
68
|
-
*/
|
|
69
|
-
export declare class RootRollupPublicInputs {
|
|
70
|
-
/** Root of the archive tree before this rollup is processed */
|
|
71
|
-
previousArchiveRoot: Fr;
|
|
72
|
-
/** Root of the archive tree after this rollup is processed */
|
|
73
|
-
endArchiveRoot: Fr;
|
|
74
|
-
proposedBlockHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>;
|
|
75
|
-
fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
|
|
76
|
-
chainId: Fr;
|
|
77
|
-
version: Fr;
|
|
78
|
-
vkTreeRoot: Fr;
|
|
79
|
-
protocolContractTreeRoot: Fr;
|
|
80
|
-
proverId: Fr;
|
|
81
|
-
blobPublicInputs: FinalBlobAccumulatorPublicInputs;
|
|
82
|
-
constructor(
|
|
83
|
-
/** Root of the archive tree before this rollup is processed */
|
|
84
|
-
previousArchiveRoot: Fr,
|
|
85
|
-
/** Root of the archive tree after this rollup is processed */
|
|
86
|
-
endArchiveRoot: Fr, proposedBlockHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>, fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>, chainId: Fr, version: Fr, vkTreeRoot: Fr, protocolContractTreeRoot: Fr, proverId: Fr, blobPublicInputs: FinalBlobAccumulatorPublicInputs);
|
|
87
|
-
static getFields(fields: FieldsOf<RootRollupPublicInputs>): readonly [Fr, Fr, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient], Fr, Fr, Fr, Fr, Fr, FinalBlobAccumulatorPublicInputs];
|
|
88
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
89
|
-
toFields(): Fr[];
|
|
90
|
-
static from(fields: FieldsOf<RootRollupPublicInputs>): RootRollupPublicInputs;
|
|
91
|
-
/**
|
|
92
|
-
* Deserializes a buffer into a `RootRollupPublicInputs` object.
|
|
93
|
-
* @param buffer - The buffer to deserialize.
|
|
94
|
-
* @returns The deserialized `RootRollupPublicInputs` object.
|
|
95
|
-
*/
|
|
96
|
-
static fromBuffer(buffer: Buffer | BufferReader): RootRollupPublicInputs;
|
|
97
|
-
toString(): `0x${string}`;
|
|
98
|
-
static fromString(str: string): RootRollupPublicInputs;
|
|
99
|
-
/** Returns a representation for JSON serialization. */
|
|
100
|
-
toJSON(): Buffer<ArrayBufferLike>;
|
|
101
|
-
/** Creates an instance from a string. */
|
|
102
|
-
static get schema(): import("zod").ZodType<RootRollupPublicInputs, any, string>;
|
|
103
|
-
/** Creates a random instance. Used for testing only - will not prove/verify. */
|
|
104
|
-
static random(): RootRollupPublicInputs;
|
|
105
|
-
}
|
|
106
|
-
//# sourceMappingURL=root_rollup.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gCAAgC,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,8CAA8C,CAAC;AAC5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E;;GAEG;AACH,qBAAa,gBAAgB;IAEzB;;;;OAIG;IACI,kBAAkB,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;;IAL7E;;;;OAIG;IACI,kBAAkB,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAG/E;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,GAAG,gBAAgB;IAIjE;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC;IAInD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gBAAgB;IAQlE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,yDAEhB;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAsB;IAE/B,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE;IAClB,yBAAyB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IACrE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IAC1D,OAAO,EAAE,EAAE;IACX,OAAO,EAAE,EAAE;IACX,UAAU,EAAE,EAAE;IACd,wBAAwB,EAAE,EAAE;IAC5B,QAAQ,EAAE,EAAE;IACZ,gBAAgB,EAAE,gCAAgC;;IAXzD,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE,EAClB,yBAAyB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC,EACrE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC,EAC1D,OAAO,EAAE,EAAE,EACX,OAAO,EAAE,EAAE,EACX,UAAU,EAAE,EAAE,EACd,wBAAwB,EAAE,EAAE,EAC5B,QAAQ,EAAE,EAAE,EACZ,gBAAgB,EAAE,gCAAgC;IAG3D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAezD,QAAQ;IAIR,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E;;;;OAIG;WACW,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAgB/E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;IAED,gFAAgF;IAChF,MAAM,CAAC,MAAM;CAcd"}
|
|
@@ -1,147 +0,0 @@
|
|
|
1
|
-
import { FinalBlobAccumulatorPublicInputs } from '@aztec/blob-lib';
|
|
2
|
-
import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
|
|
3
|
-
import { makeTuple } from '@aztec/foundation/array';
|
|
4
|
-
import { Fr } from '@aztec/foundation/fields';
|
|
5
|
-
import { bufferSchemaFor } from '@aztec/foundation/schemas';
|
|
6
|
-
import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
|
|
7
|
-
import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
|
|
8
|
-
import { FeeRecipient } from './block_root_or_block_merge_public_inputs.js';
|
|
9
|
-
import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
|
|
10
|
-
/**
|
|
11
|
-
* Represents inputs of the root rollup circuit.
|
|
12
|
-
*/ export class RootRollupInputs {
|
|
13
|
-
previousRollupData;
|
|
14
|
-
constructor(/**
|
|
15
|
-
* The previous rollup data.
|
|
16
|
-
* Note: Root rollup circuit is the latest circuit the chain of circuits and the previous rollup data is the data
|
|
17
|
-
* from 2 block merge circuits.
|
|
18
|
-
*/ previousRollupData){
|
|
19
|
-
this.previousRollupData = previousRollupData;
|
|
20
|
-
}
|
|
21
|
-
/**
|
|
22
|
-
* Serializes the inputs to a buffer.
|
|
23
|
-
* @returns - The inputs serialized to a buffer.
|
|
24
|
-
*/ toBuffer() {
|
|
25
|
-
return serializeToBuffer(...RootRollupInputs.getFields(this));
|
|
26
|
-
}
|
|
27
|
-
/**
|
|
28
|
-
* Serializes the inputs to a hex string.
|
|
29
|
-
* @returns The instance serialized to a hex string.
|
|
30
|
-
*/ toString() {
|
|
31
|
-
return bufferToHex(this.toBuffer());
|
|
32
|
-
}
|
|
33
|
-
/**
|
|
34
|
-
* Creates a new instance from fields.
|
|
35
|
-
* @param fields - Fields to create the instance from.
|
|
36
|
-
* @returns A new RootRollupInputs instance.
|
|
37
|
-
*/ static from(fields) {
|
|
38
|
-
return new RootRollupInputs(...RootRollupInputs.getFields(fields));
|
|
39
|
-
}
|
|
40
|
-
/**
|
|
41
|
-
* Extracts fields from an instance.
|
|
42
|
-
* @param fields - Fields to create the instance from.
|
|
43
|
-
* @returns An array of fields.
|
|
44
|
-
*/ static getFields(fields) {
|
|
45
|
-
return [
|
|
46
|
-
fields.previousRollupData
|
|
47
|
-
];
|
|
48
|
-
}
|
|
49
|
-
/**
|
|
50
|
-
* Deserializes the inputs from a buffer.
|
|
51
|
-
* @param buffer - A buffer to deserialize from.
|
|
52
|
-
* @returns A new RootRollupInputs instance.
|
|
53
|
-
*/ static fromBuffer(buffer) {
|
|
54
|
-
const reader = BufferReader.asReader(buffer);
|
|
55
|
-
return new RootRollupInputs([
|
|
56
|
-
reader.readObject(PreviousRollupBlockData),
|
|
57
|
-
reader.readObject(PreviousRollupBlockData)
|
|
58
|
-
]);
|
|
59
|
-
}
|
|
60
|
-
/**
|
|
61
|
-
* Deserializes the inputs from a hex string.
|
|
62
|
-
* @param str - A hex string to deserialize from.
|
|
63
|
-
* @returns A new RootRollupInputs instance.
|
|
64
|
-
*/ static fromString(str) {
|
|
65
|
-
return RootRollupInputs.fromBuffer(hexToBuffer(str));
|
|
66
|
-
}
|
|
67
|
-
/** Returns a representation for JSON serialization. */ toJSON() {
|
|
68
|
-
return this.toBuffer();
|
|
69
|
-
}
|
|
70
|
-
/** Creates an instance from a string. */ static get schema() {
|
|
71
|
-
return bufferSchemaFor(RootRollupInputs);
|
|
72
|
-
}
|
|
73
|
-
}
|
|
74
|
-
/**
|
|
75
|
-
* Represents public inputs of the root rollup circuit.
|
|
76
|
-
*
|
|
77
|
-
* NOTE: in practice, we'll hash all of this up into a single public input, for cheap on-chain verification.
|
|
78
|
-
*/ export class RootRollupPublicInputs {
|
|
79
|
-
previousArchiveRoot;
|
|
80
|
-
endArchiveRoot;
|
|
81
|
-
proposedBlockHeaderHashes;
|
|
82
|
-
fees;
|
|
83
|
-
chainId;
|
|
84
|
-
version;
|
|
85
|
-
vkTreeRoot;
|
|
86
|
-
protocolContractTreeRoot;
|
|
87
|
-
proverId;
|
|
88
|
-
blobPublicInputs;
|
|
89
|
-
constructor(/** Root of the archive tree before this rollup is processed */ previousArchiveRoot, /** Root of the archive tree after this rollup is processed */ endArchiveRoot, proposedBlockHeaderHashes, fees, chainId, version, vkTreeRoot, protocolContractTreeRoot, proverId, blobPublicInputs){
|
|
90
|
-
this.previousArchiveRoot = previousArchiveRoot;
|
|
91
|
-
this.endArchiveRoot = endArchiveRoot;
|
|
92
|
-
this.proposedBlockHeaderHashes = proposedBlockHeaderHashes;
|
|
93
|
-
this.fees = fees;
|
|
94
|
-
this.chainId = chainId;
|
|
95
|
-
this.version = version;
|
|
96
|
-
this.vkTreeRoot = vkTreeRoot;
|
|
97
|
-
this.protocolContractTreeRoot = protocolContractTreeRoot;
|
|
98
|
-
this.proverId = proverId;
|
|
99
|
-
this.blobPublicInputs = blobPublicInputs;
|
|
100
|
-
}
|
|
101
|
-
static getFields(fields) {
|
|
102
|
-
return [
|
|
103
|
-
fields.previousArchiveRoot,
|
|
104
|
-
fields.endArchiveRoot,
|
|
105
|
-
fields.proposedBlockHeaderHashes,
|
|
106
|
-
fields.fees,
|
|
107
|
-
fields.chainId,
|
|
108
|
-
fields.version,
|
|
109
|
-
fields.vkTreeRoot,
|
|
110
|
-
fields.protocolContractTreeRoot,
|
|
111
|
-
fields.proverId,
|
|
112
|
-
fields.blobPublicInputs
|
|
113
|
-
];
|
|
114
|
-
}
|
|
115
|
-
toBuffer() {
|
|
116
|
-
return serializeToBuffer(...RootRollupPublicInputs.getFields(this));
|
|
117
|
-
}
|
|
118
|
-
toFields() {
|
|
119
|
-
return serializeToFields(...RootRollupPublicInputs.getFields(this));
|
|
120
|
-
}
|
|
121
|
-
static from(fields) {
|
|
122
|
-
return new RootRollupPublicInputs(...RootRollupPublicInputs.getFields(fields));
|
|
123
|
-
}
|
|
124
|
-
/**
|
|
125
|
-
* Deserializes a buffer into a `RootRollupPublicInputs` object.
|
|
126
|
-
* @param buffer - The buffer to deserialize.
|
|
127
|
-
* @returns The deserialized `RootRollupPublicInputs` object.
|
|
128
|
-
*/ static fromBuffer(buffer) {
|
|
129
|
-
const reader = BufferReader.asReader(buffer);
|
|
130
|
-
return new RootRollupPublicInputs(Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readArray(AZTEC_MAX_EPOCH_DURATION, Fr), reader.readArray(AZTEC_MAX_EPOCH_DURATION, FeeRecipient), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readObject(FinalBlobAccumulatorPublicInputs));
|
|
131
|
-
}
|
|
132
|
-
toString() {
|
|
133
|
-
return bufferToHex(this.toBuffer());
|
|
134
|
-
}
|
|
135
|
-
static fromString(str) {
|
|
136
|
-
return RootRollupPublicInputs.fromBuffer(hexToBuffer(str));
|
|
137
|
-
}
|
|
138
|
-
/** Returns a representation for JSON serialization. */ toJSON() {
|
|
139
|
-
return this.toBuffer();
|
|
140
|
-
}
|
|
141
|
-
/** Creates an instance from a string. */ static get schema() {
|
|
142
|
-
return bufferSchemaFor(RootRollupPublicInputs);
|
|
143
|
-
}
|
|
144
|
-
/** Creates a random instance. Used for testing only - will not prove/verify. */ static random() {
|
|
145
|
-
return new RootRollupPublicInputs(Fr.random(), Fr.random(), makeTuple(AZTEC_MAX_EPOCH_DURATION, Fr.random), makeTuple(AZTEC_MAX_EPOCH_DURATION, FeeRecipient.random), Fr.random(), Fr.random(), Fr.random(), Fr.random(), Fr.random(), FinalBlobAccumulatorPublicInputs.random());
|
|
146
|
-
}
|
|
147
|
-
}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"state_diff_hints.d.ts","sourceRoot":"","sources":["../../src/rollup/state_diff_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,qCAAqC,EACrC,qCAAqC,EACrC,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAC1F,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAEtF;;GAEG;AACH,qBAAa,yBAAyB;IAElC;;;OAGG;IACI,6BAA6B,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,qBAAqB,CAAC;IAChG;;;OAGG;IACI,uCAAuC,EAAE,KAAK,CACnD,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAC/C,OAAO,qBAAqB,CAC7B;IACD;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAChE;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAC1E;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qCAAqC,CAAC;IAC1F;;OAEG;IACI,2BAA2B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qCAAqC,CAAC;IAE3F;;OAEG;IACI,uBAAuB,EAAE,0BAA0B;IAC1D;;OAEG;IACI,gCAAgC,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IAC1F;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,uBAAuB,CAAC;;IAzCrE;;;OAGG;IACI,6BAA6B,EAAE,KAAK,CAAC,qBAAqB,EAAE,OAAO,qBAAqB,CAAC;IAChG;;;OAGG;IACI,uCAAuC,EAAE,KAAK,CACnD,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,EAC/C,OAAO,qBAAqB,CAC7B;IACD;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAChE;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAC1E;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qCAAqC,CAAC;IAC1F;;OAEG;IACI,2BAA2B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qCAAqC,CAAC;IAE3F;;OAEG;IACI,uBAAuB,EAAE,0BAA0B;IAC1D;;OAEG;IACI,gCAAgC,EAAE,iBAAiB,CAAC,OAAO,uBAAuB,CAAC;IAC1F;;OAEG;IACI,mBAAmB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,uBAAuB,CAAC;IAGvE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC,GAAG,yBAAyB;IAInF,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC;IAc5D;;;OAGG;IACH,QAAQ,IAAI,MAAM;IAIlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,yBAAyB;IAiB3E,MAAM,CAAC,KAAK;CAab"}
|
|
@@ -1,85 +0,0 @@
|
|
|
1
|
-
import { MAX_NULLIFIERS_PER_TX, NOTE_HASH_SUBTREE_SIBLING_PATH_LENGTH, NULLIFIER_SUBTREE_SIBLING_PATH_LENGTH, NULLIFIER_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
|
|
2
|
-
import { makeTuple } from '@aztec/foundation/array';
|
|
3
|
-
import { Fr } from '@aztec/foundation/fields';
|
|
4
|
-
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
5
|
-
import { MembershipWitness } from '@aztec/foundation/trees';
|
|
6
|
-
import { NullifierLeafPreimage, PublicDataTreeLeafPreimage } from '../trees/index.js';
|
|
7
|
-
/**
|
|
8
|
-
* Hints used while proving state diff validity for the private base rollup.
|
|
9
|
-
*/ export class PrivateBaseStateDiffHints {
|
|
10
|
-
nullifierPredecessorPreimages;
|
|
11
|
-
nullifierPredecessorMembershipWitnesses;
|
|
12
|
-
sortedNullifiers;
|
|
13
|
-
sortedNullifierIndexes;
|
|
14
|
-
noteHashSubtreeSiblingPath;
|
|
15
|
-
nullifierSubtreeSiblingPath;
|
|
16
|
-
feeWriteLowLeafPreimage;
|
|
17
|
-
feeWriteLowLeafMembershipWitness;
|
|
18
|
-
feeWriteSiblingPath;
|
|
19
|
-
constructor(/**
|
|
20
|
-
* The nullifiers which need to be updated to perform the batch insertion of the new nullifiers.
|
|
21
|
-
* See `StandardIndexedTree.batchInsert` function for more details.
|
|
22
|
-
*/ nullifierPredecessorPreimages, /**
|
|
23
|
-
* Membership witnesses for the nullifiers which need to be updated to perform the batch insertion of the new
|
|
24
|
-
* nullifiers.
|
|
25
|
-
*/ nullifierPredecessorMembershipWitnesses, /**
|
|
26
|
-
* The nullifiers to be inserted in the tree, sorted high to low.
|
|
27
|
-
*/ sortedNullifiers, /**
|
|
28
|
-
* The indexes of the sorted nullifiers to the original ones.
|
|
29
|
-
*/ sortedNullifierIndexes, /**
|
|
30
|
-
* Sibling path "pointing to" where the new note hash subtree should be inserted into the note hash tree.
|
|
31
|
-
*/ noteHashSubtreeSiblingPath, /**
|
|
32
|
-
* Sibling path "pointing to" where the new nullifiers subtree should be inserted into the nullifier tree.
|
|
33
|
-
*/ nullifierSubtreeSiblingPath, /**
|
|
34
|
-
* Low leaf for the fee write in the public data tree.
|
|
35
|
-
*/ feeWriteLowLeafPreimage, /**
|
|
36
|
-
* Membership witness for the low leaf for the fee write in the public data tree.
|
|
37
|
-
*/ feeWriteLowLeafMembershipWitness, /**
|
|
38
|
-
* Sibling path "pointing to" where the fee write should be inserted into the public data tree.
|
|
39
|
-
*/ feeWriteSiblingPath){
|
|
40
|
-
this.nullifierPredecessorPreimages = nullifierPredecessorPreimages;
|
|
41
|
-
this.nullifierPredecessorMembershipWitnesses = nullifierPredecessorMembershipWitnesses;
|
|
42
|
-
this.sortedNullifiers = sortedNullifiers;
|
|
43
|
-
this.sortedNullifierIndexes = sortedNullifierIndexes;
|
|
44
|
-
this.noteHashSubtreeSiblingPath = noteHashSubtreeSiblingPath;
|
|
45
|
-
this.nullifierSubtreeSiblingPath = nullifierSubtreeSiblingPath;
|
|
46
|
-
this.feeWriteLowLeafPreimage = feeWriteLowLeafPreimage;
|
|
47
|
-
this.feeWriteLowLeafMembershipWitness = feeWriteLowLeafMembershipWitness;
|
|
48
|
-
this.feeWriteSiblingPath = feeWriteSiblingPath;
|
|
49
|
-
}
|
|
50
|
-
static from(fields) {
|
|
51
|
-
return new PrivateBaseStateDiffHints(...PrivateBaseStateDiffHints.getFields(fields));
|
|
52
|
-
}
|
|
53
|
-
static getFields(fields) {
|
|
54
|
-
return [
|
|
55
|
-
fields.nullifierPredecessorPreimages,
|
|
56
|
-
fields.nullifierPredecessorMembershipWitnesses,
|
|
57
|
-
fields.sortedNullifiers,
|
|
58
|
-
fields.sortedNullifierIndexes,
|
|
59
|
-
fields.noteHashSubtreeSiblingPath,
|
|
60
|
-
fields.nullifierSubtreeSiblingPath,
|
|
61
|
-
fields.feeWriteLowLeafPreimage,
|
|
62
|
-
fields.feeWriteLowLeafMembershipWitness,
|
|
63
|
-
fields.feeWriteSiblingPath
|
|
64
|
-
];
|
|
65
|
-
}
|
|
66
|
-
/**
|
|
67
|
-
* Serializes the state diff hints to a buffer.
|
|
68
|
-
* @returns A buffer of the serialized state diff hints.
|
|
69
|
-
*/ toBuffer() {
|
|
70
|
-
return serializeToBuffer(...PrivateBaseStateDiffHints.getFields(this));
|
|
71
|
-
}
|
|
72
|
-
/**
|
|
73
|
-
* Deserializes the state diff hints from a buffer.
|
|
74
|
-
* @param buffer - A buffer to deserialize from.
|
|
75
|
-
* @returns A new PrivateBaseStateDiffHints instance.
|
|
76
|
-
*/ static fromBuffer(buffer) {
|
|
77
|
-
const reader = BufferReader.asReader(buffer);
|
|
78
|
-
return new PrivateBaseStateDiffHints(reader.readArray(MAX_NULLIFIERS_PER_TX, NullifierLeafPreimage), reader.readArray(MAX_NULLIFIERS_PER_TX, {
|
|
79
|
-
fromBuffer: (buffer)=>MembershipWitness.fromBuffer(buffer, NULLIFIER_TREE_HEIGHT)
|
|
80
|
-
}), reader.readArray(MAX_NULLIFIERS_PER_TX, Fr), reader.readNumbers(MAX_NULLIFIERS_PER_TX), reader.readArray(NOTE_HASH_SUBTREE_SIBLING_PATH_LENGTH, Fr), reader.readArray(NULLIFIER_SUBTREE_SIBLING_PATH_LENGTH, Fr), reader.readObject(PublicDataTreeLeafPreimage), MembershipWitness.fromBuffer(reader, PUBLIC_DATA_TREE_HEIGHT), reader.readArray(PUBLIC_DATA_TREE_HEIGHT, Fr));
|
|
81
|
-
}
|
|
82
|
-
static empty() {
|
|
83
|
-
return new PrivateBaseStateDiffHints(makeTuple(MAX_NULLIFIERS_PER_TX, NullifierLeafPreimage.empty), makeTuple(MAX_NULLIFIERS_PER_TX, ()=>MembershipWitness.empty(NULLIFIER_TREE_HEIGHT)), makeTuple(MAX_NULLIFIERS_PER_TX, Fr.zero), makeTuple(MAX_NULLIFIERS_PER_TX, ()=>0), makeTuple(NOTE_HASH_SUBTREE_SIBLING_PATH_LENGTH, Fr.zero), makeTuple(NULLIFIER_SUBTREE_SIBLING_PATH_LENGTH, Fr.zero), PublicDataTreeLeafPreimage.empty(), MembershipWitness.empty(PUBLIC_DATA_TREE_HEIGHT), makeTuple(PUBLIC_DATA_TREE_HEIGHT, Fr.zero));
|
|
84
|
-
}
|
|
85
|
-
}
|
|
@@ -1,43 +0,0 @@
|
|
|
1
|
-
import { BufferReader } from '@aztec/foundation/serialize';
|
|
2
|
-
import type { FieldsOf } from '@aztec/foundation/types';
|
|
3
|
-
import { ClientIvcProof } from '../proofs/client_ivc_proof.js';
|
|
4
|
-
/**
|
|
5
|
-
* Inputs for the tube circuit, which turns a client IVC proof folding stack into an ultrahonk proof.
|
|
6
|
-
* 'usePublicTailVk' signifies if we should prove this with the public or private kernel tail client IVC VKs.
|
|
7
|
-
*/
|
|
8
|
-
export declare class TubeInputs {
|
|
9
|
-
usePublicTailVk: boolean;
|
|
10
|
-
clientIVCData: ClientIvcProof;
|
|
11
|
-
constructor(usePublicTailVk: boolean, clientIVCData: ClientIvcProof);
|
|
12
|
-
static from(fields: FieldsOf<TubeInputs>): TubeInputs;
|
|
13
|
-
static getFields(fields: FieldsOf<TubeInputs>): readonly [boolean, ClientIvcProof];
|
|
14
|
-
/**
|
|
15
|
-
* Serializes the inputs to a buffer.
|
|
16
|
-
* @returns The inputs serialized to a buffer.
|
|
17
|
-
*/
|
|
18
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
19
|
-
/**
|
|
20
|
-
* Serializes the inputs to a hex string.
|
|
21
|
-
* @returns The instance serialized to a hex string.
|
|
22
|
-
*/
|
|
23
|
-
toString(): `0x${string}`;
|
|
24
|
-
/**
|
|
25
|
-
* Deserializes the inputs from a buffer.
|
|
26
|
-
* @param buffer - The buffer to deserialize from.
|
|
27
|
-
* @returns A new TubeInputs instance.
|
|
28
|
-
*/
|
|
29
|
-
static fromBuffer(buffer: Buffer | BufferReader): TubeInputs;
|
|
30
|
-
isEmpty(): boolean;
|
|
31
|
-
/**
|
|
32
|
-
* Deserializes the inputs from a hex string.
|
|
33
|
-
* @param str - A hex string to deserialize from.
|
|
34
|
-
* @returns A new TubeInputs instance.
|
|
35
|
-
*/
|
|
36
|
-
static fromString(str: string): TubeInputs;
|
|
37
|
-
static empty(): TubeInputs;
|
|
38
|
-
/** Returns a hex representation for JSON serialization. */
|
|
39
|
-
toJSON(): Buffer<ArrayBufferLike>;
|
|
40
|
-
/** Creates an instance from a hex string. */
|
|
41
|
-
static get schema(): import("zod").ZodType<TubeInputs, any, string>;
|
|
42
|
-
}
|
|
43
|
-
//# sourceMappingURL=tube_inputs.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"tube_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/tube_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D;;;GAGG;AACH,qBAAa,UAAU;IAEZ,eAAe,EAAE,OAAO;IACxB,aAAa,EAAE,cAAc;gBAD7B,eAAe,EAAE,OAAO,EACxB,aAAa,EAAE,cAAc;IAGtC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,UAAU;IAIrD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAI7C;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU;IAK5D,OAAO,IAAI,OAAO;IAGlB;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,KAAK;IAIZ,2DAA2D;IAC3D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,mDAEhB;CACF"}
|
|
@@ -1,63 +0,0 @@
|
|
|
1
|
-
import { bufferSchemaFor } from '@aztec/foundation/schemas';
|
|
2
|
-
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
3
|
-
import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
|
|
4
|
-
import { ClientIvcProof } from '../proofs/client_ivc_proof.js';
|
|
5
|
-
/**
|
|
6
|
-
* Inputs for the tube circuit, which turns a client IVC proof folding stack into an ultrahonk proof.
|
|
7
|
-
* 'usePublicTailVk' signifies if we should prove this with the public or private kernel tail client IVC VKs.
|
|
8
|
-
*/ export class TubeInputs {
|
|
9
|
-
usePublicTailVk;
|
|
10
|
-
clientIVCData;
|
|
11
|
-
constructor(usePublicTailVk, clientIVCData){
|
|
12
|
-
this.usePublicTailVk = usePublicTailVk;
|
|
13
|
-
this.clientIVCData = clientIVCData;
|
|
14
|
-
}
|
|
15
|
-
static from(fields) {
|
|
16
|
-
return new TubeInputs(...TubeInputs.getFields(fields));
|
|
17
|
-
}
|
|
18
|
-
static getFields(fields) {
|
|
19
|
-
return [
|
|
20
|
-
fields.usePublicTailVk,
|
|
21
|
-
fields.clientIVCData
|
|
22
|
-
];
|
|
23
|
-
}
|
|
24
|
-
/**
|
|
25
|
-
* Serializes the inputs to a buffer.
|
|
26
|
-
* @returns The inputs serialized to a buffer.
|
|
27
|
-
*/ toBuffer() {
|
|
28
|
-
return serializeToBuffer(...TubeInputs.getFields(this));
|
|
29
|
-
}
|
|
30
|
-
/**
|
|
31
|
-
* Serializes the inputs to a hex string.
|
|
32
|
-
* @returns The instance serialized to a hex string.
|
|
33
|
-
*/ toString() {
|
|
34
|
-
return bufferToHex(this.toBuffer());
|
|
35
|
-
}
|
|
36
|
-
/**
|
|
37
|
-
* Deserializes the inputs from a buffer.
|
|
38
|
-
* @param buffer - The buffer to deserialize from.
|
|
39
|
-
* @returns A new TubeInputs instance.
|
|
40
|
-
*/ static fromBuffer(buffer) {
|
|
41
|
-
const reader = BufferReader.asReader(buffer);
|
|
42
|
-
return new TubeInputs(reader.readBoolean(), reader.readObject(ClientIvcProof));
|
|
43
|
-
}
|
|
44
|
-
isEmpty() {
|
|
45
|
-
return this.clientIVCData.isEmpty();
|
|
46
|
-
}
|
|
47
|
-
/**
|
|
48
|
-
* Deserializes the inputs from a hex string.
|
|
49
|
-
* @param str - A hex string to deserialize from.
|
|
50
|
-
* @returns A new TubeInputs instance.
|
|
51
|
-
*/ static fromString(str) {
|
|
52
|
-
return TubeInputs.fromBuffer(hexToBuffer(str));
|
|
53
|
-
}
|
|
54
|
-
static empty() {
|
|
55
|
-
return new TubeInputs(false, ClientIvcProof.empty());
|
|
56
|
-
}
|
|
57
|
-
/** Returns a hex representation for JSON serialization. */ toJSON() {
|
|
58
|
-
return this.toBuffer();
|
|
59
|
-
}
|
|
60
|
-
/** Creates an instance from a hex string. */ static get schema() {
|
|
61
|
-
return bufferSchemaFor(TubeInputs);
|
|
62
|
-
}
|
|
63
|
-
}
|
|
@@ -1,84 +0,0 @@
|
|
|
1
|
-
import { Fr } from '@aztec/foundation/fields';
|
|
2
|
-
import { BufferReader } from '@aztec/foundation/serialize';
|
|
3
|
-
import type { IndexedTreeLeaf, IndexedTreeLeafPreimage } from '@aztec/foundation/trees';
|
|
4
|
-
import { z } from 'zod';
|
|
5
|
-
/**
|
|
6
|
-
* Class containing the data of a preimage of a single leaf in the protocol contract tree.
|
|
7
|
-
* Note: It's called preimage because this data gets hashed before being inserted as a node into the `IndexedTree`.
|
|
8
|
-
* Note: Though this tree contains addresses, they are converted to fields to avoid unnecessary conversions in the tree.
|
|
9
|
-
*/
|
|
10
|
-
export declare class ProtocolContractLeafPreimage implements IndexedTreeLeafPreimage {
|
|
11
|
-
/**
|
|
12
|
-
* Leaf value inside the indexed tree's linked list.
|
|
13
|
-
*/
|
|
14
|
-
address: Fr;
|
|
15
|
-
/**
|
|
16
|
-
* Next value inside the indexed tree's linked list.
|
|
17
|
-
*/
|
|
18
|
-
nextAddress: Fr;
|
|
19
|
-
/**
|
|
20
|
-
* Index of the next leaf in the indexed tree's linked list.
|
|
21
|
-
*/
|
|
22
|
-
nextIndex: bigint;
|
|
23
|
-
constructor(
|
|
24
|
-
/**
|
|
25
|
-
* Leaf value inside the indexed tree's linked list.
|
|
26
|
-
*/
|
|
27
|
-
address: Fr,
|
|
28
|
-
/**
|
|
29
|
-
* Next value inside the indexed tree's linked list.
|
|
30
|
-
*/
|
|
31
|
-
nextAddress: Fr,
|
|
32
|
-
/**
|
|
33
|
-
* Index of the next leaf in the indexed tree's linked list.
|
|
34
|
-
*/
|
|
35
|
-
nextIndex: bigint);
|
|
36
|
-
static get schema(): z.ZodEffects<z.ZodObject<{
|
|
37
|
-
address: z.ZodType<Fr, any, string>;
|
|
38
|
-
nextAddress: z.ZodType<Fr, any, string>;
|
|
39
|
-
nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
|
|
40
|
-
}, "strip", z.ZodTypeAny, {
|
|
41
|
-
nextIndex: bigint;
|
|
42
|
-
address: Fr;
|
|
43
|
-
nextAddress: Fr;
|
|
44
|
-
}, {
|
|
45
|
-
nextIndex: string | number | bigint;
|
|
46
|
-
address: string;
|
|
47
|
-
nextAddress: string;
|
|
48
|
-
}>, ProtocolContractLeafPreimage, {
|
|
49
|
-
nextIndex: string | number | bigint;
|
|
50
|
-
address: string;
|
|
51
|
-
nextAddress: string;
|
|
52
|
-
}>;
|
|
53
|
-
getKey(): bigint;
|
|
54
|
-
getNextKey(): bigint;
|
|
55
|
-
getNextIndex(): bigint;
|
|
56
|
-
asLeaf(): ProtocolContractLeaf;
|
|
57
|
-
toBuffer(): Buffer;
|
|
58
|
-
toHashInputs(): Buffer[];
|
|
59
|
-
toFields(): Fr[];
|
|
60
|
-
static random(): ProtocolContractLeafPreimage;
|
|
61
|
-
static empty(): ProtocolContractLeafPreimage;
|
|
62
|
-
static fromBuffer(buffer: Buffer | BufferReader): ProtocolContractLeafPreimage;
|
|
63
|
-
}
|
|
64
|
-
/**
|
|
65
|
-
* An address to be inserted or checked in the protocol contract tree.
|
|
66
|
-
*/
|
|
67
|
-
export declare class ProtocolContractLeaf implements IndexedTreeLeaf {
|
|
68
|
-
/**
|
|
69
|
-
* Address value.
|
|
70
|
-
*/
|
|
71
|
-
address: Fr;
|
|
72
|
-
constructor(
|
|
73
|
-
/**
|
|
74
|
-
* Address value.
|
|
75
|
-
*/
|
|
76
|
-
address: Fr);
|
|
77
|
-
getKey(): bigint;
|
|
78
|
-
toBuffer(): Buffer;
|
|
79
|
-
isEmpty(): boolean;
|
|
80
|
-
updateTo(_another: ProtocolContractLeaf): ProtocolContractLeaf;
|
|
81
|
-
static buildDummy(key: bigint): ProtocolContractLeaf;
|
|
82
|
-
static fromBuffer(buf: Buffer): ProtocolContractLeaf;
|
|
83
|
-
}
|
|
84
|
-
//# sourceMappingURL=protocol_contract_leaf.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"protocol_contract_leaf.d.ts","sourceRoot":"","sources":["../../src/trees/protocol_contract_leaf.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAExF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;GAIG;AACH,qBAAa,4BAA6B,YAAW,uBAAuB;IAExE;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,SAAS,EAAE,MAAM;;IAXxB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,WAAW,EAAE,EAAE;IACtB;;OAEG;IACI,SAAS,EAAE,MAAM;IAG1B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAUhB;IAED,MAAM,IAAI,MAAM;IAIhB,UAAU,IAAI,MAAM;IAIpB,YAAY,IAAI,MAAM;IAItB,MAAM,IAAI,oBAAoB;IAI9B,QAAQ,IAAI,MAAM;IAIlB,YAAY,IAAI,MAAM,EAAE;IAKxB,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,MAAM;IAQb,MAAM,CAAC,KAAK,IAAI,4BAA4B;IAI5C,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,4BAA4B;CAQ/E;AAED;;GAEG;AACH,qBAAa,oBAAqB,YAAW,eAAe;IAExD;;OAEG;IACI,OAAO,EAAE,EAAE;;IAHlB;;OAEG;IACI,OAAO,EAAE,EAAE;IAGpB,MAAM,IAAI,MAAM;IAIhB,QAAQ,IAAI,MAAM;IAIlB,OAAO,IAAI,OAAO;IAIlB,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,GAAG,oBAAoB;IAI9D,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,oBAAoB;IAIpD,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,oBAAoB;CAGrD"}
|
|
@@ -1,100 +0,0 @@
|
|
|
1
|
-
import { MAX_PROTOCOL_CONTRACTS } from '@aztec/constants';
|
|
2
|
-
import { toBigIntBE } from '@aztec/foundation/bigint-buffer';
|
|
3
|
-
import { Fr } from '@aztec/foundation/fields';
|
|
4
|
-
import { schemas } from '@aztec/foundation/schemas';
|
|
5
|
-
import { BufferReader } from '@aztec/foundation/serialize';
|
|
6
|
-
import { z } from 'zod';
|
|
7
|
-
/**
|
|
8
|
-
* Class containing the data of a preimage of a single leaf in the protocol contract tree.
|
|
9
|
-
* Note: It's called preimage because this data gets hashed before being inserted as a node into the `IndexedTree`.
|
|
10
|
-
* Note: Though this tree contains addresses, they are converted to fields to avoid unnecessary conversions in the tree.
|
|
11
|
-
*/ export class ProtocolContractLeafPreimage {
|
|
12
|
-
address;
|
|
13
|
-
nextAddress;
|
|
14
|
-
nextIndex;
|
|
15
|
-
constructor(/**
|
|
16
|
-
* Leaf value inside the indexed tree's linked list.
|
|
17
|
-
*/ address, /**
|
|
18
|
-
* Next value inside the indexed tree's linked list.
|
|
19
|
-
*/ nextAddress, /**
|
|
20
|
-
* Index of the next leaf in the indexed tree's linked list.
|
|
21
|
-
*/ nextIndex){
|
|
22
|
-
this.address = address;
|
|
23
|
-
this.nextAddress = nextAddress;
|
|
24
|
-
this.nextIndex = nextIndex;
|
|
25
|
-
}
|
|
26
|
-
static get schema() {
|
|
27
|
-
return z.object({
|
|
28
|
-
address: schemas.Fr,
|
|
29
|
-
nextAddress: schemas.Fr,
|
|
30
|
-
nextIndex: schemas.BigInt
|
|
31
|
-
}).transform(({ address, nextAddress, nextIndex })=>new ProtocolContractLeafPreimage(address, nextAddress, nextIndex));
|
|
32
|
-
}
|
|
33
|
-
getKey() {
|
|
34
|
-
return this.address.toBigInt();
|
|
35
|
-
}
|
|
36
|
-
getNextKey() {
|
|
37
|
-
return this.nextAddress.toBigInt();
|
|
38
|
-
}
|
|
39
|
-
getNextIndex() {
|
|
40
|
-
return this.nextIndex;
|
|
41
|
-
}
|
|
42
|
-
asLeaf() {
|
|
43
|
-
return new ProtocolContractLeaf(this.address);
|
|
44
|
-
}
|
|
45
|
-
toBuffer() {
|
|
46
|
-
return Buffer.concat(this.toHashInputs());
|
|
47
|
-
}
|
|
48
|
-
toHashInputs() {
|
|
49
|
-
// Note: the protocol contract leaves only hash the value and next value.
|
|
50
|
-
return [
|
|
51
|
-
Buffer.from(this.address.toBuffer()),
|
|
52
|
-
Buffer.from(this.nextAddress.toBuffer())
|
|
53
|
-
];
|
|
54
|
-
}
|
|
55
|
-
toFields() {
|
|
56
|
-
return [
|
|
57
|
-
this.address,
|
|
58
|
-
this.nextAddress,
|
|
59
|
-
new Fr(this.nextIndex)
|
|
60
|
-
];
|
|
61
|
-
}
|
|
62
|
-
static random() {
|
|
63
|
-
return new ProtocolContractLeafPreimage(Fr.random(), Fr.random(), BigInt(Math.floor(Math.random() * 1000) % MAX_PROTOCOL_CONTRACTS));
|
|
64
|
-
}
|
|
65
|
-
static empty() {
|
|
66
|
-
return new ProtocolContractLeafPreimage(Fr.ZERO, Fr.ZERO, 0n);
|
|
67
|
-
}
|
|
68
|
-
static fromBuffer(buffer) {
|
|
69
|
-
const reader = BufferReader.asReader(buffer);
|
|
70
|
-
return new ProtocolContractLeafPreimage(reader.readObject(Fr), reader.readObject(Fr), toBigIntBE(reader.readBytes(32)));
|
|
71
|
-
}
|
|
72
|
-
}
|
|
73
|
-
/**
|
|
74
|
-
* An address to be inserted or checked in the protocol contract tree.
|
|
75
|
-
*/ export class ProtocolContractLeaf {
|
|
76
|
-
address;
|
|
77
|
-
constructor(/**
|
|
78
|
-
* Address value.
|
|
79
|
-
*/ address){
|
|
80
|
-
this.address = address;
|
|
81
|
-
}
|
|
82
|
-
getKey() {
|
|
83
|
-
return this.address.toBigInt();
|
|
84
|
-
}
|
|
85
|
-
toBuffer() {
|
|
86
|
-
return this.address.toBuffer();
|
|
87
|
-
}
|
|
88
|
-
isEmpty() {
|
|
89
|
-
return this.address.isZero();
|
|
90
|
-
}
|
|
91
|
-
updateTo(_another) {
|
|
92
|
-
throw new Error('Protocol contract tree is insert only');
|
|
93
|
-
}
|
|
94
|
-
static buildDummy(key) {
|
|
95
|
-
return new ProtocolContractLeaf(new Fr(key));
|
|
96
|
-
}
|
|
97
|
-
static fromBuffer(buf) {
|
|
98
|
-
return new ProtocolContractLeaf(Fr.fromBuffer(buf));
|
|
99
|
-
}
|
|
100
|
-
}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"proposed_block_header.d.ts","sourceRoot":"","sources":["../../src/tx/proposed_block_header.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAEhG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE1C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,0CAA0C;AAC1C,qBAAa,mBAAmB;IAE5B,2DAA2D;IACpD,eAAe,EAAE,EAAE;IAC1B,0CAA0C;IACnC,iBAAiB,EAAE,iBAAiB;IAC3C,kCAAkC;IAC3B,UAAU,EAAE,EAAE;IACrB,iCAAiC;IAC1B,SAAS,EAAE,MAAM;IACxB,iCAAiC;IAC1B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,wCAAwC;IACjC,OAAO,EAAE,OAAO;IACvB,wEAAwE;IACjE,aAAa,EAAE,EAAE;;IAfxB,2DAA2D;IACpD,eAAe,EAAE,EAAE;IAC1B,0CAA0C;IACnC,iBAAiB,EAAE,iBAAiB;IAC3C,kCAAkC;IAC3B,UAAU,EAAE,EAAE;IACrB,iCAAiC;IAC1B,SAAS,EAAE,MAAM;IACxB,iCAAiC;IAC1B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,wCAAwC;IACjC,OAAO,EAAE,OAAO;IACvB,wEAAwE;IACjE,aAAa,EAAE,EAAE;IAG1B,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,mBAAmB,CAAC,CAa/C;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC;IAatD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC;IAIjD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;IAerE,MAAM,CAAC,KAAK,EAAE,mBAAmB,GAAG,OAAO;IAa3C,QAAQ;IAcR,IAAI,IAAI,EAAE;IAIV,MAAM,CAAC,KAAK,CAAC,MAAM,GAAE,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAM,GAAG,mBAAmB;IActF,MAAM,CAAC,MAAM,IAAI,mBAAmB;IAapC,OAAO,IAAI,OAAO;IAalB;;;OAGG;IACI,QAAQ;IAIf,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB;IAInD,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU;IAalC,MAAM,IAAI,UAAU;IAgBpB,SAAS;;;;;;;;;;;;;;;;;IAaT,CAAC,OAAO,CAAC,MAAM,CAAC;CAajB"}
|