diff --git a/src/verifying/stream.rs b/src/verifying/stream.rs
index 76f7d3f..1ee278e 100644
--- a/src/verifying/stream.rs
+++ b/src/verifying/stream.rs
@@ -1,6 +1,7 @@
-use curve25519_dalek::{edwards::EdwardsPoint, scalar::Scalar};
-use sha2::{Digest, Sha512};
+use curve25519_dalek::edwards::CompressedEdwardsY;
+use sha2::Sha512;
 
+use crate::verifying::ComputeR;
 use crate::{signature::InternalSignature, InternalError, SignatureError, VerifyingKey};
 
 /// An IUF verifier for ed25519.
@@ -8,16 +9,10 @@ use crate::{signature::InternalSignature, InternalError, SignatureError, Verifyi
 /// Created with [`VerifyingKey::verify_stream()`] or [`SigningKey::verify_stream()`].
 ///
 /// [`SigningKey::verify_stream()`]: super::SigningKey::verify_stream()
-#[derive(Debug)]
+#[allow(non_snake_case)]
 pub struct StreamVerifier {
-    /// Public key to verify with.
-    pub(crate) public_key: VerifyingKey,
-
-    /// Candidate signature to verify against.
-    pub(crate) signature: InternalSignature,
-
-    /// Hash state.
-    pub(crate) hasher: Sha512,
+    cr: ComputeR<Sha512>,
+    sig_R: CompressedEdwardsY,
 }
 
 impl StreamVerifier {
@@ -25,31 +20,23 @@ impl StreamVerifier {
     ///
     /// Seeds hash state with public key and signature components.
     pub(crate) fn new(public_key: VerifyingKey, signature: InternalSignature) -> Self {
-        let mut hasher = Sha512::new();
-        hasher.update(signature.R.as_bytes());
-        hasher.update(public_key.as_bytes());
-
         Self {
-            public_key,
-            hasher,
-            signature,
+            cr: ComputeR::new(&public_key, signature, None),
+            sig_R: signature.R,
         }
     }
 
     /// Digest message chunk.
     pub fn update(&mut self, chunk: impl AsRef<[u8]>) {
-        self.hasher.update(&chunk);
+        self.cr.update(chunk.as_ref());
     }
 
     /// Finalize verifier and check against candidate signature.
     #[allow(non_snake_case)]
     pub fn finalize_and_verify(self) -> Result<(), SignatureError> {
-        let minus_A: EdwardsPoint = -self.public_key.point;
-        let k = Scalar::from_hash(self.hasher);
-        let R =
-            EdwardsPoint::vartime_double_scalar_mul_basepoint(&k, &(minus_A), &self.signature.s);
+        let expected_R = self.cr.finish();
 
-        if R.compress() == self.signature.R {
+        if expected_R == self.sig_R {
             Ok(())
         } else {
             Err(InternalError::Verify.into())