Related discussed #8 (comment)
We can prevent overflow by evaluating left_balance < computed_sum and right_balance < computed_sum, which eliminates the need to consider the number of bytes we have to manage in the implementation.
However, we can't employ LtChip directly, as some leaves might have 0 balances in the MST.
Therefore, we should modify LtChip or create a new chip that can also function when the two numbers are equal.
Related discussed #8 (comment)
We can prevent overflow by evaluating
left_balance<computed_sumandright_balance<computed_sum, which eliminates the need to consider the number of bytes we have to manage in the implementation.However, we can't employ
LtChipdirectly, as some leaves might have 0 balances in the MST.Therefore, we should modify
LtChipor create a new chip that can also function when the two numbers are equal.