Prefetch JUMPDESTs through RPC with progressive proving#765
Draft
einar-polygon wants to merge 113 commits intodevelopfrom
Draft
Prefetch JUMPDESTs through RPC with progressive proving#765einar-polygon wants to merge 113 commits intodevelopfrom
einar-polygon wants to merge 113 commits intodevelopfrom
Conversation
Supports CREATE1/CREATE2 Supports transaction deployments Includes test scripts for randomised testing
…nsaction_jumps/pr
…nsaction_jumps/pr
This reverts commit a6ba0e5.
einar-polygon
added
crate: evm_arithmetization
github-actions
Bot
added
crate: trace_decoder
Contributor
|
QQ: shouldn't this be targeting the JD branch instead of develop? |
3 tasks
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
6 participants
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 continues the work in #427 and addresses one problem:
CREATEandCREATE2required memory dumps to obtain the relevant contractcodeandcode_hashfor call stack simulation, and we opted instead to fail over to simulation, since memory dumps were slow.This branch introduces the following changes:
CREATEandCREATE2, but ignorecodeandcode_hash.code_hashandcontext. This change means two things:current_codeandcurrent_code_hashis always available, so we do away with the mapping in the witness, essentially simplifying it to a mappingctx->[offset].codeandcode_hashin the Jumpdest generation.Status: The first 100 blocks on testchain2 succeed, but there are still many errors later.