plutus

Plutus 是 Cardano 区块链的智能合约脚本语言实现及配套开发工具集，包含 Plutus Core（底层虚拟机语言）和 Plutus Tx（Haskell 到 Plutus Core 的编译器）。项目提供形式化规范、机械化元理论验证及完整 Haskell 库支持，强调安全性与可验证性。适用于在 Cardano 上构建去中心化应用、编写可审计的链上逻辑及研究区块链编程语言设计。主要面向区块链开发者、学术研究者及需要高保障智能合约能力的技术团队。