List of all items

Structs

• compute_setups::CircuitSetupData
• compute_setups::light::LightCircuitSetupData
• data_source::in_memory_data_source::InMemoryDataSource
• data_source::local_file_data_source::LocalFileDataSource
• geometry_config::GeometryConfig
• helper::artifact_utils::TestArtifact
• proof_wrapper_utils::WrapperConfig
• toolset::GeometryConfig
• toolset::ProvingToolset
• witness::artifacts::DecommitmentArtifactsForMainVM
• witness::artifacts::DemuxedIOLogQueries
• witness::artifacts::DemuxedLogQueries
• witness::artifacts::DemuxedPrecompilesLogQueries
• witness::artifacts::LogQueueStates
• witness::artifacts::MemoryArtifacts
• witness::oracle::CommonLogSponges
• witness::oracle::ForwardLogSponge
• witness::oracle::FrameLogQueueDetailedState
• witness::oracle::LogAccessSpongesInfo
• witness::oracle::RollbackLogSponge
• witness::oracle::RollbackQueueStateWitness
• witness::postprocessing::FirstAndLastCircuitWitness
• witness::postprocessing::RamPermutationCircuitInstancePartialWitness
• witness::postprocessing::RamPermutationQueuesWitness
• witness::sort_storage_access::StorageSlotHistoryKeeper
• witness::tracer::callstack_handler::CallstackActionHistoryEntry
• witness::tracer::callstack_handler::CallstackEntryWithAuxData
• witness::tracer::callstack_handler::CallstackWithAuxData
• witness::tracer::callstack_handler::LogQueryWithAuxData
• witness::tracer::tracer::AuxCallstackProto
• witness::tracer::tracer::LogQueueFramesProcessor
• witness::tracer::tracer::NumberedApplicationData
• witness::tracer::tracer::WitnessTracer
• witness::tracer::vm_snapshot::VmSnapshot
• witness::tracer::vm_snapshot::VmTransition
• witness::tree::InMemoryStorageTree
• witness::tree::LeafQuery
• witness::tree::ZkSyncStorageLeaf

Enums

• debug::CircuitWrapper
• geometry_config::ProtocolGeometry
• witness::oracle::WitnessGenerationArtifact
• witness::tracer::callstack_handler::CallstackAction
• witness::tracer::callstack_handler::ExtendedLogQuery
• witness::tracer::callstack_handler::LogAction
• witness::tracer::callstack_handler::MergeIntention
• witness::tracer::callstack_handler::OutOfScopeReason
• witness::tracer::callstack_handler::QueueSegmentIndirectablePointer
• witness::tracer::callstack_handler::RenumeratedQueryIndex
• witness::tracer::tracer::QueryMarker

Traits

• data_source::BlockDataSource
• data_source::SetupDataSource
• witness::aux_data_structs::TupleFirst
• witness::tree::BinaryHasher
• witness::tree::BinarySparseStorageTree
• witness::tree::EnumeratedBinaryLeaf

Functions

