TL;DR: 카르다노 창립자 찰스 호스킨슨은 트랜잭션 인텐트, 증명 수반 데이터, Groth16 증명을 결합한 프로그래밍 언어를 자신이 직접 개발하고 있다고 밝혔다.
찰스 호스킨슨이 다시 키보드 앞에 앉는다. 카르다노 창립자는 Input Output Global 엔지니어 루카스 로사와 함께 새로운 프로그래밍 언어를 직접 개발하고 있다고 밝혔으며, 이는 복잡한 블록체인 작업을 더 쉽게 표현하고 검증할 수 있도록 하는 것을 목표로 한다.
그의 설명은 세 가지 개념을 결합한다. 트랜잭션 인텐트는 사용자가 모든 실행 단계를 지정하도록 강요하지 않으면서 달성하고자 하는 목표를 설명한다. 증명 수반 데이터는 어떤 계산이나 작업이 특정 규칙을 충족한다는 증거를 첨부한다. Groth16 증명은 효율적으로 검증할 수 있는 간결한 암호학적 증명이다.
원칙적으로 이러한 요소들은 카르다노 개발자들이 모든 기저 계산을 온체인에 올리지 않고도 작업을 조정하고 결과를 검증하는 애플리케이션을 구축할 수 있는 또 다른 방법을 제공할 수 있다.
중요한 단서가 있습니다: Hoskinson은 완성된 사양서나 해당 언어의 이름, 일반 개발자 접근을 위한 일정을 공개적으로 발표하지 않았습니다. 진행 중인 작업에 관한 소셜 미디어 발표는 새로운 프로덕션 프로그래밍 환경이 아닙니다.
카르다노는 이미 플루투스(Plutus)와 에이큰(Aiken) 같은 도구를 지원하며, 별도의 프라이버시 네트워크인 미드나이트는 자체 개발자 도구를 사용한다. 새로운 언어는 실질적인 이점과 실행 가능한 보안, 그리고 채택을 촉진할 만큼 충분히 좋은 개발자 경험을 입증해야 할 것이다.
이 아이디어는 야심차다. 아직 답이 없는 질문은 그것이 호스킨슨의 설명에서 빌더들이 실제로 사용할 수 있는 공개적으로 검토 가능한 코드로 어떻게 전환되는가이다.
뉴스 데스크가 작성하고 Samuel Rae가 편집했습니다.
