卡达诺（Cardano）创始人查尔斯·霍斯金森（Charles Hoskinson）近日透露，他正在亲自推动一门全新的编程语言研发，该语言将深度集成零知识证明技术，以支持更安全、高效的区块链应用。
项目背景与核心目标
这一计划源于社区对去中心化信任机制的持续关注。霍斯金森在回应用户提问时强调，卡达诺应成为最可信的去中心化系统之一，并指出新语言正是实现这一愿景的关键一步。
关键技术架构解析
新语言的核心设计围绕三大概念展开：交易意图（Transaction Intents），即用户通过签名表达期望结果，可附加条件以确保资产仅在满足特定规则时转移；携带证明的数据（Proof-Carrying Data, PCD），通过在数据上附带小型密码学证明，验证其合法性；以及基于Groth16协议的零知识证明机制，该协议由Jens Groth于2016年提出，能生成极小且快速可验证的证明，显著降低链上验证成本。
据披露，开发者未来可利用该语言构建具备复杂逻辑的协调型交易系统，所有验证过程均可通过一个轻量级证明完成，从而提升整体网络效率与隐私性。
开发团队与协作进展
该项目由卢卡斯·罗萨（Lucas Rosa）领导的RVCAS团队参与共建。罗萨是Input Output Global的资深软件工程师，同时也是卡达诺智能合约语言Aiken的联合创建者，目前担任Midnight项目的工具架构师。其技术背景为项目提供了坚实基础。
当前状态与待解问题
尽管消息已发布，但官方尚未公布该编程语言的正式名称、代码库地址或上线时间。目前卡达诺生态中已有Plutus和Aiken等成熟开发工具，新语言与现有体系的关系尚不清晰。此外，是否采用ADA支付手续费也未明确。
因此，现阶段该公告更像是一份战略意向声明，而非具体产品落地。开发者和持币者需等待进一步技术文档与路线图，才能判断其在卡达诺生态中的实际角色。
骗局曝光+项目交流
