Skip to main content
Back to top
Ctrl
+
K
OpenVM STARK Spec
Search
Ctrl
+
K
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
Search
Error
Please activate JavaScript to enable the search functionality.
Ctrl
+
K