- Vincent McLeese
Security Audit for a new bridge
Efiko helped a major L1 audit a critical piece of infrastructure for security vulnerabilities.
From the client:
“Efiko reviewed challenging software with great skill, attention to detail, and professionalism.”
A critical piece of infrastructure required an independent audit to support in its roadmap to advance towards production.
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.
Our findings identified several critical vulnerabilities which were resolved hardening the security and supporting the pathway towards production.