Glow Formal verification

Problem

Catastrophic bugs keep developers from wanting to build DApps, because the risk of losing all the assets in the DApp is terrifying.

Solution

MuKn's Glow language will overcome this problem by automatically proving the mathematical correctness of every interaction of a program.

Total so far

This is the total amount allocated to Glow Formal verification

Total Funds Requested

$60,000

Distributed
$60,000
Remaining
$0
1,208
Total votes cast
â‚ł267M
Voted yes
â‚ł35.5M
Voted no

About this idea

More detail

Completed outcome

Monthly report

Team

MuKn built the Glow language, and our CEO was one of the first to formally verify the correctness of a payment system that held up in court.

Alexander Smart
Alexander Smart
François-René Rideau
François-René Rideau
Gauthier Lamothe
Gauthier Lamothe