The Recon team is a group of security researchers dedicated to increasing smart contract security on Ethereum through invariant testing. Like how EigenLayer allows scaling services on Ethereum using the base-layer cryptoeconomic security, we want to help scale services building on top of EigenLayer by providing them greater guarantees in their protocol security.
To do this we’ve built the eigenlayer-fuzzing repo which allows any protocol building on EigenLayer to deploy the entire EigenLayer system and easily integrate it into a fuzz testing suite so they can more robustly test their protocol using invariants.
To demonstrate that this actually works and can be used to find real bugs in production code we built a fuzzing suite for Renzo protocol’s code that was audited in a competition on code4rena. We discussed what we found in this post and how other integrating protocols can similarly use the tools we’ve built to offer a greater guarantee to their users that their code is secure.
We’ll be updating these repos as EigenLayer grows to keep them relevant, but if you’re building on EigenLayer please let me know if there’s security tooling you’d like to see!