risc0-circuit-rv32im-4.0.0
- risc0-circuit-rv32im 4.0.0
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- flaub
- github:risc0:maintainers
- Dependencies
- anyhow ^1.0 normal
  
  bytemuck ^1.13 normal
  
  derive_more ^2.0.1 normal
  
  gdbstub ^0.7 normal optional
  
  gdbstub_arch ^0.3 normal optional
  
  paste ^1.0 normal
  
  risc0-binfmt ^3.0.0 normal
  
  risc0-core ^2.0.1 normal
  
  risc0-zkp ^3.0.0 normal
  
  serde ^1.0 normal
  
  tracing ^0.1 normal
  
  clap ^4.5 dev
  
  flate2 ^1.0 dev
  
  tar ^0.4 dev
  
  test-log ^0.2 dev
  
  tracing-subscriber ^0.3 dev
  
  bit-vec ^0.8 normal
  
  byteorder ^1.5 normal optional
  
  cfg-if ^1.0 normal optional
  
  enum-map ^2.7.3 normal optional
  
  malachite ^0.4.22 normal optional
  
  num-derive ^0.4.2 normal optional
  
  num-traits ^0.2.19 normal optional
  
  postcard ^1.1.1 normal optional
  
  rand ^0.9.1 normal optional
  
  rayon ^1.5 normal optional
  
  ringbuffer ^0.15.0 normal optional
  
  risc0-circuit-rv32im-sys ^4.0.0 normal optional
  
  risc0-sys ^1.5.0 normal optional
  
  smallvec ^1.13 normal optional
  
  wide ^0.7 normal optional
- Versions
- 45.95% of the crate is documented
This release has been yanked, go to latest version
Platform
Feature flags

docs.rs

Rust

verify

risc0_circuit_rv32im4.0.0

risc0_circuit_rv32im

Function verify

pub fn verify(seal: &[u32]) -> Result<(), VerificationError>