카르다노 창시자, 새 프로그래밍 언어 개발 발표

카르다노(Cardano)의 창립자인 찰스 호스킨슨(Charles Hoskinson)이 네트워크 발전을 위한 새로운 프로그래밍 언어를 직접 개발하고 있다고 밝혔다. 이 언어는 트랜잭션 요청과 암호 증명을 통합하여 애플리케이션이 사용자 요청을 효율적으로 실행하고 조건 충족 여부를 검증하도록 돕는 것을 목표로 한다. 아직 언어의 이름, 구체적인 사양, 출시 일정 등은 공개되지 않았다.

호스킨슨은 X(구 트위터)를 통해 이 새로운 프로그래밍 언어 개발에 자신이 직접 참여하고 있다고 언급했다. 그는 Input Output Global(IOG)의 엔지니어인 루카스 로사(Lucas Rosa)와 함께 작업 중이라고 밝혔다. 로사는 카르다노의 주요 스마트 계약 언어 중 하나인 아이켄(Aiken)의 공동 창작자이기도 하다.

대규모 블록체인 네트워크를 운영하는 창립자가 직접 프로그래밍 언어 개발에 나서는 것은 이례적인 일로 평가된다. 호스킨슨은 자체 엔지니어 팀을 보유하고 있음에도 불구하고, 미래 카르다노 애플리케이션의 기반이 될 도구를 직접 만들기로 결정했다.

새로운 언어는 세 가지 주요 도구를 지원할 예정이다. 첫 번째는 '트랜잭션 인텐트(transaction intents)'로, 사용자가 원하는 트랜잭션 내용을 명확하게 표현할 수 있게 한다. 예를 들어, 트레이더는 특정 조건이 충족될 경우에만 토큰 스와핑을 요청할 수 있으며, 이 과정에서 구체적인 실행 단계를 일일이 명시할 필요가 없다. 애플리케이션이 이를 처리하고 검증하는 방식이다.

두 번째는 '증거 운반 데이터(proof-carrying data)'이다. 이는 정보 조각에 암호 증거를 첨부하여 특정 규칙을 준수했음을 증명하는 기술이다. 다른 애플리케이션은 해당 증거를 확인함으로써 복잡한 계산 과정을 다시 거치지 않고도 정보의 유효성을 검증할 수 있다. 이는 데이터 무결성을 효율적으로 보장하는 데 기여할 것으로 보인다.

세 번째는 '그로스16 증명(Groth16 proofs)'이다. 이는 널리 사용되는 영지식 증명 시스템으로, 컴퓨터가 빠르게 검증할 수 있는 매우 작은 크기의 증명을 생성한다. 이 증명은 개인 데이터를 노출하지 않고도 특정 조건이 충족되었음을 증명할 수 있어 프라이버시를 보호하면서도 투명성을 확보할 수 있다.

이 세 가지 기술이 결합되면, 개발자들은 복잡한 조건 확인, 다양한 서비스 간 검증된 정보 교환, 토큰 스와핑과 같은 트랜잭션을 효율적으로 조정하는 애플리케이션을 구축할 수 있게 된다. 최종적으로 카르다노 네트워크는 생성된 작은 증명만을 검증하여 거래의 유효성을 최종적으로 확정하게 된다.

현재 카르다노 개발자들은 주로 플루투스(Plutus)와 아이켄(Aiken)을 사용하여 스마트 계약을 작성하고 있다. 플루투스는 함수형 프로그래밍 언어인 하스켈(Haskell)을 기반으로 한다. 또한, 호스킨슨의 회사인 IOG에서 개발 중인 개인 정보 보호 중심의 블록체인인 미드나잇(Midnight)은 기밀 데이터를 처리하는 애플리케이션을 위해 자체 언어인 컴팩트(Compact)를 사용한다.

하지만 호스킨슨은 새롭게 개발 중인 프로그래밍 언어의 이름, 공개된 코드, 개발자들에게 사용 가능하게 될 시점 등 구체적인 정보는 아직 공유하지 않았다. 이는 향후 개발 계획에 대한 궁금증을 더욱 증폭시키고 있다.

한편, 최근 암호화폐 시장에서는 스테이블코인의 수익률과 관련한 흥미로운 소식도 전해졌다. 실제 신용 기반의 다각화된 RWA(실물자산연계) 스테이블코인은 암호화폐 펀딩 압축으로 인해 약 4% 수준으로 떨어진 반면, 5-7%의 수익률을 유지하고 있다는 분석이 나왔다. 특히 GENIUS는 수익을 오프체인으로 푸시하며 3년 만에 40억 달러 규모의 시장을 형성하고 있다.