도 6 또는 7 을 참조 하 면 , 상기 유효 조건 이 인증서 의 사용 횟수 가 initNumber 또는 10 회 로 제한 된다는 조건 인 스마트 컨트랙트 의 소스 코드 가 개시 되 어 있 다 . useCounter 는 스마트 컨트랙트 에 부여 된 임의 의 제목 ( title ) 을 의미 하 며 , 사용 횟수 를 계수 하 는 카운터 의 상태 에 해당 되 는 것 이 int counter ; 로 지정 된 명령어 이 며 , 일 회 실행 후 에 counter -= 1 ; 이 라는 명령어 에 의하 여 변화 된 카운터 의 상태 가 return counter ; 라는 명령어 에 의하 여 반환 된다 .