Audits

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

277KB

Certora - Astaria Intents (March).pdf

PDF

Open

Latest Audit w/Certora

335KB

Certora - Astaria Intents (January).pdf

PDF

Open

Original Audit w/Certora

504KB

Certora - Starport.pdf

PDF

Open

Starport Lending Kernel Audit