스마트 계약 감사가 블록 체인 네트워크에 대한 공격을 방지하는 방법

분산 네트워크인 블록체인은 중앙 집중식 시스템이 직면한 기존 위협에 면역입니다. 그러나 블록 체인에 취약성이 없다는 의미는 아닙니다. 블록체인 네트워크의 취약한 링크 중 하나는 감사되지 않은 스마트 계약으로 해커가 활용할 수 있는 발판을 제공할 수 있습니다. 스마트 계약 감사가 블록체인 기반 시스템에 대한 공격을 방지하는 데 어떻게 도움이 되는지 논의해 보겠습니다.

오늘날에는 Ethereum, BSC, EOS 등 여러 블록 체인 네트워크가 있습니다. 스마트 계약을 만들 수 있습니다. Ethereum과 BSC를 사용하면 스마트 계약을 만들기 위해 특별히 개발된 언어인 Solidity를 사용할 수 있습니다. EOS에서는 C++ 및 JavaScript와 같은 일반적인 프로그래밍 및 스크립팅 언어를 사용할 수 있습니다. 사용되는 언어에 관계없이 스마트 계약 코드 또는 가상 머신에 취약점이 있을 가능성이 있습니다.

가능한 취약점을 살펴보겠습니다.

계약 소스 코드의 약점

개발자가 논리 또는 코드 오류로 인해 소스 코드에 취약점을 남겼을 경우 스마트 계약의 모든 이해 관계자는 위험에 직면하게 됩니다. 예를 들어, 스마트 계약은 잘못된 주소로 수백만 달러를 지불하거나 단순히 자금을 태울 수 있습니다. 솔리디티에는 스마트 계약이 외부 스마트 계약에서 신뢰할 수 없는 기능으로 제어권을 넘기는 재진입 공격이라는 알려진 취약점이 있습니다. 

즉, 계약 X는 악의적으로 설계되었거나 정의되지 않은 동작이있는 계약 Y의 함수를 호출합니다. 계약 Y는 이제 계약 X의 기능을 인수하여 승인되지 않은 자금 이체, 매개변수 재설정 및 기타 그러한 목표를 유발할 수 있습니다.

가상 머신의 약점

블록체인 아키텍처에서 가상 머신(VM)의 역할은 스마트 계약을 위한 적절한 실행 환경을 만드는 것입니다. VM은 네트워크를 추상화하고 수많은 계산 작업을 해결할 수 있는 단일 슈퍼컴퓨터로 작동하도록 하여 이를 보장합니다. VM의 일반적인 취약점은 다음과 같습니다.

액세스 제어의 버그 – Solidity에는 권한이 없는 사람이 계약의 민감한 기능에 액세스할 수 있도록 하는 수정자 버그가 누락되었습니다.

이체 중 잃어버린 동전 – 스마트 계약은 코인을 소유자가 없는 암호화 주소인 고아 주소로 전송할 수 있습니다. 이로 인해 동전이 영원히 손실됩니다.

짧은 주소 공격 — 이 공격 벡터는 VM이 ​​잘못 패딩된 인수에 열려 있을 때 열립니다. 이 취약점은 특별히 생성된 주소를 VM으로 전송하여 악용될 수 있습니다. 2017 년 Coindash ICO에 대한 성공적인 공격은이 맥락에서 주목할만한 언급입니다. 이 취약점을 사용하여 해커는 Coindash Ethereum 주소를 수정하여 피해자가 해커가 원하는 주소로 암호화폐를 전송했습니다! 

불변 결함 – 불변성은 블록체인의 주요 기능으로 스마트 계약이 배포되면 간섭할 수 없습니다. 그러나 단점은 코드의 버그도 수정할 수 없게 된다는 것입니다. 이러한 버그 중 일부는 확인하지 않은 채로 두면 혼란을 야기하거나 사이버 범죄자가 이를 발견하고 취약한 링크를 악용하여 암호화폐 코인을 훔칠 수 있습니다.

DDoS 공격 – 해커는 스마트 계약을 압도하기 위해 DDoS(분산 서비스 거부) 공격 이면의 일반적인 아이디어를 배포할 수 있습니다. 예를 들어 쇼핑 계약인 경우 공격자는 계속해서 shop() 함수를 호출하여 다른 사용자가 쇼핑하지 못하도록 할 수 있습니다. 정수 오버플로 – 정수 변수가 제한을 초과하는 값을 저장하려고 할 때 오버플로 상황이 발생합니다. ERC 디지털 코인의 batchOverflow 해킹 중에 공격자는 이 문제를 악용했습니다. 일부 ERC20 계약을 방해하고 코인을 손에 넣었습니다.

스마트 계약 감사의 이점

자동화된 도구와 노련한 감사자의 실습 검토로 구성된 본격적인 스마트 계약 감사는 계약이 준비되고 모든 유형의 취약성이 없는지 확인합니다.

비용이 많이 드는 오류 방지

코드의 알 수 없는 오류는 비즈니스를 망치거나 법원 소송에 직면할 가능성이 있습니다. 개발 수명 주기의 초기 단계에서 코드를 감사하면 이러한 값비싼 오류로부터 자신을 보호할 수 있습니다.

취약성 평가

감사 팀은 계약을 검토하여 존재하는 버그의 위험 정도를 결정합니다. 그들은 이러한 버그의 가능한 결과를 분석하고 앞으로의 방법을 제안합니다.

자동화 도구의 손쉬운 통합

개발 환경에 자동화된 도구가 통합되어 있어 코딩이 진행됨에 따라 지속적인 보안 분석을 수행할 수 있으며 수동 검토는 나중에 진행할 수 있습니다.

상세 분석 보고서

버그, 취약성 정도 및 권장 사항에 대해 명시 적으로 언급 한 자세한 취약성 보고서를받습니다.

스마트 계약 감사 플랫폼

닫는 생각

스마트 계약 감사 코드의 보안을 보장하기 위해 수행해야 하는 가장 중요한 단계 중 하나입니다. 감사를 위해 평판이 좋은 회사에 참여하면 수백만 달러와 고객의 신뢰를 잃을 수 있는 가능성을 피할 수 있습니다. 또한 사용자를 보호하려는 당신의 의지를 보여줍니다. 취약성 수준의 발견과 권장 사항을 통해 전반적인 목표와 위협 인식에 따라 버그 수정 범위를 결정할 수 있습니다.

QuillAudits에 연락

QuillAudits는 효율적인 스마트 계약 감사를 제공합니다. 스마트 계약 감사에 도움이 필요하면 언제든지 전문가에게 문의하십시오. 여기에!

더 많은 업데이트를 위해 QuillAudits를 팔로우하세요

트위터 | 링크드인 | 페이스북

출처 : https://blog.quillhash.com/2021/06/16/how-smart-contract-audit-can-prevent-attacks-on-blockchain-networks/