Code

Check exception#67

Code

Open

andreiburdusa wants to merge 137 commits intomainNethermindEth/EVMYulLean:mainfrom andreiburdusa/check-exceptionNethermindEth/EVMYulLean:andreiburdusa/check-exceptionCopy head branch name to clipboard

+3,447-2,538

Commits

Commits on Oct 30, 2024

• Refactor call + returned value + gas model for value 0

  andreiburdusa

  committed
  b29783c

  Copy full SHA for b29783c

Commits on Oct 31, 2024

• Fix-bugs-in-RLP-and-Withdrawals

  andreiburdusa

  committed
  6687fb4

  Copy full SHA for 6687fb4

• Tests file path

  andreiburdusa

  committed
  e5628d6

  Copy full SHA for e5628d6

• Update blacklist

  andreiburdusa

  committed
  f0cede3

  Copy full SHA for f0cede3

Commits on Nov 3, 2024

• Extend storage keys' length to 32 in RLP; Model blob transactions

  andreiburdusa

  committed
  b964460

  Copy full SHA for b964460

Commits on Nov 5, 2024

• BLOBBASEFEE

  andreiburdusa

  committed
  f7f11c9

  Copy full SHA for f7f11c9

• Transaction type is byte

  andreiburdusa

  committed
  6394229

  Copy full SHA for 6394229

• Merge BlockEntry from the testing infrastructure with the internal Block representation

  andreiburdusa

  committed
  db747f6

  Copy full SHA for db747f6

• Parse genesisBlockHeader

  andreiburdusa

  committed
  5637d3a

  Copy full SHA for 5637d3a

Commits on Nov 7, 2024

• BLOBHASH, blob gas

  andreiburdusa

  committed
  9b8f9e5

  Copy full SHA for 9b8f9e5

• Fix arity of EXTCODESIZE

  andreiburdusa

  committed
  c2953de

  Copy full SHA for c2953de

Commits on Nov 8, 2024

• Update tests submodule

  andreiburdusa

  committed
  db3b55e

  Copy full SHA for db3b55e

• Only run Cancun tests

  andreiburdusa

  committed
  a049312

  Copy full SHA for a049312

• Update statistics for stBadOpcode. It hadn't been updated for a while

  andreiburdusa

  committed
  efd6d05

  Copy full SHA for efd6d05

Commits on Nov 9, 2024

• Update tests' path and the blacklist

  andreiburdusa

  committed
  e7a95c6

  Copy full SHA for e7a95c6

• Update blacklist

  andreiburdusa

  committed
  6bd5aee

  Copy full SHA for 6bd5aee

Commits on Nov 10, 2024

• revisiting implementation of expmod, adding nat_of_slice

  

  PetarMax

  authored and

  andreiburdusa

  committed
  337daba

  Copy full SHA for 337daba

• streamlining modexp implementation

  

  PetarMax

  authored and

  andreiburdusa

  committed
  b0d201a

  Copy full SHA for b0d201a

• 38 more modexp tests passing

  

  PetarMax

  authored and

  andreiburdusa

  committed
  47f5cbd

  Copy full SHA for 47f5cbd

• more tests passing

  

  PetarMax

  authored and

  andreiburdusa

  committed
  1dae99f

  Copy full SHA for 1dae99f

• and even more passing tests

  

  PetarMax

  authored and

  andreiburdusa

  committed
  8d633da

  Copy full SHA for 8d633da

• probably all precompiled tests passing

  

  PetarMax

  authored and

  andreiburdusa

  committed
  50ed589

  Copy full SHA for 50ed589

• all precompile tests passing

  

  PetarMax

  authored and

  andreiburdusa

  committed
  7d7dc00

  Copy full SHA for 7d7dc00

• Update blacklist

  andreiburdusa

  committed
  31a9dea

  Copy full SHA for 31a9dea

Commits on Nov 11, 2024

• Fix Ξ_BN_ADD and Ξ_BN_MUL failure; update statistics

  andreiburdusa

  committed
  cf5f7ab

  Copy full SHA for cf5f7ab

