Web3研究如何在Polkadot上集成Kadena的智能合约语言

Web3基金会正在研究如何为Polkadot生态系统采用区块链初创公司Kadena的Pact智能合约编程语言。

Kadena周二在CoinDesk的Invest：NYC活动中宣布，两家公司签署了一项协议，启动一项研究项目，研究如何将Pact集成到不同的区块链平台中。

Pact旨在促进使用不同区块链的开发人员之间智能合约的执行。 Kadena希望该语言将成为智能合约标准，而不管开发人员首选的区块链如何。

该公司的创始人斯图尔特·波普乔伊（Stuart Popejoy）于2019年6月推出了跨链智能合约语言，适用于公开和私有的“混合区块链”。 Kadena声称Pact是使用Formal Verification执行智能合约的首批“人类可读”语言之一，Formal Verification是一种使用数学方法来验证算法“正确性”的方法。

Kadena的区块链平台（以前称为Chainweb）于11月4日上线，将10个同时运行的工作量证明（PoW）区块链组合在一起。同时，该公司还宣布了2,000万美元的代币销售。

该网络通过同时运行多个区块链，共享的默克尔根（merkle roots）允许在不同网络之间共享数据，从而解决了现有PoW网络的扩展挑战。

Kadane通过2018年4月的未来代币简单协议（SAFT）出售筹集了1200万美元。Fidelity Investments的私人投资者部门，Devonshire Investors，Multicoin Capital，Asimov Investments，SV Angel和SIG参与了代币销售。

Web3基金的互操作性项目紧随Web3基金的互操作性项目之后，该公司推动将区块链平台与通用智能合约语言集成的努力促进了不同的权益证明（PoS）区块链平台的纳入。

“ Web3基金会期待Kadena即将进行的可行性研究的结果，并希望更多地了解Pact语言在Polkadot生态系统中的作用。”该基金会负责人Dieter Fishbein在一份声明中说。

由以太坊联合创始人加文·伍德（Gavin Wood）创立，Polkadot于7月启动了DOT代币销售，当时估值为12亿美元。三支未具名的中国基金购买了一定比例的代币，估值低于10亿美元。

由Polychain Capital加入的Web3基金会于10月成立了一个新的投资基金，以支持Polkadot。没有公开该支持的金额。

Stuart Popejoy图片由Kadena提供

—-

编译者/作者：不详

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。