링크복사
공유
댓글
추천
스크랩
인쇄
글자크기
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개
뉴스
리서치
코인정보
라운지
커뮤니티
매체소개
고객센터
![[팟캐스트 Ep.62] Trusta.AI, AI와 사람이 함께 만드는 새로운 디지털 신뢰](https://f1.tokenpost.kr/2025/07/esh4thjgeu.jpg)
![[Episode 12] IXO™2024 참여하고, 2억원 상당 에어드랍 받자!](https://f1.tokenpost.kr/2024/03/bk2tc5rpf6.png)
![[Episode 11] 코인이지(CoinEasy) 에어드랍](https://f1.tokenpost.kr/2024/02/g0nu4cmps6.png)
![[Episode 8] Alaya 커뮤니티 입장하고, $AGT 받자!](https://f1.tokenpost.kr/2023/10/0evqvn0brd.png)
![[Episode 6] 아트테크 하고, 에어드랍 받자!](https://f1.tokenpost.kr/2023/08/3b7hm5n6wf.jpg)
![[토큰포스트] 기사 퀴즈 370회차](https://f1.tokenpost.kr/2025/07/rr9cyfq9ws.png)
![[토큰포스트] 기사 퀴즈 369회차](https://f1.tokenpost.kr/2025/07/h3l4w2jpaq.png)
![[토큰포스트] 기사 퀴즈 368회차](https://f1.tokenpost.kr/2025/07/kdme3ucrqz.png)
![[토큰포스트] 기사 퀴즈 367회차](https://f1.tokenpost.kr/2025/07/mg5ynz96s9.png)
