卡尔达诺的霍斯金森宣布推出用于智能合约的新DSL

卡尔达诺的创始人查尔斯·霍斯金森（Charles Hoskinson）宣布了一种用于智能合约的新的DSL（特定于域的语言），同时透露了卡尔达诺在DeFi中为卡尔达诺所做的更多努力，并将在本月底根据我们卡尔达诺中的报告发布具体公告。今天的ADA新闻。

IOHK首席执行官查尔斯·霍斯金森（Charles Hoskinson）为AMA带来了新的惊喜，宣布了卡尔达诺生态系统的多项计划，并谈到了过去几天的进展。 正如他所解释的那样，卡尔达诺正在走向完全分散的网络，因为股权池已经占据了大宗生产的24％以上，而76％的股份已得到IOHK的联合点名确认。

IOHK还将在9月份为Cardano启动点对点治理，这将改善绩效并进一步分散网络的分散，正如Hoskinson解释的那样：

“这将在某些方面大大提高性能。 […] 当您不再使用来自股权池运营商或我们的中继时，它也是一个完全分散的网络。”

在雪莱时代，代表团的投资组合和抵押行会正在讨论中，但根据Hoskinson的说法，有太多的代表团正在尽快实施。 Goguen团队正在使用本地资产分三个阶段进行推广，最后阶段是Plutus应用程序框架。 霍斯金森解释说：

“ Plutus基础有点像JVM vs. Java，它是语言的基础基础，是语言的核心，因此您可以编写程序集及其高级表示形式。 您将能够编写智能合约，但这不是非常用户友好的。 但是您必须拥有JVM才能拥有Java。 […] 因此，有必要先将其推广，然后再提供出色的开发经验。”

新的智能合约DSL将使开发人员可以选择已认证的智能合约，因为他们将能够实施并证明实施是正确的。 这已经完成了几次，但存在一些挑战：

“通常很难，因为这些工具不是很好，它们需要很多领域专业知识，而且非常沉重。 因此，存在很多讨论，我们将如何构建可与您的合同串联使用的轻量级规格DSL，然后您可以验证其属性。 用于模型检查和快速检查 […] 验证您的合同是正确的。”

—-

原文链接：https://www.dcforecasts.com/cardano-news/new-dsl-for-smart-contracts-announced-by-cardanos-hoskinson/

原文作者：Stefan

编译者/作者：wanbizu AI

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