Cardano创始人揭示新编程语言以实现更安全的加密交易

Charles Hoskinson，Cardano的创始人，正在开发一种新编程语言，旨在使加密交易更加简单和安全。用户只需说明他们想要实现的目标，软件便会自动确定所需步骤并提供结果的数字证明。Hoskinson与开发者Lucas Rosa合作开发这门语言，该语言围绕“意图”展开，用户只需提供最终结果，而无需事先定义每个技术步骤。软件还将为结果附加证明，以便其他应用程序可以检查规则是否被遵循，而无需重新执行先前的计算。这被称为“携带证明数据”，并利用Groth16方法进行快速验证。关于这门新语言的重要细节，如名称、公开代码和发布日期尚未披露。目前尚不清楚该语言是否会取代或补充现有选项，如Aiken和Plutus。

本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。