Skip to main content
Back to top
Ctrl
+
K
ZisK Prover Spec
STARK Protocol
Primitives
Building Blocks
STARK Protocol: Commitment Phase
STARK Protocol: Query Phase
Multi-AIR Challenge Binding
Constraint Polynomial Structure
FRI Polynomial Batching Formula
The Full Protocol, Rolled Out
Glossary of Notation
ZisK Machine
Architecture Overview
Bus Architecture
CPU: Main AIR
Memory Subsystem
Computation Coprocessors
Precompiles
Lookup Tables
Recursion Pipeline
Pipeline Overview
Basic STARK Proof (Stage 1)
Compressor (Stage 2, Optional)
Recursive1: Per-AIR Normalization (Stage 3)
Recursive2: Tree Aggregation (Stage 4)
VadcopFinal (Stage 5)
Distributed Proving
executable-spec/
constraints
constraints.base
constraints.bytecode_adapter
constraints.lookup2_12
constraints.permutation1_6
constraints.simple_left
primitives
primitives.batch_inverse
primitives.expression_bytecode
primitives.expression_bytecode.expression_evaluator
primitives.expression_bytecode.expressions_bin
primitives.expression_bytecode.witness_generation
primitives.field
primitives.goldilocks_jit
primitives.merkle_prover
primitives.merkle_tree
primitives.merkle_verifier
primitives.ntt
primitives.pol_map
primitives.polynomial
primitives.transcript
protocol
protocol.air_config
protocol.data
protocol.fri
protocol.fri_polynomial
protocol.global_info
protocol.pcs
protocol.proof
protocol.prover
protocol.simple_pilout
protocol.stages
protocol.stark_info
protocol.verifier
witness
witness.base
witness.bytecode_adapter
witness.lookup2_12
witness.permutation1_6
witness.simple_left
witness.simple_right
witness.specified_ranges
witness.u16_air
witness.u8_air
Search
Error
Please activate JavaScript to enable the search functionality.
Ctrl
+
K