链闻消息，前摩根大通区块链负责人创立的区块链平台 Kadena 在 Coindesk 纽约活动中表示，已经与 Web3 基金会签署协议，将启动一项研究如何将其智能合约语言 Pact 集成到不同的区块链平台中，该项目将首先研究将 Pact 语言集成到 Polkadot 生态系统中。摩根大通前区块链负责人、Kadena 创始人 Stuart Popejoy 于今年 6 月推出该跨链智能合约语言 Pact，并声称 Pact 是应用数学验证算法 Formal Verification 执行智能合约的首批「人类可读」语言之一。 Web3 基金会负责人 Dieter Fishbein 表示，「希望更多地了解 Pact 语言在 Polkadot 生态系统中的作用」。