specs icon indicating copy to clipboard operation
specs copied to clipboard

ENG ideas: Integration Chaos Net

Open BlocksOnAChain opened this issue 6 months ago • 0 comments

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-challengercannonop-programasterisckona & 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.

BlocksOnAChain avatar Aug 20 '24 12:08 BlocksOnAChain