paint-brush
AI가 인간 감사자보다 스마트 계약을 더 잘 감사할 수 있습니까?~에 의해@bunzz
7,480 판독값
7,480 판독값

AI가 인간 감사자보다 스마트 계약을 더 잘 감사할 수 있습니까?

~에 의해 Bunzz3m2024/04/05
Read on Terminal Reader

너무 오래; 읽다

초인적인 처리 능력을 갖춘 AI가 스마트 계약을 안전하게 유지하는 중요한 역할에서 인간 감사자를 능가할 수 있을까요? 이 기사에서 그 답을 논의하겠습니다. AI 기반 감사는 아직 완벽하지 않으며 감사 비용을 절감하려는 프로젝트에 상당한 이점을 제공합니다.
featured image - AI가 인간 감사자보다 스마트 계약을 더 잘 감사할 수 있습니까?
Bunzz HackerNoon profile picture
0-item
1-item
2-item

스마트 계약은 엄청난 잠재력을 가지고 있습니다. 그러나 큰 힘에는 큰 책임이 따르며 이러한 스마트 계약의 보안을 보장하는 것이 중요합니다. 여기에서 감사가 필요합니다. 초인적인 처리 능력을 갖춘 AI가 스마트 계약을 안전하게 유지하는 중요한 역할에서 인간 감사자를 능가할 수 있을까요? 이 기사에서 그 답을 논의하겠습니다.

AI 사례

  • 속도 및 규모: AI는 막대한 양의 코드를 신속하게 분석하여 인간이 몇 주가 걸릴 수 있는 패턴과 잠재적인 취약점을 식별할 수 있습니다. 이는 빠르게 변화하는 블록체인 개발 세계에서 매우 중요합니다.
  • 머신 러닝의 장점: AI는 과거 공격 및 성공적인 감사에 대한 방대한 데이터 세트에서 학습하여 새로운 위협을 탐지하는 능력을 지속적으로 향상할 수 있습니다.
  • 편견 감소: 인간 감사자는 편견에 취약하지만 AI는 냉정한 객관성을 가지고 감사에 접근할 수 있습니다.


이는 AI 기반 보고서 암호화폐에 대한 인덱스 투자를 허용하는 Lockon이라는 프로토콜의 감사에 대해 설명합니다. 보고서는 약 48시간 만에 생성되었습니다. 락온팀은 취약점에 대한 지적이 정확하다고 판단해 AI 기반 보고서라는 사실에 놀랐다.


AI 기반 감사는 아직 완벽하지는 않지만 감사 비용을 절감하려는 프로젝트에 상당한 이점을 제공합니다. 또한 중요한 버그를 미리 식별하면 감사 회사에 지불되는 비용을 줄일 수 있기 때문에 전통적인 감사 회사에 참여하기 전에 "사전 감사"로 점점 더 많이 사용되고 있습니다. 또한 AI 기반 감사 서비스를 CI/CD 프로세스에 통합하는 것이 코드 품질을 향상시키는 방법으로 인식되기 시작했습니다.

인간 감사자의 사례

  • 맥락 이해: 스마트 계약은 단독으로 존재하지 않습니다. 그들은 복잡한 시스템과 상호 작용합니다. 인간과 달리 AI는 이러한 상호 작용의 미묘한 차이와 잠재적인 보안 영향을 파악하는 데 도움이 필요할 수 있습니다.
  • 설명 가능성 및 판단 호출: AI가 문제에 플래그를 지정할 때 문제 또는 취약점의 원인과 이유를 설명하는 것이 중요합니다. 인간 감사자는 코드를 해석하고, 위험을 평가하고, 정보에 입각한 결정을 내릴 수 있습니다.
  • 창의성과 예상치 못한 위협: 사이버 범죄자는 끊임없이 혁신하고 있습니다. AI는 새로운 공격 벡터를 놓칠 수 있지만 인간 감사자는 경험과 창의성을 활용하여 이러한 가능성을 고려할 수 있습니다. 많은 사람들은 AI가 머신러닝 능력을 바탕으로 이를 수행할 수 있다고 주장할 수 있지만, 이번에도 인간 지능이 우위에 있습니다.


의심할 바 없이 AI는 스마트 계약 감사의 판도를 바꾸는 도구이지만 만능은 아닙니다. 미래는 협업에 있습니다. AI가 신속하게 코드를 스캔하고 잠재적인 위험을 강조하며 인간 감사자가 복잡한 시나리오에 집중하고 최종 판단을 내릴 수 있도록 하는 것을 상상해 보십시오. 이 강력한 파트너십은 스마트 계약의 안전하고 효율적인 미래를 보장할 수 있습니다.


빠른 비교

AI 기반 감사 회사의 예, Bunzz Audit에서 비교 자료를 게시했습니다. AI 기반 감사와 인간 감사 사이.

Bunzz 팀은 "우리의 연구 개발 결과에 따르면 데이터베이스와 AI 접근 방식이 인간보다 취약성 패턴을 탐지하는 데 더 적합하다는 결론을 얻었습니다."라고 말합니다.


AI 감사의 미래

2024년 2월 Vitalik Buterin은 코드의 공식 검증 및 버그 발견을 지원하는 AI의 잠재력을 강조했습니다. “내가 기대하는 AI 응용 프로그램 중 하나는 AI를 이용한 코드 공식 검증과 버그 발견입니다.”라고 그는 덧붙였습니다.


"현재 이더리움의 가장 큰 기술적 위험은 아마도 코드의 버그일 것이며 게임을 크게 변화시킬 수 있는 모든 것은 놀라울 것입니다."


블록체인 프로젝트는 코드에 의존하며 다른 코드와 마찬가지로 오류가 있을 수 있습니다. 공식 검증은 블록체인 프로젝트 논리에서 이러한 약점을 식별하는 데 도움이 되는 도구입니다. 공식 검증을 사용함으로써 web3 빌더는 프로젝트의 신뢰성과 신뢰도를 높일 수 있습니다.


형식 검증이 더욱 강력해지는 미래를 상상해 보세요. 일부 전문가들은 이러한 발전이 개인 정보 보호를 강화하는 다른 기술인 영지식 증명만큼 블록체인 기술에 중요할 수 있다고 믿습니다.


그러나 장애물이 있습니다. "사양"이라고 불리는 코드에 대한 명확하고 완벽한 지침을 작성하는 것은 현재 비용과 시간이 많이 소요됩니다. 흥미로운 점은 다음과 같습니다. Vitalik Buterin과 같은 일부와 선두 주자와 같은 Bunzz 감사 . 저는 AI가 이 프로세스를 더 저렴하고 쉽게 만드는 열쇠가 될 수 있다고 믿습니다.