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

API Reference

API Reference#

This page contains auto-generated API reference documentation [1].

  • 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
[1]

Created with sphinx-autoapi

previous

Multi-AIR (RV32IM)

next

witness

By Derived from the Python Executable Specification