List of all items

Structs

• builder::constraint_system::ConstraintSystemBuilder
• builder::witness::Builder
• builder::witness::EntryBuilder
• builder::witness::WitnessEntry
• collatz::Collatz
• keccakf::KeccakfOracles
• keccakf::KeccakfState
• lasso::batch::LookupBatch
• lasso::u32add::SeveralU32add

Enums

• arithmetic::Flags
• sha256::RotateRightType

Functions

• arithmetic::u32::add
• arithmetic::u32::constant
• arithmetic::u32::half
• arithmetic::u32::mul_const
• arithmetic::u32::packed
• arithmetic::u32::select_bit
• arithmetic::u32::shl
• arithmetic::u32::shr
• bitwise::and
• bitwise::or
• bitwise::xor
• collatz::collatz_orbit
• collatz::ensure_odd
• groestl::groestl_p_permutation
• keccakf::keccakf
• lasso::big_integer_ops::byte_sliced_add::byte_sliced_add
• lasso::big_integer_ops::byte_sliced_add_carryfree::byte_sliced_add_carryfree
• lasso::big_integer_ops::byte_sliced_double_conditional_increment::byte_sliced_double_conditional_increment
• lasso::big_integer_ops::byte_sliced_modular_mul::byte_sliced_modular_mul
• lasso::big_integer_ops::byte_sliced_mul::byte_sliced_mul
• lasso::big_integer_ops::byte_sliced_test_utils::random_u512
• lasso::big_integer_ops::byte_sliced_test_utils::test_bytesliced_add
• lasso::big_integer_ops::byte_sliced_test_utils::test_bytesliced_add_carryfree
• lasso::big_integer_ops::byte_sliced_test_utils::test_bytesliced_double_conditional_increment
• lasso::big_integer_ops::byte_sliced_test_utils::test_bytesliced_modular_mul
• lasso::big_integer_ops::byte_sliced_test_utils::test_bytesliced_mul
• lasso::lasso::lasso
• lasso::lookups::u8_arithmetic::add_carryfree_lookup
• lasso::lookups::u8_arithmetic::add_lookup
• lasso::lookups::u8_arithmetic::dci_lookup
• lasso::lookups::u8_arithmetic::mul_lookup
• lasso::sha256::sha256
• lasso::u32add::u32add
• lasso::u8_double_conditional_increment::u8_double_conditional_increment
• lasso::u8add::u8add
• lasso::u8add_carryfree::u8add_carryfree
• lasso::u8mul::u8mul
• lasso::u8mul::u8mul_bytesliced
• plain_lookup::plain_lookup
• sha256::rotate_and_xor
• sha256::sha256
• sha256::u32const_repeating
• transparent::constant
• transparent::make_transparent
• transparent::step_down
• transparent::step_up
• u32fib::u32fib
• unconstrained::unconstrained
• vision::vision_permutation

Type Aliases

• collatz::Advice

Constants

• lasso::sha256::CH_MAJ_T_LOG_SIZE
• sha256::INIT
• sha256::ROUND_CONSTS_K