List of all items

Structs

• Felt
• MapIntoIter
• Word
• aead::aead_poseidon2::AeadPoseidon2
• aead::aead_poseidon2::AuthTag
• aead::aead_poseidon2::EncryptedData
• aead::aead_poseidon2::Nonce
• aead::aead_poseidon2::SecretKey
• aead::xchacha::EncryptedData
• aead::xchacha::Nonce
• aead::xchacha::SecretKey
• aead::xchacha::XChaCha
• dsa::ecdsa_k256_keccak::KeyExchangeKey
• dsa::ecdsa_k256_keccak::PublicKey
• dsa::ecdsa_k256_keccak::Signature
• dsa::ecdsa_k256_keccak::SigningKey
• dsa::eddsa_25519_sha512::KeyExchangeKey
• dsa::eddsa_25519_sha512::PublicKey
• dsa::eddsa_25519_sha512::Signature
• dsa::eddsa_25519_sha512::SigningKey
• dsa::falcon512_poseidon2::Nonce
• dsa::falcon512_poseidon2::Polynomial
• dsa::falcon512_poseidon2::PublicKey
• dsa::falcon512_poseidon2::SecretKey
• dsa::falcon512_poseidon2::Signature
• dsa::falcon512_poseidon2::SignatureHeader
• dsa::falcon512_poseidon2::SignaturePoly
• ecdh::k256::EphemeralPublicKey
• ecdh::k256::EphemeralSecretKey
• ecdh::k256::K256
• ecdh::k256::SharedSecret
• ecdh::x25519::EphemeralPublicKey
• ecdh::x25519::EphemeralSecretKey
• ecdh::x25519::SharedSecret
• ecdh::x25519::X25519
• field::BinomialExtensionField
• field::BoundedPowers
• field::Powers
• hash::blake::Blake3Hasher
• hash::blake::Blake3_192
• hash::blake::Blake3_256
• hash::keccak::Keccak256
• hash::keccak::Keccak256Hash
• hash::keccak::KeccakF
• hash::poseidon2::Poseidon2
• hash::poseidon2::Poseidon2Permutation256
• hash::rpo::Rpo256
• hash::rpo::RpoPermutation256
• hash::rpx::Rpx256
• hash::rpx::RpxPermutation256
• hash::sha2::Sha256
• hash::sha2::Sha512
• ies::SealedMessage
• merkle::EmptySubtreeRoots
• merkle::InnerNodeInfo
• merkle::MerklePath
• merkle::MerkleProof
• merkle::MerkleTree
• merkle::NodeIndex
• merkle::PartialMerkleTree
• merkle::RootPath
• merkle::SparseMerklePath
• merkle::mmr::Forest
• merkle::mmr::InOrderIndex
• merkle::mmr::Mmr
• merkle::mmr::MmrDelta
• merkle::mmr::MmrPath
• merkle::mmr::MmrPeaks
• merkle::mmr::MmrProof
• merkle::mmr::PartialMmr
• merkle::smt::ForestConfig
• merkle::smt::ForestInMemoryBackend
• merkle::smt::LargeSmt
• merkle::smt::LargeSmtForest
• merkle::smt::LeafIndex
• merkle::smt::LineageId
• merkle::smt::MemoryStorage
• merkle::smt::MemoryStorageSnapshot
• merkle::smt::MutationSet
• merkle::smt::PartialSmt
• merkle::smt::SimpleSmt
• merkle::smt::SimpleSmtProof
• merkle::smt::Smt
• merkle::smt::SmtForest
• merkle::smt::SmtForestUpdateBatch
• merkle::smt::SmtProof
• merkle::smt::SmtUpdateBatch
• merkle::smt::StorageUpdateParts
• merkle::smt::StorageUpdates
• merkle::smt::Subtree
• merkle::smt::TreeEntry
• merkle::smt::TreeId
• merkle::smt::TreeWithRoot
• merkle::smt::UniqueNodes
• merkle::store::MerkleStore
• merkle::store::StoreNode
• rand::RandomCoin
• rand::test_utils::ContinuousRng
• stark::GenericStarkConfig
• stark::air::EmptyWindow
• stark::air::FilteredAirBuilder
• stark::air::ReducedAuxValues
• stark::air::RowWindow
• stark::air::auxiliary::ReducedAuxValues
• stark::air::symbolic::AirLayout
• stark::air::symbolic::ConstraintLayout
• stark::air::symbolic::SymbolicAirBuilder
• stark::air::symbolic::SymbolicVariable
• stark::air::symbolic::SymbolicVariableExt
• stark::challenger::DuplexChallenger
• stark::challenger::HashChallenger
• stark::challenger::SerializingChallenger64
• stark::dft::NaiveDft
• stark::dft::Radix2DitParallel
• stark::fri::DeepTranscript
• stark::fri::FriRoundTranscript
• stark::fri::FriTranscript
• stark::fri::PcsParams
• stark::fri::PcsTranscript
• stark::fri::deep::DeepTranscript
• stark::fri::deep::proof::DeepTranscript
• stark::fri::params::PcsParams
• stark::fri::proof::PcsTranscript
• stark::fri::round_proof::FriRoundTranscript
• stark::fri::round_proof::FriTranscript
• stark::hasher::ChainingHasher
• stark::hasher::SerializingStatefulSponge
• stark::hasher::StatefulSponge
• stark::lmcs::config::LmcsConfig
• stark::lmcs::hiding_config::HidingLmcsConfig
• stark::lmcs::lifted_tree::LiftedMerkleTree
• stark::lmcs::merkle_witness::MerkleWitness
• stark::lmcs::node_id::NodeId
• stark::lmcs::proof::BatchProof
• stark::lmcs::proof::LeafOpening
• stark::lmcs::proof::Proof
• stark::lmcs::row_list::RowList
• stark::lmcs::tree_indices::MissingSiblingsIter
• stark::lmcs::tree_indices::TreeIndices
• stark::proof::StarkOutput
• stark::proof::StarkProof
• stark::proof::StarkTranscript
• stark::prover::commit::Committed
• stark::prover::periodic::PeriodicLde
• stark::symmetric::CompressionFunctionFromHasher
• stark::symmetric::PaddingFreeSponge
• stark::symmetric::SerializingHasher
• stark::symmetric::TruncatedPermutation
• stark::transcript::TranscriptData
• stark::verifier::constraints::ConstraintFolder
• stark::verifier::periodic::PeriodicPolys
• utils::BudgetedReader
• utils::ReadAdapter
• utils::SliceReader
• word::Word

