스마트 계약에 버그가 있으면 어떻게 되나요? 자금을 회수할 수 있나요?

즉각적인 실행 결과

1. 일단 배포되면 스마트 계약은 사람의 개입 없이 자율적으로 작동합니다. 바이트코드에 포함된 모든 결함은 코딩된 대로 정확하게 실행되며 외부 재정의가 존재하지 않습니다.

2. 버그로 인해 의도하지 않은 상태 변경이 발생할 수 있습니다. 잔액을 덮어쓰거나, 액세스 제어를 우회하거나, 경고나 트랜잭션 반전 기능 없이 논리 경로가 잘못 라우팅될 수 있습니다.

3. 버그가 무단 이체를 허용하는 경우 자금은 공격자가 제어하는 ​​주소로 즉시 이동됩니다. 이러한 거래는 암호학적으로 최종적이며 온체인의 합법적인 거래와 구별할 수 없는 것처럼 보입니다.

4. 재진입 취약점으로 인해 프로토콜 보유고가 반복적으로 고갈되었습니다. 예를 들어 DAO 해킹과 2022년 Nomad Bridge 익스플로잇으로 인해 몇 분 만에 1억 9천만 달러가 사라졌습니다.

5. 정수 오버플로 또는 확인되지 않은 산술 연산으로 인해 내부 회계가 손상될 수 있으며, 이로 인해 팬텀 토큰 발행 또는 종속 계약 전체에 전파되는 잔액 인플레이션이 발생할 수 있습니다.

온체인 상태의 비가역성

1. 이더리움과 대부분의 EVM 호환 체인은 설계상 불변성을 강화합니다. 모든 블록은 이전 암호화 해시를 기반으로 구축됩니다. 한 블록을 변경하면 모든 후속 블록이 무효화됩니다.

2. 어떤 중앙 기관도 거래를 취소할 수 있는 권한을 갖고 있지 않습니다. 지갑, 거래소 또는 개발자는 결함이 있는 코드로 인해 시작된 경우에도 확인된 전송을 동결하거나 회수하거나 무효화할 수 없습니다.

3. "복구"라는 개념은 블록체인의 핵심 원칙인 분산화, 결정론, 최종성과 모순됩니다. 복구된 트랜잭션은 유효한 상태 전환을 폐기하기 위해 합의 전반에 걸친 합의가 필요합니다.

4. DAO 사건 이후 이더리움 하드포크와 같은 역사적 복구 시도는 네트워크를 분리하고 이더리움 클래식을 생성하여 이러한 조치가 신뢰와 프로토콜 무결성을 파괴했음을 입증했습니다.

5. 다중서명 지갑이나 시간 잠금 메커니즘조차도 실행된 논리를 소급하여 실행 취소할 수 없습니다. 과거의 행동이 아닌 미래의 행동만을 제한합니다.

프로토콜 수준 완화 시도

1. 일부 프로토콜에는 긴급 일시 중지 기능이 포함되어 있지만 이는 이미 실행된 지침이나 최종 잔액이 아닌 향후 상호 작용만 중지합니다.

2. 업그레이드 가능한 프록시 패턴을 사용하면 위임 호출을 통해 논리 교체가 가능하지만 저장된 데이터는 그대로 유지됩니다. 손상된 상태는 새 로직에서 명시적으로 수정되지 않는 한 지속됩니다.

3. 오라클이나 외부 서명자는 실행 후 온체인 결과를 변경할 수 없습니다. 계산이 완료된 후 출력이 아닌 입력에 영향을 미칩니다.

4. Certora 또는 KEVM과 같은 공식 검증 도구는 배포 전에 논리적 불일치를 감지하지만 결함이 감지되지 않으면 런타임 수정이 전혀 제공되지 않습니다.

5. 버그 포상금 제출은 패치 배포로 이어질 수 있지만, 패치된 계약은 악용된 상태를 소급하여 수정하거나 고갈된 자산을 복원하지 않습니다.

자금 회수 현실

1. 공격자가 통제하는 외부 소유 계정(EOA)으로 전송된 자금은 자발적으로 반환되지 않는 한 사실상 복구가 불가능합니다.

2. 도난당한 자산이 거래소가 관리하는 주소에 있는 경우 법적 요청으로 인해 동결이 발생할 수 있습니다. 그러나 이는 전적으로 블록체인 메커니즘이 아닌 관할권 협력 및 KYC 준수에 달려 있습니다.

3. 크로스체인 브리지는 복구를 더욱 복잡하게 만듭니다. 한 체인에 잠겨 있고 다른 체인에 허위로 표시된 자산은 양측이 상태 수정에 동의하지 않으면 조정할 수 없습니다.

4. Ethereum, Polygon, Arbitrum 또는 BSC에서 확인된 거래를 취소할 수 있는 암호화 메커니즘은 없습니다.

5. 체인 분석 회사는 흐름을 추적할 수 있지만 추적은 검색과 동일하지 않습니다. 지갑 소유권은 가명으로 유지되며 집행에 저항합니다.

일반적인 질문과 직접적인 답변

Q: 개발자가 버그가 있는 계약을 교체하고 자금을 이전하기 위해 새 계약을 배포할 수 있습니까? A: 사용자가 자발적으로 새 계약과 상호작용하는 경우에만 해당됩니다. 자동 마이그레이션은 없습니다. 버그가 철회를 허용하지 않는 한 이전 계약에 갇힌 자산은 액세스할 수 없습니다.

Q: 이더리움의 EIP-1559 또는 계정 추상화가 자금 회수 옵션을 변경합니까? A: 둘 다 반전 기능을 도입하지 않았습니다. EIP-1559는 수수료 시장 메커니즘을 조정합니다. 계정 추상화는 프로그래밍 가능한 지갑을 활성화하지만 합의 수준의 최종성을 무시하지는 않습니다.

Q: 다중 서명 지갑은 스마트 계약 버그로부터 안전합니까? A: 아니요. 다중 서명 논리 자체는 스마트 계약으로 구현되며 Parity 지갑 동결에서 볼 수 있듯이 서명 가단성 및 임시 조작을 포함한 악용을 겪었습니다.

Q: 도난당한 자금을 회수하기 위해 온체인 거버넌스 투표를 할 수 있나요? 답변: 거버넌스 토큰은 개별 거래나 잔액에 대한 통제권이 아닌 프로토콜 매개변수에 대한 투표권을 부여합니다. 투표는 불변의 원장 항목을 변경할 수 없습니다.