Arbiter is a free and open source EVM logic simualtor
Appears in
38 ballots
Contribution
Arbiter is a public good security and analysis tool for the EVM ecosystem. The tool kit is free and open source and able to audit mechanism design which has historically been challenging. The tool is also able to model risk across many stochastic processes and historical data. The EVM logic simulator has been used to find critical vulnerabilities in the Portfolio smart contract system that auditors were previously unable to identify. Because of the tools speed and EVM execution parity, it allows for unparalleled quality and quantity of testing data for any smart contract system or application. As optimism maintains support for the EVM execution environment and is an extensive smart contract system, tooling across to ecosystem to help improve safety and security is paramount.
Through the development of Arbiter, we have grown the developer ecosystem from the ground up. We have helped engineers to understand the security implications and nuances to building modular smart contract systems and how to identify undesirable anomaly behavior. Now the tool is being used by auditing firms, protocol designers, academics and searchers to model their systems and applications with speed, rigor, and EVM execution parity. Overall these contributions help ensure the security and safety of complex systems like the OP Stack while also growing the size and quality of the developer ecosystem which in turn improves the end user experience and adoption by improving the safety and security of end user applications.
