verkle: verkle genesis test-vectors #659
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This was referenced Jul 1, 2024
jsign
force-pushed
the
jsign-verkle-rebased-mainnet
branch
from
639f9cd to
3c45599
Compare
spencer-tb
force-pushed
the
verkle/main
branch
2 times, most recently
from
c7e1136 to
8afe9de
Compare
jsign
force-pushed
the
jsign-verkle-rebased-mainnet
branch
from
13153a6 to
243414c
Compare
jsign
changed the title
jsign
force-pushed
the
jsign-verkle-rebased-mainnet
branch
2 times, most recently
from
6b4e30b to
861ad2a
Compare
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Co-authored-by: spencer <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
…iling case Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
Signed-off-by: Ignacio Hagopian <[email protected]>
jsign
force-pushed
the
jsign-verkle-rebased-mainnet
branch
from
be3fc6a to
81fa30f
Compare
feat: add release configs for verkle genesis & conversion tests.
spencer-tb
added a commit
that referenced
this pull request
Aug 13, 2024
* osaka folder Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: add 6800 transfer test * whitelist: add verkle related keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: add verkle helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix tests Signed-off-by: Ignacio Hagopian <[email protected]> * whitelist: add more keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/vkt: add contract creation test and more vkt_* helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: eip4762 transfer witness checks Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add simpel contract exec witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix comments Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: set that conversion ended Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: t8n limitations adjustements Co-authored-by: spencer <[email protected]> * osaka/verkle: more adjustements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 storage slot writes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 code chunking tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 generalize eth transfer test and include tx failing case Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: rely on fork to configure verkle genesis tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL insufficient gas for dynamic cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL revert tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL warm cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE normal test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY basic test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY in initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 file renamings Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support CODECOPY & EXTCODECOPY WARM test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY precompile test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 fix Initcode missing .bytecode Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with insufficient dynamig gas cases test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with address collision test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE insufficient dynamig gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODEHASH test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support withdrawals test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support coinbase test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* calldata bigger than returned code test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: redesign witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 contract execution with new witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 BALANCE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: witness helper support None witness values Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 coinbase rewards improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 code execution improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx creation and *CREATE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODEHASH improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODESIZE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CODECOPY improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SELFDESTRUCT improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SLOAD improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SSTORE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx events improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 withdrawals improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 BLOCKHASH tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 filling file Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix balance value Signed-off-by: Ignacio Hagopian <[email protected]> * rebase Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: comment test with failing compilation Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix fork naming Signed-off-by: Ignacio Hagopian <[email protected]> * fix(fw): fill verkle genesis with input vkt & env conv ended. * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add verkle state root geth t8n sub-command. * feat(fw): add verkle state root sub-command. * feat(fw): fix genesis state root for conversion tests. * verkle: fix precompile address to avoid requiring valid calldata Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: initcode fixes Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix tests naming Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add pre alloc to t8n input alongside vkt. * verkle: fix balance tests Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): create verkle types. * chore: typo. * wip(fw): add the witness to fixture from t8n output result. * fix(fw): witness in fixtures from t8n output result. * fix(fw): add basic test for witness model. * fix(fw): fix tests for witness model. * adjustement for filling Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix sstore test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat: add release configs for genesis & conv tests. --------- Signed-off-by: Ignacio Hagopian <[email protected]> Co-authored-by: spencer <[email protected]> Co-authored-by: Spencer Taylor-Brown <[email protected]>
spencer-tb
added a commit
to spencer-tb/execution-spec-tests
that referenced
this pull request
Aug 30, 2024
* osaka folder Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: add 6800 transfer test * whitelist: add verkle related keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: add verkle helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix tests Signed-off-by: Ignacio Hagopian <[email protected]> * whitelist: add more keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/vkt: add contract creation test and more vkt_* helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: eip4762 transfer witness checks Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add simpel contract exec witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix comments Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: set that conversion ended Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: t8n limitations adjustements Co-authored-by: spencer <[email protected]> * osaka/verkle: more adjustements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 storage slot writes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 code chunking tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 generalize eth transfer test and include tx failing case Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: rely on fork to configure verkle genesis tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL insufficient gas for dynamic cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL revert tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL warm cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE normal test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY basic test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY in initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 file renamings Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support CODECOPY & EXTCODECOPY WARM test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY precompile test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 fix Initcode missing .bytecode Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with insufficient dynamig gas cases test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with address collision test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE insufficient dynamig gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODEHASH test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support withdrawals test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support coinbase test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* calldata bigger than returned code test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: redesign witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 contract execution with new witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 BALANCE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: witness helper support None witness values Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 coinbase rewards improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 code execution improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx creation and *CREATE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODEHASH improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODESIZE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CODECOPY improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SELFDESTRUCT improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SLOAD improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SSTORE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx events improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 withdrawals improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 BLOCKHASH tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 filling file Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix balance value Signed-off-by: Ignacio Hagopian <[email protected]> * rebase Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: comment test with failing compilation Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix fork naming Signed-off-by: Ignacio Hagopian <[email protected]> * fix(fw): fill verkle genesis with input vkt & env conv ended. * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add verkle state root geth t8n sub-command. * feat(fw): add verkle state root sub-command. * feat(fw): fix genesis state root for conversion tests. * verkle: fix precompile address to avoid requiring valid calldata Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: initcode fixes Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix tests naming Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add pre alloc to t8n input alongside vkt. * verkle: fix balance tests Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): create verkle types. * chore: typo. * wip(fw): add the witness to fixture from t8n output result. * fix(fw): witness in fixtures from t8n output result. * fix(fw): add basic test for witness model. * fix(fw): fix tests for witness model. * adjustement for filling Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix sstore test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat: add release configs for genesis & conv tests. --------- Signed-off-by: Ignacio Hagopian <[email protected]> Co-authored-by: spencer <[email protected]> Co-authored-by: Spencer Taylor-Brown <[email protected]>
spencer-tb
added a commit
to spencer-tb/execution-spec-tests
that referenced
this pull request
Aug 30, 2024
* osaka folder Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: add 6800 transfer test * whitelist: add verkle related keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: add verkle helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix tests Signed-off-by: Ignacio Hagopian <[email protected]> * whitelist: add more keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/vkt: add contract creation test and more vkt_* helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: eip4762 transfer witness checks Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add simpel contract exec witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix comments Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: set that conversion ended Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: t8n limitations adjustements Co-authored-by: spencer <[email protected]> * osaka/verkle: more adjustements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 storage slot writes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 code chunking tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 generalize eth transfer test and include tx failing case Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: rely on fork to configure verkle genesis tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL insufficient gas for dynamic cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL revert tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL warm cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE normal test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY basic test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY in initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 file renamings Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support CODECOPY & EXTCODECOPY WARM test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY precompile test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 fix Initcode missing .bytecode Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with insufficient dynamig gas cases test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with address collision test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE insufficient dynamig gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODEHASH test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support withdrawals test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support coinbase test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* calldata bigger than returned code test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: redesign witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 contract execution with new witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 BALANCE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: witness helper support None witness values Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 coinbase rewards improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 code execution improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx creation and *CREATE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODEHASH improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODESIZE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CODECOPY improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SELFDESTRUCT improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SLOAD improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SSTORE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx events improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 withdrawals improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 BLOCKHASH tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 filling file Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix balance value Signed-off-by: Ignacio Hagopian <[email protected]> * rebase Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: comment test with failing compilation Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix fork naming Signed-off-by: Ignacio Hagopian <[email protected]> * fix(fw): fill verkle genesis with input vkt & env conv ended. * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add verkle state root geth t8n sub-command. * feat(fw): add verkle state root sub-command. * feat(fw): fix genesis state root for conversion tests. * verkle: fix precompile address to avoid requiring valid calldata Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: initcode fixes Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix tests naming Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add pre alloc to t8n input alongside vkt. * verkle: fix balance tests Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): create verkle types. * chore: typo. * wip(fw): add the witness to fixture from t8n output result. * fix(fw): witness in fixtures from t8n output result. * fix(fw): add basic test for witness model. * fix(fw): fix tests for witness model. * adjustement for filling Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix sstore test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat: add release configs for genesis & conv tests. --------- Signed-off-by: Ignacio Hagopian <[email protected]> Co-authored-by: spencer <[email protected]> Co-authored-by: Spencer Taylor-Brown <[email protected]>
spencer-tb
added a commit
to spencer-tb/execution-spec-tests
that referenced
this pull request
Sep 3, 2024
* osaka folder Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: add 6800 transfer test * whitelist: add verkle related keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: add verkle helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix tests Signed-off-by: Ignacio Hagopian <[email protected]> * whitelist: add more keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/vkt: add contract creation test and more vkt_* helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: eip4762 transfer witness checks Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add simpel contract exec witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix comments Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: set that conversion ended Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: t8n limitations adjustements Co-authored-by: spencer <[email protected]> * osaka/verkle: more adjustements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 storage slot writes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 code chunking tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 generalize eth transfer test and include tx failing case Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: rely on fork to configure verkle genesis tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL insufficient gas for dynamic cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL revert tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL warm cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE normal test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY basic test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY in initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 file renamings Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support CODECOPY & EXTCODECOPY WARM test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY precompile test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 fix Initcode missing .bytecode Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with insufficient dynamig gas cases test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with address collision test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE insufficient dynamig gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODEHASH test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support withdrawals test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support coinbase test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* calldata bigger than returned code test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: redesign witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 contract execution with new witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 BALANCE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: witness helper support None witness values Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 coinbase rewards improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 code execution improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx creation and *CREATE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODEHASH improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODESIZE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CODECOPY improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SELFDESTRUCT improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SLOAD improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SSTORE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx events improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 withdrawals improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 BLOCKHASH tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 filling file Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix balance value Signed-off-by: Ignacio Hagopian <[email protected]> * rebase Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: comment test with failing compilation Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix fork naming Signed-off-by: Ignacio Hagopian <[email protected]> * fix(fw): fill verkle genesis with input vkt & env conv ended. * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add verkle state root geth t8n sub-command. * feat(fw): add verkle state root sub-command. * feat(fw): fix genesis state root for conversion tests. * verkle: fix precompile address to avoid requiring valid calldata Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: initcode fixes Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix tests naming Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add pre alloc to t8n input alongside vkt. * verkle: fix balance tests Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): create verkle types. * chore: typo. * wip(fw): add the witness to fixture from t8n output result. * fix(fw): witness in fixtures from t8n output result. * fix(fw): add basic test for witness model. * fix(fw): fix tests for witness model. * adjustement for filling Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix sstore test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat: add release configs for genesis & conv tests. --------- Signed-off-by: Ignacio Hagopian <[email protected]> Co-authored-by: spencer <[email protected]> Co-authored-by: Spencer Taylor-Brown <[email protected]>
spencer-tb
added a commit
to spencer-tb/execution-spec-tests
that referenced
this pull request
Sep 5, 2024
* osaka folder Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: add 6800 transfer test * whitelist: add verkle related keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: add verkle helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix tests Signed-off-by: Ignacio Hagopian <[email protected]> * whitelist: add more keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/vkt: add contract creation test and more vkt_* helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: eip4762 transfer witness checks Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add simpel contract exec witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix comments Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: set that conversion ended Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: t8n limitations adjustements Co-authored-by: spencer <[email protected]> * osaka/verkle: more adjustements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 storage slot writes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 code chunking tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 generalize eth transfer test and include tx failing case Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: rely on fork to configure verkle genesis tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL insufficient gas for dynamic cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL revert tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL warm cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE normal test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY basic test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY in initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 file renamings Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support CODECOPY & EXTCODECOPY WARM test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY precompile test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 fix Initcode missing .bytecode Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with insufficient dynamig gas cases test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with address collision test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE insufficient dynamig gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODEHASH test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support withdrawals test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support coinbase test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* calldata bigger than returned code test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: redesign witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 contract execution with new witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 BALANCE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: witness helper support None witness values Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 coinbase rewards improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 code execution improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx creation and *CREATE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODEHASH improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODESIZE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CODECOPY improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SELFDESTRUCT improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SLOAD improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SSTORE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx events improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 withdrawals improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 BLOCKHASH tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 filling file Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix balance value Signed-off-by: Ignacio Hagopian <[email protected]> * rebase Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: comment test with failing compilation Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix fork naming Signed-off-by: Ignacio Hagopian <[email protected]> * fix(fw): fill verkle genesis with input vkt & env conv ended. * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add verkle state root geth t8n sub-command. * feat(fw): add verkle state root sub-command. * feat(fw): fix genesis state root for conversion tests. * verkle: fix precompile address to avoid requiring valid calldata Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: initcode fixes Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix tests naming Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add pre alloc to t8n input alongside vkt. * verkle: fix balance tests Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): create verkle types. * chore: typo. * wip(fw): add the witness to fixture from t8n output result. * fix(fw): witness in fixtures from t8n output result. * fix(fw): add basic test for witness model. * fix(fw): fix tests for witness model. * adjustement for filling Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix sstore test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat: add release configs for genesis & conv tests. --------- Signed-off-by: Ignacio Hagopian <[email protected]> Co-authored-by: spencer <[email protected]> Co-authored-by: Spencer Taylor-Brown <[email protected]>
spencer-tb
added a commit
to spencer-tb/execution-spec-tests
that referenced
this pull request
Sep 5, 2024
* osaka folder Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: add 6800 transfer test * whitelist: add verkle related keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: add verkle helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix tests Signed-off-by: Ignacio Hagopian <[email protected]> * whitelist: add more keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/vkt: add contract creation test and more vkt_* helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: eip4762 transfer witness checks Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add simpel contract exec witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix comments Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: set that conversion ended Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: t8n limitations adjustements Co-authored-by: spencer <[email protected]> * osaka/verkle: more adjustements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 storage slot writes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 code chunking tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 generalize eth transfer test and include tx failing case Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: rely on fork to configure verkle genesis tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL insufficient gas for dynamic cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL revert tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL warm cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE normal test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY basic test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY in initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 file renamings Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support CODECOPY & EXTCODECOPY WARM test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY precompile test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 fix Initcode missing .bytecode Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with insufficient dynamig gas cases test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with address collision test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE insufficient dynamig gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODEHASH test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support withdrawals test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support coinbase test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* calldata bigger than returned code test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: redesign witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 contract execution with new witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 BALANCE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: witness helper support None witness values Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 coinbase rewards improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 code execution improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx creation and *CREATE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODEHASH improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODESIZE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CODECOPY improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SELFDESTRUCT improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SLOAD improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SSTORE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx events improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 withdrawals improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 BLOCKHASH tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 filling file Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix balance value Signed-off-by: Ignacio Hagopian <[email protected]> * rebase Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: comment test with failing compilation Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix fork naming Signed-off-by: Ignacio Hagopian <[email protected]> * fix(fw): fill verkle genesis with input vkt & env conv ended. * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add verkle state root geth t8n sub-command. * feat(fw): add verkle state root sub-command. * feat(fw): fix genesis state root for conversion tests. * verkle: fix precompile address to avoid requiring valid calldata Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: initcode fixes Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix tests naming Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add pre alloc to t8n input alongside vkt. * verkle: fix balance tests Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): create verkle types. * chore: typo. * wip(fw): add the witness to fixture from t8n output result. * fix(fw): witness in fixtures from t8n output result. * fix(fw): add basic test for witness model. * fix(fw): fix tests for witness model. * adjustement for filling Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix sstore test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat: add release configs for genesis & conv tests. --------- Signed-off-by: Ignacio Hagopian <[email protected]> Co-authored-by: spencer <[email protected]> Co-authored-by: Spencer Taylor-Brown <[email protected]>
spencer-tb
added a commit
to spencer-tb/execution-spec-tests
that referenced
this pull request
Oct 1, 2024
* osaka folder Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: add 6800 transfer test * whitelist: add verkle related keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: add verkle helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix tests Signed-off-by: Ignacio Hagopian <[email protected]> * whitelist: add more keywords Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/vkt: add contract creation test and more vkt_* helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: eip4762 transfer witness checks Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add simpel contract exec witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix comments Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: set that conversion ended Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: t8n limitations adjustements Co-authored-by: spencer <[email protected]> * osaka/verkle: more adjustements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 storage slot writes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-6800 code chunking tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 generalize eth transfer test and include tx failing case Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: rely on fork to configure verkle genesis tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL insufficient gas for dynamic cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL revert tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add *CALL warm cost tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE normal test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add EXTCODESIZE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY basic test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY in initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 add CODECOPY with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY initcode test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 file renamings Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY in existing CODECOPY insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support CODECOPY & EXTCODECOPY WARM test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODECOPY precompile test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 fix Initcode missing .bytecode Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with insufficient dynamig gas cases test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support *CREATE with address collision test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE witness test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE insufficient dynamig gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support BALANCE warm test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SELFDESTRUCT insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support EXTCODEHASH test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SLOAD with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support SSTORE with insufficient gas test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support withdrawals test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 support coinbase test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 more code execution tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* insufficient gas for 63/64 tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 CREATE* calldata bigger than returned code test Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: redesign witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 contract execution with new witness helpers Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 BALANCE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: witness helper support None witness values Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CALL improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 coinbase rewards improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 code execution improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx creation and *CREATE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODEHASH improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 EXTCODESIZE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 *CODECOPY improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SELFDESTRUCT improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SLOAD improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 SSTORE improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 tx events improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-4762 withdrawals improvements Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 init Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 BLOCKHASH tests Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: EIP-7709 filling file Signed-off-by: Ignacio Hagopian <[email protected]> * osaka: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * osaka/verkle: fix balance value Signed-off-by: Ignacio Hagopian <[email protected]> * rebase Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: comment test with failing compilation Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix fork naming Signed-off-by: Ignacio Hagopian <[email protected]> * fix(fw): fill verkle genesis with input vkt & env conv ended. * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle/6800: fix test Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add verkle state root geth t8n sub-command. * feat(fw): add verkle state root sub-command. * feat(fw): fix genesis state root for conversion tests. * verkle: fix precompile address to avoid requiring valid calldata Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: initcode fixes Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix tests naming Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): add pre alloc to t8n input alongside vkt. * verkle: fix balance tests Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat(fw): create verkle types. * chore: typo. * wip(fw): add the witness to fixture from t8n output result. * fix(fw): witness in fixtures from t8n output result. * fix(fw): add basic test for witness model. * fix(fw): fix tests for witness model. * adjustement for filling Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fix sstore test Signed-off-by: Ignacio Hagopian <[email protected]> * verkle: fixes Signed-off-by: Ignacio Hagopian <[email protected]> * feat: add release configs for genesis & conv tests. --------- Signed-off-by: Ignacio Hagopian <[email protected]> Co-authored-by: spencer <[email protected]> Co-authored-by: Spencer Taylor-Brown <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR is a work in progress for Verkle test vectors, in particular EIPs 6800, 4762 and 7709.
t8n current target.
To see how we fill and consume the tests, you can refer to our CI pipeline.