Malda will soon begin its audit with Veridise. Veridise specializes in auditing smartcontracts for Zero-Knowledge (ZK) technology, filling in the niches set out by the Unified Liquidity Lending protocol and making them the ideal candidate for auditing Malda.

ZK Audits

ZK adds an extra layer of complexity on top of smart contract auditing in its proof system. ZK computation is specified not through steps, but by constraints it should satisfy. For a proper ZK application, computation must precisely reflect the constraints. This is not easy, and requires new mindset to approach the situation from appropriate angles.

About Veridise

Veridise are industry leaders in ZK Audits and have developed unique capabilities, such their tool Picus, which can determine the uniqueness property (under-constrained signals) of ZK proof circuits.

The team has strong background from academia and formal methods. They bring years of academic research directly to the in-house tools they developed for vulnerability detection. Learn more about their tools.

"Veridise played a crucial role in auditing Linea's ZK technology, tackling the immense complexity of our constraints repository with precision and depth. Their methodical approach—grounded in formal methods and academic rigor—ensured our proof systems were both secure and aligned with their intended functionality. Their expertise has been invaluable in building trust and reliability into Linea’s core technology." Declan Fox - Head of Product, Linea

Experience

Veridise has extensive experience auditing major ZK projects. Most notable audits are full zkVM audits for Linea and RiscZero’s Steel Library, twice.

Malda is built entirely in this zkVM, making auditing expertise on the underlying infrastructure vital to identifying and crucial bugs before mainnet launch.

AuditHub

Auditing generally lacks transparency and visibility during the process. AuditHub is a complementary service offered by Veridise which resolves this.

This tool gives Malda developers real-time insight into the auditing process, tools and techniques used to help facilitate a clear and effective feedback pipeline between auditors and developers.

Veridise begins Auditing on January 20th, and results will be shared once finished.