[KGA-98] QA report 66

[obatirou]

https://github.com/code-423n4/2024-09-kakarot-findings/issues/66

• Missing boundary check in EVM transaction decoding
  adds a check to ensure [call_array].data_offset + [call_array].data_len <= calldata_len
• Several of the stack_size_diff values defined in constants.cairo are off
  put the right values
• After Kakarot's native token is changed, an approval from account_contract instances can't be re-triggered
  remove the setter, this will not change
• Some invalid values for the v field in Ethereum signatures are accepted
  add a check to ensure y_parity is 0 or 1

[notion-workspace]

QA Report