Hatom Liquid Staking
Decentralized Liquid Staking
Critical / High
Medium
Low / Informative
Report files
Audit lifecycle
This engagement is complete with finalized deliverables.
Completed
Scheduled
Scope, timeline, and review plan were agreed.
Completed
In Progress
Manual review and verification work were carried out.
Completed
Completed
The engagement wrapped with a published final report.
Executive Summary
High-level assessment and conclusions
A concise overview of the audit scope, core findings, and the key outcomes from the engagement.
Runtime Verification, Inc. has audited the smart contract source code of the Hatom Liquid Staking contract. The review was conducted from 2023-04-24 to 2023-05-31 and from 2023-06-27 to 2023-07-07.
Hatom Labs engaged Runtime Verification in checking the security of their Hatom Liquid Staking contract. The review focused mainly on the HatomProtocol/hatom-liquid-staking private code repository. The audit has focused on the above contract and has assumed the correctness of the libraries and external contracts it uses. The libraries are widely used and assumed to be secure and functionally correct.
Reports
Download the audit artifacts
Access the published PDF deliverables associated with this engagement.
PDF report 1
Hatom-Liquid-Staking.pdf
Download the published report for this engagement.