霍斯金森亲研新语言：Cardano 融合交易条件与密码学证明

据 Woofun AI 消息，（）创始人查尔斯·霍斯金森亲自介入新编程语言开发，旨在将区块链交易请求与密码学证明深度结合。用户仅需指定交易条件，由应用层处理执行流程，区块链则负责最终验证，彻底改变传统交互模式。

Woofun AI 整理数据显示，霍斯金森正与 InputOutputGlobal（）软件工程师卢卡斯·罗萨协作推进该项目，后者亦是 Cardano 主要智能合约语言 Aiken 的联合开发者。该新语言融合交易意图、带证明数据及 Groth16 证明系统，允许用户仅声明期望结果而非执行细节。例如，交易者可设定仅在特定价格条件满足时进行代币交换。带证明数据提供遵循既定规则的密码学证据，使其他应用无需重复计算即可验证；Groth16 则生成小型证明以加速计算机验证过程，且在确认条件满足时无需公开私有数据。

这种架构使开发者能构建验证复杂交易条件并在服务间传递已验证信息的应用，Cardano 区块链将在最后阶段验证这些小型密码学证明。

值得注意的是，该新语言将与现有智能合约语言并行使用。目前 Cardano 开发者仍依赖基于 Haskell 的 Plutus 和 Aiken 编写智能合约，而 IOG 开发的隐私保护区块链 则采用 语言处理机密数据。《CoinDesk》于 19 日报道称，霍斯金森在 18 日通过 X 平台（原 Twitter）宣布亲自开发此语言，标志着 Cardano 在技术栈上的进一步扩展。

然而，关键细节依然缺失。霍斯金森尚未公布新语言的名称、具体技术规格及开源代码，上市时间也未确定。这种透明度不足引发市场对其实际可用性的关注，未来进展仍需观察。