Plutus 和 Haskell 智能合约用于 Cardano

我使用 Plutus 开发 Cardano 上的智能合约和去中心化应用，Plutus 是一个基于 Haskell 的功能性平台，支撑着该网络。无论您需要单个验证器还是完整的应用程序，我都提供干净、可验证和可预测的代码，严格按照规范工作。

您将获得：
— 使用 Haskell (PlutusTx) 编写的链上 Plutus Core 验证器和铸造政策，关注脚本大小和执行预算。
— 链下组件：交易构建、钱包集成，以及将您的接口连接到区块链（Lucid、Mesh、cardano-serialization-lib 或 Plutus 应用后端）。
— 具有自定义发行逻辑、版税和元数据标准的原生代币和 NFT 收藏。
— DeFi 组件：托管、归属、质押、交换、预言机和多重签名国库。
— 设计数据和赎回者，以保护您的合约免受双重满足攻击、价值盗窃和无限成本的影响。

我的工作方式：
首先，我概述需求并构建具体的 eUTXO 流动规范，然后再编写代码。每个验证器都附带属性测试和仿真器跟踪，以便每种场景都可见。我记录数据/赎回者模式、交易约束和脚本假设，以便审计人员或您的团队可以轻松理解。

为什么正确编写的 Plutus 重要：在 Cardano 上，一个错误就是金钱。确定性功能模型让我能够准确推理交易可以和不可以做什么，我利用这一点在发布到测试网和主网之前关闭攻击面。

描述您的任务，我将评估链上和链下部分，提出时间表，并开始验证器设计。维护和审计服务可用。