스마트 계약과 스크립트의 차이점은 무엇입니까?

핵심 구조적 구별

1. 스마트 계약은 불변 코드와 상태를 갖춘 블록체인에 배포된 자체 실행 프로그램으로, 이더리움의 EVM과 같은 결정론적 가상 머신 환경 내에서 작동합니다.

2. 스크립트는 트랜잭션 유효성 검사 시 해석되는 경량의 상태 비저장 opcode 시퀀스로, 서명 확인 중에만 실행이 발생하는 Bitcoin의 UTXO 모델에서 흔히 볼 수 있습니다.

3. 스마트 계약은 전용 저장소 슬롯을 통해 트랜잭션 전반에 걸쳐 지속적인 저장소를 유지하므로 시간이 지남에 따라 복잡한 상태 전환이 가능합니다.

4. 스크립트에는 내부 저장소가 부족합니다. 이는 트랜잭션에 제공된 입력 데이터에 전적으로 의존하며 실행 사이에 영구 데이터를 유지하거나 수정할 수 없습니다.

5. 스마트 계약은 자체 잔고가 있는 주소 지정이 가능한 엔터티이며 다른 계약에 대한 아웃바운드 호출을 시작하거나 자율적으로 토큰을 보낼 수 있습니다.

실행 컨텍스트 및 수명주기

1. 스마트 계약은 온체인 바이트코드로 존재하며 명시적으로 자체 파괴되거나 논리 제약으로 인해 도달할 수 없게 될 때까지 활성 상태를 유지합니다.

2. 스크립트는 일시적입니다. 트랜잭션 입력당 한 번 실행되고 검증이 완료된 후 즉시 사라지므로 성공 또는 실패 이외의 흔적은 남지 않습니다.

3. 스마트 계약을 호출할 때마다 가스 계량 및 블록 수준 포함 규칙에 따라 합의 계층 내에서 새로운 실행 프레임이 트리거됩니다.

4. 스크립트 평가는 트랜잭션 릴레이 및 블록 전파 중에 엄격하게 발생하며 스택 깊이 또는 opcode 제한을 초과하는 리소스 계산 없이 전체 노드에 의해 시행됩니다.

5. 스마트 계약 상호 작용은 이벤트 중심 메커니즘이나 외부 오라클을 통해 트리거되는 경우 여러 블록에 걸쳐 있을 수 있지만 스크립트는 향후 평가를 연기하거나 예약하지 않습니다.

표현력과 능력 범위

1. 스마트 계약은 Solidity 또는 Rust와 같은 고급 언어를 사용하여 루프, 재귀(가스 범위 내), 동적 메모리 할당 및 임의 분기 논리를 지원합니다.

2. 스크립트는 루프, 변수, 함수 호출이 없는 유한한 암호화 및 산술 기본 집합으로 의도적으로 제한되어 단순성과 예측 가능성을 강화합니다.

3. 스마트 계약은 구성성을 가능하게 합니다. 하나의 계약이 다른 계약을 호출하거나, 해당 스토리지를 읽거나, 프록시 업그레이드 또는 위임 호출과 같은 패턴을 사용하여 제어를 위임할 수 있습니다.

4. 스크립트는 독립적으로 작동합니다. 유효성 검사 중에 한 스크립트가 다른 스크립트의 논리나 데이터를 참조, 호출 또는 검사하는 메커니즘이 없습니다.

5. 스마트 계약은 온체인 거버넌스 구조, 토큰 표준(ERC-20, ERC-721) 및 분산형 ID 프레임워크와 통합되어 DeFi 및 NFT 생태계의 기본 계층을 형성합니다.

보안 모델의 의미

1. 스마트 계약 취약점(재진입, 정수 오버플로, 확인되지 않은 외부 호출)으로 인해 2016년 이후 퍼블릭 체인 전체에서 30억 달러가 넘는 손실이 발생한 것으로 기록되었습니다.

2. 스크립트 기반 시스템은 설계상 이러한 많은 함정을 방지합니다. 변경 가능한 상태와 외부 상호 작용이 없기 때문에 Turing-complete 환경에서 흔히 발생하는 전체 공격 클래스가 제거됩니다.

3. 스마트 계약 감사에는 공식 검증 도구, 상징적 실행 엔진, 합의에 중요한 기본 요소와 상호 작용하는 비즈니스 논리의 수동 검토가 필요합니다.

4. 스크립트 정확성은 P2PKH(Pay-to-Public-Key-Hash) 또는 Bitcoin의 Tapscript 정책과 같은 정책 템플릿에 의해 제한되는 opcode 시퀀스의 정적 분석을 통해 확인됩니다.

5. 스마트 계약 배포는 되돌릴 수 없는 위험을 초래합니다. 일단 활성화되면 사용자 마이그레이션이나 프로토콜 수준 하드 포크 없이는 결함이 있는 논리를 패치할 수 없습니다.

자주 묻는 질문

Q: 스크립트가 Oracle과 상호 작용할 수 있습니까? A: 아니요. 스크립트는 외부 요청을 하거나 오프체인 데이터를 해석할 수 없습니다. 그들은 거래 자체에 포함된 내용만 평가합니다.

Q: 스마트 계약은 항상 모든 노드에서 실행됩니까? 답: 그렇습니다. 모든 풀 노드는 합의 무결성을 유지하기 위해 블록 내 트랜잭션에 의해 트리거된 모든 스마트 계약 코드를 실행합니다.

Q: Bitcoin의 Tapscript는 스마트 계약으로 간주되나요? A: 아니요. Tapscript는 보다 유연한 조건으로 Bitcoin의 스크립팅 언어를 확장하지만 상태 비저장 및 비튜링 완전성을 유지하므로 스마트 계약의 정의 임계값을 충족하지 않습니다.

Q: 스마트 계약이 자체 소스 코드를 수정할 수 있습니까? 답: 직접적으로는 아닙니다. 코드 불변성은 EVM 수준에서 시행됩니다. 업그레이드하려면 스토리지를 보존하면서 호출을 새 바이트코드로 리디렉션하는 프록시 패턴이 필요합니다.