이더리움 데일리 리서치 리포트 (2026-08-06)

기간: 2026-08-05T15:00:00+00:00 ~ 2026-08-06T15:00:00+00:00

핵심 요약

• Lido DAO가 NEST 자동 바이백 메커니즘 온체인 투표를 개시했으며 BORG 이사진 선임 투표도 병행 진행 중, 두 투표 모두 8월 초 마감을 앞두고 있음
• Vyper/Sequent 진영에서 AI 시대의 formal verification 필요성을 강조하는 장문 스레드가 공개되어 스마트컨트랙트 보안 담론이 확산됨
• Ethereum Magicians·ethresearch에 계정 헤더 구조, 가스 미터링, Native ETH ERC-20화 등 다수의 신규 EIP 초안이 동시에 등록되며 프로토콜 설계 논의가 활발함
• AO 해시 함수(Ashlar)의 암호분석 요청과 Poseidon 해시의 보안성에 대한 반박 게시글이 같은 날 올라오며 온체인 해시 함수 안전성 논쟁이 촉발됨
• ACDC #184 회의에서 DevNet 8 출시 준비, EIP-8061 SFI 결정, Glamsterdam 퍼블릭 테스트넷 9월 목표 등 로드맵 핵심 이슈가 논의됨
• EIP-8297/8347 delegation indicator 헤더 반영 등 코어 EIP 사양이 다수 병합되며 계정 어카운트 구조 관련 스펙이 정교화되고 있음

Lido 거버넌스 투표 및 Vyper Formal Verification 담론

Lido DAO는 프로토콜 성과와 LDO 토큰을 연동하는 NEST 자동 바이백 메커니즘에 대한 온체인 투표를 시작했으며, 동시에 Alliance BORG 신규 이사 선임 투표도 Snapshot에서 진행 중이다. 한편 이더리움 재단 계정을 통해 Vyper 리드 개발자가 AI 시대 formal verification의 중요성과 한계를 설명하는 8부작 스레드를 게시했다.

Lido NEST 자동 바이백 온체인 투표 개시 및 BORG 이사 선임 투표 병행

NEST는 지난 5월 Snapshot에서 설계와 파라미터가 승인된 메커니즘으로, 프로토콜 성과와 LDO를 온체인으로 연동하는 규칙 기반 자동 바이백 장치다. 메인 투표 창구는 8월 5일부터 8일 14시 UTC까지이며, 별도로 Alliance BORG의 신규 이사(Bryce Howarth) 선임 투표는 8월 10일 16시 UTC까지 Snapshot에서 별도로 진행된다. 두 투표 모두 Lido 거버넌스 구조의 실질적 집행력을 보여주는 사례로, 통과 여부에 따라 LDO 토큰이코노미와 거버넌스 조직 구성에 직접적 영향을 미칠 것으로 보인다.

