Charles Hoskinson, 새 Cardano(ADA) 언어는 인텐트와 Groth16 증명을 결합한 최초의 언어가 될 것이라 밝혀

인텐트와 Groth16 증명을 하나의 언어로

Cardano (ADA) 창립자 Charles Hoskinson이 10월 18일, 자신이 새로운 프로그래밍 언어를 개발 중이라고 밝혔다. 그의 설명에 따르면 이 언어는 인텐트 구조와 증명 전달 데이터를 함께 처리하고, 검증은 Groth16 증명으로 수행하도록 설계된다. 인텐트 구조란 트랜잭션이 저수준 실행 방식 대신 의도한 결과 자체를 선언할 수 있게 하는 방식이다. 증명 전달 데이터는 데이터 조각이 자신의 검증 가능한 근거를 함께 지니고 도착하는 형식을 가리킨다. Groth16은 영지식 분야에서 가장 널리 쓰이는 증명 시스템 중 하나다. Hoskinson은 이 세 요소를 하나로 묶는 구조는 최초가 될 것이며, 그 결합이 Cardano 생태계 전반에서 여러 새로운 활용 사례를 열 수 있다고 주장했다. 실무 관점에서 보면 이렇게 작성된 계약은 메인넷에 배포된 애플리케이션이 자산 이전이나 연산 결과가 개발자가 선언한 규칙을 따랐음을 검증하는 누구에게나 증명할 수 있게 해준다. Hoskinson은 고급 암호학을 이 언어의 대표 기능으로 내세웠지만, 기술 스택의 어느 부분에 적용될지는 밝히지 않았다. 이 발언은 Cardano가 고도로 탈중앙화된 기반 계층으로서 어떤 고유한 이점을 갖는지 묻는 커뮤니티 구성원의 질문에 대한 답으로 나왔다. 그는 진행 중인 이 작업이 네트워크의 기술적 논거를 강화할 수 있다고 답했고, 이 정도 수준으로 탈중앙화된 지분증명 체인은 다른 설계가 재현할 수 없는 이점을 지닌다는 주장에 무게를 실어주었다. 언어의 이름도, 기술 사양도, 출시 일정도 공개되지 않았다. 이 답변이 의미를 갖는 이유는 질문 자체가 Cardano를 경쟁 기반 계층과 구분하는 핵심을 겨냥했기 때문이다. Cardano 가격은 주간 11% 하락 속에서도 0.22달러 인근을 유지하고 있으며, 코드 없이 공개된 발표만으로 이 흐름이 바뀌기는 어렵다.

Haskell 논쟁과 Midnight 구상

이번 발표는 Hoskinson이 여러 차례 되돌아온 질문을 다시 열었다. Cardano (ADA)는 어떤 언어 위에 지어져야 하는가. 네트워크의 개발 아키텍처는 초기 단계부터 대체로 Haskell 위에 놓여 왔고, Hoskinson은 수년간 그 선택을 공개적으로 옹호해 왔다. Haskell은 강력한 정적 타입으로 알려진 함수형 프로그래밍 언어다. 그는 정확성이 편의성보다 중요한 금융 계약에는 이 조합이 맞다고 오랫동안 주장했다. 2022년 6월에는 Elon Musk와 Jack Dorsey 사이에 벌어진 프로그래밍 언어 논쟁에 가세했고, Musk가 C 언어에 관심을 밝히자 Haskell도 시도할 가치가 있다고 반박했다. 그러나 그는 훗날 Cardano를 Haskell로 지은 결정에 대해 전적으로 확신한 적은 없다고 인정했다. 2024년 5월에는 Clojure를 대안으로 진지하게 검토했으며, Cloud Haskell의 가용성과 Liquid Haskell, Agda 같은 도구를 활용할 수 있다는 점이 최종적으로 결정적이었다고 말했다. 이 검토 과정은 Haskell에 대한 그의 집착이 조건부였음을 보여주는 가장 뚜렷한 이전 사례다. 2025년 4월 인터뷰에서는 한 걸음 더 나아가, Cardano를 처음부터 다시 쓸 수 있다면 아마 다른 언어를 선택했을 것이라고 밝혔다. 이 행적과 대조해 보면 Hoskinson이 직접 개발 중인 언어는 논의 단계를 넘어선 첫 번째 구체적 조치로 읽힌다. 인텐트를 언어 차원에서 기본 지원하면 오늘날 여러 도구 계층으로 나뉘어 처리되는 작업이 하나의 개발 경로로 압축될 수 있다는 점에서 의미가 크다. 별개로 그는 암호화폐 분야의 대부분 문제를 해결할 수 있다고 믿는 개념을 연구 중이라며, 그것은 Midnight Network만이 이 업계에 실을 수 있는 것이라고 말했다. 그는 이 개념을 자신의 경력에서 가장 중요한 작업이 될 수 있다고 평가했다. Midnight는 Cardano 생태계 내부의 프라이버시 중심 프로젝트다. 이 개념과 새 프로그래밍 언어가 연결되어 있는지는 발언에서 열어두었다. 어느 쪽이든 실사용 가능한 형태로 나타날 시점에 대한 힌트는 제공되지 않았다.

이름도, 출시 일정도 없다

이번 발표는 실제 출시 이벤트가 아니라 방향성 선언으로 본다. Hoskinson은 네트워크의 기술적 완성을 Leios 로드맵과 연결해 왔고, 해당 테스트넷은 초당 26.8 txkB의 처리량으로 운영 중이다. 따라서 새 언어는 그 작업을 대체하는 것이 아니라 나란히 놓일 것이다. 발표 내용 중 아직 검증 가능한 것은 하나도 없다. 이름 없음, 사양 없음, 코드 없음, Midnight 개념과의 공식적 연계 부재까지 전부다. 자산에 대한 투기는 다른 곳에서 계속된다. Cardano 기술적 분석 쪽 시각부터 Bodega Market이 100만 달러 도달을 걸고 판 돈인 Cardano 스테이블코인 베팅까지 그 범위는 넓다. 무언가 실제로 출시되기 전까지 개발자는 여전히 Haskell 툴체인 위에서 작업하며, 그것이 지금 남아 있는 제약 조건이다.