( i ) 프로세스 에 있 어서 서버 인증서 스마트 컨트랙트 의 상태 S 1 를 실행 파라미터 로 하 여 상기 서버 인증서 스마트 컨트랙트 의 바이트 코드 BC 1 를 실행 하 고 , 상기 서버 인증서 스마트 컨트랙트 의 실행 결과 값 을 참조 로 하 여 상기 서버 인증서 가 유효 한지 여부 를 판정 한다는 의미 를 도 6 및 7 의 예시 를 들 어 설명 하 면 , 실행 직전 의 상태 에 해당 되 는 인증서 의 남 은 사용 횟수 로서 , 0 이상 인 정수 counter 가 상태 S 1 인 실행 파라미터 를 예시 로 들 수 있 다 . 만약 그 남 은 사용 횟수 counter 가 0 이 라면 , 더 이상 인증서 를 이용 할 수 없 는 것 이 므로 이 를 실행 파라미터 로 하 여 상기 바이트 코드 BC 1 를 실행 함 으로써 , 인증 되 지 않 았 다는 실행 결과 값 , 예컨대 counter =- 1 를 얻 거나 , 대안 으로서 ( alternatively ) 상기 바이트 코드 BC 1 를 실행 하 지 않 고 도 인증 될 수 없 다는 기존 의 실행 결과 값 을 상태 데이터베이스 로부터 얻 을 수 있 을 것 이 다 . 이외 에 도 다양 한 조건 의 실행 파라미터 에 기초 하 여 실행 결과 값 을 산출 해 냄 으로써 그 실행 결과 값 을 참조 로 하 여 인증서 가 유효 한지 여부 를 판정 할 수 있 게 하 는 많 은 스마트 컨트랙트 가 있 을 수 있 다 .