链闻 ChainNews 诚邀读者共同监督,坚决杜绝各类代币发行、投资推荐及虚拟货币炒作信息。举报

Pact

Pact新闻快讯文章, Pact深度文章, Pact快讯, 区块链Pact, Pact是什么, Pact介绍, Pact解读, Pact项目, 三分钟了解Pact, 秒懂Pact, 如何评价Pact, Pact怎么样, Pact创始人, Pact招聘, Pact融资, Pact价格, Pact技术, Pact社区, Pact论坛, Pact浏览器, Pact排名, Pact白皮书, Pact本质, Pact意义, Pact代码, Pact游戏, Pact什么意思, Pact学习, Pact培训, Pact教程, Pact投资, Pact赚钱, Pact安全, Pact漏洞

·

Kadena :Pact 语言奠定智能合约新标准

Kadena 的智能合约模型为区块链代码的安全性与可读性创造了条件。
Kadena :Pact 语言奠定智能合约新标准

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 日上线主网并开启 CoinList 的两轮公募,曾于今年 8 月宣布将使用其原生智能合约语言 Pact 为 Cosmos 生态系统构建 Pact 版本 Kadenamint,Stuart Popejoy 表示该项目旨在使得 Cosmos 拥有行业级智能合约语言,为开发人员提供更多选择。

Kadena 将使用 Pact 语言为 Cosmos 构建 Kadenamint,Cosmos 已支持三种编程语言

链闻消息,前摩根大通高管创立的区块链平台 Kadena 宣布将使用其原生智能合约语言 Pact 为 Cosmos 生态系统构建 Pact 版本 Kadenamint。Kadena 创始人 Stuart Popejoy 表示,该项目旨在使得 Cosmos 拥有行业级智能合约语言,为开发人员提供更多选择。同时,他认为由于 Pact 允许开发人员更快速、安全地进行开发,并在语言中加入一种「正式验证」,所以 Kadenamint 在各个方面都优于 Ethermint,Pact 也比 Solidity 更可以作为智能合约语言的标准。目前,Cosmos 已经为开发者提供至少三种编程语言选择,包括 2016 年开始投入使用的基于以太坊智能合约语言 Solidity 的 Ethermint、区块链开发公司 Agoric 基于 JavaScript 构建的编程语言 Secure EcmaScript (SES)等。据 Block123.com 显示,Kadena 旨在为企业提供区块链平台服务,其 Pact 智能合约可用于 Chainweb 和区块链,投资机构包括 MetaStable、MultiCoin Capital、Chain Fund 等。
返回页面顶部
返回链闻首页
WeChatWeiboFacebookTwitterLinkedInTelegramMediumGitHubRSS收藏区块链搜索区块链移动 AppEmailUpHomeAppleAndroid