over budget
Imperator - Secure, Imperative SCs
Current Project Status
Unfunded
Amount
Received
Received
$0
Amount
Requested
Requested
$60,000
Percentage
Received
Received
0.00%
Solution
Imperator is a language for SCs that looks and feels like well known imperative languages popular among developers. It is a specialized language that focuses on security and intuitivity.
Problem
Many programmers are unfamiliar with functional programming languages like Haskell/Plutus. Program analysis tools focus on imperative languages. Let’s develop a secure, imperative SC language!
Impact / Alignment
Feasibility
Auditability