据CoinDesk报道，Cardano创始人查尔斯·霍斯金森（Charles Hoskinson）周日在X发文称，他正与输入输出全球（Input Output Global）工程师卢卡斯·罗萨（Lucas Rosa）共同开发一门新编程语言。该语言将结合交易意图、携带证明的数据和Groth16证明，帮助应用执行用户请求并验证条件是否满足。罗萨也是Cardano智能合约语言Aiken的共同创建者。霍斯金森尚未公布新语言名称、公开代码或开发者可用时间。Cardano现有智能合约使用基于Haskell的Plutu