구글에서 선호하는 출처로 추가
호스킨슨, 카르다노 새 프로그래밍 언어 직접 개발 중
김민준 기자
찰스 호스킨슨 카르다노 창립자가 개발자 루카스 로사와 함께 카르다노용 프로그래밍 언어를 만들고 있다고 밝혔다. Groth16 증명으로 인텐트와 PCD를 구현한다는 설명을 내놨지만, 언어 이름과 코드, 출시 일정은 공개하지 않았다.
토포AI로 이 기사 더 깊이 읽기
찰스 호스킨슨(Charles Hoskinson) 카르다노 창립자가 개발자 루카스 로사(Lucas Rosa)와 함께 카르다노용 프로그래밍 언어를 만들고 있다고 밝혔다. 새 언어는 Groth16 증명으로 인텐트와 PCD를 구현하는 것을 목표로 하지만 이름과 코드, 출시 일정은 공개되지 않았다.
호스킨슨은 18일 엑스(X)에 올린 답글에서 “카르다노를 위한 프로그래밍 언어를 직접 개발하고 있다”고 썼다. 그는 이를 “Groth16 증명으로 인텐트와 PCD를 구현하는 최초의 언어”라고 설명하며 @rvcas도 함께 만들고 있다고 밝혔다. 해당 답글은 카르다노를 ‘가장 탈중앙화된 신뢰의 뿌리’로 보는 입장이 여전한지 묻는 이용자에게 달렸다.
@rvcas는 루카스 로사의 계정이다. Aiken 크레딧 페이지는 로사를 유지관리자로 소개하고 있으며, Aiken 프로젝트 매니페스트에도 rvcas.dev 이메일 주소와 함께 저자로 기재돼 있다. 로사의 개인 웹사이트는 그를 미드나이트 툴링 아키텍트로 소개한다.
카르다노 개발자들은 주로 하스켈에서 파생된 플랫폼 Plutus나 Aiken으로 스마트컨트랙트를 작성한다. Aiken은 로사가 공동 개발하고 유지관리하는 언어다. 호스킨슨은 새 언어가 기존 도구를 대체할지 함께 쓰일지 밝히지 않았다.
Groth16은 암호학자 옌스 그로스(Jens Groth)가 2016년 발표한 영지식 증명 방식이다. 증명 하나가 군 원소 세 개로 구성돼 크기가 작고 블록체인에서 빠르게 검증할 수 있다.
PCD(Proof-Carrying Data)는 분산 연산의 각 단계가 앞선 단계들을 증명하는 값을 이어 붙이는 연구 틀이다. 긴 작업 사슬의 마지막 참여자는 증명 하나를 확인해 전체 이력을 검증할 수 있다.
인텐트는 사용자가 원하는 결과를 지정하고 구체적인 거래 단계는 다른 주체가 정하도록 하는 방식이다. 예컨대 사용자는 다른 체인으로 자금을 보내 달라고 요청하고, 어떤 브리지와 경로를 이용할지는 실행 주체가 정할 수 있다.
호스킨슨은 새 언어가 Groth16, PCD, 인텐트를 어떤 방식으로 결합할지는 설명하지 않았다. 그는 앞서 도쿄 ‘미드나이트 시티’ 행사에서 AI 에이전트가 이용자의 의도를 따라 작업하는 ‘나이트프레임’을 제시했다. 이번 언어와 나이트프레임 또는 미드나이트의 관계도 밝히지 않았다.
카르다노에서는 이달 초 프로그래머블 토큰 표준이 메인넷에 적용됐다. 발행자는 이 표준을 통해 KYC 검증이나 동결 같은 통제 기능을 네이티브 토큰에 직접 넣을 수 있다.
댓글 0
불러오는 중…