
Endpoint V2
LayerZero
December 23, 2023
This report summarizes the security assessment and formal verification performed by Certora on LayerZero Endpoint V2 between August 2 and September 6, 2023. It identifies critical and high-severity issues such as permanent denial of service (DoS) vulnerabilities, administrative control flaws, and logic contradictions within the contracts. The following report provides details of the findings and reviews.