top of page
  • 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.”

Foundation CTO



 

The Challenge:


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.






Subscribe to get our research straight to your inbox!

Thank you for subscribing

bottom of page