Nexera Interoperability Protocol Contracts Audits
As of May 1st, Omniscia has already completed the audit of the codebase for the Nexera Messaging Protocol, Teleport Protocol, and the ERC-20 and ERC-721 Router smart contracts, alleviating all the issues found.
About Omniscia
Omniscia is a decentralized team of experienced smart contract auditors & developers with deep expertise building and securing complex decentralized networks and applications. Their engineers have been building and auditing distributed systems that power multimillion-dollar economies since 2017.
They conduct a thorough line-by-line security audit of each project ensuring it conforms to the latest standards and is immune to both common and uncommon attack vectors, utilizing an extensive suite of tools in the process, such as Slither, Surya, Echidna and more. To accomplish this, they use the following techniques:
- Static Analysis & Manual Review
- System Abstraction & Cross-Contract Analysis
- EIP & DeFi Integration Validation
- Complex Attack Detection (E.g: Oracle Manipulation)
Historical audit results
For more information about the audits executed by Omniscia, please refer to the Omniscia official page.