script: Removes PublicKeyVerifier script

docs/Schnorr.md

@@ -93,10 +93,8 @@ linear relationships. A set of public keys `A` leaking the sum of their private
 keys would allow the creation of a second set of public keys `B` with
 `aggPubKey(A) = aggPubKey(B)`. This would make signatures created by set `A`
 indistinguishable from signatures created by set `B`.
-In order to prevent such issues, it **MUST** be verified that no two distinct
-sets of public keys derive to the same aggregated public key. Note that
-cryptographically sound created random private keys have a negligible
-probability of having a linear relationship.
+However, this specification assumes that participants do not share private key
+material leading to negligible probability for such cases to happen.
 
 
 ## Other Security Considerations