Commits on Nov 13, 2024

• New UInt256 type

  andreiburdusa

  committed
  47450ec

  Copy full SHA for 47450ec

Commits on Nov 14, 2024

• Cleanup after new UInt256

  andreiburdusa

  committed
  cbea2c3

  Copy full SHA for cbea2c3

• Update blacklist and statistics

  andreiburdusa

  committed
  45c842a

  Copy full SHA for 45c842a

• Update statistics

  andreiburdusa

  committed
  c5725cc

  Copy full SHA for c5725cc

• Parse chain id

  andreiburdusa

  committed
  05512ec

  Copy full SHA for 05512ec

• Update gas comparison in precompiled contracts

  andreiburdusa

  committed
  5813c25

  Copy full SHA for 5813c25

• Make gas cost Nat; Use .toNat where needed; add new exception type

  andreiburdusa

  committed
  b3792ef

  Copy full SHA for b3792ef

Commits on Nov 15, 2024

• Update blob cas price cost according to EEL spec

  andreiburdusa

  committed
  1f8f53b

  Copy full SHA for 1f8f53b

• Nat parsing

  andreiburdusa

  committed
  0aea982

  Copy full SHA for 0aea982

• Allow padding in returndatacopy; Emit warning when truncating large Nat

  andreiburdusa

  committed
  b5778bc

  Copy full SHA for b5778bc

• New exception type: INSUFFICIENT_MAX_FEE_PER_BLOB_GAS

  andreiburdusa

  committed
  104a61c

  Copy full SHA for 104a61c

• Add point eval to π

  andreiburdusa

  committed
  87c6a62

  Copy full SHA for 87c6a62

Commits on Nov 19, 2024

• WIP

  andreiburdusa

  committed
  9f7e11a

  Copy full SHA for 9f7e11a

Commits on Nov 21, 2024

• WIP

  andreiburdusa

  committed
  74422f9

  Copy full SHA for 74422f9

• wip

  andreiburdusa

  committed
  cd4f3ee

  Copy full SHA for cd4f3ee

• Ggascap

  andreiburdusa

  committed
  9000424

  Copy full SHA for 9000424

Commits on Nov 26, 2024

• Separate memory expansion cost from cost

  andreiburdusa

  committed
  ba78976

  Copy full SHA for ba78976

• typos

  PetarMax

  committed
  7f74dab

  Copy full SHA for 7f74dab

• Code size check

  andreiburdusa

  committed
  661bbd5

  Copy full SHA for 661bbd5

• Typo

  andreiburdusa

  committed
  d26f397

  Copy full SHA for d26f397

Commits on Nov 27, 2024

• Compute refund balance in SSTORE

  andreiburdusa

  committed
  aedfc53

  Copy full SHA for aedfc53

Commits on Nov 28, 2024

• SELFDESTRUCT; Gas model for EXTCODECOPY, call ops; collision in create

  andreiburdusa

  committed
  0d15373

  Copy full SHA for 0d15373

Commits on Nov 29, 2024

• Update blacklist

  andreiburdusa

  committed
  b103893

  Copy full SHA for b103893

• Code is byte array; first index is 0

  andreiburdusa

  committed
  3d4c302

  Copy full SHA for 3d4c302

Commits on Dec 1, 2024

• WIP + don't erase output data so easily

  andreiburdusa

  committed
  42ca5ce

  Copy full SHA for 42ca5ce

Commits on Dec 2, 2024

• High nonce

  andreiburdusa

  committed
  6e02717

  Copy full SHA for 6e02717

• Accessed accounts, SSTORE gas check, code deposit cost, cleanup

  andreiburdusa

  committed
  a2b7e2d

  Copy full SHA for a2b7e2d

• Patch activeWords for call operations

  andreiburdusa

  committed
  40a8928

  Copy full SHA for 40a8928

Commits on Dec 3, 2024

• Contract creation: keep output data only in case of revert

  andreiburdusa

  committed
  3b157f6

  Copy full SHA for 3b157f6

