over budget
Automated Bug-finding for Plutus
Current Project Status
Unfunded
Amount
Received
Received
$0
Amount
Requested
Requested
$68,200
Percentage
Received
Received
0.00%
Solution
We have already built Yogo, a semantic search and bug-finding tool for C, Java, and Python based on automated reasoning techniques, published in PLDI 2020. We will add Haskell/Plutus support.
Problem
Double-satisfaction bugs, clone script attacks – the same vulnerabilities repeat in Plutus contracts. We will build a tool that automatically finds subtle instances of common bugs.
Impact / Alignment
Feasibility
Auditability
Team
Team Connections