ID: #1200028 | Status:
In progress

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.

Total to date

This is the total amount allocated to Anastasia Labs - Smart Contract Formal Verification Framework.

₳200,000
Total funds requested
Distributed: ₳32,000
Remaining: ₳168,000
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

Anastasia Labs
Anastasia Labs
Mladen Lamesevic
Mladen Lamesevic
philipdisarro
philipdisarro
Jonathan Rodriguez
Jonathan Rodriguez
Mark Petruska
Mark Petruska