Astaria
Ask or search...
Ctrl
K
Transmit Intent →
More
Transmit Intent →
Security
Audits
Previous
Responsible disclosure
Next
API documentation
Last updated
1 year 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
