funded
Open-Source Vulnerability Scanner for Cardano Smart Contracts
Current Project Status
In Progress
Amount
Received
Received
₳74,400
Amount
Requested
Requested
₳93,000
Percentage
Received
Received
80.00%
Solution
We develop an open-source AI model trained on Cardano smart contracts to identify potential bugs and vulnerabilities, reducing audit iterations and costs while improving security.
Problem
Smart contract bugs can have devastating consequences. Audits help identify issues but often require multiple iterations, increasing the overall cost. Moreover, they occasionally miss critical bugs.
Impact Alignment
Feasibility
Value for Money
Team
Team Connections