diff --git a/README.md b/README.md
index 1b671f4..743683e 100644
--- a/README.md
+++ b/README.md
@@ -85,4 +85,4 @@ See [LICENSE-APACHE](LICENSE-APACHE) and [LICENSE-MIT](LICENSE-MIT).
 [zcash_protocol_jssig]: https://zips.z.cash/protocol/protocol.pdf#concretejssig
 [RFC8032]: https://tools.ietf.org/html/rfc8032
 [zebra]: https://github.com/ZcashFoundation/zebra
-[ZIP215]: https://github.com/zcash/zips/blob/master/zip-0215.rst
+[ZIP215]: https://zips.z.cash/zip-0215
diff --git a/src/batch.rs b/src/batch.rs
index 0414302..9a7fb29 100644
--- a/src/batch.rs
+++ b/src/batch.rs
@@ -46,7 +46,7 @@
 //! assert!(batch.verify(rand::thread_rng()).is_ok());
 //! ```
 //!
-//! [ZIP215]: https://github.com/zcash/zips/blob/master/zip-0215.rst
+//! [ZIP215]: https://zips.z.cash/zip-0215
 
 use alloc::vec::Vec;
 use core::convert::TryFrom;
@@ -141,18 +141,11 @@ impl Verifier {
 
     /// Perform batch verification, returning `Ok(())` if all signatures were
     /// valid and `Err` otherwise.
-    ///
-    /// # Warning
-    ///
-    /// Ed25519 has different verification rules for batched and non-batched
-    /// verifications. This function does not have the same verification criteria
-    /// as individual verification, which may reject some signatures this method
-    /// accepts.
     #[allow(non_snake_case)]
     pub fn verify<R: RngCore + CryptoRng>(self, mut rng: R) -> Result<(), Error> {
         // The batch verification equation is
         //
-        // [-sum(z_i * s_i)]B + sum([z_i]R_i) + sum([z_i * k_i]A_i) = 0.
+        // 8*[-sum(z_i * s_i)]B + 8*sum([z_i]R_i) + 8*sum([z_i * k_i]A_i) = 0.
         //
         // where for each signature i,
         // - A_i is the verification key;
diff --git a/src/verification_key.rs b/src/verification_key.rs
index 6eb8f6b..21c4382 100644
--- a/src/verification_key.rs
+++ b/src/verification_key.rs
@@ -170,7 +170,7 @@ impl VerificationKey {
     ///   used.
     ///
     /// [ps]: https://zips.z.cash/protocol/protocol.pdf#concreteed25519
-    /// [ZIP215]: https://github.com/zcash/zips/blob/master/zip-0215.rst
+    /// [ZIP215]: https://zips.z.cash/zip-0215
     pub fn verify(&self, signature: &Signature, msg: &[u8]) -> Result<(), Error> {
         let k = Scalar::from_hash(
             Sha512::default()