Module config 

Modules

baby_bear_poseidon2

STARK config where the base field is BabyBear, extension field is BabyBear^4, and the hasher is Poseidon2<BabyBear>.

log_up_params

Constants

APP_MAX_CONSTRAINT_DEGREE

DEFAULT_APP_LOG_BLOWUP

DEFAULT_APP_L_SKIP

DEFAULT_HOOK_LOG_BLOWUP

DEFAULT_INTERNAL_LOG_BLOWUP

DEFAULT_K_WHIR

DEFAULT_LEAF_LOG_BLOWUP

DEFAULT_ROOT_LOG_BLOWUP

DEFAULT_WHIR_QUERY_PHASE_POW_BITS

MAX_APP_LOG_STACKED_HEIGHT

RECURSION_MAX_CONSTRAINT_DEGREE

SECURITY_BITS_TARGET

WHIR_MAX_LOG_FINAL_POLY_LEN

Functions

app_params_with_100_bits_security

Returns SystemParams targeting 100 bits of proven RBR security for App VM circuits.

base_field_order

Order p of the base field for the production BabyBearPoseidon2Config.

challenge_field_bits

Number of bits in the challenge field for the production BabyBearPoseidon2Config.

hook_params_with_100_bits_security

Returns SystemParams targeting 100 bits of proven RBR security for deferral hook circuits.

internal_params_with_100_bits_security

Returns SystemParams targeting 100 bits of proven RBR security for internal aggregation circuits.

leaf_params_with_100_bits_security

Returns SystemParams targeting 100 bits of proven RBR security for leaf aggregation circuits.

params_with_100_bits_security

Builds production SystemParams for 100-bit security, calibrating LogUp grinding to the WHIR proximity regime’s PCS list size. The LogUp params are derived up front (from the same inputs SystemParams::new uses to build the WHIR config) so they can be passed straight in.

root_params_with_100_bits_security

Returns SystemParams targeting 100 bits of proven RBR security for root circuits.