Exchange Ranking
Top Exchanges
24h Volume Ranking
Popularity Ranking
Exchange BTC Balance
Proof of Reserves
Decentralized Exchanges
Funding Rate
Funding Heatmap
Liquidation Data
Max Pain
Long/Short Ratio
Whale L/S Ratio
Binance/Okex/Huobi L/S
Bitfinex Margin L/S
ETF Tracker
Solana ETF
XRP ETF
Hong Kong ETF
Bitcoin Treasuries
Crypto Reversal
Ethereum Reserves
HyperLiquid Wallet Analysis
Hyperliquid Whale Watch
Large Transactions
On-chain Movement
Bitcoin ROI
Stablecoin Market Cap
Options Analysis
News
Articles
Economic Calendar
Features
Wallet
Contract Calculator
Security
Collections
Watchlist
Following
ADA 卡达诺创始人查尔斯·霍斯金森正在开发一种结合交易意图与高级密码学证明的新编程语言
卡达诺（Cardano）创始人查尔斯·霍斯金森（Charles Hoskinson）正在开发一种全新的编程语言，旨在将交易意图、携带证明的数据（Proof-Carrying Data, PCD）以及 Groth16 密码学证明相结合，以增强区块链应用的功能。
这一新提案的语言有望强化交易验证能力和隐私保护特性。目前，卡达诺生态系统已支持 Plutus、Aiken 以及 Midnight 网络的 Compact 语言。然而，关于这款新语言的具体规格或发布日期，霍斯金森尚未公布详细信息。
引入先进的加密能力
根据霍斯金森在社交媒体平台 X 上的最新帖子，该编程语言将通过 Groth16 密码学证明，把交易意图与携带证明的数据结合起来。此举为卡达诺引入了另一种编程范式，进一步丰富了其去中心化应用和智能合约的开发工具集。
霍斯金森是在回应社区成员关于“卡达诺作为去中心化区块链平台的优势”的提问时，披露了这一开发进展。他写道：“我实际上正在亲自为卡达诺开发一种编程语言。这是首个通过 Groth16 证明实现‘意图 + 携带证明数据’功能的语言。”
技术核心：交易意图与零知识证明
拟议中的新语言将整合以下关键技术组件：
- 交易意图（Transaction Intents）：允许区块链应用通过定义的执行条件来表达期望的结果。
- 携带证明的数据（PCD）：使信息能够包含支持其有效性的密码学证据，而无需暴露所有底层细节，从而提升隐私性。
- Groth16 证明：这是一种生成紧凑型零知识密码学证明的方法，能够在不泄露敏感信息的情况下验证交易的真实性。
这些能力的结合，将为卡达诺生态系统中需要严格交易验证、隐私保护以及复杂执行条件的应用场景提供支持。不过，霍斯金森尚未详细说明这些新功能如何与卡达诺现有的智能合约基础设施进行交互。
现有语言支持与历史选择
目前，卡达诺主要支持基于 Haskell 构建的 Plutus 语言，以及专为智能合约开发设计的 Aiken 语言。与此同时，与卡达诺关联的注重隐私的区块链项目 Midnight，则使用 Compact 语言来开发涉及机密信息的应用程序。霍斯金森近期还透露了另一个与 Midnight 相关的概念项目，称其为一项重大的个人工程。
回顾卡达诺的发展历程，霍斯金森在编程语言的选择上有着丰富的经验。卡达诺最初的架构严重依赖 Haskell。2022年，在一场涉及埃隆·马斯克（Elon Musk）和杰克·多西（Jack Dorsey）的关于编程语言偏好的交流中，霍斯金森公开推荐了 Haskell。到了2024年5月，他透露在卡达诺早期的架构规划中，Clojure 也曾被考虑过。最终选择 Haskell 是反映了当时可用的技术环境，包括 Cloud Haskell、Liquid Haskell 和 Agda 等。
未来展望
在2025年4月的一次采访中，霍斯金森承认，如果需要对卡达诺进行彻底的重构，可能会考虑选择另一种编程语言。此次披露的新项目扩展了卡达诺在编程领域的探索，尽管目前尚未公布技术规格、开发里程碑或具体的发布日期。
