Cardano创始人Charles Hoskinson亲自开发新编程语言
据CoinDesk报道,Cardano创始人Charles Hoskinson周日在X上表示,他正亲自为Cardano开发一门新编程语言。合作者是Input Output Global软件工程师Lucas Rosa,Lucas Rosa也是Cardano智能合约语言Aiken的联合创建者。Hoskinson称,这将是首个把交易意图(intents)与“规则已被遵守”的密码学证明结合起来的语言,支持交易意图、证明携带数据(proof-carrying data)和G
据CoinDesk报道,Cardano创始人Charles Hoskinson周日在X上表示,他正亲自为Cardano开发一门新编程语言。合作者是Input Output Global软件工程师Lucas Rosa,Lucas Rosa也是Cardano智能合约语言Aiken的联合创建者。
Hoskinson称,这将是首个把交易意图(intents)与“规则已被遵守”的密码学证明结合起来的语言,支持交易意图、证明携带数据(proof-carrying data)和Groth16证明。开发者可以用它构建能协调交易、校验复杂条件的应用,最后由Cardano链上验证一个小型证明。
Cardano现有的智能合约语言是Plutus和Aiken。Hoskinson尚未公布这门语言的名称、公开代码或上线时间。
相关阅读
部分开发预算不再直接取决于ADA价格,Cardano财库已管理2.0167亿枚ADA、2610万枚USDCx与480万枚USDM
Intersect 在 10 月 9 日周报中表示,Cardano 2026 财库储备智能合约迄今已管理 2.0167 亿枚 ADA、2610 万枚 USDCx 与 480 万枚 USDM,使部分开发预算不再直接取决于 ADA 价格。此前 10 月 2 日,Intersect 表示,两笔预算已通过 Moneta Digital 铸为美元稳定币 USDM 并存入智能合约:治理与技术托管预算为 450.5955 万枚 USDM,排期至 2027 年 7 月 29 日;Se7e
Cardano Card将于10月31日停止服务,Wirex转向非托管模式
Cardano Card宣布将于2026年10月31日停止服务,此前持卡人仍可正常使用。其合作伙伴Wirex正转向非托管模式,并停用托管基础设施,因此双方合作将于同日终止。Cardano Card表示,将很快公布该计划后续安排的更多细节。
Cardano基金会分拆数字身份项目Veridian,并将其股权代币化上链
据CoinDesk报道,Cardano基金会宣布将旗下数字身份项目Veridian分拆为独立的瑞士公司,并使用Cardano网络新推出的可编程代币标准CIP-0113,将其100万股股份中的大部分代币化上链。Veridian成为首家采用该标准进行股权代币化的公司,但代币化股份并未向公众发售。基金会CEO、同时担任Veridian董事长的Frederik Gregaard表示,公司计划于2027年寻求战略投资者。