sp1-recursion-compiler-3.0.0
- sp1-recursion-compiler 3.0.0
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- mattstam
- jtguibas
- nhtyy
- Dependencies
- backtrace ^0.3.71 normal
  
  itertools ^0.13.0 normal
  
  p3-baby-bear ^0.1.4-succinct normal
  
  p3-bn254-fr ^0.1.4-succinct normal
  
  p3-field ^0.1.4-succinct normal
  
  p3-symmetric ^0.1.4-succinct normal
  
  serde ^1.0.204 normal
  
  sp1-core-machine ^3.0.0 normal
  
  sp1-primitives ^3.0.0 normal
  
  sp1-recursion-core ^3.0.0 normal
  
  sp1-recursion-derive ^3.0.0 normal
  
  sp1-stark ^3.0.0 normal
  
  tracing ^0.1.40 normal
  
  vec_map ^0.8.2 normal
  
  criterion ^0.5.1 dev
  
  p3-challenger ^0.1.4-succinct dev
  
  p3-dft ^0.1.4-succinct dev
  
  p3-merkle-tree ^0.1.4-succinct dev
  
  rand ^0.8.5 dev
- Versions
- 11.11% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

sp1_recursion_compiler3.0.0

Module opcodes

Module Items

Enums

In sp1_recursion_compiler::constraints

sp1_recursion_compiler::constraints

Module opcodes

Enums§

ConstraintOpcode
Operations that can be constrained inside the circuit.