From Aug. 21, 2024 to Aug. 26, 2024, Venture23, Inc engaged Veridise to review the security of the Aleo programs in the Verulink protocol. Compared to the previous version, which Veridise has audited previously, the new version switches the internal bookkeeping to use the Multi-Token Standard Program. Veridise conducted the assessment over 8 person-days, with 2 engineers reviewing code over 4 days. The auditing strategy involved an extensive manual review of the source code performed by Veridise engineers.