For the complete documentation index, see llms.txt. This page is also available as Markdown.

Smart Contract Audits

Auditor
Audit Type
Date
Release
Commit

Initial Review

October 2024

Formal Verification

November 2024

0.1.0

Second Pass

December 2024

0.2.0

Last updated