# 이더리움 데일리 리서치 리포트 \(2026\-07\-22\)

> 기간: 2026-07-21T15:00:00+00:00 ~ 2026-07-22T15:00:00+00:00

## 핵심 요약

- EIP\-8141\(계정 추상화/프레임 관련 사양으로 추정\)에 대한 세 건의 연속 업데이트가 발생해 스토리지 리펀드 계산, P256 서명 정규화, VERIFY 프레임의 원자적 배치 제외 등 세부 규칙이 다듬어졌다\.
- Fast Confirmation Rule\(FCR\) \#12 미팅 안건에 consensus\-specs PR과 'post\-Gloas' 관련 논의가 추가되어, FCR이 향후 포크 이후 시점까지 고려되고 있음을 시사한다\.
- Encrypt the Mempool 워킹그룹은 키 공개\(key\-reveal\) 선택성 문제를 해결하기 위해 Silent One\-Shot 임계 암호화 등의 아이디어를 브레인스토밍할 예정이다\.
- 리서치 포럼에서는 Contract Deactivation, Gas Station Network\(ERC\-1613\) 재논의, Security Manifests\(사전 멤풀 검증\) 등 신규/재논의 제안이 다수 게시되었다\.
- 생태계 측에서는 Vitalik이 Lean/HOL로 컴파일되는 사람 친화적 정의·정리 표현 언어 아이디어를 제시했고, Lido는 Aave 공급 한도 상향과 함께 PT\-srUSDe 루프 기반 EarnUSD 신규 전략을 공개했다\.

## 생태계 및 커뮤니티 동향

프로토콜 연구자와 대형 프로토콜\(Lido, Uniswap, Ethereum Foundation\)의 커뮤니티 활동이 동시에 포착되었다\. 순수 프로토콜 개발과는 별개로 DeFi 수익 전략과 교육 콘텐츠가 활발히 공유되었다\.

### Vitalik, Lean/HOL 컴파일용 '사람 친화적' 정의·정리 언어 구상 제시

Vitalik Buterin은 증명 자체가 아니라 정의와 정리를 사람이 읽기 쉽게 표현하는 데 특화된 고수준 언어가 Lean이나 HOL 같은 정형 검증 도구로 컴파일되는 방식이 시도해볼 만하다고 제안했다\. 이는 형식 검증\(formal verification\) 접근성을 높이려는 연구 방향성을 보여주며, 향후 프로토콜 사양의 정형 명세 작업과 연계될 가능성이 있다\.

