How NAF commitments are verified