plutus

项目概述

Plutus Core 是嵌入在 Cardano 账本中的智能合约语言，构成了 Plutus Platform 的基础——一个用于在 Cardano 区块链上开发分布式应用的应用开发平台。该仓库包含 Plutus Core 的实现、规范和机械化元理论，以及 Plutus Tx——从 Haskell 到 Plutus Core 的编译器。

主要功能

• Plutus Core：Cardano 账本中嵌入的智能合约语言
• Plutus Tx：从 Haskell 到 Plutus Core 的编译器
• 规范和机械化元理论
• 提供用户文档和 Haddock API 文档

适用人群

• Cardano 区块链智能合约开发者
• 分布式应用开发者
• 对函数式智能合约感兴趣的研究者

快速上手

1. 访问 用户文档 了解项目使用
2. 运行 nix develop 进入开发环境
3. 参考 贡献指南 参与开发

核心优势

• Cardano 生态的官方智能合约语言实现
• 基于 Haskell 的类型安全开发体验
• 完整的规范和机械化验证
• 活跃的学术和开发社区

系统要求

• 操作系统：跨平台（支持 Nix 环境）
• 额外依赖：Haskell、Nix