Veridise auditors first reviewed previous audit reports of substrate blockchains, the documentation provided by Manta Network developers, and inspected the provided tests to determine what logic had been extensively tested. They then began a manual audit of the code assisted by both static analyzers and property-based fuzz testing. During the audit, the Veridise auditors met with the Manta Network developers on a weekly basis and messaged over Telegram to ask questions about the code, and report suspected bugs