Astaria
Transmit Intent →
More
Transmit Intent →
Ask or Search
Ctrl + K
Audits
Previous
Responsible disclosure
Next
API documentation
Last updated
7 months ago
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
