Cardano创始人Hoskinson称正亲自开发新编程语言
内容摘要
PANews 10月20日消息，据CoinDesk报道，Cardano创始人Charles Hoskinson周日在X上表示，他正亲自为Cardano开发一门新编程语言，合作者为Input Output Global软件工程师Lucas Rosa，后者也是Cardano智能合约语言Aiken的联合创建者。Hoskinson称这将是首个把交易意图（intents）与规则已被遵守的密码学证明结合起来的语言，支持交易意图、proof-carrying data和Groth16证明，开发者可用其构建协调交易、校验复杂条件的应用，最后由Cardano链上验证一个小型证明。Cardano现有智能合约语言为Plutus和Aiken；Hoskinson尚未公布该语言名称、公开代码或上线时间。
来源：PANews · panewslab.com
打开原文所属事件
Hoskinson与Lucas Rosa合作开发Cardano新语言
Cardano 创始人 Charles Hoskinson 10 月 18 日在 X 上表示，他正与开发者 Lucas Rosa（rvcas）一起为 Cardano 开发一门编程语言，称其为“首创”，通过 Groth16 零知识证明支持 intents 和 PCD（证明携带数据）。目前尚未公布语言名称、代码或时间表，也未说明该语言如何组合这些技术、是否会取代或并行于现有工具 Plutus 和 Aiken。Lucas Rosa 是 Aiken 的共同创建者和维护者之一，个人网站显示其现任 Midnight 的 tooling architect。
相关报道
同一消息的其他来源与事件进展；转载数量不等于独立核验。
同一消息Unchained · 采访与独立报道
Charles Hoskinson 称正为 Cardano 开发基于 Groth16 证明的编程语言
查看摘要与出处
Cardano 创始人 Charles Hoskinson 10 月 18 日在 X 上表示，他正与开发者 Lucas Rosa（rvcas）一起为 Cardano 开发一门编程语言，称其为“首创”，通过 Groth16 证明支持 intents 和 PCD。目前尚未公布名称、代码或时间表，也未说明该语言如何组合这些技术、是否会取代或并行于现有工具。
核对原文 ↗同一消息CoinDesk
Cardano 创始人 Charles Hoskinson 正在为该网络开发新编程语言
查看摘要与出处
Cardano 创始人 Charles Hoskinson 在 X 上表示，他正在为该网络开发一种新编程语言，该语言会将交易请求与加密证明打包在一起。他尚未公布语言名称、技术规格或发布日期。
核对原文 ↗
以下按资产或主题关联，供比较阅读，属于不同消息。
同资产主题PANews
Cardano Card将于10月31日停止服务，因Wirex转向非托管模式
查看摘要与出处
PANews 10月13日消息，Cardano Card宣布将于2026年10月31日停止服务，此前持卡人仍可正常使用。其合作伙伴Wirex正转向非托管模式并停用托管基础设施，双方合作将于同日终止。Cardano Card表示将很快公布后续安排的更多细节。
核对原文 ↗同资产主题深潮 TechFlow · Web3 资讯
Cardano 基金会分拆 Veridian 并用 CIP-0113 代币化 100 万股股权
查看摘要与出处
Cardano 基金会已将数字身份项目 Veridian 分拆为独立的瑞士公司，并基于新可编程代币标准 CIP-0113 将其 100 万股股权代币化，成为该标准首个股权应用案例，代币化股份暂不公开发售。
核对原文 ↗同资产主题Unchained · 采访与独立报道
Cardano CIP-0113 可编程代币标准上线主网，内置 KYC 与冻结功能
查看摘要与出处
Cardano 基金会在 TOKEN2049 宣布 CIP-0113 可编程代币标准已在 Cardano 主网上线，稳定币、代币化基金、债券等受监管资产的发行方可在代币中内置 KYC/AML 检查、制裁筛查、冻结没收和转账限制等合规规则，由 Cardano 账本在每次转账、铸造或销毁时执行。
核对原文 ↗同资产主题CoinDesk
Cardano 的 ADA 在窄幅震荡市场中领涨
相关资产
ADA · Cardano
Cardano 与 ADA；生态项目作为相关背景