ID: #800256 | Status:
Complete

Last updated a year ago

MLabs - Spec DSL for dApp Security

Problem

Cardano was designed to support secure smart contracts. Yet, testing, auditing, and even designing Cardano dApps involve serious challenges.

Solution

We are building a spec language for formally describing dApp behavior and generating tests to validate an implementation against its design.

Completed outcome

Download report

Total to date

This is the total amount allocated to MLabs - Spec DSL for dApp Security.

$72,000
Total funds requested
Distributed: $72,000
Remaining: $0
Complete
In Progress
To be completed
390
Total votes cast
₳121M
Votes yes
₳4.4M
Votes no

Monthly report

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

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date: -

Progress report

Status:
On track: No
Estimated completion date:

Progress report

Status:
On track: No
Estimated completion date:

Team

Mathematicians with advanced degrees, logicians trained in formal proofs, experienced Haskell / Plutus developers.

lpmaho
lpmaho