Smart Contract Audits

Auditor	Audit Type	Date	Release	Commit
yAudit	Initial Review	October 2024	0.1.0	public
Runtime Verification	Formal Verification	November 2024	0.1.0	public
yAudit	Second Pass	December 2024	0.2.0	public