Charles Hoskinson 为 Cardano 开发新编程语言
当前事件综述（非历史快照）
Charles Hoskinson 正亲自与 Input Output Global 工程师 Lucas Rosa 合作，为 Cardano 开发新编程语言，该语言将交易意图、证明承载数据与 Groth16 证明相结合，旨在让应用高效验证条件是否满足。 该语言旨在支持三种核心工具：交易意图、proof-carrying data 与 Groth16 证明。Hoskinson 明确表示，他正在亲自开发该语言，以帮助应用执行用户请求并高效验证条件。此前报道提及该项目旨在配合 Leios 扩容升级，以完成其对 Cardano 原生愿景的构建。
AI 根据报道生成 · 11 天前更新
事件探索工作台
同一时点联动报道、关系与证据。
此时新增 ·Hoskinson 透露新代码，Cardano TVL 仅 6300 万美元暴露生态缺口
- 本次回放累计
- 2
- 一手资料
- 0
- 报道来源
- 2
此时首次收录的报道 · 1
- CryptoSlate · 第三方报道Hoskinson 透露新代码，Cardano TVL 仅 6300 万美元暴露生态缺口查看原始来源 ↗
按本站首次发现时间回放。历史图谱与证据使用同一时点；完整综述与热度仍是当前视角。
事件进展
1 条进展2026/10/20 05:57:39
Hoskinson 透露新代码，Cardano TVL 仅 6300 万美元暴露生态缺口CryptoSlate
按本站首次收录时间筛选；只显示代表报道在此时点前已收录的进展。当前事件归组可能后来修订，不是完整历史快照。
此时的实体关系
正在读取历史关系…
历史重建（非精确快照）：按首次收录与关系记录时间筛选；实体名、关系陈述和事件归组可能已经被后来修订，不能将其当作当时原始记录。 下方综述与完整来源索引仍属于当前视角。
Story 路线
从第一份公开证据到最新进展的逐站路线；每一站都带着自己的证据和不确定性。
- 110月19日 00:00收录于 10月19日 20:53有修订
Cardano founder Charles Hoskinson building new programming l
核对原始报道 ↗ CoinDesk在探索工作台回到这个时点
不确定性标注指出需要核对原文的地方，不是已证实的因果。
完整来源索引（截至目前）
目前公开的报道索引，不属于历史回放。
一手资料 · 0 篇
目前尚未收录这一类可核实资料，不能把单方说法当作多方证据。
第三方报道 · 2 篇
- CryptoSlate · 10月20日 05:20Hoskinson 透露新代码，Cardano TVL 仅 6300 万美元暴露生态缺口
Charles Hoskinson 正与 Input Output Global 的工程师合作开发新编程语言，支持 intent-based 交易和基于 Groth16 的 proof-carrying data。
核对原始报道 ↗ - CoinDesk · 10月19日 20:16Charles Hoskinson 正在为 Cardano 开发新编程语言
Cardano 创始人 Charles Hoskinson 正在与 Input Output Global 工程师 Lucas Rosa 共同开发一门新编程语言，该语言将交易意图、证明承载数据与 Groth16 证明相结合，旨在让应用高效验证条件是否满足。
核对原始报道 ↗
不同报道并不自动代表观点冲突；阅读原文核对事实、条件和发布日期。后续来源加入后此处会自动更新。
报道时间线
沿着报道，了解事件的不同侧面。
- CryptoSlateHoskinson 透露新代码，Cardano TVL 仅 6300 万美元暴露生态缺口
Charles Hoskinson 正与 Input Output Global 的工程师合作开发新编程语言，支持 intent-based 交易和基于 Groth16 的 proof-carrying data。
- CoinDeskCharles Hoskinson 正在为 Cardano 开发新编程语言
Cardano 创始人 Charles Hoskinson 正在与 Input Output Global 工程师 Lucas Rosa 共同开发一门新编程语言，该语言将交易意图、证明承载数据与 Groth16 证明相结合，旨在让应用高效验证条件是否满足。