bibibi.cc正在加载…
Charles Hoskinson称正与Lucas Rosa为Cardano开发一门结合交易意图与密码学证明的新语言。
Cardano创始人Charles Hoskinson亲自开发新编程语言
PANews 10月20日消息，据CoinDesk报道，Cardano创始人Charles Hoskinson周日在X上表示，他正亲自为Cardano开发一门新编程语言。合作者是Input Output Global软件工程师Lucas Rosa，Lucas Rosa也是Cardano智能合约语言Aiken的联合创建者。Hoskinson称，这将是首个把交易意图（intents）与“规则已被遵守”的密码学证明结合起来的语言，支持交易意图、证明携带数据（proof-carrying data）和Groth16证明。开发者可以用它构建能协调交易、校验复杂条件的应用，最后由Cardano链上验证一个...
原文链接：https://www.panewslab.com/zh/articles/01a156a3-e3a0-7533-80ed-1b21f987baee
PANews称该消息据CoinDesk报道。
Charles Hoskinson周日在X上表示，他正亲自为Cardano开发一门新编程语言。
合作者是Input Output Global软件工程师Lucas Rosa。
Lucas Rosa也是Cardano智能合约语言Aiken的联合创建者。
Hoskinson称，该语言将结合交易意图与“规则已被遵守”的密码学证明。
Hoskinson称，该语言支持交易意图、证明携带数据和Groth16证明。
原文称，开发者可以用它构建协调交易、校验复杂条件的应用。
以下为辅助分析，与已报道事实分开展示；重要信息请进一步核实。
这是一项仍处于开发表态阶段的编程语言计划。按Hoskinson的说法，它希望让应用表达交易想完成什么，并携带密码学证明，用于说明相关规则已经得到遵守。
如果相关功能实现，开发者可能获得一种协调交易和校验复杂条件的新工具；但现有材料只提供了开发声明，不能确认实际完成度或可用性。
新手可先把它理解为Cardano拟新增的一种开发工具，目前不等于已经发布，也不代表已有应用采用。
正在加载事件时间线…