Plutus 与扩展 UTXO
Plutus 是 Cardano 上的智能合约语言，采用函数式编程范式，强调可形式化验证与安全性。合约在链上以 Plutus Core 的字节码形式执行。
Cardano 基于扩展的 UTXO 模型运行，把账本模型与脚本脚本数据分离，让脚本的执行约束更透明，便于推导与验证状态变化。
合约语言Plutus（函数式）
账本模型扩展 UTXO（eUTXO）
原生代币在链上直接铸造/销毁，无需智能合约
应用类型DApp · DeFi · NFT · 预言机
开发者可以做什么
原生代币与 NFT
通过 Cardano 的原生代币支持，用户可直接在链上铸造与销毁多资产代币和 NFT，无需自部署智能合约。
DeFi 应用
利用扩展 UTXO 的非交互（stateless）特性构建去中心化交易所、借贷协议等金融应用。
预言机与数据
通过链下数据与预言机连接真实世界信息，扩展合约的可编程能力。