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).

Files
  • Audit Report
  • Symbolic execution