Commits on Dec 4, 2024

• High nonce

  andreiburdusa

  committed
  92dae64

  Copy full SHA for 92dae64

• RIP160, EXPMOD - gas cost, padding

  andreiburdusa

  committed
  36f6aea

  Copy full SHA for 36f6aea

• BN_MUL arguments

  andreiburdusa

  committed
  6bd68a1

  Copy full SHA for 6bd68a1

• Pseudo laziness in expmod

  andreiburdusa

  committed
  620d2c3

  Copy full SHA for 620d2c3

Commits on Dec 5, 2024

• Gcallstipend for SSTORE; Clear transient storage

  andreiburdusa

  committed
  8801e85

  Copy full SHA for 8801e85

• Drop arguments of CREATE from stack

  andreiburdusa

  committed
  715b88f

  Copy full SHA for 715b88f

• α and δ

  andreiburdusa

  committed
  2a0be42

  Copy full SHA for 2a0be42

• BLOCKHASH

  andreiburdusa

  committed
  583d531

  Copy full SHA for 583d531

Commits on Dec 6, 2024

• RETURNDATACOPY overflow

  andreiburdusa

  committed
  57d0b8e

  Copy full SHA for 57d0b8e

• RETURNDATACOPY error message

  andreiburdusa

  committed
  4ea0f01

  Copy full SHA for 4ea0f01

• BYTE

  andreiburdusa

  committed
  a5c931b

  Copy full SHA for a5c931b

• Don't call Lambda without need

  andreiburdusa

  committed
  b4512e0

  Copy full SHA for b4512e0

• Limit init code size

  andreiburdusa

  committed
  ca18622

  Copy full SHA for ca18622

• stSStoreTest 100%; Ξ must be refactored

  andreiburdusa

  committed
  a58fec8

  Copy full SHA for a58fec8

Commits on Dec 9, 2024

• Update statistics

  andreiburdusa

  committed
  dd7fe93

  Copy full SHA for dd7fe93

• Check exception and improve TransactionException.INTRINSIC_GAS_TOO_LOW

  andreiburdusa

  committed
  e3248aa

  Copy full SHA for e3248aa

• Check state after expected exception (only pre states so far)

  andreiburdusa

  committed
  1fa898e

  Copy full SHA for 1fa898e

Commits on Dec 10, 2024

• Patch block validation

  andreiburdusa

  committed
  7af66c3

  Copy full SHA for 7af66c3

Commits on Dec 11, 2024

• Refactor: distinguish between execution success and revert

  andreiburdusa

  committed
  d897f45

  Copy full SHA for d897f45

• Execution success is not failure or revert

  andreiburdusa

  committed
  7f7bedc

  Copy full SHA for 7f7bedc

• Θ cleanup

  andreiburdusa

  committed
  492ca3a

  Copy full SHA for 492ca3a

Commits on Dec 13, 2024

• Separate transaction validation from transaction execution; Refactor exception handling; Check for missed expected exceptions;

  andreiburdusa

  committed
  53de8f3

  Copy full SHA for 53de8f3

• Throw only ExecutionException in execution

  andreiburdusa

  committed
  a2e1b2c

  Copy full SHA for a2e1b2c

Commits on Dec 17, 2024

• Efficient ByteArray read and write

  andreiburdusa

  committed
  2b52c2a

  Copy full SHA for 2b52c2a

• Compute activeWords for each operation

  andreiburdusa

  committed
  df4370b

  Copy full SHA for df4370b

• Make machine memory a ByteArray

  andreiburdusa

  committed
  f04bbb8

  Copy full SHA for f04bbb8

• Memory optimisation for length 0

  andreiburdusa

  committed
  e508b7d

  Copy full SHA for e508b7d

Commits on Dec 18, 2024

• Handle fuel better + debug info

  andreiburdusa

  committed
  975778f

  Copy full SHA for 975778f

• Increase fuel

  andreiburdusa

  committed
  8e6bd03

  Copy full SHA for 8e6bd03

Commits on Dec 19, 2024

