비탈릭: AI와 형식 검증은 이더리움의 보안과 개발 방식을 바꿔놓을 것입니다.

PANews는 4월 22일 비탈릭 부테린이 샤오펑과의 대담에서 인공지능(AI)이 취약점 발견 능력을 빠르게 향상시키고 있으며, 형식 검증과 결합하면 더욱 안전한 스마트 계약 개발이 가능해져 프로그래머가 아니더라도 취약점 없는 계약을 구축할 수 있을 것으로 기대한다고 밝혔다고 보도했습니다. 그는 또한 이더리움 L1이 앞으로도 탈중앙화와 보안에 중점을 두고, 미래의 AI와 양자 컴퓨팅이 가져올 보안 문제를 해결하기 위해 양자 내성 암호화(해싱 및 STARK 등)와 ZK 기술의 적용을 촉진할 것이라고 강조했습니다.

공유하기:

작성자: PA一线

이 내용은 시장 정보 제공만을 목적으로 하며, 투자 조언을 구성하지 않습니다.

PANews 공식 계정을 팔로우하고 함께 상승장과 하락장을 헤쳐나가세요
PANews APP
이란: 무장 병력은 최고 경계 태세를 유지하고 있으며 언제든 결정적인 반격을 가할 준비가 되어 있습니다.
PANews 속보