miden-verifier-0.22.1
- miden-verifier 0.22.1
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- bobbinth
- github:0xmiden:vm-publishers
- Dependencies
- bincode ^1.3 normal
  miden-air ^0.22.0 normal
  miden-core ^0.22.0 normal
  miden-crypto ^0.23 normal
  serde ^1.0 normal
  thiserror ^2.0 normal
  tracing ^0.1 normal
- Versions
- 36.36% of the crate is documented
Platform
- i686-pc-windows-msvc
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

miden_verifier0.22.1

Crate Items

Structs
Enums
Functions
Type Aliases

List of all items

Structs

ExecutionProof
Kernel
PrecompileVerifierRegistry
ProgramInfo
StackInputs
StackOutputs
Word
math::Felt

Enums

HashFunction
PrecompileVerificationError
StarkVerificationError
VerificationError

Functions

verify
verify_with_precompiles

Type Aliases

PrecompileTranscriptDigest
PrecompileTranscriptState