스마트 계약은 유효한 거래가 함수를 호출할 때 모든 노드가 같은 결과를 계산하도록 블록체인에 배포한 코드와 상태다. 자동 실행은 입력의 진실성이나 법적 권리를 보증하지 않으므로 관리자 키·오라클·외부 계약 의존성을 확인해야 한다.
자동 실행되는 것은 코드의 조건이다
스마트 계약은 블록체인 노드가 같은 입력에 따라 실행하는 코드와 상태이며, 현실의 법률 계약을 자동으로 이해하거나 외부 사실을 스스로 확인하는 인공지능이 아니다
스마트 계약은 블록체인 상태에 저장된 코드와 데이터로, 유효한 거래가 함수를 호출하면 모든 노드가 같은 규칙으로 결과를 계산한다. 법적 계약 문서를 이해하거나 현실의 약속을 스스로 집행하는 주체는 아니다.
코드의 자동 실행은 정확한 입력, 안전한 관리자, 외부 데이터의 신뢰를 자동으로 제공하지 않는다.
JOBCOIN 해설
거래가 스마트 계약 상태를 바꾸는 순서
사용자가 계약 주소와 함수·인자를 담은 거래에 서명하면 노드가 EVM에서 코드를 실행한다. 조건이 충족되면 상태가 바뀌고 이벤트가 기록되며, require 조건이 실패하면 상태 변경이 되돌아간다. 외부 가격·배송 같은 정보는 오라클이나 관리자의 입력이 필요하다.
사용자가 함수와 입력값, 가스를 담은 거래에 서명하면 노드가 현재 상태에서 코드를 실행한다. 조건이 맞으면 저장값과 이벤트가 바뀌고, 실패하면 상태 변화가 되돌려진다. 단 실행에 쓴 가스는 남을 수 있다.
코드·관리자·외부 입력 비교
고정된 코드 외에도 관리자 키가 업그레이드·중지 권한을 가질 수 있고, 가격은 오라클 입력에 의존할 수 있다. 계약 주소만 공개됐다는 이유로 규칙이 영구 불변하거나 외부 입력이 정확하다고 볼 수 없다.
| 구분 | 무엇을 뜻하나 | 확인할 증거 |
|---|---|---|
| 코드 규칙 | 온체인 입력을 결정적으로 처리 | 검증된 소스와 배포 바이트코드 일치 |
| 관리자 권한 | 업그레이드·중지·매개변수 변경 | 멀티시그·시간지연·권한 주소 |
| 외부 입력 | 오라클·관리자가 현실 데이터를 전달 | 오류·조작·지연 시 처리 |
자판기 계약이 현실을 모르는 이유
자판기 계약은 지불액과 재고를 확인해 토큰을 내줄 수 있지만 상품 품질이나 법적 환불 의무를 판단하지 못한다. 업그레이드 프록시라면 현재 코드가 나중에 바뀔 수 있고 관리자 키가 일시정지·자금 이동 권한을 가질 수 있다.
자판기 계약은 입금액과 재고 변수 같은 온체인 값은 읽지만 실제 상품이 배송됐는지 알지 못한다. 현실 결과를 반영하려면 사업자나 오라클이 정보를 입력해야 하며, 그 지점에서 별도 신뢰가 생긴다.
코드는 법이라는 문구의 한계
'코드는 법이다'라는 문구만으로 신뢰가 사라지지 않는다. 프론트엔드, 오라클, 관리자, 업그레이드 키, 유동성과 법적 집행이 남는다. 감사 보고서가 있어도 미래 버전이나 모든 공격을 보증하지 않는다.
코드가 입력대로 실행됐다는 사실은 입력이 공정하고 권리가 유효하다는 뜻이 아니다. 버그가 있거나 관리자 권한이 넓어도 노드는 작성된 코드를 정확히 실행한다. 기술 실행과 법적 책임을 따로 검토해야 한다.
계약 주소에서 권한 확인
탐색기에서 프록시 여부와 구현 주소를 찾고 owner, admin, pause, mint, upgrade 함수를 확인한다. 멀티시그라면 서명 임계값과 서명자 변경 권한을 본다. 검증된 소스가 실제 배포 바이트코드와 맞는지도 확인한다.
- 계약 주소와 체인을 공식 문서에서 대조한다
- 탐색기에서 소스 검증·프록시·관리자 권한을 본다
- 승인할 함수와 토큰 이동량을 시뮬레이션한다
- 오라클·중지·업그레이드 실패 시 출구를 확인한다
검증된 소스가 있어도 남는 의존성
스마트 계약의 투명성은 코드를 읽고 실행 결과를 재현할 수 있다는 뜻에 가깝다. 일반 사용자가 의미를 이해하기 어렵거나 소스가 검증되지 않으면 실질적 투명성은 낮다. 인터페이스가 보여 주는 설명과 실제 calldata가 다를 수도 있어 큰 권한을 주기 전 별도 시뮬레이션이 유용하다.
검증된 소스는 사람이 코드를 읽게 해 주지만 보안 감사나 무결점 인증은 아니다. 외부 계약 호출, 토큰 승인, 오라클, 프런트엔드가 바뀌면 사용자 결과도 달라질 수 있어 의존성 목록을 함께 봐야 한다.
프록시 계약을 사용할 때 사용자가 보는 주소는 그대로지만 구현 코드가 교체될 수 있다. 탐색기가 프록시를 감지했다면 현재 구현 주소와 업그레이드 관리자, 지연 장치, 이전 구현 이력을 따라간다. 감사 보고서가 옛 구현만 다뤘다면 현재 배포 코드에 그대로 적용되지 않는다.
계약 이벤트는 애플리케이션이 상태 변화를 찾기 쉽게 남긴 로그지만 모든 핵심 상태를 증명하지는 않는다. 이벤트가 발생했어도 외부 시스템의 배송·상환이 끝났다는 뜻이 아니다. 실제 저장값, 토큰 이동, 외부 운영자의 처리 상태를 각각 확인한다.
자주 묻는 질문
스마트 계약은 법적 계약인가요?
기술 명칭과 법적 효력은 별개다. 관할과 약관, 권리 구조에 따라 법률 판단이 필요하다.
배포 후 코드는 절대 안 바뀌나요?
직접 코드는 고정돼도 프록시가 다른 구현을 가리키도록 업그레이드할 수 있다.
실패 거래면 아무 비용도 없나요?
상태 변경은 되돌아가도 실행에 사용된 가스비는 들 수 있다.
