이더리움(ETH, 시총 2위)이 공식 블로그를 통해 ETH 2.0 담보 컨트랙트 바이트코드(자바 프로그램이 컴파일을 거쳐 나온 결과물) 형식 검증을 완료했다고 공지했다. 형식 검증이란 작성된 프로그램의 원하는 기능을 갖고 종료 여부를 조사하기 위해 엄격한 수학적 기법을 사용한 프로그램 검증을 의미한다. 해당 검증은 Runtime Verification 기술 연구팀이 주도한 것으로 알려졌다. 또한 이더리움재단 측은 ETH 2.0의 2단계 설계 보완에 이더리움 인프라 개발사 컨센시스의 신규 연구팀 TXRX가 새롭게 합류, ETH 1.0을 ETH 2.0에 안전하게 통합하는 2단계 설계 보완 연구에 힘을 보탠다고 전했다. 해당 연구에는 컨센시스 연구팀 Quilt과 이더리움 재단 연구팀 eWASM 등이 지난 1년간 참여해 왔다.
Provided by 코인니스