Skip to content
This repository has been archived by the owner on Oct 20, 2020. It is now read-only.

test(eth-proofs): Fix and test Eth proofs on NEAR #12

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

mfornet
Copy link
Member

@mfornet mfornet commented Oct 16, 2020

The logic for proof verification currently has some drawbacks.
The logic to verifacate proofs from the Ethereum blockchain
in the NEAR side of the bridge was improved with:

  • Handle all types of keys, previously it was only possible to
    prove receipts and transactions, now also state can be proved.

  • It doesn't use unrecoverable erros anymore to mark an invalid
    proof, instead it always return boolean value.

  • Some nits in the code.

The main resources used to understand and implement the verification was:

Test plan

  • Verify all recipts and transaction from the Ethereum blockchain up to some point can be validated.
  • Verify state/storage proofs can be validated with real data extracted from Ethereum.
  • verify_trie_proof code has 100% coverage.

The logic for proof verification currently has some drawbacks.
The logic to verifacate proofs from the Ethereum blockchain
in the NEAR side of the bridge was improved with:

- Handle all types of keys, previously it was only possible to
    prove receipts and transactions, now also state can be proved.

- It doesn't use unrecoverable erros anymore to mark an invalid
    proof, instead it always return boolean value.

- Some nits in the code.

Test plan
=========
- Verify all recipts and transaction from the Ethereum blockchain up to
    some point.
- Verify state/storage proofs work.
- Proof code has 100% coverage.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant