Hoskinson 推出用于 Midnight DeFi 的 Moriarty

Charles Hoskinson 披露了他为 Midnight DeFi 构建的编程语言 Moriarty 的首个具体测试结果。一个借贷合约已生成 Midnight 的零知识中间表示，并且其交易已在 Preview 网络上通过验证，而该语言本身仍在开发中。

Moriarty 为 Midnight DeFi 定义指令

Hoskinson 将 Moriarty 描述为 Midnight 规划中的 DeFi 内核所用的图灵不完备意图语言。它旨在表达一笔金融交易应完成的目标及其必须满足的条件。

其有意受限的设计收窄了程序可能行为的范围，而形式语义则规定每条指令的执行方式。Hoskinson 正在研究借贷、兑换、永续合约与合成产品背后的通用组件，但并未将它们作为已完成的 Moriarty 功能呈现。

Midnight 使用 NIGHT 作为其原生网络资产。Moriarty 将位于应用层，开发者最终可以在其中定义涉及 NIGHT 及其他受支持资产的操作。尚未宣布任何使用该语言的生产级应用。

借贷合约在 Midnight Preview 上通过验证

Hoskinson 表示，在他介绍该项目时，Moriarty 代码库已包含超过 596 次提交。最明确的发展里程碑是，一个借贷合约被编译为 zkIR，即 Midnight 零知识执行流程所使用的中间表示。

“I was able to actually get the transaction to validate on the Midnight preview,” he said.

Preview 是一个开发网络，Hoskinson 表示 Moriarty 尚未完成。他估计还需两到四周的工作时间，之后再交给 Lucas 及其他团队成员，他并未公布 Moriarty 或 NIGHT DeFi 产品的生产上线时间表。

正确性证明旨在应对 DeFi 合约风险

Hoskinson 表示，Moriarty 旨在为交易附加程序正确性的证明。该证明将在交易被接受前，展示所提交的程序遵循了该语言所表达的规则。

“You have a proof of the correctness of the program going with the transaction,” he said.

他将该设计与约束不足的电路联系起来，其中零知识电路未能强制落实所有预期条件。缺失的约束可能使无效结果通过其余检查，从而使由合约控制的资金面临风险。

该 Preview 测试确认了 Hoskinson 所描述的编译与验证路径。他接下来的步骤是交接给团队，将 Moriarty 从个人原型推进为 Midnight DeFi 开发者可以评估与扩展的基础设施。