over budget
Aiken: Smart Contract Toolchain
Current Project Status
Unfunded
Amount
Received
Received
$0
Amount
Requested
Requested
$111,480
Percentage
Received
Received
0.00%
Solution
- Port UPLC to Rust (mostly done)
- Implement the interpreter (own the full toolchain!)
- Create a high level C-family language with functional semantics
- UPLC static analysis tools
- Robust testing tools
Problem
For most developers the Haskell syntax of Plutus is unpalatable or too unfamiliar to hit the ground running. Although Plutus is a great language, this causes enough friction to slow down developers.
Impact / Alignment
Feasibility
Auditability