Docs.rs
  • sp1-recursion-core-4.0.0
    • sp1-recursion-core 4.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
      • cfg-if ^1.0.0 normal
      • ff ^0.13 normal
      • hashbrown ^0.14.5 normal
      • itertools ^0.13.0 normal
      • num_cpus ^1.16.0 normal
      • p3-air =0.2.0-succinct normal
      • p3-baby-bear =0.2.0-succinct normal
      • p3-bn254-fr =0.2.0-succinct normal
      • p3-challenger =0.2.0-succinct normal
      • p3-commit =0.2.0-succinct normal
      • p3-dft =0.2.0-succinct normal
      • p3-field =0.2.0-succinct normal
      • p3-fri =0.2.0-succinct normal
      • p3-matrix =0.2.0-succinct normal
      • p3-maybe-rayon =0.2.0-succinct normal
      • p3-merkle-tree =0.2.0-succinct normal
      • p3-poseidon2 =0.2.0-succinct normal
      • p3-symmetric =0.2.0-succinct normal
      • p3-util =0.2.0-succinct normal
      • rand ^0.8.5 normal
      • range-set-blaze ^0.1.16 normal optional
      • serde ^1.0.204 normal
      • smallvec ^1.13.2 normal optional
      • sp1-core-machine ^4.0.0 normal
      • sp1-derive ^4.0.0 normal
      • sp1-primitives ^4.0.0 normal
      • sp1-stark ^4.0.0 normal
      • static_assertions ^1.1.0 normal
      • thiserror ^1.0.60 normal
      • tracing ^0.1.40 normal
      • vec_map ^0.8.2 normal
      • zkhash ^0.2.0 normal
      • range-set-blaze ^0.1.16 dev
      • smallvec ^1.13.2 dev
      • cbindgen ^0.27.0 build
      • cc ^1.1 build
      • glob ^0.3.1 build
      • p3-baby-bear =0.2.0-succinct build
      • pathdiff ^0.2.1 build
      • sp1-primitives ^4.0.0 build
      • sp1-stark ^4.0.0 build
    • Versions
    • 18.56% of the crate is documented
  • Go to latest version
  • Platform
    • i686-pc-windows-msvc
    • i686-unknown-linux-gnu
    • x86_64-apple-darwin
    • x86_64-pc-windows-msvc
    • 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

Module stark

sp1_recursion_core4.0.0

Module stark

Module Items

  • Structs
  • Constants
  • Functions
  • Type Aliases

In crate sp1_recursion_core

Modules

  • air
  • builder
  • chips
  • machine
  • runtime
  • shape
  • stark
  • sys

Structs

  • Address
  • BaseAluInstr
  • BaseAluIo
  • BatchFRIBaseVecIo
  • BatchFRIEvent
  • BatchFRIExtSingleIo
  • BatchFRIExtVecIo
  • BatchFRIInstr
  • BatchFRIInstrFFI
  • BatchFRIIo
  • CommitPublicValuesEvent
  • CommitPublicValuesInstr
  • ExpReverseBitsEvent
  • ExpReverseBitsEventFFI
  • ExpReverseBitsInstr
  • ExpReverseBitsInstrFFI
  • ExpReverseBitsIo
  • ExtAluInstr
  • ExtAluIo
  • FriFoldBaseIo
  • FriFoldEvent
  • FriFoldExtSingleIo
  • FriFoldExtVecIo
  • FriFoldInstr
  • FriFoldInstrFFI
  • FriFoldIo
  • MemInstr
  • MemIo
  • Poseidon2Io
  • Poseidon2SkinnyInstr
  • SelectInstr
  • SelectIo

Enums

  • MemAccessKind

Type Aliases

  • BaseAluEvent
  • ExtAluEvent
  • MemEvent
  • Poseidon2Event
  • Poseidon2Instr
  • Poseidon2WideEvent
  • SelectEvent
sp1_recursion_core

Module stark

Settings
Help
Source

Structs§

  • BabyBearPoseidon2Outer

Constants§

  • DIGEST_SIZE
  • OUTER_MULTI_FIELD_CHALLENGER_DIGEST_SIZE
  • OUTER_MULTI_FIELD_CHALLENGER_RATE
  • OUTER_MULTI_FIELD_CHALLENGER_WIDTH

Functions§

  • bn254_poseidon2_rc3
  • bn254_poseidon2_rc4
  • outer_fri_config
    The FRI config for outer recursion.
  • outer_fri_config_with_blowup
    The FRI config for outer recursion.
  • outer_perm
    The permutation for outer recursion.
  • sp1_dev_mode
    Returns whether the SP1_DEV environment variable is enabled or disabled.
  • test_fri_config
    The FRI config for testing recursion.

Type Aliases§

  • OuterBatchOpening
  • OuterChallenge
  • OuterChallengeMmcs
  • OuterChallenger
  • OuterCommitPhaseStep
  • OuterCompress
  • OuterDft
  • OuterDigest
  • OuterDigestHash
  • OuterFriProof
  • OuterHash
  • OuterPcs
  • OuterPcsProof
  • OuterPerm
  • OuterQueryProof
  • OuterVal
    A configuration for outer recursion.
  • OuterValMmcs