카르다노(Cardano) 창립자가 거래 의도와 Groth16 증명을 통합한 새로운 프로그래밍 언어를 개발하고 있습니다

코인데스크에 따르면, 카르다노 창립자 찰스 호스킨슨은 카르다노 네트워크를 위해 새로운 프로그래밍 언어를 직접 개발하고 있으며, Input Output Global 엔지니어 루카스 로사와 협력하고 있다고 밝혔다. 루카스 로사는 카르다노의 주요 스마트 계약 언어 중 하나인 아이켄의 공동 창립자이다. 호스킨슨은 X 플랫폼에 글을 올리며, 이는 사용자가 거래 완료를 희망하는 작업과 암호학적 증명을 결합한 최초의 프로그래밍 언어가 될 것이라고 말했다.

이 언어는 세 가지 도구를 지원할 예정이다: 거래 의도, 증명 데이터를 포함한 증명, 그리고 Groth16 증명. 거래 의도는 사용자가 완료하고자 하는 목표를 설명할 수 있게 하며, 구체적인 단계는 애플리케이션이 처리하도록 한다. 예를 들어, 거래자는 최종 가격이 설정된 조건을 만족할 때만 한 토큰을 다른 토큰으로 교환하도록 요청할 수 있으며, 구체적인 경로를 설명할 필요가 없다.

증명 데이터를 포함한 증명은 정보에 암호학적 증거를 추가하여 특정 규칙을 준수함을 증명하며, 다른 애플리케이션은 재계산 없이 이를 검증할 수 있다. Groth16은 널리 사용되는 증명 시스템으로, 작은 크기의 증명과 빠른 검증 속도를 제공하며, 개인 정보 데이터를 노출하지 않고도 조건이 충족되었음을 증명할 수 있다.

이 세 가지가 결합되면, 개발자는 거래를 조정하고 복잡한 조건을 확인하며 서비스 간에 검증된 정보를 전달하는 애플리케이션을 구축할 수 있으며, 최종적으로 카르다노가 소형 증명을 검증하게 된다. 현재 카르다노 개발자들은 주로 Haskell 기반의 플루투스와 아이켄을 사용하여 스마트 계약을 작성하고 있으며, 호스킨슨이 이끄는 Input Output Global이 구축한 프라이버시 블록체인 미드나잇은 자체 언어인 컴팩트를 가지고 있다. 이 새로운 언어의 이름, 공개 코드 및 출시일은 현재 발표되지 않았다.