이더리움, 린 4로 3개 업그레이드 합의 검증
이더리움(ETH) 연구팀이 린 4(Lean 4)로 Fulu·Gloas·Heze 업그레이드의 합의 규격을 구현하고 수학적으로 검증하는 프로젝트를 추진하고 있다. 여러 클라이언트가 같은 규격을 다르게 해석해 체인이 갈라지는 위험을 줄이려는 작업이다.
요약은 원문을 바탕으로 AI가 작성했어요. 투자 조언이 아닙니다.
이더리움(ETH) 연구팀이 린 4(Lean 4)로 Fulu·Gloas·Heze 업그레이드의 합의 규격을 구현하고 수학적으로 검증하는 프로젝트를 추진하고 있다. 여러 클라이언트가 같은 규격을 다르게 해석해 체인이 갈라지는 위험을 줄이려는 작업이다.
요약은 원문을 바탕으로 AI가 작성했어요. 투자 조언이 아닙니다.