Certora conducted a manual security audit of Glow LRT Rust smart contracts, from December 2 to December 6, 2024.

The audit uncovered several issues, all of which have been addressed and reviewed by the Glow team. Full details of the findings can be found in the following report.