Module global_config 

Statics

PROVER_VERIFIER_CONFIG

Default prover/verifier config is runtime-optimized for both! Note that this is a global static variable with atomic read/write access. In particular:

Functions

downgrade

Simple wrapper around [parking_lot::RwLockWriteGuard::downgrade] so that dependent libraries don’t have to include the dependency within their Cargo.toml files.

get_current_global_prover_config

Returns a copy of the global GKRCircuitProverConfig.

get_current_global_verifier_config

Returns a copy of the global GKRCircuitVerifierConfig.

global_claim_agg_strategy

The variant of claim aggregation to be used (see documentation within GKRCircuitProverConfig) NOTE: No distinction between “prover” and “verifier”, for correctness both must be using the same strategy.

global_prover_circuit_description_hash_type

Circuit description to be hashed and sent to verifier within transcript (see documentation within GKRCircuitProverConfig)

global_prover_claim_agg_constant_column_optimization

Whether to turn on “constant columns” optimization for deterministic claim agg (see documentation within GKRCircuitProverConfig)

global_prover_enable_bit_packing

Whether to turn on the “bit packed vector” optimization (see documentation within GKRCircuitProverConfig)

global_prover_hyrax_batch_opening

Whether to turn on “hyrax batch opening” (see documentation within GKRCircuitProverConfig)

global_prover_lazy_beta_evals

Whether to turn on “lazy beta evals” optimization (see documentation within GKRCircuitProverConfig)

global_verifier_circuit_description_hash_type

The type of hash function to use for hashing the circuit into the transcript (see documentation within GKRCircuitVerifierConfig)

global_verifier_claim_agg_constant_column_optimization

Whether to turn on the “constant columns” optimization for claim agg. (see documentation within GKRCircuitVerifierConfig)

global_verifier_claim_agg_strategy

Whether to use RLC or deterministic claim agg for verification (see documentation within GKRCircuitVerifierConfig)

global_verifier_lazy_beta_evals

Whether to turn on the “lazy beta evals” optimization (see documentation within GKRCircuitVerifierConfig)

set_global_prover_config

Sets the global prover config to be equivalent to the expected config passed in.

set_global_verifier_config

Sets the global verifier config to be equivalent to the expected config passed in.