funded
Anastasia Labs - Smart Contract Formal Verification Framework
Current Project Status
In Progress
Amount
Received
Received
₳16,000
Amount
Requested
Requested
₳200,000
Percentage
Received
Received
8.00%
Solution
We propose a framework for formal verification of Cardano smart contracts in Coq.
Problem
You often hear that one of the core strengths of Plutus is that it is well-suited for formal verification; yet, as of now, there is no framework for formal verification of Cardano smart contracts.
Value for Money
Impact Alignment
Feasibility