연구 및 개발

이더리움 재단 정형 검증 팀이 Yukon 및 zkSecurity와 협력하여 구축한 개방형 자동 연구(autoresearch) 챌린지인 better.codes가 출시되었습니다. better.codes는 Lean으로 정형화된 Proximity Prize 연구의 독립적인 문제를 가져와, 누구나 발전시킬 수 있는 공개 리더보드에 그 건전성 한계(soundness bound)를 게시합니다. 솔버는 최신 간결한 비대화형 증명 시스템(SNARK)을 발전시키기 위한 리드-솔로몬(Reed-Solomon) 근접성 문제인 koalaIRS12의 기계 검증 건전성 한계를 높이는 데 자체 AI 에이전트를 투입합니다. Lean 커널은 모든 제출물을 검사하며, 승격된 각 증명은 고정된 128비트 목표를 향해 한계를 높입니다. 그런 다음 승격된 각 증명의 새로운 보조정리(lemma), 증명 기법 및 불가능성 결과가 업스트림에 반영되어 모든 솔버와 에이전트의 진행을 앞당깁니다.

이더리움 재단의 프로토콜 보안 팀이 실제 프로토콜 코드에 대해 조정된 AI 에이전트를 실행한 경험을 정리한 노트입니다. 여기에는 작업 구성 방식, 정밀 조사에도 견뎌내는 요소, 클라이언트 팀과 보안 연구원들이 얻을 수 있는 시사점이 포함되어 있습니다. 이 글은 독립적인 내용을 다루며, 개별 클라이언트에 대한 더 깊은 내용은 향후 게시물에서 다룰 예정입니다.

최근 노르웨이 스발바르(Svalbard)에서 다양한 클라이언트 팀의 이더리움 코어 개발자들이 모이는 반정기적인 모임인 인터옵(interop)이 열렸습니다. 일주일간 진행된 이 행사에서 팀들은 다음 업그레이드인 글램스테르담을 위한 강화 및 준비에 집중했습니다. 이번 주 동안 다음과 같은 몇 가지 중요한 마일스톤이 달성되었습니다: 200M 가스 한도 하한선 설정: ePBS, BAL 최적화 및 EIP-8037 가격 재조정(repricing)의 융합을 통해 도출된 신뢰할 수 있는 글램스테르담 이후의 목표입니다. ePBS 안정화: 외부 빌더 파이프라인과 함께 실행되는 다중 클라이언트 글램스테르담 데브넷이 거의 모든 클라이언트에서 엔드투엔드(end-to-end)로 테스트되었습니다. 완결된 EIP-8037: 고정된 cost\per\state\_byte가 채택되었으며, 금요일까지 bal-devnet-6에서 전체 가격 재조정 수치가 전달되었습니다. 헤고타(Hegotá) 기반 마련: FOCIL 프로토타입이 정상 작동하며, 네이티브 AA 요구 사항이 범위로 지정되었습니다. 다중 클라이언트 데브넷이 바로 다음 단계입니다. 이번 인터옵은 또한 이더리움 재단 프로토콜 클러스터의 리더십 전환의 시작을 알렸습니다. 새로운 클러스터

지난주, 100명이 넘는 이더리움 핵심 기여자(core contributor)들이 북극권 위 스발바르 제도의 롱이어비엔(Longyearbyen)에 모여 솔되근 인터옵(Soldøgn Interop)을 진행했습니다. 이는 글램스테르담 네트워크 업그레이드를 위해 일주일간 집중적으로 진행된 작업이었습니다. 솔되근은 작년의 베를린터옵(Berlinterop)에 이어 진행되었지만, 암포라(Amphora) 🏺, 에델바이스(Edelweiss) 🏔️, 뇨타(Nyota) ✨에서 사용된 형식으로 돌아갔습니다. 즉, 특정 업그레이드(이번 경우에는 글램스테르담 강화)를 향해 다중 클라이언트(multi-client)가 집중적으로 진전을 이루는 단일 트랙(single-track) 주간이었습니다. 금요일까지 이 그룹은 세 가지 핵심 목표를 달성했습니다. 글램스테르담 이후 가스 한도 하한선 2억(200M) 설정에 대한 합의, 외부 빌더와 함께 실행되는 안정적인 ePBS 구현, 그리고 최종 EIP-8037 가격 재조정(repricing) 수치 확정이 그것입니다. 또한 FOCIL 및 네이티브 계정 추상화와 같은 헤고타(Hegotá) 기능과 기타 다양한 주제에 대해서도 의미 있는 진전이 있었습니다.

몇 달 전, 저희는 프로토콜이 세 가지 전략적 이니셔티브인 L1 확장, 블롭 확장, UX 개선에 새롭게 집중할 것을 발표했습니다. 이전에 L1 확장 및 블롭 확장에 대한 업데이트에 이어, 이번 글은 "UX 개선" 분야와 그 임무에 관한 내용입니다. 개인과 기관을 위해 이더리움 생태계 전반에 걸쳐 원활하고 안전하며 무허가형(permissionless) 경험을 제공합니다. 저희는 공공의 핵심 이더리움 R&D 그룹으로서, 상호운용성 및 이 글에서 소개하는 관련 프로젝트들이 향후 6-12개월 동안 더 넓은 UX 영역 내에서 가장 큰 영향력을 발휘할 수 있는 기회라고 생각합니다. 단기 전략은 상호운용성의 기본 구성 요소로 계속 남을 것이라 믿는 분야인 의도(Intent) 기반 아키텍처와 일반 메시지 전달에 초점을 맞춥니다. 두 분야 모두에서 저희의 목표는 명확하고 측정 가능한 프로토콜 지표에 집중하여 지연 시간과 비용을 줄이는 동시에 보안과 무신뢰성(trustlessness)을 높이는 것입니다. 이러한 지표에는 작업당 서명 수, 포함 시간(time-to-inclusion), 빠른 확인 시간(time-to-fast-confirmation), 완결성

곧 출금할 수 있습니다! 샤펠라 네트워크 업그레이드는 2023년 4월 12일 22:27:35 UTC로 예정된 에폭 194048에 이더리움 네트워크에서 활성화됩니다. 스테이커 및 노드 운영자는 이 게시물과 출금 FAQ를 읽어보시기 바랍니다. 오늘부터 4월 5일까지 샤펠라 취약점에 대한 이더리움 버그 바운티 보상금을 두 배로 늘립니다. 지금 이와 같은 업그레이드 공지에 대한 이메일을 수신하도록 신청할 수 있습니다. 페이지 하단으로 스크롤하여 확인하세요 📩. Goerli 전환이 순조롭게 진행된 후 고객 팀은 메인넷 활성화를 위한 샤펠라 업그레이드를 예약했습니다. 합의는 4월 12일에 열린 제157차 올코어개발자 실행 계층 회의에서 빠르게 도달했습니다. 이번 업그레이드는 병합에 이은 것으로, 검증자가 비콘 체인에서 자신의 스테이크를 다시 실행 계층으로 출금할 수 있게 지원합니다. 또한 아래에 설명된 실행 계층과 합의 계층 모두에 새로운 기능이 도입되었습니다.