funded

Anastasia Labs - Smart Contract Formal Verification Framework

View on Ideascale View on projectcatalyst.io

Current Project Status

In Progress

Amount
Received

₳32,000

Amount
Requested

₳200,000

Percentage
Received

16.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