fn checked_hash_protocol_state2( state: &ProtocolState<CheckedConsensusState>, w: &mut Witness<Fp>, ) -> (Fp, Fp)