분석: 호스킨슨, 디파이 예치금 6,300만 달러 속 카르다노 새 프로그래밍 언어 개발

카르다노 창립자 찰스 호스킨슨이 블록체인이 상업적 수요를 시험받는 가운데 새 프로그래밍 언어를 개발하고 있다. 호스킨슨은 인풋아웃풋글로벌(Input Output Global)의 소프트웨어 엔지니어 루카스 로사와 이 프로젝트를 진행하고 있다고 말했다. 제안된 언어는 Groth16 암호학적 증명을 활용해 의도 기반 거래와 증명 동반 데이터를 지원한다. 호스킨슨은 이 언어가 해당 종류로는 최초라고 설명했다. 출시일은 정해지지 않았으며 아키텍처, 성능 특성, 기술 사양도 아직 공개되지 않았다.

카르다노의 탈중앙화 금융 애플리케이션에는 ADA 시가총액이 약 83억 달러인데도 자산이 6,300만 달러에 그친다. 디파이라마(DefiLlama)에 따르면 10월 19일 기준 직전 24시간 동안 카르다노의 탈중앙화 거래소 거래량은 약 92만7,000달러였다. 디파이라마는 주간 거래량이 835만 달러로 직전 7일간보다 25% 감소했다고 집계했다. 카르다노의 당일 활성 주소 수는 12,716개였다. 카르다노는 당일 28,146건의 거래를 처리해 블록체인 수수료 약 2,196달러를 기록했다. 카르다노의 스테이블코인 공급량은 약 7,000만 달러로, 금융 애플리케이션에 공급되는 달러 표시 유동성은 상대적으로 적다.

디파이라마에 따르면 솔라나의 탈중앙화 금융 예치금은 약 59억 달러였다. 같은 24시간 동안 솔라나의 탈중앙화 거래소 거래량은 14억5,000만 달러였다. 솔라나의 스테이블코인 공급량은 155억 달러를 넘어섰다. 솔라나의 시가총액은 약 620억 달러로 카르다노의 약 7배이며, 솔라나의 탈중앙화 금융 예치금은 카르다노보다 90배 이상 많다.

카르다노의 제한된 유동성은 거래 처리 용량을 넘어서는 상업적 과제를 낳는다. 탈중앙화 거래소는 상당한 가격 슬리피지 없이 대규모 거래를 처리할 만큼 충분한 유동성이 필요하다. 대출 플랫폼은 수익을 내기 위해 예치금과 대출 수요가 필요하다. 활동이 제한되면 개발자가 애플리케이션을 지속하기 어려워지고, 생태계에 추가 자본이 유입될 유인도 줄어들 수 있다.

곧 도입될 업그레이드인 우로보로스 레이오스(Ouroboros Leios)는 카르다노의 거래 처리 용량을 크게 늘리도록 설계됐다. 개발 로드맵은 단계적 구현을 통해 처리량을 10~65배 개선하는 것을 목표로 하며, 이를 통해 더 높은 성능을 요구하는 애플리케이션을 지원할 가능성이 있다. 호스킨슨은 레이오스가 탈중앙화 합의와 거버넌스, 확장형 미사용 트랜잭션 출력(UTXO) 회계 모델, 플루터스 스마트 계약, 형식 검증, 여러 독립 노드 구현을 포함해 카르다노에 대한 자신의 당초 구상을 완성할 것이라고 말했다. 레이오스는 아직 배포되지 않았다. 카르다노의 낮은 거래량을 고려하면 기술적 용량 확대만큼 수요 확대도 중요할 수 있다.

제안된 프로그래밍 언어는 개발자가 카르다노에서 애플리케이션을 설계하고 실행하는 방식을 바꿀 수 있다. 의도 기반 시스템에서는 사용자가 원하는 거래 결과를 지정하고, 소프트웨어가 사전에 정해진 조건에 따라 거래를 실행한다. 의도 기반 실행은 여러 자산의 교환, 자동 실행, 복잡한 결제 요건을 간소화할 수 있다. 증명 동반 데이터는 정보의 유효성을 뒷받침하는 암호학적 증거를 정보에 첨부한다. 증명 동반 데이터와 Groth16 영지식 증명을 결합하면 애플리케이션이 기초 정보를 모두 공개하지 않고도 특정 거래나 연산을 검증할 수 있다. 이 접근법은 자동 결제, 기밀 검증, 탈중앙화 서비스 간 더 복잡한 상호작용이 필요한 금융 상품을 지원할 수 있다.

로사는 앞서 카르다노 스마트 계약 개발을 더 쉽게 하기 위해 설계된 프로그래밍 언어 아이켄(Aiken) 개발을 도왔다. 아이켄은 과거 플루터스와 하스켈 기반 개발 환경에 연결돼 있던 개발 과정을 단순화하는 것을 목표로 했다. 아이켄의 컴파일러와 테스트 도구, 더 친숙한 구문은 생태계에 진입하는 개발자의 기술적 장벽을 낮추기 위한 것이었다. 탈중앙화 애플리케이션에 자동 거래와 자율 소프트웨어 에이전트가 도입되면서 새 프로젝트는 이러한 노력을 의도 기반 실행과 암호학적 검증으로 확장할 수 있다.

카르다노는 이미 페어링 기반 영지식 증명을 검증할 수 있는 암호학적 기본 요소를 지원한다. 제안된 언어의 상업적 매력은 개발자가 이런 기능을 얼마나 쉽게 활용할 수 있게 하느냐에 부분적으로 달려 있다. 개선된 개발 도구는 애플리케이션 출시 비용과 복잡성을 낮출 수 있지만, 개발자에게는 애플리케이션을 상업적으로 지속 가능하게 만들 사용자와 유동성, 거래 수요도 필요하다.