List of all items

Structs

• AdviceInputs
• ExecutionOptions
• ExecutionOutput
• ExecutionProof
• ProgramInfo
• ProvingOptions
• PublicInputs
• StackInputs
• StackOutputs
• StarkProof
• TraceBuildInputs
• TraceGenerationContext
• TraceProvingInputs
• Word
• crypto::dsa::ecdsa_k256_keccak::KeyExchangeKey
• crypto::dsa::ecdsa_k256_keccak::PublicKey
• crypto::dsa::ecdsa_k256_keccak::Signature
• crypto::dsa::ecdsa_k256_keccak::SigningKey
• crypto::dsa::falcon512_poseidon2::Nonce
• crypto::dsa::falcon512_poseidon2::Polynomial
• crypto::dsa::falcon512_poseidon2::PublicKey
• crypto::dsa::falcon512_poseidon2::SecretKey
• crypto::dsa::falcon512_poseidon2::Signature
• crypto::dsa::falcon512_poseidon2::SignatureHeader
• crypto::dsa::falcon512_poseidon2::SignaturePoly
• crypto::hash::Blake3_256
• crypto::hash::Keccak256
• crypto::hash::Poseidon2
• crypto::hash::Rpo256
• crypto::hash::Rpx256
• crypto::hash::Sha256
• crypto::merkle::EmptySubtreeRoots
• crypto::merkle::InnerNodeInfo
• crypto::merkle::LeafIndex
• crypto::merkle::MerklePath
• crypto::merkle::MerkleStore
• crypto::merkle::MerkleTree
• crypto::merkle::Mmr
• crypto::merkle::MmrPeaks
• crypto::merkle::NodeIndex
• crypto::merkle::PartialMerkleTree
• crypto::merkle::SimpleSmt
• crypto::merkle::Smt
• crypto::merkle::SmtProof
• crypto::merkle::StoreNode
• crypto::random::RandomCoin
• field::Binomial
• field::BoundedPowers
• field::Powers
• serde::BudgetedReader
• serde::SliceReader
• utils::CsrMatrix
• utils::DenseIdMap
• utils::DisplayHex
• utils::IndexVec
• utils::ReadAdapter

Enums

• DeferredProof
• DeserializationError
• ExecutionError
• HashFunction
• InputError
• MidenAir
• crypto::dsa::ecdsa_k256_keccak::PublicKeyError
• crypto::merkle::MerkleError
• crypto::merkle::SmtProofError
• serde::DeserializationError
• utils::CsrValidationError
• utils::IndexedVecError

Traits

• FutureMaybeSend
• Host
• SyncHost
• field::Algebra
• field::BasedVectorSpace
• field::BinomiallyExtendable
• field::ExtensionAlgebra
• field::ExtensionField
• field::Field
• field::HasTwoAdicBinomialExtension
• field::InjectiveMonomial
• field::Packable
• field::PermutationMonomial
• field::PrimeCharacteristicRing
• field::PrimeField
• field::PrimeField64
• field::QuotientMap
• field::RawDataSerializable
• field::TwoAdicField
• serde::ByteReader
• serde::ByteWriter
• serde::Deserializable
• serde::Serializable
• utils::Idx
• utils::IntoBytes
• utils::LookupByIdx
• utils::Matrix
• utils::ToElements
• utils::ToHex

Macros

• utils::newtype_id

Functions

• config::ace_circuit_registry_tree
• config::blake3_256_config
• config::conjectured_security_level
• config::keccak_config
• config::observe_protocol_params
• config::pcs_params
• config::poseidon2_config
• config::rpo_config
• config::rpx_config
• field::batch_inversion_allow_zeros
• field::batch_multiplicative_inverse
• prove
• prove_from_trace_sync
• prove_partial
• prove_partial_from_trace_sync
• prove_partial_sync
• prove_stark
• prove_sync
• serde::read_bounded_len
• serde::validate_bounded_len
• utils::assume_init_vec
• utils::bound_into_included_u64
• utils::bytes_to_packed_u32_elements
• utils::flatten_slice_elements
• utils::flatten_vector_elements
• utils::group_slice_elements
• utils::hash_string_to_word
• utils::packed_u32_elements_to_bytes
• utils::range
• utils::to_hex
• utils::uninit_vector

Type Aliases

• config::Blake3Config
• config::KeccakConfig
• config::MidenStarkConfig
• config::Poseidon2Config
• config::RelationDigest
• config::RpoConfig
• config::RpxConfig
• crypto::hash::Blake3Digest
• field::BinomialExtensionField
• field::QuadFelt
• utils::RowMajorMatrix

Constants

• config::ACE_CIRCUIT_REGISTRY_DEPTH
• config::ACE_CIRCUIT_REGISTRY_LEAF_COUNT
• config::ACE_CIRCUIT_REGISTRY_LEAVES
• config::ACE_CIRCUIT_REGISTRY_ROOT
• config::CONJECTURED_BITS_PER_QUERY_FP
• config::DEEP_POW_BITS
• config::FOLDING_POW_BITS
• config::LOG_FOLDING_ARITY
• config::MAX_SECURITY_LEVEL
• config::RELATION_DIGEST
• crypto::dsa::falcon512_poseidon2::PK_LEN
• crypto::dsa::falcon512_poseidon2::SK_LEN
• crypto::merkle::SMT_DEPTH