completed
Glow Formal verification
Current Project Status
Complete
Amount
Received
Received
$60,000
Amount
Requested
Requested
$60,000
Percentage
Received
Received
100.00%
Solution
MuKn’s Glow language will overcome this problem by automatically proving the mathematical correctness of every interaction of a program.
Problem
Catastrophic bugs keep developers from wanting to build DApps, because the risk of losing all the assets in the DApp is terrifying.
Addresses Challenge
Feasibility
Auditability
Impact
Team
Team Connections