Audits

A list of audits we have completed so far:

TimeAuditorSubjectLinks
2025-04-07ZellicHyperlanereport
2025-04-02ZellicAccount and authentication systemreport
2024-10-25ZellicJellyfish Merkle Tree (JMT)report
Q4 2024Informal SystemsFormal specification of JMT in Quintblogspec