Enums

• MapEntry
• WordError
• aead::DataType
• aead::EncryptionError
• dsa::ecdsa_k256_keccak::PublicKeyError
• dsa::eddsa_25519_sha512::PublicKeyError
• dsa::eddsa_25519_sha512::UncheckedVerificationError
• ies::IesError
• ies::IesScheme
• ies::SealingKey
• ies::UnsealingKey
• merkle::MerkleError
• merkle::mmr::MmrError
• merkle::smt::BackendError
• merkle::smt::ForestOperation
• merkle::smt::LargeSmtError
• merkle::smt::LargeSmtForestError
• merkle::smt::NodeMutation
• merkle::smt::NodeValue
• merkle::smt::RootInfo
• merkle::smt::SmtLeaf
• merkle::smt::SmtLeafError
• merkle::smt::SmtProofError
• merkle::smt::StorageError
• merkle::smt::SubtreeError
• merkle::smt::SubtreeUpdate
• stark::air::AirStructureError
• stark::air::TracePart
• stark::air::symbolic::BaseEntry
• stark::air::symbolic::BaseLeaf
• stark::air::symbolic::ExtEntry
• stark::air::symbolic::ExtLeaf
• stark::air::symbolic::SymbolicExpr
• stark::fri::DeepError
• stark::fri::FriError
• stark::fri::PcsError
• stark::fri::PcsParamsError
• stark::fri::deep::DeepError
• stark::fri::deep::verifier::DeepError
• stark::fri::params::PcsParamsError
• stark::fri::verifier::FriError
• stark::fri::verifier::PcsError
• stark::lmcs::LmcsError
• stark::prover::ProverError
• stark::transcript::TranscriptError
• stark::verifier::VerifierError
• utils::DeserializationError
• utils::HexParseError
• word::WordError

