zkEVM Formal Verification Project

Accelerating the application of formal verification methods to zkEVMs to ensure correctness and security.

Tracks

Documentation

Code

GitHub Organization

Grants

Status: Applications are currently open. Although applications are not restricted to these, please see the RFPs below.

Grants Awarded

Recent Activity

Loading GitHub activity...