Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Check exception #67

Open
wants to merge 137 commits into
base: main
Choose a base branch
from
Open

Check exception #67

wants to merge 137 commits into from

Conversation

andreiburdusa
Copy link
Contributor

After #66

  • change the result type of code execution so it distinguishes better between revert and success
  • separate execution exceptions from transaction / block exception
  • separate transaction validation from transaction execution as much as possible
  • use the state after the last valid block as final, to compare with the post

andreiburdusa and others added 30 commits October 30, 2024 10:42
@andreiburdusa
Refactor call + returned value + gas model for value 0
b29783c
@andreiburdusa
Fix-bugs-in-RLP-and-Withdrawals
6687fb4
@andreiburdusa
Tests file path
e5628d6
@andreiburdusa
Update blacklist
f0cede3
@andreiburdusa
Extend storage keys' length to 32 in RLP; Model blob transactions
b964460
@andreiburdusa
BLOBBASEFEE
f7f11c9
@andreiburdusa
Transaction type is byte
6394229
@andreiburdusa
Merge BlockEntry from the testing infrastructure with the internal Bl…
db747f6 
…ock representation
@andreiburdusa
Parse genesisBlockHeader
5637d3a
@andreiburdusa
BLOBHASH, blob gas
9b8f9e5
@andreiburdusa
Fix arity of EXTCODESIZE
c2953de
@andreiburdusa
Update tests submodule
db3b55e
@andreiburdusa
Only run Cancun tests
a049312
@andreiburdusa
Update statistics for stBadOpcode. It hadn't been updated for a while
efd6d05
@andreiburdusa
Update tests' path and the blacklist
e7a95c6
@andreiburdusa
Update blacklist
6bd5aee
@PetarMax @andreiburdusa
revisiting implementation of expmod, adding nat_of_slice
337daba
@PetarMax @andreiburdusa
streamlining modexp implementation
b0d201a
@PetarMax @andreiburdusa
38 more modexp tests passing
47f5cbd
@PetarMax @andreiburdusa
more tests passing
1dae99f
@PetarMax @andreiburdusa
and even more passing tests
8d633da
@PetarMax @andreiburdusa
probably all precompiled tests passing
50ed589
@PetarMax @andreiburdusa
all precompile tests passing
7d7dc00
@andreiburdusa
Update blacklist
31a9dea
@andreiburdusa
Fix Ξ_BN_ADD and Ξ_BN_MUL failure; update statistics
cf5f7ab
@andreiburdusa
New UInt256 type
47450ec
@andreiburdusa
Cleanup after new UInt256
cbea2c3
@andreiburdusa
Update blacklist and statistics
45c842a
@andreiburdusa
Update statistics
c5725cc
@andreiburdusa
Parse chain id
05512ec
@andreiburdusa
Fix blockhash (use correct order of arguments for Array.getD)
64986f1
@andreiburdusa
Fix SSTORE gas cost. Use checkpoint state, not ostorage
bc2fb02
@andreiburdusa
Check if transaction causes block to go over blob gas limit
14c392d
@andreiburdusa
Make accessList a List to preserve the original order.
1ccf3db
@andreiburdusa
Throw INSUFFICIENT_MAX_FEE_PER_GAS
a117201
@andreiburdusa
Remove BaseFeeTooHigh exception
6849b72
@andreiburdusa
Rename InconsistentFees exception to PRIORITY_GREATER_THAN_MAX_FEE_PE…
1b4d0b3 
…R_GAS
@andreiburdusa
Throw GAS_ALLOWANCE_EXCEEDED
ae38ed9
@andreiburdusa
Use TYPE_3_TX_INVALID_BLOB_VERSIONED_HASH exception and move check
7403e72
@andreiburdusa
Throw TYPE_3_TX_CONTRACT_CREATION
d19f1ab
@andreiburdusa
Throw TYPE_3_TX_BLOB_COUNT_EXCEEDED and GASLIMIT_PRICE_PRODUCT_OVERFLOW
7b96ecf
@andreiburdusa
Check for TYPE_3_TX_MAX_BLOB_GAS_ALLOWANCE_EXCEEDED earlier
eb841fc
@andreiburdusa
RLP decoding + wip deserialize block
20e1c3d
@andreiburdusa
Cleanup: Use fromByteArrayBigEndian
fd3cad6
@andreiburdusa
Look more carefully into the original state
1ac0e5b
@andreiburdusa
Move check for TYPE_3_TX_MAX_BLOB_GAS_ALLOWANCE_EXCEEDED
18c2870
@andreiburdusa
Remove chainId from block header
9c80523
@andreiburdusa
Remove hash from BlockHeader; deserialize block header
ff89926
@andreiburdusa
RLP deserialization for transactions and withdrawals
6ef9689
@andreiburdusa
Remove ommers from block
d4ce3d6
@andreiburdusa
Cleanup
dc802ae
@andreiburdusa
Put the RLP deserialization in its proper place, after json parsing; …
3143852 
…Compare with json
@andreiburdusa
Read block rlp outside "rlp_decoded"
5068b38
@andreiburdusa
Fix transaction ordering during RLP deserialization
6b79417
@andreiburdusa
Parse difficulty
ca66a39
@andreiburdusa
Check block difficulty
892ea21
@andreiburdusa
Fix dynamic transaction RLP deserialization
55793cb
@andreiburdusa
Remove wrong check
bcb4b94
@andreiburdusa
Fix check for GAS_ALLOWANCE_EXCEEDED
e2bac97
@andreiburdusa
Disable json parsing for block header, transactions and withdrawal; a…
ab1d3f3 
…dd specific RLP checks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@andreiburdusa @PetarMax @Ferinko