Re-add the assert_equal calls

AztecProtocol · Feb 27, 2023 · 4e06695 · 4e06695
1 parent 16f4781
commit 4e06695
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/cpp/src/aztec/stdlib/encryption/schnorr/schnorr.cpp b/cpp/src/aztec/stdlib/encryption/schnorr/schnorr.cpp
@@ -293,6 +293,8 @@ bool_t<C> verify_signature(const byte_array<C>& message, const point<C>& pub_key
 
     field_t<C> output_hi(output.slice(0, 16));
     field_t<C> output_lo(output.slice(16, 16));
+    output_lo.assert_equal(sig.e_lo, "verify signature failed");
+    output_hi.assert_equal(sig.e_hi, "verify signature failed");
 
     bool_t<C> valid = output_lo == sig.e_lo && output_hi == sig.e_hi;
     return valid;