• 카르다노 창립자 찰스 호스킨슨은 Input Output Global 엔지니어 루카스 로사와 함께 개인적으로 새로운 프로그래밍 언어를 개발 중이라고 밝혔다.
• 이 언어는 거래 의도, 증명 데이터를 포함한 Groth16 증명을 결합하여 애플리케이션이 사용자 요청을 실행하고 조건이 충족되었는지 효율적으로 검증할 수 있도록 도울 것이다.
• 호스킨슨은 이 언어의 이름을 공개하지 않았으며, 공개 코드나 개발자들이 사용할 수 있는 시기를 발표하지 않았다.

카르다노 창립자 찰스 호스킨슨은 그의 블록체인을 위해 새로운 프로그래밍 언어를 작성 중이다. 그는 사용자가 거래에서 원하는 것을 암호학적 증명과 결합하여 규칙이 준수되었음을 증명하는 최초의 언어가 될 것이라고 말했다.

“저는 실제로 카르다노를 위한 프로그래밍 언어를 개인적으로 개발하고 있습니다.” 호스킨슨은 일요일에 X에 썼다며, 그는 카르다노의 주요 스마트 계약 언어 중 하나인 Aiken을 공동 제작한 Input Output Global의 소프트웨어 엔지니어 루카스 로사와 함께 작업하고 있다고 덧붙였다.

네트워크가 이 정도로 커진 후에도 대부분의 창립자들이 하지 않는 일이다. 호스킨슨은 엔지니어들로 가득 찬 회사를 운영하면서도 미래의 카르다노 앱이 구축될 도구를 직접 작성하기로 선택했다.

이 언어는 세 가지 도구를 지원할 것이다: 거래 의도, 증명 데이터를 포함한 Groth16 증명.

의도는 사용자가 원하는 것을 말하고 그 단계를 앱에 맡길 수 있게 한다. 거래자는 최종 가격이 설정된 조건을 충족할 경우에만 한 토큰을 다른 토큰으로 교환하도록 요청할 수 있으며, 그 과정에 대한 세부 사항을 명시할 필요가 없다.

증명 데이터를 포함한 데이터는 특정 규칙을 따르는 정보를 암호학적 증거와 함께 첨부한다. 다른 앱은 그 증거를 확인할 수 있으며, 모든 계산을 다시 할 필요가 없다.

Groth16은 컴퓨터가 빠르게 확인할 수 있는 작은 증명을 생성하는 널리 사용되는 증명 시스템이다. 이러한 증명은 조건이 충족되었음을 보여주면서도 이를 충족하기 위해 사용된 개인 데이터를 공개하지 않는다.

이들을 함께 사용하면 개발자들이 거래를 조정하고 복잡한 조건을 확인하며 서비스 간에 검증된 정보를 전달하는 앱을 구축할 수 있으며, 카르다노는 마지막에 작은 증명을 확인할 수 있다.

카르다노 개발자들은 이미 Haskell 프로그래밍 언어를 기반으로 한 Plutus와 Aiken에서 스마트 계약을 작성하고 있다. 호스킨슨의 회사 Input Output Global이 구축한 프라이버시 중심 블록체인 Midnight는 기밀 데이터를 처리하는 앱을 위한 자체 언어 Compact를 가지고 있다.

한편, 호스킨슨은 새로운 언어의 이름, 공개 코드 또는 개발자들이 사용을 시작할 수 있는 날짜를 공유하지 않았다.