sp1-recursion-program-1.0.1
- sp1-recursion-program 1.0.1
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- mattstam
- jtguibas
- nhtyy
- Dependencies
- itertools ^0.13.0 normal
  
  p3-air ^0.1.3-succinct normal
  
  p3-baby-bear ^0.1.3-succinct normal
  
  p3-challenger ^0.1.3-succinct normal
  
  p3-commit ^0.1.3-succinct normal
  
  p3-dft ^0.1.3-succinct normal
  
  p3-field ^0.1.3-succinct normal
  
  p3-fri ^0.1.3-succinct normal
  
  p3-matrix ^0.1.3-succinct normal
  
  p3-maybe-rayon ^0.1.3-succinct normal
  
  p3-merkle-tree ^0.1.3-succinct normal
  
  p3-poseidon2 ^0.1.3-succinct normal
  
  p3-symmetric ^0.1.3-succinct normal
  
  p3-util ^0.1.3-succinct normal
  
  rand ^0.8.5 normal
  
  serde ^1.0.204 normal
  
  sp1-core ^1.0.1 normal
  
  sp1-primitives ^1.0.1 normal
  
  sp1-recursion-compiler ^1.0.1 normal
  
  sp1-recursion-core ^1.0.1 normal
  
  stacker ^0.1 normal
  
  tracing ^0.1.40 normal
- Versions
- 13.89% of the crate is documented
Go to latest version
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs
- About docs.rs
- Privacy policy

Rust

sp1_recursion_program1.0.1

In sp1_recursion_program::utils

Functions

assert_challenger_eq_pv
assign_challenger_from_pv
clone
clone_array
const_fri_config
felt2var
get_challenger_public_values
hash_vkey
var2felt

?

Function sp1_recursion_program::utils::var2felt

pub fn var2felt<C: Config>(
    builder: &mut Builder<C>,
    var: Var<C::N>,
) -> Felt<C::F>