• Fix stack size check

  andreiburdusa

  committed
  495fb23

  Copy full SHA for 495fb23

• Don't forget the list of created accounts

  andreiburdusa

  committed
  211455a

  Copy full SHA for 211455a

• Handla failing case for ECRECOVER

  andreiburdusa

  committed
  535c67a

  Copy full SHA for 535c67a

• Update substate even in contract creation failure

  andreiburdusa

  committed
  d0b632c

  Copy full SHA for d0b632c

Commits on Jan 6, 2025

• fixing sstore_combinations_initial11_Paris_d171g0v0_Cancun

  PetarMax

  committed
  949df83

  Copy full SHA for 949df83

Commits on Jan 7, 2025

• use lexicographic ordering

  Ferinko

  committed
  4dc7780

  Copy full SHA for 4dc7780

• Cleanup

  andreiburdusa

  committed
  ba3ea5c

  Copy full SHA for ba3ea5c

• Update shell.nix

  andreiburdusa

  committed
  94db662

  Copy full SHA for 94db662

Commits on Jan 8, 2025

• Merge pull request #68 from NethermindEth/Ferinko/containsFix

  Show description for 26fbdb8
  andreiburdusa

  authored
  26fbdb8

  Copy full SHA for 26fbdb8

• Cleanup

  andreiburdusa

  committed
  219a2c8

  Copy full SHA for 219a2c8

• Don't parse transaction sender, just recover it

  andreiburdusa

  committed
  00c24c6

  Copy full SHA for 00c24c6

• Throw OutOfFuel execution error further

  andreiburdusa

  committed
  5f5582b

  Copy full SHA for 5f5582b

Commits on Jan 9, 2025

• Update statistics

  andreiburdusa

  committed
  7fdec1f

  Copy full SHA for 7fdec1f

Commits on Jan 15, 2025

• External call to keccak.py

  andreiburdusa

  committed
  002380d

  Copy full SHA for 002380d

• Refactor: merge Account models

  andreiburdusa

  committed
  b952b16

  Copy full SHA for b952b16

Commits on Jan 16, 2025

• Support post state hash

  andreiburdusa

  committed
  4671694

  Copy full SHA for 4671694

• Cleanup

  andreiburdusa

  committed
  385b63f

  Copy full SHA for 385b63f

Commits on Jan 17, 2025

• Use sender balance value as fuel

  andreiburdusa

  committed
  9614036

  Copy full SHA for 9614036

• Check uncle hash

  andreiburdusa

  committed
  1676a08

  Copy full SHA for 1676a08

Commits on Jan 20, 2025

• Give enough fuel but temporarily blacklist passing tests that used to run oof

  andreiburdusa

  committed
  2598092

  Copy full SHA for 2598092

• Fix call depth incrementation

  andreiburdusa

  committed
  1ee983f

  Copy full SHA for 1ee983f

Commits on Jan 21, 2025

• Fix expmod input parsing

  andreiburdusa

  committed
  721e281

  Copy full SHA for 721e281

• Add check to point eval precompiled contract

  andreiburdusa

  committed
  410841b

  Copy full SHA for 410841b

• Don't update createdAccounts set in case of collision

  andreiburdusa

  committed
  d68592b

  Copy full SHA for d68592b

Commits on Jan 22, 2025

• Fix blockhash (use correct order of arguments for Array.getD)

  andreiburdusa

  committed
  64986f1

  Copy full SHA for 64986f1

Commits on Jan 28, 2025

• Fix SSTORE gas cost. Use checkpoint state, not ostorage

  andreiburdusa

  committed
  bc2fb02

  Copy full SHA for bc2fb02

Commits on Jan 29, 2025

• Check if transaction causes block to go over blob gas limit

  andreiburdusa

  committed
  14c392d

  Copy full SHA for 14c392d

Commits on Jan 30, 2025

• Make accessList a List to preserve the original order.

  andreiburdusa

  committed
  1ccf3db

  Copy full SHA for 1ccf3db

• Throw INSUFFICIENT_MAX_FEE_PER_GAS

  andreiburdusa

  committed
  a117201

  Copy full SHA for a117201

