Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

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 Quintblog • spec