查尔斯·霍金森联手卢卡斯·罗萨开发Cardano新编程语言

币安Binance

币安交易所是全球加密货币交易所龙头，在手机上即可买卖比特币等数字货币！

官网注册  APP下载

查尔斯·霍金森（Charles Hoskinson）正与Aiken联合创始人卢卡斯·罗萨（Lucas Rosa）共同推进一项针对Cardano生态的新编程语言研发。该项目旨在整合“交易意图”、“携带证明的数据”以及Groth16零知识证明技术，构建更高效、安全且用户友好的应用开发范式。目前，该语言尚未公布正式名称，也未开放代码仓库或发布计划。

核心目标：从指令到结果的范式转变

传统区块链交易需精确定义每一步操作，而“交易意图”模式允许用户仅表达最终目标。例如，用户可提交“将代币A兑换为代币B，且成交价不高于某阈值”，系统将自动寻找最优路径完成交易，显著降低使用门槛。

安全性与效率并重：证明驱动的验证机制

“携带证明的数据”通过附加密码学证据，使接收方仅需验证证明即可确认计算合规性，无需重复执行全部逻辑，极大提升节点处理效率。该特性与Groth16协议紧密结合——这是一种生成短小、快速验证的零知识证明的成熟方案，已在Cardano测试环境中初步验证。

这一组合有望成为下一代加密应用的底层支撑，尤其适用于需要高安全性与低延迟的金融类场景。尽管当前仍处于早期阶段，但其设计理念已体现对性能与可用性的双重追求。

深度参与：从架构升级到应用层突破

霍金森并非仅担任战略指导角色，而是直接投身于新语言的设计与实现。此举正值Cardano推进“Leios”架构升级的关键期，该升级将全面优化网络吞吐量与扩展能力。

相比之下，此次工作更聚焦于上层应用的构建基础。霍金森强调，这是首个将“意图”、“携带证明数据”与“Groth16”三者深度融合的项目，具有开创性意义。

生态格局：多语言共存而非替代

Cardano生态系统长期采用Plutus作为主流智能合约语言，而Aiken则以更简洁的语法吸引开发者。两者最终均编译为统一的UPLC格式供节点执行。

新语言是否沿用相同路径尚未明确。霍金森未提及是否会取代现有工具，也未表明其定位是补充还是重构。目前来看，它并非对已有生态的颠覆，而是一次功能层面的深化。

此外，类似理念也出现在专注于隐私的Midnight网络中，其使用的Compact语言同样依赖零知识证明处理敏感数据。这反映出霍金森团队在不同项目间共享核心技术思路的趋势。

总体而言，这项新语言虽未公开细节，但其“意图导向+证明绑定”的设计逻辑已展现出独特价值。未来能否成为生态核心组件，取决于其实际性能表现与开发者采纳情况。目前，所有进展仍处于保密状态，代码面世时间待定。