List of all items

Structs

• adapter::CircuitStepContext
• adapter::MixState
• adapter::PolyExtStepDef
• adapter::ProtocolInfo
• core::digest::Digest
• core::hash::HashSuite
• core::hash::blake2b::Blake2bCpuImpl
• core::hash::blake2b::Blake2bHashSuite
• core::hash::blake2b::Blake2bRng
• core::hash::poseidon2::Poseidon2HashSuite
• core::hash::poseidon2::Poseidon2Rng
• core::hash::poseidon_254::Poseidon254HashSuite
• core::hash::sha::Block
• core::hash::sha::Sha256HashSuite
• core::hash::sha::cpu::Impl
• core::hash::sha::guest::Impl
• core::hash::sha::rust_crypto::Sha256VarCore
• field::baby_bear::BabyBear
• field::baby_bear::Elem
• field::baby_bear::ExtElem
• field::goldilocks::Elem
• field::goldilocks::ExtElem
• hal::AccumPreflight
• hal::MemoryTracker
• hal::cpu::CpuBuffer
• hal::cpu::CpuHal
• hal::cpu::SyncSlice
• hal::dual::BufferImpl
• hal::dual::DualCircuitHal
• hal::dual::DualHal
• layout::Reg
• layout::Tree
• prove::accum::Accum
• prove::accum::Handler
• prove::adapter::ProveAdapter
• prove::executor::Executor
• prove::poly_group::PolyGroup
• prove::prover::Prover
• prove::write_iop::WriteIOP
• taps::ComboData
• taps::ComboIter
• taps::ComboRef
• taps::RegisterIter
• taps::RegisterRef
• taps::TapData
• taps::TapIter
• taps::TapRef
• taps::TapSet
• verify::ReadIOP

Enums

• adapter::PolyExtStep
• verify::VerificationError

Traits

• adapter::CircuitCoreDef
• adapter::CircuitInfo
• adapter::CircuitProveDef
• adapter::CircuitStep
• adapter::CircuitStepHandler
• adapter::PolyExt
• adapter::PolyFp
• adapter::TapsProvider
• core::Random
• core::hash::HashFn
• core::hash::Rng
• core::hash::RngFactory
• core::hash::blake2b::Blake2b
• core::hash::sha::Sha256
• core::hash::sha::rust_crypto::Digest
• field::Elem
• field::ExtElem
• field::Field
• field::RootsOfUnity
• hal::Buffer
• hal::CircuitHal
• hal::Hal

Macros

• core::digest::digest
• core::digest::hex
• digest
• layout::paste

Functions

• core::hash::hash_suite_from_name
• core::hash::poseidon2::poseidon2_mix
• core::hash::poseidon2::unpadded_hash
• core::hash::poseidon_254::digest_to_fr
• core::hash::sha::testutil::test_sha_impl
• core::log2_ceil
• core::ntt::bit_rev_32
• core::ntt::bit_reverse
• core::ntt::evaluate_ntt
• core::ntt::expand
• core::ntt::interpolate_ntt
• core::poly::poly_divide
• core::poly::poly_eval
• core::poly::poly_interpolate
• core::to_po2
• field::map_pow
• hal::tracker
• layout::get_elem
• layout::get_u32
• prove::soundness::conjectured_strict
• prove::soundness::proven
• prove::soundness::toy_model_security
• verify::verify

Type Aliases

• adapter::Arg
• adapter::Var
• core::hash::blake2b::Blake2bCpuHashSuite
• core::hash::sha::rust_crypto::Output
• core::hash::sha::rust_crypto::Sha256
• field::baby_bear::BabyBearElem
• field::baby_bear::BabyBearExtElem
• field::goldilocks::GoldilocksElem
• field::goldilocks::GoldilocksExtElem

Statics

• core::hash::sha::SHA256_INIT

Constants

• FRI_FOLD
• INV_RATE
• MAX_CYCLES
• MAX_CYCLES_PO2
• MIN_CYCLES
• MIN_CYCLES_PO2
• MIN_PO2
• QUERIES
• ZK_CYCLES
• adapter::PROOF_SYSTEM_INFO
• adapter::REGISTER_GROUP_ACCUM
• adapter::REGISTER_GROUP_CODE
• adapter::REGISTER_GROUP_DATA
• core::digest::DIGEST_BYTES
• core::digest::DIGEST_SHORTS
• core::digest::DIGEST_WORDS
• core::digest::WORD_SIZE
• core::hash::poseidon2::CELLS_OUT
• core::hash::poseidon2::CELLS_RATE
• core::hash::poseidon2::M_INT_DIAG_HZN
• core::hash::sha::BLOCK_BYTES
• core::hash::sha::BLOCK_WORDS
• core::hash::sha::WORD_SIZE
• field::baby_bear::P