카르다노, 거래 조건·암호학적 증명 결합 추진

본문

찰스 호스킨슨 카르다노(Cardano·ADA) 창립자가 IOG의 소프트웨어 엔지니어 루카스 로사와 카르다노용 새 프로그래밍 언어를 개발하고 있다. [멕시코=심영재 특파원] 찰스 호스킨슨 카르다노 (Cardano·ADA) 창립자가 블록체인 거래 요청과 암호학적 증명을 결합하는 새로운 프로그래밍 언어를 직접 개발하고 있다. 사용자가 원하는 거래 조건을 지정하면 애플리케이션이 실행 과정을 처리하고, 블록체인 은 해당 조건이 충족됐는지 검증하는 방식이다. 코인데스크는 19일(현지시각) 호스킨슨이 인풋아웃풋글로벌(IOG)의 소프트웨어 엔지니어 루카스 로사와 함께 카르다노용 새 프로그래밍 언어를 개발하고 있다고 보도했다. 호스킨슨은 지난 18일 X(옛 트위터)를 통해 “ 카르다노 를 위한 프로그래밍 언어를 직접 개발하고 있다”고 밝혔다.

새 언어는 거래 의도(Transaction Intents), 증명 첨부 데이터(Proof-Carrying Data), 그로스16(Groth16) 증명 시스템을 결합한다.

거래 의도는 사용자가 실행 방법을 일일이 지정하지 않고 원하는 결과와 조건을 제시하는 방식이다. 증명 첨부 데이터는 정보가 정해진 규칙을 준수했다는 암호학적 증거를 함께 제공한다. 그로스16은 작은 크기의 증명을 생성해 컴퓨터가 빠르게 검증하도록 하는 증명 시스템이다. 거래 조건 충족 여부를 확인하면서도 검증에 사용된 비공개 데이터는 공개하지 않을 수 있다. 코인데스크에 따르면 세 기술을 결합하면 개발자는 복잡한 거래 조건을 확인하고 검증된 정보를 서비스 간에 전달하는 애플리케이션을 구축할 수 있다. 카르다노 블록체인은 마지막 단계에서 작은 크기의 암호학적 증명을 검증하게 된다.