found this bug, https://github.com/KimiWu123/zkopru/pull/5/commits/12da771beec64f8c9141f373720d91fdfe4fff79#r1009003491. TLDR, we didn't calculate remaining utxo correctly. We should add more test scenarios and refactor it bcs this function is the too long.