비탈릭 부테린은 AI 지원 정형 검증(Formal Verification)이 핵심 블록체인 코드를 작성하는 방식을 바꿀 수 있다고 믿습니다. 그의 주장은 어떤 비용을 치르더라도 개발 속도를 높이는 것이 아니라, 이더리움의 핵심 부분을 라이브 네트워크에 배포하기 전에 수학적으로 검증 가능하게 만드는 것에 관한 것입니다.
하이라이트
- 부테린은 블록체인 보안에서 정형 검증의 활용에 관한 기사를 발표했습니다.
- 이더리움 프런티어 연구는 EVM 바이트코드, 어셈블리 또는 Lean으로 코드를 직접 작성할 수 있는 접근 방식을 개발하고 있습니다.
- 부테린은 AI가 개발 효율성과 코드 보안을 모두 향상시킬 수 있다고 믿습니다.
이 기사는 원문을 번역한 것입니다. 당사 특파원이 작성한 원문은 여기에서 확인하실 수 있습니다.
정확성이 증명될 수 있는 코드
부테린은 이더리움 프런티어 연구에서 부상하고 있는 새로운 패러다임을 설명했습니다. 개발자가 EVM 바이트코드, 어셈블리 또는 Lean을 포함한 로우 레벨에서 코드를 작성한 다음, Lean에서 자동으로 확인되는 수학적 증명을 통해 그 정확성을 확인하는 방식입니다.
이 접근 방식의 핵심은 개발자, 감사자 및 테스트에 대한 전통적인 의존도의 일부를 프로그램 속성에 대한 엄격한 검증으로 대체하는 것입니다. 증명이 올바르게 작성되고 확인되면, 시스템은 코드가 의도한 대로 정확히 작동한다는 더 강력한 보증을 받게 됩니다. 연구원 요이치 히라이(Yoichi Hirai)는 이 모델을 "소프트웨어 개발의 최종 형태"라고 부릅니다.
AI가 도움을 줄 수 있는 부분
부테린은 AI 지원 정형 검증이 코드 효율성과 보안을 모두 개선할 수 있다고 믿습니다. 이는 단 한 번의 오류로 수억 달러의 손실이 발생하거나 인프라에 대한 신뢰가 손상될 수 있는 이더리움의 핵심 부분에서 특히 중요합니다. 그는 이러한 모듈 중 STARK, ZK-EVM, 포스트 양자 서명 및 합의 알고리즘을 강조합니다.
이 모델에서 AI는 단순히 감독 없이 코드를 생성해서는 안 됩니다. AI의 역할은 증명 작성을 가속화하고, 오류를 찾도록 도우며, 코드가 사양과 일치하는지 확인하는 보조자에 가깝습니다. 이더리움의 경우, 이는 더 넓은 개발 경로와 일치합니다. 네트워크는 점차 가장 빠른 블록체인 플랫폼이 아니라, 개별 트랜잭션 속도보다 보안과 검증 가능성이 더 중요한 베이스 레이어로 자리매김하고 있습니다.
코어와 주변부 사이의 경계
부테린은 또한 정형 검증이 만능 해결책은 아니라고 강조합니다. 증명이 모든 사례를 다루지 않거나, 사양 자체가 잘못 작성되었거나, 하드웨어 사이드 채널을 통해 취약점이 나타날 경우 여전히 실패할 수 있습니다.
그렇기 때문에 미래의 소프트웨어 아키텍처는 두 부분으로 나뉠 수 있습니다. 가능한 가장 엄격한 정형 검증을 거치는 소규모 "보안 코어"와 더 유연한 개발 방법이 허용되는 덜 중요한 주변 구성 요소입니다. 이러한 모델에서 이더리움은 디지털 경제의 핵심 보안 코어 중 하나가 될 수 있습니다. 이 접근 방식이 확산된다면, 주요 변화는 코드가 더 빨리 작성되는 것이 아니라 가장 중요한 코드를 깨뜨리기가 더 어려워진다는 점일 것입니다.
이전에 보고한 바와 같이, 비탈릭 부테린은 이더리움 노드 아키텍처의 단순화를 제안하고 있습니다.
-
가나
-
그리스
-
나미비아
-
나이지리아
-
남아프리카 공화국
-
네덜란드
-
네팔
-
노르웨이
-
뉴질랜드
-
대만, 중화민국
-
대한민국
-
덴마크
-
도미니카 공화국
-
독일
-
라오스
-
라트비아
-
레바논
-
레소토
-
루마니아
-
룩셈부르크
-
르완다
-
리비아
-
리투아니아
-
마다가스카르
-
말레이시아
-
멕시코
-
모로코
-
모리셔스
-
모잠비크
-
몬테네그로
-
몰도바
-
몰타
-
몽골
-
미국
-
미얀마
-
바레인
-
바하마
-
방글라데시
-
베네수엘라
-
베트남
-
벨기에
-
벨라루스
-
보츠와나
-
볼리비아
-
북마케도니아
-
불가리아
-
브라질
-
브루나이 다루살람
-
사우디아라비아
-
세르비아
-
소말리아
-
스리랑카
-
스웨덴
-
스위스
-
스페인
-
슬로바키아
-
슬로베니아
-
시리아
-
싱가포르
-
아랍에미리트
-
아르메니아
-
아르헨티나
-
아이티
-
아일랜드
-
아제르바이잔
-
아프가니스탄
-
알바니아
-
알제리
-
앙골라
-
에스와티니
-
에스토니아
-
에콰도르
-
에티오피아
-
엘살바도르
-
영국
-
예멘
-
오만
-
오스트리아
-
요르단
-
우간다
-
우루과이
-
우즈베키스탄
-
우크라이나
-
이라크
-
이란, 이슬람 공화국
-
이스라엘
-
이집트
-
이탈리아
-
인도
-
인도네시아
-
일본
-
자메이카
-
잠비아
-
재결합(국가 이름)
-
조지아
-
중국
-
짐바브웨
-
체코
-
칠레
-
카메룬
-
카자흐스탄
-
카타르
-
캄보디아
-
캐나다
-
케냐
-
코스타리카
-
코트디부아르
-
콜롬비아
-
콩고
-
콩고 민주공화국
-
쿠바
-
쿠웨이트
-
크로아티아
-
키르기스스탄
-
키프로스(국가 이름)
-
타지키스탄
-
탄자니아
-
태국
-
터키
-
튀니지
-
트리니다드 토바고
-
파나마
-
파라과이
-
파키스탄
-
파푸아뉴기니
-
팔레스타인
-
페루
-
포르투갈
-
폴란드
-
푸에르토리코
-
프랑스
-
핀란드
-
필리핀
-
헝가리
-
호주
-
홍콩
- Forex
- Crypto
