2nd week of January, 2024
The correct answer must be <= 100 words and of course be correct!
Monday Jan 22, 2024:
Enrico talked about overflow attack on the session of the 19th Jan.
To prevent overflow in-circuit, one could assert user_balance <= max_balance at the time of building up the tree generating proof of inclusion (h/t @enrico.eth)
Challenge for @ZK-Fellows: derive the exact formula for max_balance such that overflow cannot possibly happen.