Traits

• SequentialCommit
• field::Algebra
• field::BasedVectorSpace
• field::BinomiallyExtendable
• field::BinomiallyExtendableAlgebra
• field::ExtensionField
• field::Field
• field::HasTwoAdicBinomialExtension
• field::InjectiveMonomial
• field::Packable
• field::PermutationMonomial
• field::PrimeCharacteristicRing
• field::PrimeField
• field::PrimeField64
• field::QuotientMap
• field::RawDataSerializable
• field::TwoAdicField
• hash::HasherExt
• merkle::smt::Backend
• merkle::smt::SmtStorage
• merkle::smt::SmtStorageReader
• parallel::FromParallelIterator
• parallel::IndexedParallelIterator
• parallel::IntoParallelIterator
• parallel::IntoParallelRefIterator
• parallel::IntoParallelRefMutIterator
• parallel::ParallelBridge
• parallel::ParallelDrainFull
• parallel::ParallelDrainRange
• parallel::ParallelExtend
• parallel::ParallelIterator
• parallel::ParallelSlice
• parallel::ParallelSliceMut
• parallel::ParallelString
• parallel::SharedExt
• rand::FeltRng
• rand::Randomizable
• stark::StarkConfig
• stark::air::Air
• stark::air::AirBuilder
• stark::air::AirBuilderWithContext
• stark::air::AuxBuilder
• stark::air::BaseAir
• stark::air::ExtensionBuilder
• stark::air::LiftedAir
• stark::air::LiftedAirBuilder
• stark::air::PeriodicAirBuilder
• stark::air::PermutationAirBuilder
• stark::air::WindowAccess
• stark::air::auxiliary::AuxBuilder
• stark::air::symbolic::SymLeaf
• stark::challenger::CanFinalizeDigest
• stark::challenger::CanObserve
• stark::challenger::FieldChallenger
• stark::challenger::GrindingChallenger
• stark::dft::TwoAdicSubgroupDft
• stark::hasher::Alignable
• stark::hasher::StatefulHasher
• stark::lmcs::Lmcs
• stark::lmcs::LmcsTree
• stark::lmcs::bitrev::BitReversibleMatrix
• stark::lmcs::proof::BatchProofView
• stark::lmcs::utils::PackedValueExt
• stark::matrix::Matrix
• stark::symmetric::CryptographicPermutation
• stark::symmetric::Permutation
• stark::transcript::TranscriptChallenger
• utils::ByteReader
• utils::ByteWriter
• utils::Deserializable
• utils::Serializable

Macros

• word

Functions

