[go: up one dir, main page]

Tezlink/Kernel/Transfer: increment counter

Brahima Dibassirequested to merge
brahima@tezlink-transfer-incr_counter into master

What

Ensure the source account's counter is incremented during a transfer.

Why

Previously, the source account's counter was not incremented during the transfer. This led to inconsistencies with Tezos protocol expectations, where the counter must increment on operations. Fixing this aligns behavior with Tezos semantics and supports proper replay protection for successful transfers.

How

  • Added src_account.increment_counter(host)?, ensuring it's always executed after a successful transfer attempt.
  • Updated the relevant test to assert that the source's counter is correctly incremented.

Manually testing the MR

cargo test -p tezos_execution
  • Verified that unit tests still pass.
  • Confirmed counter increment is checked in the test transfer_to_implicit_account_succeeds.

Merge request reports