LayerZero is an omnichain interoperability protocol designed for lightweight message passing across chains. LayerZero provides authentic and guaranteed message delivery with configurable trustlessness. The protocol is implemented as a set of gas-efficient, non-upgradable smart contracts. LayerZero Solidity Examples refers to the demo contracts that may be used as templates for projects built on the LayerZero omnichain network.

Zellic conducted an audit for LayerZero Labs from May 16th to May 20th, 2022 on the scoped contracts and discovered 2 finding. Fortunately, no critical issues were found. We applaud LayerZero Labs for their attention to detail and diligence in maintaining incredibly high code quality standards in the development of LayerZero Solidity Examples.

Our 2 findings were both informational in nature. Additionally, Zellic recorded its notes and observations from the audit for LayerZero Labs's benefit at the end of the document.

Zellic thoroughly reviewed the LayerZero Solidity Examples codebase to find any technical issues outlined in the Methodology section of this document. Specifically, taking into account the project's threat model, we focused heavily on issues that would break the integrity or availability of the token examples.

Our general overview of the code is that it was very well-organized and structured. The code coverage is high and tests are included for the vast majority of the functions. The documentation was extensive. The code was easy to comprehend and intuitive.