List of all items

Structs

• compiler::AcirTransformationMap
• compiler::CircuitSimulator
• compiler::optimizers::general::GeneralOptimizer
• compiler::optimizers::merge_expressions::MergeExpressionsOptimizer
• compiler::optimizers::redundant_range::RangeInfo
• compiler::optimizers::redundant_range::RangeOptimizer
• compiler::optimizers::unused_memory::UnusedMemoryOptimizer
• compiler::simulator::CircuitSimulator
• compiler::transformers::WitnessFolder
• compiler::transformers::csat::CSatTransformer
• pwg::ACVM
• pwg::AcirCallWaitInfo
• pwg::BrilligSolver
• pwg::ForeignCallWaitInfo
• pwg::ProfilingSample
• pwg::RawAssertionPayload
• pwg::arithmetic::ExpressionSolver
• pwg::brillig::BrilligSolver
• pwg::brillig::ForeignCallWaitInfo
• pwg::memory_op::MemoryOpSolver

Enums

• BlackBoxResolutionError
• pwg::ACVMStatus
• pwg::BrilligSolverStatus
• pwg::ErrorLocation
• pwg::OpcodeNotSolvable
• pwg::OpcodeResolutionError
• pwg::ResolvedAssertionPayload
• pwg::StepResult
• pwg::arithmetic::MulTerm
• pwg::arithmetic::OpcodeStatus
• pwg::brillig::BrilligSolverStatus

Traits

• AcirField
• BlackBoxFunctionSolver

Macros

• assert_circuit_snapshot

Functions

• compiler::compile
• compiler::optimize
• compiler::optimizers::general::simplify_linear_terms
• compiler::optimizers::general::simplify_mul_terms
• compiler::optimizers::optimize
• compiler::optimizers::optimize_internal
• compiler::optimizers::redundant_range::memory_block_implied_max_bits
• compiler::transform
• compiler::transform_assert_messages
• compiler::transformers::csat::fits_in_one_identity
• compiler::transformers::max_witness
• compiler::transformers::transform
• compiler::transformers::transform_internal
• compiler::transformers::transform_internal_once
• pwg::any_witness_from_expression
• pwg::arithmetic::quick_invert
• pwg::blackbox::aes128::solve_aes128_encryption_opcode
• pwg::blackbox::contains_all_inputs
• pwg::blackbox::embedded_curve_ops::embedded_curve_add
• pwg::blackbox::embedded_curve_ops::multi_scalar_mul
• pwg::blackbox::first_missing_assignment
• pwg::blackbox::hash::get_hash_input
• pwg::blackbox::hash::solve_generic_256_hash_opcode
• pwg::blackbox::hash::solve_poseidon2_permutation_opcode
• pwg::blackbox::hash::solve_sha_256_permutation_opcode
• pwg::blackbox::hash::to_u32_array
• pwg::blackbox::hash::write_digest_to_outputs
• pwg::blackbox::logic::and
• pwg::blackbox::logic::solve_logic_opcode
• pwg::blackbox::logic::xor
• pwg::blackbox::range::solve_range_opcode
• pwg::blackbox::signature::ecdsa::secp256k1_prehashed
• pwg::blackbox::signature::ecdsa::secp256r1_prehashed
• pwg::blackbox::solve
• pwg::blackbox::utils::to_u8_array
• pwg::blackbox::utils::to_u8_vec
• pwg::brillig::extract_failure_payload_from_memory
• pwg::check_bit_size
• pwg::get_value
• pwg::input_to_value
• pwg::insert_value
• pwg::is_predicate_false
• pwg::witness_to_value

Type Aliases

• FieldElement
• pwg::ProfilingSamples
• pwg::memory_op::MemoryIndex

Constants

• compiler::MIN_EXPRESSION_WIDTH
• compiler::transformers::MAX_TRANSFORMER_PASSES
• compiler::transformers::csat::MIN_EXPRESSION_WIDTH