근거: [Lido DAO Governance Update

The on-chain vote for NEST: Automated Buybacks is live.

Voting window (main phase): Aug 5 → 8, 2PM UTC

Vote here: https://t.co/D2qo7mO5Ku https://t.co/u7aFdqpRfx](https://x.com/lidofinance/status/2085020923455820253), [NEST is an automated, rule-based mechanism that creates an on-chain link between Lido protocol performance and LDO.

Design and parameters were approved in a Snapshot vote in May.

Latest updates can be found here: https://t.co/xqHlxmGvrY https://t.co/Z5DHViK1sD](https://x.com/lidofinance/status/2085020927578808564), [Also live on Snapshot:

Lido Alliance BORG Update: Appointment of Bryce Howarth as a new director.

Vote active until Mon, Aug 10, 16:00 UTC

More information here: https://t.co/ViVQmdC5F3 https://t.co/Mhjbm9Ou1Y](https://x.com/lidofinance/status/2085020931454353645)

Vyper·Sequent, AI 시대 Formal Verification 필요성 강조 스레드

이더리움 공식 계정을 통해 게시된 8부작 스레드는 formal verification을 '프로그램의 모든 실행경로에 대한 수학적 증명'으로 정의하고, AI(LLM)의 발전으로 코드의 형식 모델 변환과 증명 작업이 과거보다 훨씬 용이해졌다고 주장한다. 동시에 AI가 취약점(0-day) 발견 능력도 향상시키고 있어 방어적 측면에서 formal verification의 중요성이 커진다는 논리를 제시했다. 다만 형식화(formalization) 과정에서 발생하는 부정확성이 증명의 신뢰성을 저해할 수 있다는 한계도 함께 언급했다. Vyper는 언어·컴파일러의 바이트코드 수준 정합성 검증에, Sequent는 AI-인간 협업 증명 인프라 구축에 formal verification을 활용하겠다는 방향을 제시했다.

근거: [0/ As AI systems become more powerful, formal verification – which is the discipline of using mathematics to prove computer programs correct – shows more and more promise.

A guest thread by @big_tech_sux, lead developer of @vyperlang 🧵 https://t.co/3T6H76AVrL](https://x.com/ethereum/status/2085035741717872926), [1/ First of all, what is formal verification? Formal verification proves properties about your program through all execution paths through the program.

For example, f(x) = x/2 can never return an output which is larger than the input. You can see this, and formal verification https://t.co/qPUEx9a](https://x.com/ethereum/status/2085035744372920621), [2/ Sounds amazing, right? It is!

And formal verification can catch 1 in 1 quadrillion edge cases which would never come up during testing – and that edge case is the case that can lead to catastrophic failure. https://t.co/kWYCM49zRq](https://x.com/ethereum/status/2085035746658808276), [3/ The only catch is that it’s hard – you used to need a team of experts to a) translate your code to a formal model and b) actually do the proofs.

Now that LLMs are rapidly approaching AGI (Claude Fable casually proved the Jacobian conjecture false after being an open problem https://t.co/1hTZd5](https://x.com/ethereum/status/2085035749003403305), [4/ That being said, formal verification is still pretty hard, even with AI assistance. Doing the proofs is expensive. And formalization (translating code to a formal model) can lead to inaccuracies which affect the correctness of the proofs.

This translation step in particular https://t.co/uN8ozuBe](https://x.com/ethereum/status/2085035750748209163), [5/ Why is formal verification becoming more important, now?

Besides being more feasible than before, it’s actually crucial to cybersecurity – advances in AI make it easier to produce exploits. For instance, an unreleased model at OpenAI recently discovered 0-day exploits to https://t.co/ITgfeCIdbO](https://x.com/ethereum/status/2085035753143157230), [6/ Beyond just cybersecurity, formal verification also ties together math and software.

Math and physics tell you the rules of what is possible; formal verification lets you build things that adhere to those rules.

For example you could specify “3d print me a structure which](https://x.com/ethereum/status/2085035755588468783), [7/ This is why two projects I am affiliated with, @vyperlang and @Sequent_Inc, are betting hard on formal verification.

Vyper is using formal verification to verify language and compiler correctness down to bytecode, and Sequent is building infrastructure for AI and humans to](https://x.com/ethereum/status/2085035757417165103)

신규 EIP 초안 다수 등록 및 암호학 안전성 논쟁

Ethereum Magicians와 ethresearch 포럼에 계정 구조·가스 미터링·Native ETH 처리 방식을 다루는 다수의 신규 EIP 초안이 동시다발적으로 게시됐다. 동시에 온체인 해시 함수의 암호학적 안전성을 둘러싼 논쟁(Poseidon 취약점 주장 vs Ashlar 신규 해시 제안)이 촉발되어 향후 검증 작업이 필요한 상황이다.

계정 헤더·가스 미터링 관련 신규 EIP 초안 클러스터

새 가스 리밋에 맞춘 CPSB(Contract-based Priority Storage Bound?) 재조정안(EIP-8368), FOCIL 자격을 위한 VOPS 프로필(EIP-8369), 은퇴한 BLS 검증자 잔액 정리(EIP-8367), 계정 변경에 대한 순가스 미터링(EIP-8358) 등 네 개의 초안이 하루 사이 연속 게시됐다. 이는 검증자 세트 관리와 가스 계산 방식을 정교화하려는 움직임으로, 이후 EIP-8368은 실제로 공식 EIP로 등록되며 논의가 초안 단계를 넘어 진행되고 있음을 보여준다.

근거: EIP-8368: CPSB Recalibration for New Gas Limit, EIP-8369: VOPS Profiles for FOCIL Eligibility, EIP-8367: Balance sunset for retired BLS validators, EIP-8358 Net Gas Metering for Account Changes, Add EIP: CPSB Recalibration for New Gas Limit

Native ETH를 ERC-20 시스템 컨트랙트로 취급하는 제안 2건

네이티브 ETH를 ERC-20 시스템 컨트랙트로 다루자는 초안과, 네이티브 ETH 연산에 대한 우대 가스 비용을 부여하자는 초안이 연이어 게시됐다. 두 제안은 서로 연계된 것으로 보이며, ETH 취급 방식을 토큰 표준과 정합시키는 동시에 네이티브 자산의 가스 우위를 유지하려는 설계 방향을 시사한다. 아직 피드백 수집 단계로 실제 스펙 반영 여부는 불확실하다.

근거: Native ETH as ERC-20 System Contract – Draft for feedback, Preferential Gas Costs for Native ETH Operations – Draft for feedback

AO 해시 암호분석 요청과 Poseidon 보안성 논쟁

제곱차수 엔진 기반의 신규 AO 해시 'Ashlar'가 암호분석을 요청하며 공개됐고, 온체인 가스 비용이 Poseidon(18,229 gas) 대비 낮은 14,232 gas라는 점을 앞세워 Ethereum Magicians에도 별도 스레드가 게시됐다. 같은 날 ethresearch에는 'Poseidon 해시가 이더리움에 안전하지 않다'는 주장의 게시글이 올라오며, 온체인에서 광범위하게 쓰이는 Poseidon의 보안성에 대한 공개적 문제 제기가 이루어졌다. 두 사안이 같은 시점에 겹치며 커뮤니티 차원의 해시 함수 재검토 필요성이 부각되는 모습이나, 현재는 초기 논쟁·검증 요청 단계로 결론은 나지 않았다.

근거: Ashlar: an AO hash from a squaring degree engine, and a request for cryptanalysis, Is there appetite for a cheaper on-chain AO hash? (Ashlar, 14,232 gas vs Poseidon's 18,229), Poseidon hash for Ethereum is NOT secure!

데이터 가용성 샘플링(DAS) 관련 연구 게시물

분산 블롭스페이스 재구성을 다루는 'RowDAS' EIP 초안과, LeanVM 기반의 양자내성(post-quantum) DAS 설계·벤치마크를 다룬 'PQ-DAS' 게시물이 각각 공개됐다. 둘 다 블롭 데이터의 확장성과 장기적 보안성(양자컴퓨터 대응)을 겨냥한 연구로, 로드맵상 데이터 가용성 계층 고도화 논의가 지속되고 있음을 보여준다.

근거: EIP - RowDAS: Distributed Blobspace Reconstruction, PQ-DAS from LeanVM: Design and Benchmark

ACDC #184 회의 및 EIP 편집 오피스아워 일정

올코어데브 컨센서스 콜(ACDC #184)에서 DevNet 8 출시 준비 상황과 Glamsterdam 퍼블릭 테스트넷 일정, EIP-8061 SFI 결정 등 핵심 로드맵 의제가 다뤄졌으며, 별도로 EIP 편집 오피스아워 일정도 8월 11일로 공지됐다.

ACDC #184: DevNet 8 준비, EIP-8061 SFI 결정, Glamsterdam 9월 테스트넷 목표

8월 6일 14시 UTC에 열린 ACDC #184 의제에는 DevNet-7 버그 리포트, Beacon API PR(#630) 병합 여부, Sparse Blob Pool(EIP-8070)의 Engine API 변경 적용 여부, DevNet 8 출시 준비 상태(스펙시트 완료, 8월 초 목표) 등이 포함됐다. 특히 EIP-8061(exit/consolidation churn 증가)은 ACDC #171부터 CFI(Considered for Inclusion)된 뒤 5월 28일부터 SFI(Scheduled for Inclusion) 결정이 지연되어 온 사안으로, 이번 회의에서 장기 보류 해소가 논의됐다. Glamsterdam 하드포크는 퍼블릭 테스트넷(=DevNet 8) 목표를 9월로 설정해 진행 중이며, 이번 회의는 그 일정의 온트랙 여부를 점검하는 자리였다.

근거: All Core Devs - Consensus (ACDC) #184, August 6 2026, All Core Devs - Consensus (ACDC) #184, August 6 2026

EIP 편집 오피스아워 #110 (8월 11일) 공지

EIP+ERC 편집 오피스아워 110회차가 8월 11일 16시 UTC로 예정됐다. 의제에는 여러 PR의 Review/Draft 단계 이동, ERC-1613의 Draft 또는 Withdrawn 처리 여부 등이 포함되어 있어, 다수의 대기 중인 EIP/ERC 문서가 이번 회의를 통해 상태 전환될 가능성이 있다.

근거: EIP Editing Office Hour (EIP + ERC ) Meeting #110, Aug 11, 2026

코어 EIP 사양 업데이트 및 병합 내역

EIP-Bot을 통해 계정 헤더 구조(delegation indicator), DFI 목록 편입, CPSB 재조정 등 다수의 EIP 문서 업데이트가 병합됐다.

EIP-8297/EIP-8347: 위임 지표(delegation indicator) 계정 헤더 반영

EIP-8297은 위임 지표를 계정 헤더에 저장하도록 업데이트됐고, 이어 헤더 예약 필드에 대한 소규모 설명이 추가됐다. 관련하여 EIP-8347은 위임 지표가 헤더 리프(leaf)임을 명시하는 방향으로 업데이트됐다. 두 EIP는 계정 추상화 관련 데이터 구조를 정교화하는 연속적 작업으로 보인다.

근거: Update EIP-8297: store delegation indicators in the account header, Update EIP-8297: Add a small note on reserved fields in the header, Update EIP-8347: delegation indicators are header leaves

EIP-8282 Review 단계 진입 및 EIP-7773/EIP-8081 목록 갱신

EIP-8282는 Review 단계로 이동했으며, EIP-7773은 DFI(Deferred for Inclusion) EIP 목록에 EIP-8254를 추가했다. 또한 EIP-8081은 EIP-8243을 포함 대상으로 제안하는 업데이트가 이루어졌다. 이들은 각기 다른 스펙 그룹의 상태 관리 작업으로, 세부 기술 변경보다는 문서 관리·분류 성격이 강하다.

근거: Update EIP-8282: Move to Review, Update EIP-7773: Add EIP-8254 to DFI EIPs, Update EIP-8081: Propose EIP-8243 for inclusion

CPSB Recalibration for New Gas Limit, 공식 EIP로 등록

Ethereum Magicians 포럼에서 논의되던 'CPSB Recalibration for New Gas Limit' 초안(EIP-8368)이 정식 EIP로 추가(Add EIP)되며 초안 논의 단계를 넘어 공식 트래킹 문서로 전환됐다. 이는 새 가스 리밋에 맞춘 파라미터 재조정 논의가 실제 스펙 프로세스에 진입했음을 보여준다.

근거: Add EIP: CPSB Recalibration for New Gas Limit

다음 관찰 포인트

• Lido NEST 자동 바이백 온체인 투표 결과 (8월 8일 14시 UTC 마감)
• Lido Alliance BORG 신규 이사 선임 Snapshot 투표 결과 (8월 10일 16시 UTC 마감)
• EIP 편집 오피스아워 #110 (8월 11일) 에서의 PR 상태 전환 여부
• ACDC #184 후속: EIP-8061 SFI 결정 확정 여부 및 DevNet 8 출시 시점
• Glamsterdam 하드포크 퍼블릭 테스트넷의 9월 목표 온트랙 여부
• Poseidon 해시 보안성 논쟁 및 Ashlar AO 해시 암호분석 결과 후속 진행
• Native ETH ERC-20 시스템 컨트랙트화 및 우대 가스비용 제안에 대한 커뮤니티 피드백