Cardano创始人查尔斯·霍金森开发支持Groth16和PCD的新区块链编程语言_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

Cardano创始人查尔斯·霍金森开发支持Groth16和PCD的新区块链编程语言

2026-10-20 01:06:26

卡达诺创始人查尔斯·霍金森联手打造支持Groth16与PCD的新编程语言

卡达诺（Cardano）的创始人、区块链行业的核心人物查尔斯·霍金森（Charles Hoskinson）宣布，他正在开发者卢卡斯·罗萨（Lucas Rosa）的协助下，亲自为卡达诺区块链构建一种全新的编程语言。目前，该项目尚未公布名称、时间表以及公开发布的具体细节。

开发中的新编程语言

霍金森在社交媒体平台X上表示，这种编程语言是专为卡达诺设计的，并称之为“同类首创”，旨在通过Groth16证明技术实现“意图（Intents）”和“携带数据的证明（PCD）”。他提到，拥有账号@rvcas的卢卡斯·罗萨正与他共同推进这一倡议。

卢卡斯·罗萨在卡达诺生态系统中扮演着重要角色，他是Aiken的主要开发者与维护者之一。Aiken是一种用于卡达诺智能合约的编程语言。此外，罗萨目前还担任Midnight项目的工具架构师，这是一个专注于区块链基础设施的项目。

目前，卡达诺主要支持两种用于智能合约开发的编程语言：一是源自Haskell语言的Plutus，二是由罗萨参与创建并持续维护的Aiken。

技术创新：Groth16、PCD与意图机制

霍金森的这一公告是对社区关于卡达诺作为“去中心化信任根”地位及其当前视角的提问所作的回应。这款新的编程语言旨在支持高级加密工具，如Groth16证明，以及携带数据的证明（PCD）和意图（Intents）等概念。

Groth16 是由密码学家Jens Groth于2016年引入的一种零知识证明协议。该方案允许生成高度高效且紧凑的证明，仅使用三个群元素，从而显著加快了区块链平台上的验证过程，并降低了资源消耗。

微型词典：Groth16 是一种零知识证明系统，能够实现安全且紧凑的加密证明，使其非常适合应用于区块链环境中的智能合约和隐私协议。

携带数据的证明（PCD） 是一种计算机科学框架，允许分布式计算的每个阶段附加一个涵盖所有先前操作的证明。借助PCD，流程末端的参与者可以通过一个简洁的证明来验证整个工作链条，从而提高分布式系统的透明度和信任度。

微型词典：携带数据的证明（PCD） 使得区块链上的链式计算能够通过单一证明进行高效验证，极大地增强了复杂操作的可扩展性和可审计性。

意图（Intents） 指的是交易设计中的一种新范式。在这种模式下，用户只需指定期望的结果，而将交易执行的具体细节交由网络处理。例如，用户可能希望其资金到达另一条区块链，但无需选择特定的桥接方式或路由，从而实现基于用户目标而非技术步骤的无缝跨链活动。

未来展望

关于这种新语言如何整合到卡达诺生态系统中的细节尚未公布。霍金森也未明确表示该语言是否会取代现有的开发工具，或者将与Plutus和Aiken等现有语言并存。

霍金森强调，该项目是“同类首创”，能够借助Groth16证明实现意图和PCD功能，并澄清他是与以工具架构师身份及作为卡达诺开发者工具主要贡献者而闻名的卢卡斯·罗萨共同开发该语言。

卡达诺社区正等待进一步的公告，以了解更多关于该语言的功能、采用时间线及其对网络内智能合约开发潜在影响的信息。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文