Skip to main content
Ctrl+K

OpenVM STARK Spec

  • Part I: STARK Protocol
    • Primitives
    • Building Blocks
    • Commitment Phase
    • Verification Phase
    • The Full Protocol, Rolled Out
    • Appendix: Constraint System
    • Appendix: FRI Protocol
    • Glossary of Notation
  • Part II: Programs
    • Fibonacci (Single-AIR)
    • Multi-AIR (RV32IM)
  • API Reference
    • witness
      • witness.fibonacci
    • protocol
      • protocol.constraints
      • protocol.domain
      • protocol.fri
      • protocol.logup
      • protocol.pcs
      • protocol.proof
      • protocol.quotient
      • protocol.stark
    • primitives
      • primitives.field
      • primitives.merkle
      • primitives.ntt
      • primitives.poseidon2
      • primitives.transcript
    • constraints
      • constraints.fibonacci_air
  • .rst

primitives

Contents

  • Submodules

primitives#

Submodules#

  • primitives.field
  • primitives.merkle
  • primitives.ntt
  • primitives.poseidon2
  • primitives.transcript

previous

protocol.stark

next

primitives.field

Contents
  • Submodules

By Derived from the Python Executable Specification