Audits

Astaria has undergone both Formal Verification and multiple complete audits with Certora.

Latest Audit w/Certora

Original Audit w/Certora

Starport Lending Kernel Audit

Last updated