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