mina_tree::proofs::zkapp

Function check_protocol_state

Source 
fn check_protocol_state(
    params: CheckProtocolStateParams<'_>,
    w: &mut Witness<Fp>,
)