completed
MLabs - Spec DSL for dApp Security
Current Project Status
Complete
Amount
Received
Received
$72,000
Amount
Requested
Requested
$72,000
Percentage
Received
Received
100.00%
Solution
We are building a spec language for formally describing dApp behavior and generating tests to validate an implementation against its design.
Problem
Cardano was designed to support secure smart contracts. Yet, testing, auditing, and even designing Cardano dApps involve serious challenges.
Addresses Challenge
Feasibility
Auditability