ethereum-optimism / ethereum-optimism/optimism
ENG ideas: Integration Chaos Net
- Dominant language
- Go
- Stars
- 6.5k
- Forks
- 4k
- Avg merge
- 2d 15h
- Merged PRs (30d)
- 145
Description
**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.
Contributor guide
Research direction
Start by reviewing the EF op-kurtosis devnet and the named components: op-challenger, cannon, op-program, asterisc, kona, and the dispute game contracts. Define the orchestration and actor combinations needed for chaos testing, throughput profiling, and invariant checks; done means the integrated devnet can run those scenarios.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- go
- Domain
- devops, distributed-systems, testing
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100