• Remove BaseFeeTooHigh exception

  andreiburdusa

  committed
  6849b72

  Copy full SHA for 6849b72

• Rename InconsistentFees exception to PRIORITY_GREATER_THAN_MAX_FEE_PER_GAS

  andreiburdusa

  committed
  1b4d0b3

  Copy full SHA for 1b4d0b3

• Throw GAS_ALLOWANCE_EXCEEDED

  andreiburdusa

  committed
  ae38ed9

  Copy full SHA for ae38ed9

• Use TYPE_3_TX_INVALID_BLOB_VERSIONED_HASH exception and move check

  andreiburdusa

  committed
  7403e72

  Copy full SHA for 7403e72

• Throw TYPE_3_TX_CONTRACT_CREATION

  andreiburdusa

  committed
  d19f1ab

  Copy full SHA for d19f1ab

• Throw TYPE_3_TX_BLOB_COUNT_EXCEEDED and GASLIMIT_PRICE_PRODUCT_OVERFLOW

  andreiburdusa

  committed
  7b96ecf

  Copy full SHA for 7b96ecf

Commits on Jan 31, 2025

• Check for TYPE_3_TX_MAX_BLOB_GAS_ALLOWANCE_EXCEEDED earlier

  andreiburdusa

  committed
  eb841fc

  Copy full SHA for eb841fc

Commits on Feb 3, 2025

• RLP decoding + wip deserialize block

  andreiburdusa

  committed
  20e1c3d

  Copy full SHA for 20e1c3d

• Cleanup: Use fromByteArrayBigEndian

  andreiburdusa

  committed
  fd3cad6

  Copy full SHA for fd3cad6

• Look more carefully into the original state

  andreiburdusa

  committed
  1ac0e5b

  Copy full SHA for 1ac0e5b

Commits on Feb 4, 2025

• Move check for TYPE_3_TX_MAX_BLOB_GAS_ALLOWANCE_EXCEEDED

  andreiburdusa

  committed
  18c2870

  Copy full SHA for 18c2870

• Remove chainId from block header

  andreiburdusa

  committed
  9c80523

  Copy full SHA for 9c80523

• Remove hash from BlockHeader; deserialize block header

  andreiburdusa

  committed
  ff89926

  Copy full SHA for ff89926

• RLP deserialization for transactions and withdrawals

  andreiburdusa

  committed
  6ef9689

  Copy full SHA for 6ef9689

Commits on Feb 5, 2025

• Remove ommers from block

  andreiburdusa

  committed
  d4ce3d6

  Copy full SHA for d4ce3d6

• Cleanup

  andreiburdusa

  committed
  dc802ae

  Copy full SHA for dc802ae

• Put the RLP deserialization in its proper place, after json parsing; Compare with json

  andreiburdusa

  committed
  3143852

  Copy full SHA for 3143852

• Read block rlp outside "rlp_decoded"

  andreiburdusa

  committed
  5068b38

  Copy full SHA for 5068b38

Commits on Feb 6, 2025

• Fix transaction ordering during RLP deserialization

  andreiburdusa

  committed
  6b79417

  Copy full SHA for 6b79417

• Parse difficulty

  andreiburdusa

  committed
  ca66a39

  Copy full SHA for ca66a39

• Check block difficulty

  andreiburdusa

  committed
  892ea21

  Copy full SHA for 892ea21

• Fix dynamic transaction RLP deserialization

  andreiburdusa

  committed
  55793cb

  Copy full SHA for 55793cb

• Remove wrong check

  andreiburdusa

  committed
  bcb4b94

  Copy full SHA for bcb4b94

• Fix check for GAS_ALLOWANCE_EXCEEDED

  andreiburdusa

  committed
  e2bac97

  Copy full SHA for e2bac97

Commits on Feb 7, 2025

• Disable json parsing for block header, transactions and withdrawal; add specific RLP checks

  andreiburdusa

  committed
  ab1d3f3

  Copy full SHA for ab1d3f3