卡达诺创始人查尔斯·霍金森开发具备先进加密特性的新编程语言
卡达诺(Cardano)的愿景缔造者查尔斯·霍金森(Charles Hoskinson)近日公布了一项新编程语言的研发计划,旨在通过增强加密能力来革新区块链技术。霍金森透露,该语言有望为卡达诺生态系统开启众多新的可能性。
支撑新语言的技术创新
霍金森详细阐述,该语言将能够利用 Groth16 零知识证明处理携带证明的数据(Proof-Carrying Data)。尽管他尚未公开该语言的具体名称、技术规格或发布日期,但卡达诺社区对此充满期待。将意图结构(Intent Structures)与携带证明的数据相结合,标志着区块链编程领域的一项重大进步。
“这项努力将意图模型与携带证明的数据以及 Groth16 证明相结合,这是区块链领域的开创性整合,”霍金森强调道。
这一公告是对卡达诺社区关于去中心化程度极高的区块链作为基础层所具备的独特优势的提问做出的回应。霍金森表示,他的努力可以加强卡达诺的技术声誉,为突破性的发展奠定基础。
揭示 Midnight 的角色及未来关联的推测
霍金森还暗示,他正在构思一个他认为能够解决加密货币领域诸多挑战的概念,并声称只有‘Midnight’项目能够实现这一构想。作为卡达诺旗下以隐私保护为核心框架的知名项目,Midnight 与新编程语言的潜在集成目前仍处于推测阶段。霍金森尚未确认两者之间存在直接关联。
“我正在构思一个概念,它只能由 Midnight 带入加密货币领域,这可能是我职业生涯的巅峰之作,”他说道。
对过往语言偏好的反思与未来方向
霍金森一直对其在编程语言方面的观点直言不讳。卡达诺早期的开发架构主要依赖 Haskell,对此他始终坚定支持。在2022年6月埃隆·马斯克(Elon Musk)与杰克·多西(Jack Dorsey)就编程语言优势进行的一场著名辩论中,尽管马斯克偏爱 C 语言,霍金森仍大力倡导 Haskell。
尽管如此,霍金森也曾表示对仅依赖 Haskell 进行卡达诺开发持保留态度。2024年5月,他透露曾认真考虑过使用 Clojure 作为替代方案。最终,Cloud Haskell 的存在以及利用 Liquid Haskell 和 Agda 等工具的能力,是他做出决定的关键因素。
在2025年4月的一次访谈中,霍金森承认,如果有机会从头开始重建卡达诺,他可能会选择不同的编程语言,这凸显了区块链技术开发的迭代性和演进性质。
ADA

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注