Docs.rs
  • sp1-recursion-compiler-5.0.0
    • sp1-recursion-compiler 5.0.0
    • Permalink
    • Docs.rs crate page
    • MIT OR Apache-2.0
    • Links
    • Repository
    • crates.io
    • Source
    • Owners
    • mattstam
    • jtguibas
    • nhtyy
    • Dependencies
      • backtrace ^0.3.71 normal optional
      • itertools ^0.13.0 normal
      • p3-baby-bear =0.2.3-succinct normal
      • p3-bn254-fr =0.2.3-succinct normal
      • p3-field =0.2.3-succinct normal
      • p3-symmetric =0.2.3-succinct normal
      • serde ^1.0.204 normal
      • sp1-core-machine ^5.0.0 normal
      • sp1-primitives ^5.0.0 normal
      • sp1-recursion-core ^5.0.0 normal
      • sp1-recursion-derive ^5.0.0 normal
      • sp1-stark ^5.0.0 normal
      • tracing ^0.1.40 normal
      • vec_map ^0.8.2 normal
      • criterion ^0.5.1 dev
      • p3-challenger =0.2.3-succinct dev
      • p3-dft =0.2.3-succinct dev
      • p3-merkle-tree =0.2.3-succinct dev
      • rand ^0.8.5 dev
    • Versions
    • 46.22% of the crate is documented
  • Platform
    • x86_64-unknown-linux-gnu
  • Feature flags
  • docs.rs
    • About docs.rs
    • Privacy policy
  • Rust
    • Rust website
    • The Book
    • Standard Library API Reference
    • Rust by Example
    • The Cargo Guide
    • Clippy Documentation

sp1_recursion_compiler5.0.0

Crate Items

  • Structs
  • Enums
  • Traits
  • Type Aliases
  • Derive Macros

List of all items

Structs

  • circuit::AsmCompiler
  • circuit::AsmConfig
  • config::OuterConfig
  • constraints::Constraint
  • constraints::ConstraintCompiler
  • ir::Builder
  • ir::CircuitV2FriFoldInput
  • ir::CircuitV2FriFoldOutput
  • ir::DslIrBlock
  • ir::DslIrProgram
  • ir::Ext
  • ir::ExtHandle
  • ir::Felt
  • ir::FeltHandle
  • ir::FriFoldInput
  • ir::IfBuilder
  • ir::InnerBuilder
  • ir::MemIndex
  • ir::Ptr
  • ir::RangeBuilder
  • ir::SymbolicPtr
  • ir::Var
  • ir::VarHandle
  • ir::Witness

Enums

  • circuit::CompileOneErr
  • circuit::Imm
  • constraints::opcodes::ConstraintOpcode
  • ir::Array
  • ir::DslIr
  • ir::ExtOperand
  • ir::SymbolicExt
  • ir::SymbolicFelt
  • ir::SymbolicUsize
  • ir::SymbolicVar
  • ir::Usize

Traits

  • circuit::CircuitV2Builder
  • ir::Config
  • ir::ExtConst
  • ir::ExtensionOperand
  • ir::FromConstant
  • ir::IrIter
  • ir::MemVariable
  • ir::Variable

Derive Macros

  • prelude::DslVariable

Type Aliases

  • circuit::AsmBuilder
  • config::InnerConfig