Optimize the withdrawal circuit to reduce the number of constraints, improving proving speed.
Optimize the withdrawal circuit to reduce the number of constraints, improving proving speed.