feat(blockdata): finish shorthands

Consensys · Dec 5, 2024 · 50c6cca · 50c6cca
1 parent 115b35e
commit 50c6cca
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/blockdata/constraints.lisp b/blockdata/constraints.lisp
@@ -118,6 +118,8 @@
                                         (* IS_ID (shift IS_BF 1))
                                         (* IS_BF (shift IS_CB 1))))
 
+(defun    (curr_prev_wght_sum)  (+ IS_CURR (* IS_PREV 2)))
+
 ;; TODO: define the others
 
 ;; (defconstraint first-row (:domain {0})