2019년 8월17일(금)
runtime verification에 대해서는 공식 커뮤니티 포럼에 인터뷰기사가 소개되어 있습니다. 카르다노 재단은 최근 Runtime Verification의 CEO Grigore Rosu와 함께 이야기를 나눴습니다. IOHK는 RV과 차세대 가상 머신과 스마트컨트랙트를 위한 공용언어 연구 개발을 위해 파트너십을 맺었습니다. Grigore는 커뮤니티의 스마트컨트랙트 기술과 RV가 개발중인 등록기반 가상머신 IELE에 대한 질문에 답변을 주었습니다.
재단은 웹캐스트를 통해 커뮤니티 질문을 선발했으며, 이에 대한 Grigore의 답변을 아래에 소개합니다.
카르다노와 함께 일하는 것에 대한 개인적인 소회와 다른 스마트 컨트렉트 기술에 대한 개인적인 의견과 전망을 말씀해주실 수 있나요?
답변 : Griogore는 IELE를 시작하게 된 배경에 대한 이야기로 서두를 뗐습니다. IELE는 스마트컨트랙트 기능을 가진 언어에 대한 필요성과 더불어 인간이 이해가능한 언어를 개발해야 한다는 필요성에 의해서 시작되었습니다.
EVM 컨트랙트의 경우, 실제로 구속력 있는 계약을 체결하고, 그 계약은 당신의 계좌에서 돈을 인출할 수 있는 권한을 가지게 됩니다. 따라서 당신은 계약서의 코드를 신뢰해야 하고 계약이 어떻게 실행되도록 작성되었는지를 이해해야 합니다. 하지만 EVM는 인간이 읽기에 적합하지 않다는 문제가 있습니다. 사람들은 이해하기 어려운 코드를 마주할 수밖에 없게 됩니다.
Grigore는 이를 법조인들과 함께 일하는 상황에 빗대어 설명했습니다. 법조인들에 의해 작성된 문서와 계약에 서명을 하게 되는 대부분의 경우 일반 사람은 그 내용을 전부 이해하지는 못하는 경우가 발생합니다. 따라서 Grigore는 이러한 문제 해결을 위해 스마트컨트랙트를 더욱 가용성 있고 이해하기 쉽게 만들어줄 장치가 중요하다고 설명합니다.
카르다노 재단과 Runtime Verification의 Grigore와의 대담 비디오 풀 버전은 포럼을 통해 확인하실 수 있습니다. (영문)
https://forum.cardano.org/t/2018-8-24/15234
https://twitter.com/rv_inc/status/1160942953793298438
- rv_inc