艾达币（ADA）支持智能合约功能，Cardano自Alonzo硬分叉后全面支持图灵完备合约，采用Plutus与Marlowe语言；Plutus基于Haskell，强调形式化验证；Marlowe面向金融合约，支持可视化构建与属性验证；前端通过CIP-30协议集成账户交互；本地可用CLI模拟测试。
一、艾达币支持智能合约功能
艾达币（ADA）运行于Cardano区块链，该平台自Alonzo硬分叉后已全面支持图灵完备的智能合约。Cardano采用Plutus脚本语言和Marlowe领域专用语言，为去中心化应用提供原生合约执行能力。
1、Plutus是基于Haskell构建的函数式智能合约语言，强调形式化验证与安全性；
2、Marlowe专为金融合约设计，允许非开发者通过可视化逻辑构建资产交易流程；
3、所有合约部署在Cardano结算层之上，由Ouroboros共识机制保障执行确定性。
二、使用Plutus开发DApp
Plutus提供类型安全与可验证性，适用于高保障场景的链上逻辑实现，需配合Haskell开发环境与Cardano节点交互。
1、安装Haskell Stack与Nix包管理器，拉取IOHK官方plutus-apps仓库；
2、在项目中导入Plutus.V1.Ledger.Api等核心模块，定义validator脚本与datum结构；
3、使用plutus-tx编译器将Haskell逻辑转为Plutus Core字节码；
4、通过cardano-cli提交交易，携带script address、datum哈希与redeemer参数完成链上部署。
三、使用Marlowe构建金融合约
Marlowe抽象了底层执行细节，用户通过状态机描述资金流转规则，系统自动生成可执行合约并验证无死锁、无负余额等属性。
1、访问Marlowe Playground在线编辑器；
2、拖拽“When”、“Pay”、“If”等组件搭建多阶段支付流程；
3、点击Run Simulation实时模拟各参与方操作路径；
4、导出JSON格式合约，调用Marlowe Runtime API部署至测试网。
四、集成前端与链交互
Cardano生态采用统一的账户签名协议CIP-30，前端通过浏览器扩展（如Flint、Nami）发起交易请求，无需私钥暴露。
1、引入@emurgo/cardano-serialization-lib-browser库解析交易对象；
2、调用window.cardano.enable()获取用户公钥哈希与地址；
3、构造TransactionBuilder实例，添加输入UTXO、输出地址及合约输出脚本；
4、调用wallet.signTx()触发签名，再用wallet.submitTx()广播至网络。
五、本地测试与调试方法
Cardano CLI支持本地全节点模拟，可复现主网共识行为，用于验证合约在不同区块参数下的响应逻辑。
1、启动cardano-node --testnet-magic 2时启用Alonzo兼容模式；
2、使用cardano-cli query utxo --address指定脚本地址查看锁定资金；
3、运行cardano-cli transaction build-raw命令注入plutus script与datum；
4、通过cardano-cli transaction evaluate离线校验脚本执行结果与gas消耗。
