List of all items
Structs
- adapter::CircuitStepContext
- adapter::MixState
- adapter::PolyExtStepDef
- core::blake2b::Blake2bCpuImpl
- core::blake2b::Blake2bRng
- core::blake2b::ConfigHashBlake2b
- core::blake2b::HashSuiteBlake2b
- core::config::ConfigHashPoseidon
- core::config::ConfigHashSha256
- core::config::HashSuitePoseidon
- core::config::HashSuiteSha256
- core::digest::Digest
- core::digest::DigestRef
- core::poseidon::PoseidonRng
- core::sha::Block
- core::sha::BlockRef
- core::sha::rust_crypto::Sha256VarCore
- core::sha_cpu::Impl
- core::sha_rng::ShaRng
- field::baby_bear::BabyBear
- field::baby_bear::Elem
- field::baby_bear::ExtElem
- field::goldilocks::Elem
- field::goldilocks::ExtElem
- hal::cpu::CpuBuffer
- hal::cpu::CpuHal
- hal::cpu::SyncSlice
- hal::dual::BufferImpl
- hal::dual::DualEvalCheck
- hal::dual::DualHal
- 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::CpuVerifyHal
- verify::adapter::VerifyAdapter
- verify::read_iop::ReadIOP
Enums
Traits
- adapter::CircuitDef
- adapter::CircuitInfo
- adapter::CircuitStep
- adapter::CircuitStepHandler
- adapter::PolyExt
- adapter::PolyFp
- adapter::TapsProvider
- core::Random
- core::blake2b::Blake2b
- core::config::ConfigHash
- core::config::ConfigRng
- core::config::HashSuite
- core::sha::Sha256
- core::sha::rust_crypto::Digest
- field::Elem
- field::ExtElem
- field::Field
- field::RootsOfUnity
- hal::Buffer
- hal::EvalCheck
- hal::Hal
- verify::VerifyHal
Functions
- 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::poseidon::poseidon_mix
- core::poseidon::unpadded_hash
- core::sha::testutil::test_sha_impl
- core::sha_rng::testutil::test_sha_rng_impl
- core::to_po2
- verify::verify
Type Definitions
- adapter::Arg
- adapter::Var
- core::blake2b::HashSuiteBlake2bCpu
- core::sha::rust_crypto::Output
- core::sha::rust_crypto::Sha256
- field::baby_bear::BabyBearElem
- field::baby_bear::BabyBearExtElem
- field::goldilocks::GoldilocksElem
- field::goldilocks::GoldilocksExtElem
- hal::cpu::BabyBearBlake2bCpuHal
- hal::cpu::BabyBearPoseidonCpuHal
- hal::cpu::BabyBearSha256CpuHal
Statics
Constants
- FRI_FOLD
- INV_RATE
- MAX_CYCLES
- MAX_CYCLES_PO2
- MIN_CYCLES
- MIN_CYCLES_PO2
- MIN_PO2
- QUERIES
- ZK_CYCLES
- adapter::REGISTER_GROUP_ACCUM
- adapter::REGISTER_GROUP_CODE
- adapter::REGISTER_GROUP_DATA
- core::digest::DIGEST_BYTES
- core::digest::DIGEST_WORDS
- core::digest::WORD_SIZE
- core::poseidon::CELLS_OUT
- core::poseidon::CELLS_RATE
- core::poseidon::consts::ALPHA
- core::poseidon::consts::CELLS
- core::poseidon::consts::MDS
- core::poseidon::consts::PARTIAL_COMP_MATRIX
- core::poseidon::consts::PARTIAL_COMP_OFFSET
- core::poseidon::consts::ROUNDS_FULL
- core::poseidon::consts::ROUNDS_HALF_FULL
- core::poseidon::consts::ROUNDS_PARTIAL
- core::poseidon::consts::ROUND_CONSTANTS
- core::sha::BLOCK_BYTES
- core::sha::BLOCK_WORDS
- core::sha::WORD_SIZE