protocol.stark_info

STARK configuration parser.

This module provides two key configuration classes:

StarkStruct (from starkstruct.json):

Protocol-level parameters that define the STARK proof system structure. Includes: domain sizes (n_bits, n_bits_ext), FRI configuration (fold steps, blowup factor), Merkle tree parameters (arity, last_level_verification), and security parameters (n_queries, pow_bits).

StarkInfo (from starkinfo.json):

AIR-specific metadata that defines the constraint system and polynomial layout. Includes: polynomial maps (cm_pols_map, const_pols_map), evaluation map (ev_map), challenge derivation (challenges_map), and memory layout (map_sections_n).

The distinction: StarkStruct is reusable across AIRs with the same domain size, while StarkInfo is specific to each AIR’s constraint polynomial structure.

Attributes

HASH_SIZE

Classes

FriFoldStep	FRI recursive folding layer configuration.
StarkStruct	Core STARK protocol parameters.
StarkInfo	STARK configuration loaded from starkinfo.json.

Module Contents

protocol.stark_info.HASH_SIZE = 4

class protocol.stark_info.FriFoldStep

FRI recursive folding layer configuration.

domain_bits: int

class protocol.stark_info.StarkStruct

Core STARK protocol parameters.

n_bits: int

n_bits_ext: int

n_queries: int

verification_hash_type: str

fri_fold_steps: list[FriFoldStep] = []

merkle_tree_arity: int = 16

merkle_tree_custom: bool = False

transcript_arity: int = 16

last_level_verification: int = 0

pow_bits: int = 0

hash_commits: bool = False

class protocol.stark_info.StarkInfo

STARK configuration loaded from starkinfo.json.

stark_struct

name = ''

n_publics = 0

n_constants = 0

n_stages = 0

proof_size = 0

custom_commits: list[primitives.pol_map.CustomCommits] = []

cm_pols_map: list[primitives.pol_map.PolMap] = []

const_pols_map: list[primitives.pol_map.PolMap] = []

challenges_map: list[primitives.pol_map.ChallengeMap] = []

airgroup_values_map: list[primitives.pol_map.PolMap] = []

air_values_map: list[primitives.pol_map.PolMap] = []

custom_commits_map: list[list[primitives.pol_map.PolMap]] = []

ev_map: list[primitives.pol_map.EvMap] = []

opening_points: list[int] = []

boundaries: list[primitives.pol_map.Boundary] = []

q_deg = 0

q_dim = 0

c_exp_id = 0

fri_exp_id = 0

map_sections_n: dict[str, int]

map_offsets: dict[tuple[str, bool], int]

map_total_n = 0

map_total_n_custom_commits_fixed = 0

air_values_size = 0

airgroup_values_size = 0

classmethod from_json(path: str) → StarkInfo

Load StarkInfo from starkinfo.json file.

get_offset(section: str, extended: bool) → int

Get buffer offset for a section.

get_n_cols(section: str) → int

Get number of columns in a section.

get_column_key(name: str, index: int = 0) → tuple[str, int]

Get the (name, index) key for a column.

Args:

name: Column name (e.g., ‘a’, ‘im_cluster’) index: Index for array columns (default 0)

Returns:

Tuple (name, index) for use as dict key

has_challenge(name: str) → bool

Check if a challenge with given name exists.

get_challenge_index(name: str) → int

Get the index of a challenge by name.

build_column_name_map() → dict[str, list[int]]

Build mapping from column names to their pols_map_id indices.

Returns:

Dict mapping name -> list of pols_map_id values e.g., {‘a’: [0], ‘im_cluster’: [16, 17, 18, 19, 20, 21]}