Function checked_hash_protocol_state 

fn checked_hash_protocol_state(
    state: &ProtocolState,
    w: &mut Witness<Fp>,
) -> Result<(Fp, Fp)>