Skip to content
This repository has been archived by the owner on Jan 24, 2024. It is now read-only.

Milestone epic: Fault proofs #165

Open
15 tasks
norswap opened this issue Jan 26, 2022 · 1 comment
Open
15 tasks

Milestone epic: Fault proofs #165

norswap opened this issue Jan 26, 2022 · 1 comment
Assignees
Labels
Epic Category: Epics containing multiple tasks
Milestone

Comments

@norswap
Copy link
Contributor

norswap commented Jan 26, 2022

Making this a single milestone for now, but we might want to split it off. Each of those is its own smaller milestone, though there isn't enough details to really flesh those out as comprehensively as the other epics yet.

  • Initial review / spec
    • Write a spec based on what’s in the Cannon repo.
    • Review the code looking for bugs to claim our bounty. (Has to happen in February).
  • Migrate Cannon from L1 to L2
    • deposit rollup
      • make it do the L2 execution engine version of processBlock
      • port block derivation to cannon: cannon needs to read L1 inputs (provided by users & proven against L1 roots) in order to create to the L2 blocks to be validated.
    • other milestones (TBD)
  • Additional testing based on the spec
    • Write tests, including fuzzing / symbolic execution, for the deposit rollup fault proof
    • ... for other milestones (TBD)
  • Dispute game design
    • Review the statechannel work and see how it fits with what we learned from Cannon.
    • Similarly, investigate Arbitrum’s design.
    • Come up with a solution for the large preimage problem (e.g. outlaw them safely, commission a zk-proof)
  • Dispute game implementation
    • Write/adapt disput game contract & connect the on-chain MIPS step evaluator to the dispute game contract.
  • Challenge agent
    • Connect the off-chain code for playing the dispute game (i.e. doing the on-chain interactions which do the binary search) to the off-chain code for generating the MIPS traces.
  • End to end testing
    • Try to fuzz the dispute game itself as best as possible, probably using a mock program.
    • Test cases on the real thing.
@norswap norswap added the Epic Category: Epics containing multiple tasks label Jan 26, 2022
@norswap norswap added this to the Fault Proofs milestone Jan 26, 2022
@norswap norswap self-assigned this Jan 27, 2022
@norswap
Copy link
Contributor Author

norswap commented Jan 27, 2022

Note to self: really need to split this up, as least for the first few milestones.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Epic Category: Epics containing multiple tasks
Projects
None yet
Development

No branches or pull requests

2 participants