• capacity_estimator::code_decommitter_capacity
• capacity_estimator::code_decommittments_sorter_capacity
• capacity_estimator::ecadd_capacity
• capacity_estimator::ecmul_capacity
• capacity_estimator::ecpairing_capacity
• capacity_estimator::ecrecover_capacity
• capacity_estimator::event_sorter_capacity
• capacity_estimator::keccak256_rf_capacity
• capacity_estimator::l1_messages_hasher_capacity
• capacity_estimator::log_demuxer_capacity
• capacity_estimator::main_vm_capacity
• capacity_estimator::modexp_capacity
• capacity_estimator::ram_permutation_capacity
• capacity_estimator::secp256r1_verify_capacity
• capacity_estimator::sha256_rf_capacity
• capacity_estimator::storage_application_capacity
• capacity_estimator::storage_sorter_capacity
• capacity_estimator::transient_storage_sorter_capacity
• compute_setups::basic_vk_count
• compute_setups::compute_leaf_params
• compute_setups::generate_base_layer_vks
• compute_setups::generate_base_layer_vks_and_proofs
• compute_setups::generate_circuit_setup_data
• compute_setups::generate_recursion_tip_vk
• compute_setups::generate_recursive_layer_vks
• compute_setups::generate_recursive_layer_vks_and_proofs
• compute_setups::generate_scheduler_vk
• compute_setups::generate_vk_and_finalization_hint
• compute_setups::get_all_basic_circuits
• compute_setups::light::generate_light_circuit_setup_data
• compute_setups::recursive_layer_vk_count
• debug::debug_circuit
• empty_node_proof
• entry_point::create_out_of_circuit_global_context
• entry_point::initial_out_of_circuit_context
• external_calls::run
• geometry_config::get_geometry_config_1_5_2
• helper::artifact_utils::save_predeployed_contracts
• helper::artifact_utils::save_predeployed_evm_contract_stubs
• helper::serialize_utils::deserialize_bytecode
• helper::serialize_utils::deserialize_bytecodes_with_addresses
• helper::serialize_utils::hex_string_to_bytecode
• proof_wrapper_utils::check_trusted_setup_file_existace
• proof_wrapper_utils::compress_stark_pi_to_snark_pi
• proof_wrapper_utils::get_proof_for_previous_circuit
• proof_wrapper_utils::get_trusted_setup
• proof_wrapper_utils::get_vk_for_previous_circuit
• proof_wrapper_utils::get_wrapper_setup_and_vk_from_compression_vk
• proof_wrapper_utils::get_wrapper_setup_and_vk_from_scheduler_vk
• proof_wrapper_utils::wrap_proof
• prover_utils::create_base_layer_setup_data
• prover_utils::create_compression_for_wrapper_setup_data
• prover_utils::create_compression_layer_setup_data
• prover_utils::create_recursive_layer_setup_data
• prover_utils::light::create_light_base_layer_setup_data
• prover_utils::light::create_light_compression_for_wrapper_setup_data
• prover_utils::light::create_light_compression_layer_setup_data
• prover_utils::light::create_light_recursive_layer_setup_data
• prover_utils::prove_base_layer_circuit
• prover_utils::prove_compression_for_wrapper_circuit
• prover_utils::prove_compression_layer_circuit
• prover_utils::prove_recursion_layer_circuit
• prover_utils::verify_base_layer_proof
• prover_utils::verify_base_layer_proof_for_type
• prover_utils::verify_compression_for_wrapper_proof
• prover_utils::verify_compression_layer_proof
• prover_utils::verify_recursion_layer_proof
• prover_utils::verify_recursion_layer_proof_for_type
• toolset::create_out_of_circuit_vm
• toolset::create_out_of_circuit_vm_with_subversion
• toolset::create_tools
• tracers::evm_deploy_tracer::evm_bytecode_into_words
• tracers::evm_deploy_tracer::hash_evm_bytecode
• utils::binary_merklize_set
• utils::bytes_to_u128_le
• utils::bytes_to_u32_le
• utils::calldata_to_aligned_data
• utils::finalize_queue_state
• utils::finalized_queue_state_as_bytes
• utils::generate_eip4844_witness
• utils::read_unaligned_bytes_from_simple_memory
• utils::u128_as_u32_le
• utils::u64_as_u32_le
• witness::individual_circuits::events_sort_dedup::simulate_events_log_for_commitment
• witness::recursive_aggregation::compute_leaf_params
• witness::recursive_aggregation::compute_leaf_vks_and_params_commitment
• witness::recursive_aggregation::compute_node_vk_commitment
• witness::recursive_aggregation::create_leaf_witness
• witness::recursive_aggregation::create_leaf_witnesses
• witness::recursive_aggregation::create_node_witness
• witness::recursive_aggregation::create_node_witnesses
• witness::recursive_aggregation::split_recursion_queue
• witness::sort_storage_access::sort_storage_access_queries
• witness::sort_storage_access::sort_transient_storage_access_queries
• witness::utils::closed_form_witness_from_full_form
• witness::utils::commit_encoding_round_function
• witness::utils::commit_variable_length_encodable_witness
• witness::utils::log_queries_into_states
• witness::utils::produce_fs_challenges
• witness::utils::simulate_public_input_value_from_encodable_witness
• witness::utils::take_queue_state_from_simulator
• witness::utils::take_sponge_like_queue_state_from_simulator
• witness::utils::transform_queue_state
• witness::utils::transform_queue_witness
• witness::utils::transform_sponge_like_queue_state
• witness::utils::transpose_chunks
• witness::utils::vm_instance_witness_to_circuit_formal_input
• witness::utils::vm_instance_witness_to_vm_formal_state

Type Aliases

• data_source::SourceResult
• proof_wrapper_utils::TranscriptForWrapper
• proof_wrapper_utils::TreeHasherForWrapper
• prover_utils::TranscriptForWrapper
• prover_utils::TreeHasherForWrapper
• witness::aux_data_structs::MemoryQueuePerCircuitSimulator
• witness::postprocessing::RecursionQueueSimulator
• witness::recursive_aggregation::RecursionQueueSimulator
• witness::tree::ZKSyncTestingTree
• witness::utils::ConstraintSystemImpl

Constants

• INITIAL_MONOTONIC_CYCLE_COUNTER
• external_calls::SCHEDULER_TIMESTAMP
• helper::artifact_utils::ACCOUNT_CODE_STORAGE_ADDRESS
• helper::artifact_utils::KNOWN_CODE_HASHES_ADDRESS
• proof_wrapper_utils::DEFAULT_WRAPPER_CONFIG
• proof_wrapper_utils::L1_VERIFIER_DOMAIN_SIZE_LOG
• witness::postprocessing::L1_MESSAGES_MERKLIZER_OUTPUT_LINEAR_HASH