이더리움 클라이언트 신뢰 기반 줄일 검증 경로 5가지

이더리움 클라이언트의 신뢰 컴퓨팅 기반(TCB)을 줄이기 위한 형식 검증 설계와 구현 경로 5가지가 공개됐다. 조지 카디아나키스(George Kadianakis) 이더리움재단 멤버와 케브 웨더번(Kev Wedderburn) 이더리움재단 멤버는 25일 이더리움 연구 포럼에 관련 글을 게시했다. 형식 검증으로 이더리움 클라이언트의 신뢰 대상 범위를 줄이는 방안을 설명했다. TCB는 검증된 대상이 아니라 신뢰를 전제로 사용하는 구성 요소와 규격, 도구, 가정을 뜻한다. 형식 검증이 TCB를 완전히 없애지는 못하지만 사람이 직접 신뢰해야 하는 범위를 줄일 수 있다는 것이 글의 출발점이다. 연구진은 추상화한 클라이언트를 여러 모듈로 나눠 각 모듈의…