summa-dev/circuits-circom

non negative siblingsSum is required in the circom

wlbksy opened this issue · 0 comments

wlbksy commented

There's no guarantee that the siblingsSum >= 0 in the current circom.
LessEqThan should be enforced on this input for each iteration