ID: #1300143 | Status:
Onboarding

MLabs: Static analysis with Covenant

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.

Total to date

This is the total amount allocated to MLabs: Static analysis with Covenant.

₳199,727
Total funds requested
Distributed: ₳0
Remaining: ₳199,727
Complete
In progress
To be completed
361
Total votes cast
₳377M
Votes yes
₳33.7M
Votes abstain

About this idea

NB: Monthly reporting was deprecated from January 2024 and replaced fully by the Milestones Program framework. Learn more here

Team

MLabs
MLabs