• field::batch_inversion_allow_zeros
• field::batch_multiplicative_inverse
• merkle::path_to_text
• merkle::tree_to_text
• parallel::current_num_threads
• parallel::join
• rand::random_felt
• rand::random_word
• rand::test_utils::prng_array
• rand::test_utils::prng_value
• rand::test_utils::prng_vector
• rand::test_utils::rand_array
• rand::test_utils::rand_value
• rand::test_utils::rand_vector
• rand::test_utils::seeded_rng
• stark::air::log2_strict_u8
• stark::air::symbolic::get_all_symbolic_constraints
• stark::air::symbolic::get_constraint_layout
• stark::air::symbolic::get_max_constraint_degree
• stark::air::symbolic::get_max_constraint_degree_extension
• stark::air::symbolic::get_symbolic_constraints
• stark::air::symbolic::get_symbolic_constraints_extension
• stark::air::utils::add2
• stark::air::utils::add3
• stark::air::utils::checked_andn
• stark::air::utils::checked_xor
• stark::air::utils::pack_bits_le
• stark::air::utils::u32_to_bits_le
• stark::air::utils::u64_to_16_bit_limbs
• stark::air::utils::u64_to_bits_le
• stark::air::utils::xor_32_shift
• stark::debug::check_constraints
• stark::debug::check_constraints_multi
• stark::lmcs::bitrev::materialize_bitrev
• stark::lmcs::utils::aligned_len
• stark::lmcs::utils::aligned_widths
• stark::lmcs::utils::log2_strict_u8
• stark::prover::commit::commit_traces
• stark::prover::constraints::evaluate_constraints_into
• stark::prover::prove_multi
• stark::prover::prove_single
• stark::prover::quotient::commit_quotient
• stark::prover::quotient::cyclic_extend_and_scale
• stark::prover::quotient::divide_by_vanishing_in_place
• stark::verifier::constraints::reconstruct_quotient
• stark::verifier::constraints::row_to_packed_ext
• stark::verifier::verify_multi
• stark::verifier::verify_single
• utils::assume_init_vec
• utils::bytes_to_elements_exact
• utils::bytes_to_elements_with_padding
• utils::bytes_to_hex_string
• utils::bytes_to_packed_u32_elements
• utils::elements_to_bytes
• utils::flatten_slice_elements
• utils::flatten_vector_elements
• utils::group_slice_elements
• utils::hex_to_bytes
• utils::padded_elements_to_bytes
• utils::transpose_slice
• utils::uninit_vector
• utils::word_to_hex

Type Aliases

• Map
• Set
• hash::blake::Blake3Digest
• hash::keccak::Keccak256Digest
• hash::poseidon2::Poseidon2Challenger
• hash::poseidon2::Poseidon2Compression
• hash::poseidon2::Poseidon2Goldilocks
• hash::poseidon2::Poseidon2Hasher
• hash::rpo::RpoChallenger
• hash::rpo::RpoCompression
• hash::rpo::RpoHasher
• hash::rpx::RpxChallenger
• hash::rpx::RpxCompression
• hash::rpx::RpxHasher
• hash::sha2::Sha256Digest
• hash::sha2::Sha512Digest
• merkle::smt::VersionId
• stark::air::ReductionError
• stark::air::VarLenPublicInputs
• stark::air::auxiliary::ReductionError
• stark::air::auxiliary::VarLenPublicInputs
• stark::air::symbolic::SymbolicExpression
• stark::air::symbolic::SymbolicExpressionExt
• stark::fri::PcsOpenedValues
• stark::fri::deep::PcsOpenedValues
• stark::fri::deep::proof::PcsOpenedValues
• stark::lmcs::OpenedRows
• stark::matrix::RowMajorMatrix
• stark::proof::StarkDigest

Constants

• EMPTY_WORD
• ONE
• ZERO
• aead::aead_poseidon2::AUTH_TAG_SIZE
• aead::aead_poseidon2::NONCE_SIZE
• aead::aead_poseidon2::NONCE_SIZE_BYTES
• aead::aead_poseidon2::SECRET_KEY_SIZE
• aead::aead_poseidon2::SK_SIZE_BYTES
• dsa::falcon512_poseidon2::PK_LEN
• dsa::falcon512_poseidon2::SK_LEN
• hash::keccak::VECTOR_LEN
• merkle::smt::FOREST_DEFAULT_MAX_HISTORY_VERSIONS
• merkle::smt::FOREST_MIN_HISTORY_VERSIONS
• merkle::smt::LEAF_DOMAIN
• merkle::smt::MAX_LEAF_ENTRIES
• merkle::smt::SMT_DEPTH
• merkle::smt::SMT_MAX_DEPTH
• merkle::smt::SMT_MIN_DEPTH