이더리움, 린 4로 3개 업그레이드 합의 검증

이더리움(ETH) 연구팀이 린 4(Lean 4)로 Fulu·Gloas·Heze 업그레이드의 합의 규격을 구현하고 수학적으로 검증하는 프로젝트를 추진하고 있다. 여러 클라이언트가 같은 규격을 다르게 해석해 체인이 갈라지는 위험을 줄이려는 작업이다. 이더리움 프로토콜 펠로십(EPF)과 인비저블 가든(Invisible Garden) 연구팀은 21일 이더리움 리서치 포럼 게시글을 통해 프로젝트 ‘Etheorem’의 진행 상황을 공개했다. Etheorem은 정리 증명 언어인 린 4로 이더리움 합의 규격을 실행 가능한 형태로 구현하고, 코드 테스트를 넘어 핵심 논리를 수학적으로 검증하는 것을 목표로 한다. 이더리움은 여러 개발팀이 만든 합의 클라이언트를 함께 사용하는…