토큰포스트 100%활용 팁!
링크복사
공유
댓글
추천
스크랩
인쇄
글자크기
0
0
PANews에 따르면 비탈릭 부테린은 이더리움 커뮤니티가 Lean 등 형식 검증 도구를 활용해 EVM 바이트코드와 RISC-V 어셈블리 같은 저수준 언어 코드의 정확성과 보안을 검증하는 실험을 진행하고 있다고 밝혔다.
부테린은 형식 검증이 암호화 통신 프로토콜, 합의 알고리즘, EVM 구현 등 핵심 인프라의 보안을 확인하는 데 활용될 수 있으며, AI가 버그를 자동으로 찾아내는 환경에서 방어 측의 이점을 키울 수 있다고 설명했다.
다만 그는 형식 검증이 만능은 아니며, 모델링되지 않은 가정이나 사이드 채널, 검증 범위 밖 모듈 등은 여전히 위험 요인으로 남는다고 지적했다. 그는 향후 소프트웨어가 소수의 보안 핵심 구조를 중심으로 구축되고, AI가 코드 생성을 맡는 방식으로 발전할 수 있다고 전망했다.
<저작권자 ⓒ TokenPost, 무단전재 및 재배포 금지>
많이 본 기사
지금 꼭 알아야 할 리포트
티켓스토어
티켓으로 다양한 상품에 응모하자!
에어드랍
선물이 쏟아지는 에어드랍 이벤트!
카테고리 기사
댓글
0
추천
0
스크랩
데일리 스탬프
0
매일 스탬프를 찍을 수 있어요!
데일리 스탬프를 찍은 회원이 없습니다.
첫 스탬프를 찍어 보세요!
댓글 0개
뉴스
리서치
마켓정보
라운지
커뮤니티
서비스
매체소개
고객센터
![[오후 뉴스브리핑] 미국 디지털자산 규제 체계 확립을 위한 클래리티 법안이 상원 전체 표결 단계로 넘어갔다 外](https://f1.tokenpost.kr/2026/05/e9jroozxps_th_860x0.webp)
![[코인 다단계 2.0] ④ DAO라더니 등급표가 있었다](https://f1.tokenpost.kr/2026/05/bfcrzvn6iy_th_860x0.webp)
![[오후 시세브리핑] 암호화폐 시장 하락세… 비트코인 76,788달러, 이더리움 2,115달러](https://f1.tokenpost.kr/2026/05/2swiglj4zl_th_860x0.webp)
![[저녁 시세브리핑] 암호화폐 시장 하락세… 비트코인 76,868달러, 이더리움 2,117달러](https://f1.tokenpost.kr/2026/05/g6uqlht55d_th_860x0.webp)
![[정치분석] 미·중 정상회담, 득보다 실이 더 클 수 있다](https://f1.tokenpost.kr/2026/05/gaauev4dlo_th_860x0.jpg)
![[경제분석]](https://f1.tokenpost.kr/2026/05/qmb8r600pi_th_860x0.jpg)
![[토큰분석] 골드만삭스](https://f1.tokenpost.kr/2026/05/kt0f0to3f9_th_860x0.jpg)
![[Episode 12] IXO™2024 참여하고, 2억원 상당 에어드랍 받자!](https://f1.tokenpost.kr/2024/03/bk2tc5rpf6_th_860x0.png)
![[Episode 11] 코인이지(CoinEasy) 에어드랍](https://f1.tokenpost.kr/2024/02/g0nu4cmps6_th_860x0.png)
![[Episode 8] Alaya 커뮤니티 입장하고, $AGT 받자!](https://f1.tokenpost.kr/2023/10/0evqvn0brd_th_860x0.png)
![[Episode 6] 아트테크 하고, 에어드랍 받자!](https://f1.tokenpost.kr/2023/08/3b7hm5n6wf_th_860x0.webp)
![[토큰포스트] 기사 퀴즈 596회차](https://f1.tokenpost.kr/2026/05/tjh3hukuaj_th_860x0.webp)
![[토큰포스트] 기사 퀴즈 594회차](https://f1.tokenpost.kr/2026/05/klp8a8aqqa_th_860x0.webp)
![[토큰포스트] 기사 퀴즈 593회차](https://f1.tokenpost.kr/2026/05/gunh9vv3g2_th_860x0.webp)
![[토큰포스트] 기사 퀴즈 592회차](https://f1.tokenpost.kr/2026/05/nro9vnqod6_th_860x0.webp)
