ID: #1200028 | Status:
In progress

Last updated 4 weeks ago

Anastasia Labs - Smart Contract Formal Verification Framework

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.

4-7c1993-aecc80.png

Total to date

This is the total amount allocated to Anastasia Labs - Smart Contract Formal Verification Framework. 2 out of 5 milestones are completed.

₳200,000
Total funds requested
Distributed: ₳96,000
Remaining: ₳104,000
10/24
12/24
02/25
04/25
05/25
Complete
In progress
To be completed
747
Total votes cast
₳394M
Votes yes
₳51M
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