Function check_protocol_state 

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