Skip to main content

observe_protocol_params

miden_air::config

Function observe_protocol_params 

Source 
pub fn observe_protocol_params(
    challenger: &mut impl CanObserve<Felt>,
    log_trace_height: u64,
)
Expand description

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

Call on a challenger obtained from config.challenger() to complete the domain-separated transcript initialization. The config factories already bind RELATION_DIGEST into the prototype challenger; this function adds the remaining protocol parameters and per-proof trace height.