From 5a6e387d04e768add9f972543f6ec5b49ac86a28 Mon Sep 17 00:00:00 2001
From: Aditya Bisht <adityabisht64@gmail.com>
Date: Fri, 20 Mar 2026 20:36:40 +0530
Subject: [PATCH] fix: enforce end-of-transcript validation in WhirR1CS
 verifier [LA - F]

---
 provekit/verifier/src/whir_r1cs.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/provekit/verifier/src/whir_r1cs.rs b/provekit/verifier/src/whir_r1cs.rs
index d3a148b9a..a02356024 100644
--- a/provekit/verifier/src/whir_r1cs.rs
+++ b/provekit/verifier/src/whir_r1cs.rs
@@ -209,7 +209,9 @@ impl WhirR1CSVerifier for WhirR1CSScheme {
             "last sumcheck value does not match"
         );
 
-        Ok(())
+        arthur
+            .check_eof()
+            .map_err(|_| anyhow::anyhow!("Proof contains unparsed trailing bytes"))
     }
 }