Add DSA verification docs