비탈릭 부테린은 소프트웨어 보안을 강화하기 위해 이더리움이 전체 프로그램에 대한 AI 지원 검증 방식으로 나아가고 있다고 밝혔습니다.
그는 개발자들이 단순히 중요하다고 자체적으로 판단한 코드뿐만 아니라 데이터베이스, 네트워킹, 캐싱 및 기타 계층까지 검증해야 한다고 주장했습니다.
https://x.com/TheBlockCo/status/2100507782617452761
THE BLOCK: Vitalik Buterin said Ethereum is moving toward AI-assisted verification of entire programs to strengthen software security.
He argued that developers must verify databases, networking,…