over budget
Glow Formal Verification Stage 2
Current Project Status
Unfunded
Amount
Received
Received
$0
Amount
Requested
Requested
$76,000
Percentage
Received
Received
0.00%
Solution
A formal verification engine for the Glow language that enables automatic checking of programmer supplied assertions.
Problem
Unverified smart contracts can lead to catastrophic consequences: data leaks, loss of assets, etc.
Addresses Challenge
Feasibility
Auditability
Glow Formal Verification Stage 2