Module config 

STARK configuration factories for different hash functions.

Each factory creates a StarkConfig bundling the PCS parameters, LMCS commitment scheme, and Fiat-Shamir challenger for proving and verification.

Constants

DEEP_POW_BITS

Proof-of-work bits for DEEP composition polynomial.

FOLDING_POW_BITS

Proof-of-work bits for FRI folding challenges.

LOG_FOLDING_ARITY

Log2 of the FRI folding arity (arity = 4).

RELATION_DIGEST

RELATION_DIGEST = Poseidon2::hash_elements([PROTOCOL_ID, CIRCUIT_COMMITMENT]).

Functions

blake3_256_config

Creates a Blake3_256-based STARK configuration.

keccak_config

Creates a Keccak-based STARK configuration.

observe_protocol_params

Observes PCS protocol parameters and per-proof trace height into the challenger.

observe_var_len_public_inputs

Absorbs variable-length public inputs into the challenger.

pcs_params

Default PCS parameters shared by all hash function configurations.

poseidon2_config

Creates a Poseidon2-based STARK configuration.

rpo_config

Creates an RPO-based STARK configuration.

rpx_config

Creates an RPX-based STARK configuration.

Type Aliases

MidenStarkConfig

Miden VM STARK configuration with pre-filled common type parameters.

Poseidon2Config

Concrete STARK configuration type for Poseidon2.