그리고 본 명세서 에서 “ 스마트 컨트랙트 ” 는 실행 가능 한 바이트 코드 로 컴파일 되 어 적어도 하나 의 컴퓨팅 장치 상 에서 실행 될 수 있 는 코드 이 고 , 상기 실행 시 에 특정 조건 이 만족 되 면 미리 정해진 절차 를 수행 하 도록 구성 되 며 , 상기 실행 의 결과 인 실행 결과 값 의 무결 성 은 상기 적어도 하나 의 컴퓨팅 장치 로부터 산출 된 상기 실행 결과 값 에 대한 합의 ( consensus ) 에 의하 여 검증 되 는 것 을 특징 으로 하 는 개념 을 지칭 한다 .