근거: [A new type of "high-level programming language" that seems really worth trying to make, is a language that gets compiled to Lean (or HOL, or...) that is specifically about making it as friendly as possible for a human to read definitions and theorems.

Not the proofs - as all](https://x.com/VitalikButerin/status/2079582483243245850)

### Ethereum Foundation, Uniswap Auctions 주제로 Builders Live 진행 예고

Ethereum Foundation은 Uniswap 프로토콜 엔지니어와 함께 UniswapAuctions의 투명한 시장 기반 가격 발견 메커니즘, 과거 런칭 사례 리뷰, 설정 방법을 다루는 라이브 세션을 예고했다\. 애플리케이션 레이어 툴링에 대한 교육적 접근으로, 프로토콜 코어 개발과는 별개의 생태계 확산 활동이다\.

근거: [Tomorrow at 4pm UTC

Ethereum Builders Live with @jchaskin22 and @ericzhong, Protocol Engineer at @Uniswap

We'll explore @UniswapAuctions, how they enable transparent, market-driven price discovery, review past launches, and walk through setting one up. https://t.co/CLfTTOELTt](https://x.com/ethereumfndn/status/2079627119315816532)

### Lido, PT\-srUSDe 루프 기반 신규 EarnUSD 전략 및 Aave 공급 한도 상향

Lido는 Pendle 기반 PT\(고정 수익 토큰\)를 Strata Markets의 senior sUSDe 트랜치\(srUSDe\)에 적용하고, Aave 대출과 Twyne의 레버리지 부스트를 결합한 루프 전략을 EarnUSD에 신규 편입했다고 발표했다\. 이를 위해 Aave 공급 한도를 상향 조정했으며, 실시간 리스크 관리와 투명한 전략 선택 UI를 강조했다\. DeFi 수익 전략의 복잡성이 다층 프로토콜 조합\(Pendle\+Aave\+Twyne\+Strata\)으로 계속 심화되고 있음을 보여준다\.

근거: [New EarnUSD strategy allocation: PT-srUSDe loops 🔁

Fixed-yield PT on @strata_markets senior sUSDe tranche (srUSDe), looped on @aave, with boosted leverage via @twynexyz.

Powered by @pendle_fi.

Fixed rate on top. First-loss capital underneath. https://t.co/Uqkf796pSx](https://x.com/lidofinance/status/2079938854270759233), [The Aave supply cap has been raised to accommodate the new strategy, providing users with higher caps and fresh room for allocations.](https://x.com/lidofinance/status/2079938857043128669), [Access USD-based reward strategies with transparent strategy selection, real-time risk controls and clear reporting.

All in just a few clicks.

https://t.co/gYZHTOYvCl https://t.co/TKo9xJNjUN](https://x.com/lidofinance/status/2079938859773669765)

## 연구 제안 및 포럼 논의

이더리움 매지션스와 ethresear\.ch에 다양한 신규·재논의 제안이 게시되었다\. 컨트랙트 생명주기 관리, 가스 대납 표준 재검토, 프록시 패턴, 사전 멤풀 보안 검증 등 스마트 컨트랙트 계층의 이슈가 다수를 차지했다\.

### 'Contract Deactivation' 제안 게시

컨트랙트를 비활성화하는 프로토콜 레벨 메커니즘에 대한 새로운 제안이 이더리움 매지션스에 올라왔다\. 구체적 내용은 발췌에 포함되지 않았으나, 컨트랙트 생명주기 관리\(예: 상태 축소, 스토리지 정리\)와 연관된 논의로 추정된다\.

근거: [Contract Deactivation](https://ethereum-magicians.org/t/contract-deactivation/29049)

### ERC\-1613 \(Gas Station Network\) 재논의

과거 제안된 ERC\-1613 가스 대납 네트워크 표준에 대한 스레드가 다시 열렸다\. 앞선 EIP Editing Office Hour 안건\(\#107\)에서도 ERC\-1613을 Draft 또는 Withdrawn 상태로 전환할지 논의된 바 있어, 오래된 표준의 상태 정리 작업과 맞물려 있다\.

근거: [ERC-1613: Gas station network](https://ethereum-magicians.org/t/erc-1613-gas-station-network/29051)

### Cento Proxy: 인덱스 기반 멀티 파셧 프록시 제안

새로운 ERC 초안으로 인덱스 기반의 멀티 파셧\(multi\-facet\) 프록시 패턴이 제시되었다\. 디스패치 효율성이나 업그레이드 가능성 향상을 목표로 하는 프록시 설계 개선 시도로 보인다\.

근거: [ERC-XXXX: Cento Proxy – Index-Based Multi-Facet Proxy](https://ethereum-magicians.org/t/erc-xxxx-cento-proxy-index-based-multi-facet-proxy/29054)

### 사전 멤풀 검증\(Security Manifests\)을 통한 프로토콜 레벨 불변식 보호 아이디어

스마트 컨트랙트의 불변식\(invariant\)을 멤풀 단계에서 사전 검증하는 'Security Manifests' 개념의 초안 아이디어가 게시되었다\. 트랜잭션이 체인에 포함되기 전에 보안 위반을 걸러내려는 접근으로, 온체인 보안 사고 예방을 위한 프로토콜 차원의 논의가 확장되고 있음을 보여준다\.

근거: [\[Idea/Draft\] Protocol-Level Smart Contract Invariant Protection via Pre-Mempool Validation (Security Manifests)](https://ethereum-magicians.org/t/idea-draft-protocol-level-smart-contract-invariant-protection-via-pre-mempool-validation-security-manifests/29056)

### 블록체인·DeFi·AI 관련 논문 공모\(Call for Papers\)

ethresear\.ch에 블록체인, DeFi, AI를 주제로 한 학술 논문 공모 안내가 게시되어, 학계와 연구 커뮤니티의 관심 확장을 유도하고 있다\.

근거: [Call for Papers: Blockchain, DeFi, and AI](https://ethresear.ch/t/call-for-papers-blockchain-defi-and-ai/25496)

## 프로토콜 미팅 및 워킹그룹 일정

EIP 편집, Fast Confirmation Rule, Encrypt the Mempool, SSZ Engine API, Post\-Quantum Interop 등 다수의 정기 워킹그룹 미팅이 예정되어 있으며, 일부는 안건이 구체화\(consensus\-specs PR 추가, post\-Gloas 논의 등\)되었다\.

### EIP Editing Office Hour \#107 개최

EIP/ERC 편집 미팅에서 ACD 관련 PR\(\#11869, \#11922\) 검토, Glamsterdam 관련 EIP들의 Review 단계 승격\(\#11882, \#11879\), ERC\-1613의 Draft/Withdrawn 상태 전환 등이 논의 안건으로 포함됐다\. EIP 상태 관리와 Glamsterdam 포크 준비 작업이 동시에 진행되고 있음을 보여준다\.

근거: [EIP Editing Office Hour (EIP + ERC ) Meeting #107, July 21, 2026](https://github.com/ethereum/pm/issues/2160)

### Fast Confirmation Rule \(FCR\) \#12 미팅 예정, post\-Gloas 논의 추가

8월 4일 예정된 FCR 미팅 안건에 클라이언트 업데이트, 퍼징, safeBlockHash 처리 로직 외에 consensus\-specs PR \#5449와 'Fast confirmation post\-Gloas' 항목이 추가되었다\. 이는 FCR이 Gloas 포크 이후에도 지속적으로 다뤄질 로드맵 항목으로 자리잡고 있음을 시사한다\.

근거: [Fast Confirmation Rule (FCR) #12, August 4, 2026](https://github.com/ethereum/pm/issues/2167), [Fast Confirmation Rule (FCR) #12, August 4, 2026](https://ethereum-magicians.org/t/fast-confirmation-rule-fcr-12-august-4-2026/29050), [Fast Confirmation Rule (FCR) #12, August 4, 2026](https://github.com/ethereum/pm/issues/2167), [Fast Confirmation Rule (FCR) #12, August 4, 2026](https://github.com/ethereum/pm/issues/2167)

### Encrypt the Mempool \#7: 키 공개 선택성 문제 브레인스토밍

7월 22일 미팅에서는 암호화된 멤풀 설계의 핵심 난제인 '전송자에 의한 키 공개 선택성\(reveal optionality\)'을 제거할 방법을 논의한다\. Silent, One\-Shot 임계 암호화 기법을 키 공개에 대한 합의 확보에 활용할 수 있는지가 주요 안건으로 제시됐다\.

근거: [Encrypt The Mempool #7, July 22, 2026](https://github.com/ethereum/pm/issues/2165)

### SSZ Engine API 콜 \#3 예정

7월 24일 미팅에서는 엔진 포트에 노출된 non\-engine 메서드 처리 문제를 마무리하고, top\-up sync를 EIP로 제안할지 여부를 논의할 예정이다\.

근거: [SSZ engine api call 3, July 24, 2026](https://ethereum-magicians.org/t/ssz-engine-api-call-3-july-24-2026/29060), [SSZ engine api call 3, July 24, 2026](https://github.com/ethereum/pm/issues/2168)

### Post\-Quantum \(PQ\) Interop \#48 미팅

devnet 이슈와 flock/leanVM\-b 관련 사항을 다루는 PQ Interop 주간 미팅이 7월 22일 예정되어 있어, 양자 내성 암호 관련 상호운용성 테스트가 지속되고 있음을 보여준다\.

근거: [Post-Quantum (PQ) Interop #48, July 22, 2026](https://ethereum-magicians.org/t/post-quantum-pq-interop-48-july-22-2026/29061), [Post-Quantum (PQ) Interop #48, July 22, 2026](https://github.com/ethereum/pm/issues/2169)

## EIP 사양 업데이트

EIP\-8141에 대한 세부 사양이 연속적으로 다듬어졌고, EIP\-7979, EIP\-8173, EIP\-8297에도 소규모 업데이트가 병합되었다\.

### EIP\-8141 사양 세 건 연속 병합: 리펀드 회계, P256 서명 정규화, VERIFY 프레임 제외

EIP\-8141에 대해 \(1\) EIP\-3529 스토리지 리펀드를 프레임 단위 및 트랜잭션 단위로 명시하고 리펀드 캡·카운터 저널링·프레임 가스 계산을 고정하는 업데이트, \(2\) P256VERIFY가 high\-s 서명을 허용하므로 서명자가 정규화해야 함을 명시하며 low\-s 정규성을 규정하는 업데이트, \(3\) VERIFY 프레임을 원자적 배치\(atomic batch\)에서 정적으로 제외하는 업데이트가 잇따라 병합됐다\. 짧은 시간 내 세 차례의 세부 조정이 이루어진 것으로 보아 EIP\-8141이 리뷰 후반 단계에서 세밀한 엣지 케이스 정비 작업을 거치고 있는 것으로 판단된다\.

근거: [Update EIP-8141: specify EIP-3529 storage refund accounting for frames (#11940)](https://github.com/ethereum/EIPs/commit/39f6bb8984635239a3ba63adca780b2c982621d3), [Update EIP-8141: pin the P256 signature canonicality (low-s) (#11984)](https://github.com/ethereum/EIPs/commit/2f4600c1672eded7d1f9bd2344d74acc7fa05064), [Update EIP-8141: statically exclude VERIFY frames from atomic batches](https://github.com/ethereum/EIPs/commit/a95ff54255d8dcaded6c92ff16e5e8f699defb01)

### EIP\-7979: AI 지원 관련 노트 업데이트

EIP\-7979 문서에서 AI 어시스턴스 사용에 대한 안내 문구가 갱신되었다\. EIP 작성 과정에서 AI 활용에 대한 투명성 요구가 반영된 것으로 보인다\.

근거: [Update EIP-7979: Update note on AI assistance](https://github.com/ethereum/EIPs/commit/8e1e8399134b9f41ce4fa69faa9520052450f6ec)

### EIP\-8173: 명확성 및 일관성 개선

EIP\-8173 문서의 표현을 다듬어 가독성과 논리적 일관성을 높이는 편집성 업데이트가 병합됐다\.

근거: [Update EIP-8173: clarity and coherence](https://github.com/ethereum/EIPs/commit/ed90fa59a6a6d29d78e9c7da28f40a405b2255f1)

### EIP\-8297 문서 업데이트

EIP\-8297\.md 파일에 대한 업데이트가 병합됐으며, 구체적 변경 내용은 커밋 메시지에 명시되지 않았다\.

근거: [Update EIP-8297: Update EIP-8297.md](https://github.com/ethereum/EIPs/commit/3dd83967d8cda1310c450fd65c48c119ab2da323)

## 다음 관찰 포인트

- EIP\-8141의 리뷰 진행 상황: 리펀드 회계, P256 정규화, VERIFY 프레임 배치 제외 규정이 최종 확정으로 이어지는지 확인 필요
- FCR의 'post\-Gloas' 처리 방향과 consensus\-specs PR \#5449의 병합 여부
- Encrypt the Mempool의 키 공개 선택성 해법으로 Silent One\-Shot 임계 암호화가 채택될지 여부
- SSZ Engine API의 top\-up sync가 정식 EIP로 발전하는지 여부
- ERC\-1613 Gas Station Network의 상태\(Draft/Withdrawn\) 최종 결정
- Contract Deactivation 및 Security Manifests 제안의 후속 논의 및 구체화 여부