카르다노 창립자 호스킨슨, 새 프로그래밍 언어 직접 개발 중: '거래 의도'와 암호학적 증명 결합 구상, 이름·출시 시점은 미공개

무슨 일이 있었나

코인데스크에 따르면 블록체인 카르다노의 창립자 찰스 호스킨슨은 Input Output Global의 엔지니어 루카스 로사와 함께 새 프로그래밍 언어를 직접 개발하고 있다고 밝혔다.

코인데스크가 인용한 바에 따르면 호스킨슨은 일요일 X에 "I’m actually personally developing a programming language for Cardano"(사실 나는 카르다노를 위한 프로그래밍 언어를 직접 개발하고 있다)라고 썼다. 코인데스크는 로사가 Input Output Global의 소프트웨어 엔지니어이자 Aiken의 공동 제작자라고 전했다. Aiken은 카르다노의 주요 스마트 계약 언어 중 하나이며, 스마트 계약은 블록체인에서 미리 작성된 규칙에 따라 자동 실행되는 프로그램이다.

코인데스크는 또 호스킨슨이 이 언어가 "사용자가 거래에서 원하는 결과"와 "규칙이 지켜졌다는 암호학적 증명"을 결합한 최초의 언어가 될 것이라고 말했다고 보도했다. 암호학적 증명은 수학적 방법으로 만든 증거로, 다른 사람이 어떤 사실이 참임을 확인할 수 있게 해준다. '최초'라는 표현은 호스킨슨 본인의 주장이며 코인데스크가 전한 것이다.

세 가지 핵심 기술

코인데스크에 따르면 이 언어는 거래 의도(intents), 증명 동반 데이터(proof-carrying data), Groth16 증명이라는 세 가지 도구를 지원한다.

• 거래 의도: 코인데스크 설명에 따르면 사용자는 원하는 결과만 말하고 단계는 앱이 처리한다. 예를 들어 트레이더는 달성 과정을 적지 않고도 최종 가격이 설정 조건에 맞을 때만 한 토큰을 다른 토큰으로 교환하도록 요청할 수 있다.
• 증명 동반 데이터: 코인데스크 설명에 따르면 정보에 그 정보가 특정 규칙을 따랐음을 보여주는 암호학적 증거를 덧붙이는 방식이다. 다른 앱은 배후의 모든 계산을 다시 하지 않고 이 증거를 확인할 수 있다.
• Groth16: 코인데스크는 널리 쓰이는 증명 시스템으로, 증명 크기가 작아 컴퓨터가 빠르게 검증할 수 있으며 개인 데이터를 드러내지 않고도 어떤 조건이 충족됐음을 증명할 수 있다고 설명했다.

코인데스크는 이 세 가지를 결합하면 개발자가 거래를 조율하고, 복잡한 조건을 확인하고, 서비스 간에 검증된 정보를 전달하는 앱을 만들 수 있을 것이며, 카르다노는 마지막에 작은 증명 하나만 확인하면 된다고 전했다.

기존 언어와의 비교

일반 독자에게 의미하는 바

현재로서는 창립자의 공개 발언일 뿐 사용할 수 있는 제품이 아니다. 코인데스크에 따르면 호스킨슨은 언어 이름, 공개 코드, 개발자가 쓸 수 있게 되는 시점을 밝히지 않았다.

구상이 실제로 구현된다면 코인데스크 설명대로 사용자 조작은 '원하는 결과를 말하는' 방식에 가까워지고, 검증은 작은 증명으로 이뤄질 수 있다. 다만 이는 보도에 묘사된 가능성이며 실제 효과는 지켜봐야 한다.

이 주제의 최신 뉴스 보기

• 가상자산·블록체인