Security
Act
Declarative specification language for describing EVM program behavior so contracts can be checked with SMT and proof-oriented tooling.
Declarative specification language for describing EVM program behavior so contracts can be checked with SMT and proof-oriented tooling.
Act is useful for builders evaluating Security across Ethereum.