ENG ideas: Integration Chaos Net

[BlocksOnAChain]

Describe the solution you'd like A local devnet where we can fuzz changes with the chaos-based actor testing, profile throughput on the components, and assert invariants over time.

Integrate op-challenger, cannon, op-program, asterisc, kona & the dispute game contracts on the EF op-kurtosis devnet (assume honest actor always has enough ETH to respond to everything). This should be relatively easy to set up; orchestration would be the main pain. Actors are relatively simple as well, just need a combo of:

1. Honest - hard, but done - just op-challenger
2. Honest, but countering honest claims - easy, inverse op-challenger’s opinion. Only counter correct + correctly placed claims, but with honest output roots / state witness hashes.
3. Dishonest (entirely) - easy, throw junk at the wall
4. Honest/dishonest - easy, randomly swap between honest game solver’s opinion on the move and junk actor.

Describe alternatives you've considered No other ideas at the moment.

[GrapeBaBa]

@BlocksOnAChain @benjaminion We are interested in this, and we hope to integrate superproof and op-kurtosis devnet, including simulated attack and defend, and some requirements in this task overlap. Questions below:

1. Has there already been a design that can guide us in implementation, or if we need to complete the design ourselves.
2. I see that the repository corresponding to this task is optimism; does this mean that the code developed for this task is all submitted here?

[benjaminion]

Hi @GrapeBaBa,

Sounds good. However, please note that the proofs system is expected to be undergoing some rapid changes over the next months, so things are likely to break frequently. This project might be easier once things have stabilised. But we can discuss.

There is no design yet. This could be a standalone project, there's no requirement to upstream it to the optimism repo, but we might like to keep that option open in future.

[dhyaniarun1993]

Hey @pauldowman,

ChainSafe is interested in contributing to this issue and setting up a Chaos Net devnet for testing. I wanted to check if this issue is still open for community contribution or if someone has already been assigned to it.

Thanks! 🚀