Audits

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

277KB

Certora - Astaria Intents (March).pdf

pdf

Latest Audit w/Certora

335KB

Certora - Astaria Intents (January).pdf

pdf

Original Audit w/Certora

504KB

Certora - Starport.pdf

pdf

Starport Lending Kernel Audit