카르다노(ADA) 창립자 찰스 호스킨슨이 사용자의 거래 의도와 암호학적 증명 기능을 결합한 새로운 블록체인 프로그래밍 언어를 개발하고 있다고 밝혔다. 코인텔레그래프에 따르면 그는 카르다노의 주요 스마트 컨트랙트 언어인 에이켄(Aiken)의 공동 개발자 루카스 로사와 함께 개발을 진행하고 있다고 설명했다. 그는 해당 언어가 거래 의도와 규칙 준수 여부를 입증하는 암호학적 증명을 결합한 최초의 사례가 될 것이라고 주장했다. 새로운 언어는 트랜잭션 인텐트(Transaction Intents), 증명 첨부 데이터(Proof-Carrying Data), 그로스16(Groth16) 증명 등 세 가지 핵심 기능을 지원할 예정이다.