뒤로

Gas 요금 체계 변경이 스마트 계약 오작동을 초래할 수 있다? 이더리움, 후디(Hoodi) 포크 긴급 중단… 8대 보안 취약점 점검

중립공유하기X(트위터)텔레그램

이더리움 핵심 개발자 팀과 보안 기관은 다음 주 ACD 회의에서 각계에서 수집한 첫 번째 자가 점검 데이터를 집계할 예정이며, 이를 통해 후디(Hoodi) 테스트넷의 활성화 조건과 조정 방안에 대한 재평가를 실시할 계획이다.

저자: TechFlow

이더리움 핵심 개발자 회의(ACD)는 안전 감사 기관이 곧 적용될 두 가지 Gas 개선 제안이 이미 배포된 다수의 스마트 계약이 오랫동안 의존해 온 하위 실행 가정들을 직접 뒤집을 수 있다고 밝힘에 따라 Hoodi 테스트넷 업그레이드 프로세스를 유보하기로 결정했다.

이더리움 재단은 업계 전체에 자체 점검 경고를 공개적으로 발령하고 여러 기관과 협력하여 코드 감사를 진행함으로써, 하드 포크가 직접적으로 체인 기반 자산 프로토콜의 논리 오류 또는 마비를 초래하는 것을 방지하고자 한다.

하위 요금 체계 재구성이 상태 접근 기존 로직을 흔들다

다가오는 이더리움 Glamsterdam 업그레이드에서 EIP-8037 제안 사양 및 EIP-8038 제안 사양은 상태 저장 메커니즘에 대한 재가격 책정의 핵심 임무를 맡고 있다.

이더리움의 역사적 상태 데이터는 지속적으로 팽창 중이며, 기존의 고정 소모 모델로는 노드가 상태를 생성하고 빈번히 읽는 데 드는 실제 하드웨어 비용의 정밀한 반영이 어렵다. 양측 제안의 핵심 목표는 상태 생성과 상태 접근의 과금 방식을 완전히 분리하고, 특정 오퍼코드에 대해 동적 가중치를 재설정하는 것이다.

이러한 하위 레벨 개조는 전 네트워크 상태의 무질서한 확산 추세를 억제하려는 목적이 있으나, 실행 계층에서는 애플리케이션 구축 시 개발자가 일정한 시스템 상수로 간주했던 것을 직접 뒤집는다.

고정 Gas 가정 붕괴로 8가지 불변식 위험 노출

보안 기관 ChainSecurity 공식 분석은 테스트 결과에서 대량의 온체인 스마트 계약과 오프체인 인프라가 몇몇 예상치 못한 고정 Gas 사전 설정 위에 장기간 구축되어 있다고 지적했다. 오퍼코드 실행 소모 과금 규칙에 갑작스러운 변경이 발생하면 관련 비즈니스 로직은 경고 없이 직접 중단될 것이다.

이러한 무너진 불변식은 계약 개발에서 가장 일반적인 엔지니어링 패턴을 포괄한다. 일부 프로토콜은 재진입 공격을 방지하거나 실행 범위를 통제하기 위해 서브 컨트랙트 호출 시 하드 코딩된 Gas 한도를 사용하며, 과금 상승으로 인해 원래 원활하게 실행되던 교차 계약 호출이 내부 Gas 고갈로 즉시 롤백될 수 있다.

다른 주요 위험들은 예외 처리 메커니즘에 의존하는 내결함성 로직 속에 잠복해 있다. 외부 호출자가 내부 실행 소모를 더 이상 정확히 예측할 수 없거나, 일부 프록시 컨트랙트가 고정 비율을 기반으로 실행 잔량을 전달할 경우, 전체 트랜잭션 흐름의 실행 경로가 완전히 왜곡되거나 자금이 완료되지 않은 상태 머신 분기에 갇힐 수도 있다.

거버넌스 팀 긴급 포크 중단, 온체인 패닉 차단

잠재적 시스템 호환성 위험에 직면하여, 이더리움 클라이언트 개발자들은 최신 핵심 조정 프로세스에서 신속히 방어 조치를 취했다.

새로운 퍼블릭 체인 Nibiru 메인넷 출시 및 기술 특성과 보안 개발 관행 분석이 이더리움 핵심 거버넌스 역사를 정리한 바와 같이, 하위 컨센서스나 실행 파라미터가 기존 생태계와 조화되지 않는 충돌을 일으킬 때마다 개발자 집단은 충분한 보안 창구를 확보하기 위해 일정표 지연을 선택하는 경우가 많다.

개발자들은 ACD 회의에서 잠재적 영향 범위 계약의 분포 상황을 철저히 파악하고 호환 가이드라인을 제시하기 전까지 Hoodi 테스트넷에 절대 하드 포크를 적용하지 않기로 합의했다. 무분별한 포킹은 신규 규칙의 안정성을 효과적으로 검증할 수 없을 뿐만 아니라, 멀티시그 지갑, 크로스체인 브릿지 및 탈중앙화 대출 프로토콜에서 연쇄 장애를 유발하기 쉽다.

재단 검사 도구 공개, 네트워크 전역 공동 점검 유도

탈중앙화 애플리케이션의 복잡성이 공개된 온체인 바이트코드에만 국한되는 것이 아니라, 독점적인 오프체인 라우팅, 정산 스크립트 및 청산 봇 내부에 깊이 중첩되어 있기 때문에, 공식 감사 역량으로는 전체 생태계의 경계 로직을 모두 파악할 수 없다. 이더리움 연구원 Marius van der Wijden은 이더리움 재단 기술 공지를 대표하여 팀 일점으로 이 경계 제한을 명확히 인정했다.

이더리움 재단은 코드 호스팅 플랫폼에 전용 점검 저장소를 공식 발표했으며, 커뮤니티에 영향을 받은 8가지 불변식의 기술 세부 사항과 문제 코드 샘플을 상세히 해설했다. 해당 저장소는 주류 감사 보조 도구 및 코드 스캐너를 위한 전용 프롬프트 템플릿도 제공하여, 계약 팀, 보안 감사 담당자 및 인프라 유지보수 측이 자체 비즈니스 로직을 신속히 대조할 수 있도록 했다.

이더리움 핵심 개발자 팀과 보안 기관은 차주 ACD 회의에서 각 측이 수집한 첫 번째 자체 검사 데이터를 집계할 예정이며, 이때 Hoodi 테스트넷의 활성화 조건과 방안 조정에 대한 재평가가 이루어질 예정이다.

Techflowpost에서 원문 읽기

더 많은 뉴스