top of page
Bridge Security Assessment
Efiko helped a major L1 audit a critical piece of infrastructure for security vulnerabilities.
Context
A critical piece of infrastructure required an independent audit to support in its roadmap to advance towards production.
Work done
Our senior security engineers performed static code analysis, formal verification, and robust testing to form an opinion on the software's security. The scope included both Rust and Solidity contracts as well as the relayer code.
Outcome
Our findings identified several critical vulnerabilities which were resolved hardening the security and supporting the pathway towards production.
Efiko reviewed challenging software with great skill, attention to detail, and professionalism.
bottom of page