Experimental prototype of Plutus smart contract framework: includes reference interpreter, sample contracts, test scaffolding, and tools for development, simulation, and verification of Plutus scripts.
haskell prototype simulation smart-contracts blockchain domain-specific-language plutus off-chain on-chain eutxo contract-validation formal-model
-
Updated
Oct 8, 2025 - Haskell