funded
MLabs: Static analysis with Covenant
Current Project Status
In Progress
Amount
Received
Received
₳0
Amount
Requested
Requested
₳199,727
Percentage
Received
Received
0.00%
Solution
We propose Covenant: a total, functional eDSL with call-by-push-value semantics and a stable, JSON-based serial form for static analysis, plus translation to UPLC.
Problem
Current Cardano contract languages cannot perform static analysis for several reasons. Alongside a lack of specifications & clear development stages, this creates notable challenges for developers.
Impact Alignment
Feasibility
Value for money
