✨ Contribution Opportunity: Convert Echinda tests to Forge invariants

[smartcontracts]

What is a Contribution Opportunity?

A Contribution Opportunity is a concrete task that you can work on to contribute to the Optimism Collective.

---

Summary

The smart contracts for Optimism’s upcoming Bedrock launch includes a suite of Echidna tests which use Echidna for property testing. These contracts also have a suite of Forge invariant tests. In order to standardize tooling, OP Labs is looking for contributors to help convert the Echidna tests into to Forge invariant tests.

Please refer to the corresponding GitHub issue for more information.

Impact

Standardization is important to making sure that we’re covering every possible case with our invariant test suite and that we’re not missing anything because tests are split between two different frameworks.

Resources

• Bedrock
• Echidna

[Ratimon]

Hello! I want to express my interest in contributing this task and ask a clarifying question:

• Is it possible if I want to implement new invariants? In that case do you have contact to get more information?

You can reach me here or:

email: [email protected]

Kind Regards, Rati

[smartcontracts]

Hi @Ratimon, I'm glad you're interested in this task! Adding new invariants is also always useful. I will ask the OP Labs smart contracts team for more information about the list of invariants that are not currently being tested.

[Ratimon]

@smartcontracts Hi, I note that this issue (https://github.com/ethereum-optimism/optimism/issues/4980) is now resolved : ).