alexey_audit.md
July 10, 2025 ยท View on GitHub
Audit Results
Auditor
- Alexey Akhunov (alexey@ledgerwatch.com)
Notes
The audit report was based on commit 942968d66a4fa200fe9757d02b377dbfc3c88636
Changes made until commit 898cc8969736bc190db1b7c446e050f49177f898 have been checked with symbolic execution and can be found in the attached pdf (see table SecuredTokenTransfer::transferToken).