토픽

맨위로 가기
  • 공유 공유
  • 댓글 댓글
  • 추천 추천
  • 스크랩 스크랩
  • 인쇄 인쇄
  • 글자크기 글자크기
링크 복사 완료 링크가 복사되었습니다.

ETH 코어 개발자 "ETH 2.0 '담보 컨트랙트' 바이트코드 검증 완료"

프로필
Coinness 기자
댓글 0
좋아요 비화설화 0

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

Provided by 코인니스

<저작권자 ⓒ TokenPost, 무단전재 및 재배포 금지>

많이 본 기사

댓글

댓글

0

추천

0

스크랩

스크랩

데일리 스탬프

0

말풍선 꼬리

매일 스탬프를 찍을 수 있어요!

데일리 스탬프를 찍은 회원이 없습니다.
첫 스탬프를 찍어 보세요!

댓글 0

댓글 문구 추천

좋은기사 감사해요 후속기사 원해요 탁월한 분석이에요

0/1000

댓글 문구 추천

좋은기사 감사해요 후속기사 원해요 탁월한 분석이에요
1