List of all items
Structs
- Assembler
- DefaultHost
- ExecutionOptions
- ExecutionOutput
- ExecutionProof
- ExecutionTrace
- FastProcessor
- Kernel
- Module
- Program
- ProgramInfo
- ProvingOptions
- StackInputs
- StackOutputs
- TraceBuildInputs
- TraceGenerationContext
- TraceProvingInputs
- Word
- advice::AdviceInputs
- advice::AdviceMap
- advice::AdviceProvider
- advice::AdviceStackBuilder
- crypto::dsa::ecdsa_k256_keccak::PublicKey
- crypto::dsa::ecdsa_k256_keccak::SecretKey
- crypto::dsa::ecdsa_k256_keccak::Signature
- crypto::dsa::eddsa_25519_sha512::PublicKey
- crypto::dsa::eddsa_25519_sha512::SecretKey
- crypto::dsa::eddsa_25519_sha512::Signature
- 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::hash::Sha512
- 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::BinomialExtensionField
- field::BoundedPowers
- field::Powers
- internal::InputFile
- internal::Level
- internal::event::Event
- internal::instrument::Instrumented
- internal::instrument::WithDispatch
- serde::BudgetedReader
- serde::SliceReader
- trace::AuxTraceBuilders
- trace::ChipletsLengths
- trace::ExecutionTrace
- trace::RowIndex
- trace::TraceBuildInputs
- trace::TraceGenerationContext
- trace::TraceLenSummary
- trace::chiplets::Ace
- trace::chiplets::AuxTraceBuilder
- trace::chiplets::Chiplets
- trace::chiplets::ChipletsTrace
- trace::chiplets::CircuitEvaluation
- trace::chiplets::MerkleRootUpdate
- utils::ColMatrix
- utils::CsrMatrix
- utils::DenseIdMap
- utils::DisplayHex
- utils::IndexVec
- utils::ReadAdapter
Enums
- ExecutionError
- HashFunction
- InputError
- ModuleKind
- Operation
- VerificationError
- advice::AdviceError
- advice::AdviceMutation
- crypto::dsa::ecdsa_k256_keccak::PublicKeyError
- crypto::dsa::eddsa_25519_sha512::PublicKeyError
- crypto::dsa::eddsa_25519_sha512::UncheckedVerificationError
- crypto::merkle::MerkleError
- crypto::merkle::SmtProofError
- internal::MerkleData
- serde::DeserializationError
- utils::CsrValidationError
- utils::IndexedVecError
Traits
- BaseHost
- FutureMaybeSend
- Host
- SyncHost
- 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
- internal::instrument::Instrument
- internal::instrument::WithSubscriber
- serde::ByteReader
- serde::ByteWriter
- serde::Deserializable
- serde::Serializable
- utils::Idx
- utils::IntoBytes
- utils::LookupByIdx
- utils::Matrix
- utils::ToElements
- utils::ToHex
Macros
Attribute Macros
Functions
- execute
- execute_sync
- field::batch_inversion_allow_zeros
- field::batch_multiplicative_inverse
- prove
- prove_from_trace_sync
- prove_sync
- trace::build_trace
- trace::build_trace_with_max_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
- verify