not approved
CardanoSmartVerify: Securing Plutus Smart Contracts with Formal Verification
Current Project Status
Unfunded
Amount
Received
Received
₳0
Amount
Requested
Requested
₳160,000
Percentage
Received
Received
0.00%
Solution
Develop CardanoSmartVerify, an open-source formal verification tool for Plutus smart contracts, providing automated tools to verify correctness and security, enhancing confidence and adoption.
Problem
here is no formal verification framework for Cardano smart contracts, leaving Plutus contracts vulnerable to bugs, exploits, and security risks, restricting their potential for critical applications.
Impact Alignment
Feasibility
Value for money