completed
Plutarch: typed eDSL in Haskell
Current Project Status
Complete
Amount
Received
Received
$75,000
Amount
Requested
Requested
$75,000
Percentage
Received
Received
100.00%
Solution
Typed eDSL in Haskell for writing significantly more efficient Plutus Core validators compared to the PlutusTx smart contract execution cost
Problem
Stateful Plutus smart contracts (DeFi) are difficult to implement due to Cardano’s current transaction size parameters (16kb Tx size limit).
Addresses Challenge
Feasibility
Auditability