Astaria
⌘
Ctrl
k
Transmit Intent →
More
For the complete documentation index, see
llms.txt
. This page is also available as
Markdown
.
Copy
On this page
Security
Audits
Astaria has undergone both Formal Verification and multiple complete audits with
Certora
.
Certora - Astaria Intents (March).pdf
PDF · 277KB
Download
Open
Latest Audit w/Certora
Certora - Astaria Intents (January).pdf
PDF · 335KB
Download
Open
Original Audit w/Certora
Certora - Starport.pdf
PDF · 504KB
Download
Open
Starport Lending Kernel Audit
Previous
Responsible disclosure
Next
API documentation
Last updated
2 years ago