Project Information
CATEGORY
De-Fi Protocols
NETWORK
BNB Smart Chain
WEBSITE
https://www.ankr.com/
DESCRIPTION
From Jan. 19 to Feb. 3, ANKR engaged Veridise to review the security of their Native BNB Token Staking protocol. The review covered the on-chain contracts that implement the protocol logic. Veridise conducted the assessment over 6 person-weeks, with 3 engineers reviewing code over 2 weeks. The auditing strategy involved a tool-assisted analysis of the source code performed by Veridise engineers as well as extensive manual auditing.
Audit Report
SCOPE
The audit reviewed the on-chain behaviors of the Native BNB Token Staking protocol, including user staking, pool funds staking, user withdrawals and liquid staking tokens. The Veridise engineers first inspected the provided documentation to understand the high-level design of the protocol. They then inspected the provided test-cases to better understand the specific contract behavior. Finally, the auditors performed a multi-week audit of the code assisted both by static analyzers and automated testing.