List of all items
Structs
- adapter::CircuitStepContext
- adapter::MixState
- adapter::PolyExtStepDef
- core::sha::Digest
- core::sha::DigestRef
- 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::dual::BufferImpl
- hal::dual::DualEvalCheck
- hal::dual::DualHal
- prove::adapter::ProveAdapter
- prove::executor::Executor
- prove::poly_group::PolyGroup
- 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::sha::Sha
- 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::sha::testutil::test_sha_impl
- core::sha_rng::testutil::test_sha_rng_impl
- core::to_po2
- prove::prove
- prove::prove_without_seal
- verify::verify
Type Definitions
- adapter::Arg
- adapter::Var
- field::baby_bear::BabyBearElem
- field::baby_bear::BabyBearExtElem
- field::goldilocks::GoldilocksElem
- field::goldilocks::GoldilocksExtElem
- hal::cpu::BabyBearCpuHal