From 30da68c9c85c197a7330993f056c300448d585f4 Mon Sep 17 00:00:00 2001 From: Robin Salen Date: Mon, 26 Feb 2024 22:04:58 +0900 Subject: [PATCH] More --- evm_arithmetization/src/cpu/kernel/asm/core/transfer.asm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/evm_arithmetization/src/cpu/kernel/asm/core/transfer.asm b/evm_arithmetization/src/cpu/kernel/asm/core/transfer.asm index b8f70edc9..148d37d1a 100644 --- a/evm_arithmetization/src/cpu/kernel/asm/core/transfer.asm +++ b/evm_arithmetization/src/cpu/kernel/asm/core/transfer.asm @@ -52,9 +52,9 @@ deduct_eth_insufficient_balance: %stack (balance, balance_ptr, addr, amount, retdest) -> (retdest, 1) JUMP deduct_eth_delete_balance: - %stack (balance, balance_ptr, addr, amount, retdest) -> (addr, retdest, 1) + %stack (balance, balance_ptr, addr, amount, retdest) -> (addr, retdest, 0) %key_balance %smt_delete_state - // stack: retdest, 1 + // stack: retdest, 0 JUMP deduct_eth_noop: %stack (addr, amount, retdest) -> (retdest, 0)