자료
퀴즈
문제 16)
컴퓨터 프로그램으로계약을 완성하는 스마트 컨트랙트이 현실적으로 어려운 이유는 실제 세계의 복잡성을 모두 깔끔하게 명시화하기 어렵기 때문이다. 컴퓨터 코드 상에서 해석의 여지 없이 모두 표현해서 넣어줘야만 스마트 콘트랙트의 정의에 부합한다. 즉 이 문제가 해결되지 않으면 계약이 완결된 이후에도 분쟁이 발생할 수 있고 그 때마다 외부의 권위자에게 분쟁을해결해달라고 요청하게 된다. 현실의 복잡성을 모두 명시화하기 어려운 문제를 무엇이라고 하는가?
(10점, 오답감점 없음)
문제 1)
컴퓨터 프로그램으로계약을 완성하는 스마트 컨트랙트이 현실적으로 어려운 이유는 실제 세계의 복잡성을 모두 깔끔하게 명시화하기 어렵기 때문이다. 컴퓨터 코드 상에서 해석의 여지 없이 모두 표현해서 넣어줘야만 스마트 콘트랙트의 정의에 부합한다. 즉 이 문제가 해결되지 않으면 계약이 완결된 이후에도 분쟁이 발생할 수 있고 그 때마다 외부의 권위자에게 분쟁을해결해달라고 요청하게 된다. 현실의 복잡성을 모두 명시화하기 어려운 문제를 무엇이라고 하는가?
(10점, 오답감점 없음)
오라클의 문제(The Oracle Problem)