Skip to content
This repository has been archived by the owner on Dec 5, 2021. It is now read-only.

Fraud prover working through end of PRE_EXECUTION #131

Open
wants to merge 10 commits into
base: develop
Choose a base branch
from
Open

Fraud prover working through end of PRE_EXECUTION #131

wants to merge 10 commits into from

Conversation

CAPtheorem
Copy link

@CAPtheorem CAPtheorem commented Jun 28, 2021 •
edited
Loading

  1. Configures the Verifier - points at L1
  2. Patches l2Geth
  3. Provides docker-compose-fraud.yaml
  4. Provide test deployment that triggers the batch-submitter to provide a bad state root
  5. fraud-prover service comes up, detects the fraud, and triggers _getFraudProofData, _initializeFraudVerification, _getFraudProofContracts, and then gets through
  6. proveAccountStates, proveContractStorageStates, and OVM_StateTransitioner.applyTransaction

Next steps - correctly configure/set the RUN_GAS_LIMIT

@CAPtheorem CAPtheorem changed the title Fraud prover working through end the PRE_EXECUTION Fraud prover working through end of PRE_EXECUTION Jun 28, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
2-reviewers A-ci A-contracts A-geth A-integration-tests M-batch-submitter M-contracts M-ops
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@CAPtheorem @kevsul