verifier working incorrectly
membership query done
membership query done