Charles Hoskinson 称正为 Cardano 开发基于 Groth16 证明的编程语言
Charles Hoskinson Reveals Work on a Cardano Programming Language Using Groth16 Proofs
内容摘要
Cardano 创始人 Charles Hoskinson 10 月 18 日在 X 上表示，他正与开发者 Lucas Rosa（rvcas）一起为 Cardano 开发一门编程语言，称其为“首创”，通过 Groth16 证明支持 intents 和 PCD。目前尚未公布名称、代码或时间表，也未说明该语言如何组合这些技术、是否会取代或并行于现有工具。
来源：Unchained · 采访与独立报道 · unchainedcrypto.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。
最新变化：Hoskinson 表示正与 Lucas Rosa 合作，语言基于 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 在窄幅震荡市场中领涨
同资产主题PANews
分析师：ADA一周下跌10%后仍面临卖压，0.24美元成关键支撑
查看摘要与出处
加密分析师Ai发文称，ADA一周下跌10%后仍面临卖压，0.24美元是日线图平行通道的关键中部支撑位。期货未平仓合约过去一周从19.9亿美元降至18.1亿美元，下降9%；巨鲸自9月20日以来已减持约9000万枚ADA，价值约2250万美元。若0.24美元失守，ADA可能进一步跌向约0.21美元。
核对原文 ↗
相关资产
ADA · Cardano
Cardano 与 ADA；生态项目作为相关背景