Formal Verification

Angstrom

Audit Summary

Protocol:

Date:09/01/2025

Auditor:

Type:Smart Contract

Category:

Trading

Ecosystem:

EVM

High 0

Medium 1

Low 0

Informational 0

Governance 0

Medium

1 findings (100.0%)

Cyfrin audited Angstrom’s Formal Verification report on September 1, 2025, under the Trading category, identifying 1 issue in total.

Formal verification conducted on Angstrom L2 to ensure correctness in contract functionalities and state transitions.