“가족 묶고 3시간 공포”… 프랑스서 IT 직원 집 침입해 크립토 강탈
서클 비트코인 연동 토큰, 아크 대출시장 연결
‘클래리티법’ 상원 무산되자… 미 크립토 업계, 정치권 표적 저격 재개
이더리움 12초 슬롯 8초 단축안…차익거래 손실 18%는 추정치
[속보] 비트코인 8만5000달러대 하락
앱 하나로 IPO 청약 신청… 코인베이스, 월가 발행시장 판 흔든다
9월 들어 이더리움 선물 미결제약정 37% 증가…바이낸스 9개월 고점
비트코인 ETF, 4억3303만달러 유입에 주간 순유입 전환
비트코인 8만6000달러 터치…ETF 자금 흐름은 약세
파이코인 4.26% 반등…0.095달러는 조건부 기술 시나리오
“가족 묶고 3시간 공포”… 프랑스서 IT 직원 집 침입해 크립토 강탈
서클 비트코인 연동 토큰, 아크 대출시장 연결
‘클래리티법’ 상원 무산되자… 미 크립토 업계, 정치권 표적 저격 재개
이더리움 12초 슬롯 8초 단축안…차익거래 손실 18%는 추정치
[속보] 비트코인 8만5000달러대 하락
앱 하나로 IPO 청약 신청… 코인베이스, 월가 발행시장 판 흔든다
9월 들어 이더리움 선물 미결제약정 37% 증가…바이낸스 9개월 고점
비트코인 ETF, 4억3303만달러 유입에 주간 순유입 전환
비트코인 8만6000달러 터치…ETF 자금 흐름은 약세
파이코인 4.26% 반등…0.095달러는 조건부 기술 시나리오
이더리움(ETH) 연구팀이 린 4(Lean 4)로 Fulu·Gloas·Heze 업그레이드의 합의 규격을 구현하고 수학적으로 검증하는 프로젝트를 추진하고 있다. 여러 클라이언트가 같은 규격을 다르게 해석해 체인이 갈라지는 위험을 줄이려는 작업이다. 이더리움 프로토콜 펠로십(EPF)과 인비저블 가든(Invisible Garden) 연구팀은 21일 이더리움 리서치 포럼 게시글을 통해 프로젝트 ‘Etheorem’의 진행 상황을 공개했다. Etheorem은 정리 증명 언어인 린 4로 이더리움 합의 규격을 실행 가능한 형태로 구현하고, 코드 테스트를 넘어 핵심 논리를 수학적으로 검증하는 것을 목표로 한다. 이더리움은 여러 개발팀이 만든 합의 클라이언트를 함께 사용하는... 더보기
이 글은 토큰포스트가 공개한 요약이며, 기사 전문과 저작권은 해당 언론사에 있습니다. 전체 내용은 아래에서 확인하세요.
원문 전체 보기 →