스마트 계약의 검증과 실제 계약처럼 법적 효력을 갖추는지에 대한 논의는 어떻게 되고있나요?
최근 이더리움에 관해 공부하면서 스마트 계약을 접하게 되었는데요
아직 많이 생소한 분이기도 하고 기존의 계약과는 달리 프로그래밍으로 계약이 성사되고 하더라구요
스마트 계약에서 기술적으로 프로그래밍의 완벽성을 어떻게 검증하나요?
또한 스마트 계약이 실제 우리의 계약과 동일한 법적 효력을 갖추는지에 대한 논의는 어떻게 이루어 지고 있나요?
55글자 더 채워주세요.
1개의 답변이 있어요!
아시는 바와 같이 스마트 계약의 가지 문제는 계약의 프로그램을 만드는 것도 사람이기 실수를 할 수 있고 때문에 오류가 발생할 수 있다는 것입니다. 오류가 생기면 스마트 계약의 프로그램을 수정해야 하는데 이때 수정을 위해서는 참여자들이 모두 동의를 해야만 하는 방식입니다. 이것이 스마트 게약의 장점이자 단점이 될 수 있ㅅ빈다.
이러한 이슈가 대두되자 최근 보안 분야에서는 프로그램 검증이 새로운 분야로 각광받고 있으며 자동으로 검증을 해주는 프로그램들도 출시되고 있습니다.
또한 기존의 법 체계에 프로그래밍 언어가 부합하는지도 결국 사람이 확인해야 하고 스마트 계약 프로그래밍 언어는 법적, 경제적 개념과 기술적 이해가 모두 있어야 해석이 가능해서 일반 프로그래밍 언어보다 훨씬 어려운건 사실입니다.
앞으로 기술이 발전하게 되면 프로그램 언어와 법률에 대한 지식을 모두 보유한 전문가와 같은 새로운 직업이 등장할 것 같습니다.