diorwave/Plutus-prototye

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 · GitHub 星标：7 · Fork：0

话题：blockchain · contract-validation · domain-specific-language · eutxo · formal-model · haskell · off-chain · on-chain

在 GitHub 上查看原仓库