OOB removed redundant constraint for BLAKE2f

Consensys · Jan 1, 2024 · 868dcb6 · 868dcb6
1 parent 9c3e890
commit 868dcb6
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/oob/constraints.lisp b/oob/constraints.lisp
@@ -841,9 +841,6 @@
 (defun (prc-blake2f_a___valid_cds)
   OUTGOING_RES_LO)
 
-(defconstraint justify-hub-predictions-prc-blake2f_a (:guard (* (standing-hypothesis) (prc-hypothesis) (prc-blake2f_a-hypothesis)))
-  (eq! (prc___cds_ISZERO) OUTGOING_RES_LO))
-
 (defconstraint valid-prc-blake2f_a (:guard (* (standing-hypothesis) (prc-hypothesis) (prc-blake2f_a-hypothesis)))
   (callToEQ 0 0 (prc-blake2f_a___cds) 0 213))