Web3 基金会研究将 Pact 语言集成到 Polkadot 生态，该语言曾为 Cosmos 构建 Pact 版本

区快洞察消息，前摩根大通区块链负责人创立的区块链平台 Kadena 在 Coindesk 纽约活动中表示，已经与 Web3 基金会签署协议，将启动一项研究如何将其原生智能合约语言 Pact 集成到不同的区块链平台中，该项目将首先研究将 Pact 语言集成到 Polkadot 生态系统中。摩根大通前区块链负责人、Kadena 创始人 Stuart Popejoy 于今年 6 月推出该跨链智能合约语言 Pact，并声称 Pact 是应用数学验证算法 Formal Verification 执行智能合约的首批「人类可读」语言之一。 Web3 基金会负责人 Dieter Fishbein 表示，「希望更多地了解 Pact 语言在 Polkadot 生态系统中的作用」。区快洞察此前报道，Kadena 于 11 月 4 日上线主网并开启 Conlist 的两轮公募，曾于今年 8 月宣布将使用其原生智能合约语言 Pact 为 Cosmos 生态系统构建 Pact 版本 Kadenamint，Stuart Popejoy 表示该项目旨在使得 Cosmos 拥有行业级智能合约语言，为开发人员提供更多选择。

来源链接