2026년 2분기에는 이더리움의 회복탄력성과 역량을 발전시키는 데 지속적으로 초점을 맞추어, 영지식 증명, 클라이언트 다양성, 정형 검증 및 오픈 소스 툴링 분야의 핵심 작업을 지원했습니다. 빌더들이 네트워크를 구축하고 강화함에 따라 이번 분기에 지원된 프로젝트 및 생태계 노력의 목록을 아래에서 확인하세요.
이더리움 재단(EF) 지원 프로젝트의 전체 목록은 여기 ESP 웹사이트에서 확인하세요!
| 도메인 | 카테고리 | 프로젝트명 | 설명 | 링크/저장소 |
|---|---|---|---|---|
| DAO/거버넌스 | 연구 | 교수진 연구 펠로우십: 이더리움 연구 (2025–2026 학년도) | Strnad 교수가 OpenLab 학자들을 지도하면서 DAO 거버넌스, 탈중앙화된 시스템 관리, 옵티미스틱 롤업 챌린지 기간 등 이더리움 중심의 문제에 상당한 연구 시간을 할애할 수 있도록 지원합니다. | |
| 보안 | 연구 | EL+CL 및 글램스테르담 보안 | 글램스테르담 업그레이드에 앞서 실행 계층 및 합의 레이어 클라이언트의 취약점을 선제적으로 식별하여 이더리움의 보안을 강화합니다. 이 연구는 네트워크의 회복탄력성을 강화합니다. | |
| 노드 및 클라이언트 | 애플리케이션 | 로드스타 2026 | 로드스타 합의 클라이언트를 개발 및 유지 관리하고, 하드 포크를 구현하며 프로토콜 연구에 기여합니다. 이는 TypeScript 및 Zig 이더리움 커뮤니티를 위한 운영자 UX 및 생태계 툴링을 지원합니다. | 링크 |
| 이더리움 프로토콜 | 애플리케이션 | 라이트하우스 - 2026년 5월~10월 | 라이트하우스 클라이언트 개발은 메인넷을 위한 ePBS, Gloas 및 부분 메시지 네트워킹과 함께 계속됩니다. 이 작업은 트리 동기화, Diamond 테스트 프레임워크 및 ZK 검증 합의를 확장합니다. 정형 검증 및 클라이언트 강화 노력도 진행됩니다. | 링크 |
| 암호학 | 개발자 툴링 | Poulpy PIR 툴링 | 프로덕션 수준의 Rust 기반 프라이빗 정보 검색(PIR) 라이브러리를 개발합니다. 이를 통해 최대 32GB의 키-값 데이터베이스에 대한 효율적인 일괄 처리 쿼리가 가능해지며, 상태를 요구하지 않고 서버 및 클라이언트 통신을 최적화합니다. | 링크 |
| 이더리움 프로토콜 | 개발자 툴링 | ETHeorem | 이더리움 합의 사양을 클라이언트 구현에 매핑하는 ETHeorem은 라이트하우스, 프리즘, 고 이더리움 (geth) 및 레스 전반에 걸쳐 체계적인 보안 평가를 가능하게 합니다. 이 에이전트 시스템은 풀스택 커버리지를 위해 LLM과 프로그램 분석을 결합합니다. | |
| 이더리움 프로토콜 | 애플리케이션 | Ream - Rust 기반 린 합의 클라이언트 | 빠른 완결성과 4초 슬롯을 갖춘 양자 내성(post-quantum-ready) 합의를 발전시키기 위해 Rust 기반 린 합의 클라이언트(Lean Consensus Client)인 Ream을 개발합니다. 이 갱신은 핵심 클라이언트 개발, 테스트 인프라 강화 및 데브넷을 10,000명의 검증자로 확장하는 것을 지원합니다. | 링크 |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 강력한 인센티브 그룹 | 경제적 인센티브와 참여자 행동을 모델링하여 프로토콜 게임 이론을 최적화하고, 네트워크 안정성과 효율성을 향상시킵니다. | |
| 애플리케이션 인프라 | 연구 | 이더리움 LLM 최적화 (Inseeq) | 최신 이더리움 개발 툴링 및 ethskills 데이터로 AI 모델을 향상시킵니다. 이는 LLM 정확도를 개선하고 구축할 블록체인을 찾는 개발자들에게 이더리움의 매력을 강화합니다. | 링크 |
| 암호학 | 연구 | 듀플렉스 스펀지(Duplex Sponges) 기반 Fiat-Shamir의 기술적 검토 | 듀플렉스 스펀지를 통해 인스턴스화된 Fiat-Shamir 변환의 보안 주장을 감사(audit)합니다. 이 작업은 향후 Lean 정형화를 지원하기 위한 핵심 추상화를 명확히 하여 영지식 증명 시스템을 강화합니다. | |
| 영지식 증명 | 연구 | Ethproofs 추가 하드웨어 - Brevis | Brevis는 실제 운영 회복탄력성을 스트레스 테스트하기 위해 온프레미스 다중 GPU 레이어 1 (l1) 블록 증명 스택을 구축하고 있습니다. 이 이니셔티브는 미래의 증명자를 위한 오픈 소스 온프레미스 운영 플레이북(On-Prem Ops Playbook)을 생성할 것입니다. | |
| 이더리움 프로토콜 | 생태계 개발 | ethp2p를 위한 quic-go 우선순위 | 이더리움의 합의 레이어 네트워킹을 뒷받침하는 Go QUIC 구현인 quic-go를 향상시킵니다. 이 작업은 go-libp2p의 성능, 전송 기능 및 연결 효율성을 개선합니다. | |
| 애플리케이션 인프라 | 개발자 툴링 | Web3j: 이더리움의 JVM 및 Android 통합 인프라 유지 | 지배적인 JVM 클라이언트 라이브러리인 Web3j를 다가오는 글램스테르담 하드 포크와 동기화 상태로 유지합니다. 이는 AI 대상 문서화와 함께 Java, Kotlin 및 Android 애플리케이션을 위한 지속적이고 원활한 통합을 보장합니다. | 링크 |
| 영지식 증명 | 연구 | Ethproofs 추가 하드웨어 - Succinct Labs | Succinct는 레이어 1 (l1) 블록 증명을 온프레미스 다중 GPU 설정으로 이전하고 있습니다. 이는 운영 회복탄력성을 스트레스 테스트하고 클라우드 의존도를 줄여, 미래의 증명자를 위한 오픈 소스 온프레미스 운영 플레이북을 생성할 것입니다. | |
| 영지식 증명 | 연구 | Ethproofs 추가 하드웨어 - SilentSig | ZisK가 레이어 1 (l1) 블록 증명 스택을 온프레미스 다중 GPU 구성으로 전환할 수 있도록 지원합니다. 이 이니셔티브는 중앙화된 클라우드 제공업체에 대한 생태계 의존도를 줄이기 위해 오픈 소스 온프레미스 운영 플레이북을 생성할 것입니다. | |
| 기타 | 생태계 개발 | 민다나오를 위한 블록체인 커리큘럼 강사 양성 프로그램 | 필리핀의 8개 학술 기관이 블록체인 커리큘럼을 개발할 수 있도록 지원합니다. 교수진이 강사가 될 수 있도록 지원하여 6일간의 프로그램을 통해 현지 이더리움 교육을 육성합니다. | |
| 애플리케이션 인프라 | 개발자 툴링 | mevlog-rs - Revm 기반 EVM 트랜잭션 쿼리 CLI/TUI | 온체인 데이터를 로컬 SQLite 데이터베이스로 인덱싱하여 TUI 및 MCP를 통해 액세스할 수 있습니다. 이 도구는 개발자 및 LLM 에이전트를 위해 유연한 로컬 쿼리 및 결과의 IPFS 공유를 가능하게 합니다. | 링크 |
| 이더리움 프로토콜 | 연구 | 트랜잭션 어서션(Transaction Assertions) | 사용자가 EIP-7906으로 서명하기 전에 트랜잭션 결과를 프로그래밍 방식으로 검증할 수 있도록 지원합니다. 여기에는 모든 스마트 컨트랙트에 대한 긍정적 및 부정적 조건이 포함되어 보안 및 사용자 제어를 향상시킵니다. | 링크 |
| 애플리케이션 계층 | 애플리케이션 | Steward, 온디바이스 AI 어시스턴트가 탑재된 자기 주권 이더리움 지갑 | 완전히 로컬로 작동하는 macOS 이더리움 스마트 계정 지갑인 Steward를 구축합니다. 경량 클라이언트부터 AI 어시스턴트에 이르기까지 모든 구성 요소가 온디바이스에서 실행되어 종단 간 검증 가능한 보안과 주권을 보장합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 암호학 | 새로운 암호학 원형(primitives) 및 보안 프로토콜을 개발하여 모든 사용자를 위한 이더리움의 기초적인 보안 및 프라이버시를 향상시킵니다. | |
| 프라이버시 | 연구 | 오픈 익명성 프로젝트(The Open Anonymity Project) | AI 추론을 시작으로 제한된 API 서비스에 대한 연결 불가능한(unlinkable) 액세스를 가능하게 합니다. 이 오픈 소스 모듈식 스택은 익명 크레딧 검증을 위해 은닉 서명(blind signatures)과 TEE 친화적인 서버를 사용합니다. | |
| 영지식 증명 | 연구 | Ethproofs 추가 하드웨어 - Matter Labs | 온프레미스 다중 GPU 구성으로 전환하여 Matter Labs의 레이어 1 (l1) 블록 증명 스택을 향상시킵니다. 이 이니셔티브는 운영 회복탄력성을 스트레스 테스트하고 클라우드 의존도를 줄여 오픈 소스 온프레미스 운영 플레이북을 생성합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 암호학 연구 | 암호화된 멤풀(Encrypted Mempools)의 보안 모델을 정형화하여 이더리움 사용자를 위한 트랜잭션 프라이버시 및 네트워크 회복탄력성을 향상시킵니다. | |
| 보안 | 개발자 툴링 | Verity | Lean 4 기반 스마트 컨트랙트 언어이자 정형 검증된 컴파일러인 Verity를 개발합니다. 이를 통해 개발자는 컨트랙트 속성을 작성, 정형적으로 명세 및 증명할 수 있으며, 검증된 의미론(semantics)을 갖춘 EVM 바이트코드로 컴파일링할 수 있습니다. | 링크 |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 프로토콜 스나크화(Snarkification) | 암호학 프로토콜 및 zkVM 회로를 검증하여 정형 기법(formal methods)을 통해 이더리움의 확장 인프라에 대한 수학적 정확성을 보장합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 강력한 인센티브 그룹 | 메커니즘 설계 및 경제 모델링을 적용하여 참여자 인센티브를 이해하고 개선함으로써 프로토콜 게임 이론을 최적화합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | ZK + 테스트 탐색 작업 | 증명 성능을 최적화하기 위해 다양한 하드웨어 전반에 걸쳐 zkVM 런타임 동작을 탐색합니다. 이 연구는 병목 현상을 식별하고 이더리움 메인넷 애플리케이션을 위한 보다 실용적이고 거의 실시간에 가까운 증명을 가능하게 하는 것을 목표로 합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 고 이더리움 (geth) | 고 이더리움 (geth)의 핵심 프로토콜 개발, 클라이언트 유지 관리 및 새로운 이더리움 개선 제안(EIP)의 구현을 지원합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 프로토콜 프로토타이핑 | 새로운 프로토콜 연구를 작동하는 코드로 변환합니다. 이를 통해 이론적 가정에 대한 실증적 테스트가 가능해지며 미래의 이더리움 업그레이드를 위한 설계 트레이드오프를 정량화할 수 있습니다. | |
| 보안 | 애플리케이션 | SafeLens | Gnosis Safe 다중서명 트랜잭션의 오프라인 검증을 가능하게 합니다. SafeLens는 서명, 해시 및 강화된 증명에 대한 증거 패키지를 생성하여 내장된 인터프리터를 통해 로컬 트랜잭션 재생 및 사람이 읽을 수 있는 세부 정보를 허용합니다. | 링크 |
| 영지식 증명 | 연구 | Ethproofs 온프레미스 다중 GPU 증명자 이니셔티브 - SilentSig | ZisK가 레이어 1 (l1) 블록 증명을 온프레미스 다중 GPU 설정으로 전환할 수 있도록 지원합니다. 이 이니셔티브는 운영 회복탄력성을 스트레스 테스트하고 클라우드 의존도를 줄여 생태계를 위한 오픈 소스 온프레미스 운영 플레이북을 생성합니다. | 링크 |
| 영지식 증명 | 연구 | Ethproofs 온프레미스 다중 GPU 증명자 이니셔티브 - Brevis | 오픈 소스 온프레미스 운영 플레이북을 개발하여 레이어 1 (l1) 블록 증명자가 클라우드 호스팅 환경에서 회복탄력성 있는 다중 GPU 구성으로 전환할 수 있도록 지원함으로써 중앙화된 의존도를 줄입니다. | 링크 |
| 노드 및 클라이언트 | 애플리케이션 | Gean, 린 이더리움 합의 클라이언트 | 새로운 Go 기반 합의 클라이언트인 Gean을 통해 이더리움의 장기적인 회복탄력성을 구축합니다. 이 오픈 소스 구현은 양자 취약성 암호학을 대체하고 아프리카에서 클라이언트 생태계를 다양화합니다. | 링크 |
| 프라이버시 | 개발자 툴링 | Quixote 프라이빗 읽기 + 에이브 통합 | Rust EVM 이벤트 인덱서인 Quixote를 Tor 기반 프라이빗 읽기 및 GraphQL 지원으로 향상시킵니다. 향상된 데이터 액세스를 위해 TheGraph를 대체하여 에이브 프런트엔드에 통합함으로써 그 가치를 입증합니다. | 링크 |
| 보안 | 개발자 툴링 | 이더리움 프로토콜 보안 에이전트 - SPECA 및 LeanAgent | 이더리움 클라이언트 사양 준수 확인 및 버그 발견을 자동화하는 LLM 기반 시스템을 개발합니다. 여기에는 Gasper Lean 4의 정형 검증과 SPECA 출력을 Lean 4 정형 사양으로 연결하는 파이프라인이 포함됩니다. | |
| 보안 | 개발자 툴링 | 보안 취약점을 위한 Cantina Apex AI 코드 분석기 | 내년에 걸쳐 클라이언트 및 프로토콜 저장소에 대한 52개의 AI 기반 스마트 컨트랙트 스캔을 통해 이더리움의 보안 태세를 향상시킵니다. | |
| 암호학 | 연구 | 비트코인 제약 조건 하의 leanVM | 이더리움의 합의 레이어를 위해 leanVM의 양자 내성 서명 집계를 최적화합니다. 이 작업은 속도를 향상시키고 효율성을 개선하며 비트코인 호환성을 보장하여 업계 전반의 표준을 확립합니다. | 링크 |
| 기타 | 생태계 개발 | 로마에서 AI x 이더리움 융합 프로그래밍 | AI와 이더리움의 교차점을 육성하기 위해 로마의 Urbe Hub는 반복적인 워크숍, 데모 및 빌더 세션을 개최합니다. 이 이니셔티브는 교류(cross-pollination) 이벤트를 배양하여 두 커뮤니티를 강화하고 EF dAI 팀과 협력합니다. | 링크 |
| 암호학 | 개발자 툴링 | CompPoly를 위한 빠른 체 연산(Fast Field Arithmetic) | Lean4에서 소수 및 이진 타워 체(prime and binary tower fields)의 효율적이고 검증된 구현을 개발합니다. 이 작업은 작은 STARK 체, 큰 SNARK/곡선 체 및 이진 타워 체를 다루며, 모두 RingEquiv를 통해 정확성이 증명되었습니다. | 링크 |
| 애플리케이션 계층 | 연구 | 이더리움 "합리적으로 필요한(Reasonably Necessary)" 프론티어 사용 사례 R&D | 실제 세계에 영향을 미치는 고유한 이더리움 사용 사례를 조사합니다. 이 연구는 또한 전통적인 암호화폐 설정을 넘어선 새로운 조직 구조를 탐구합니다. | |
| 영지식 증명 | 개발자 툴링 | CompPoly 다항식 Lean 라이브러리 - 로드맵 2의 일부 | Horner, 일괄 처리 및 NTT 방법을 사용하여 CompPoly에서 다항식 평가를 최적화합니다. zkVM을 위한 Guruswami-Sudan 알고리즘을 구현하고 검증하며, Lean 증명 및 벤치마크를 완료합니다. | 링크 |
| 보안 | 애플리케이션 | 이더리움을 위한 LLM 기반 클라이언트 규정 준수 분석 | AI 에이전트를 배포하여 EIP 사양에 대해 고 이더리움 (geth), 네더마인드, 라이트하우스 및 프리즘을 스캔하고, 차이점과 엣지 케이스 버그를 식별함으로써 이더리움 클라이언트 보안을 향상시킵니다. | |
| 기타 | 연구 | 디지털 공공재를 위한 온체인 자본 수단 | 디지털 공공재를 위한 온체인 ESG 자금 조달 수단을 개발하여, 이더리움을 활용해 공공재 자금 조달을 보조금에서 확장 가능한 자본 시장으로 전환합니다. 이 이니셔티브는 대규모 인프라를 위한 채권과 유사한 메커니즘을 설계합니다. | 링크 |
| 암호학 | 개발자 툴링 | 이변수 다항식(Bivariate Polynomials) — CompPoly 2단계, 항목 6 | Guruswami-Sudan 인프라 및 Kronecker 치환과 같은 성능 최적화를 포함한 고급 이변수 다항식 연산으로 CompPoly를 확장하여 암호학 원형 개발을 향상시킵니다. | |
| 암호학 | 연구 | 재귀적 추출 문제(The recursive extraction problem) | 깊은 재귀에서 지식 추출자의 한계를 조사하여 재귀적 SNARK의 보안을 연구합니다. 이 연구는 실제 시스템을 위한 새로운 증명 프레임워크에 정보를 제공하기 위해 초다항식(superpolynomial) 추출자 복잡성을 가진 SNARK 변형을 분석할 것입니다. | |
| 암호학 | 생태계 개발 | 이더리움 인덱서를 위한 효율적인 단일 서버 PIR | 이더리움 데이터 액세스를 위한 최신 프라이빗 정보 검색(PIR) 체계를 평가합니다. 이 작업은 사용자 프라이버시를 향상시키고 MEV 위험을 줄이기 위해 재사용 가능한 테스트가 완료된 최첨단 체계를 명세할 것입니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | Poseidon | Poseidon 기반 구성을 활용하여 양자 내성 전환을 위해 네트워크를 준비함으로써 이더리움의 실행 계층을 위한 효율적인 양자 내성 서명 체계를 개발합니다. | |
| 영지식 증명 | 연구 | Ethproofs 온프레미스 다중 GPU 증명자 이니셔티브 - Matter Labs | 인프라를 클라우드에서 온프레미스 다중 GPU 설정으로 이동하여 레이어 1 (l1) 블록 증명을 탈중앙화합니다. 이 이니셔티브는 온프레미스 운영 플레이북을 오픈 소스화하여 미래의 증명자가 회복탄력성을 향상시킬 수 있는 청사진을 제공할 것입니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | STEEL | 이더리움의 핵심 Python 사양(EELS) 및 테스트 제품군(EEST)을 향상시킵니다. 이 중요한 작업은 클라이언트 호환성을 보장하고 네트워크 합의를 강화합니다. | |
| 프라이버시 | 애플리케이션 | Kohaku 지갑 프런트엔드 지원 - 후속 조치 | Kohaku 브라우저 확장 지갑 및 Railgun SDK 통합을 리팩터링합니다. 이 작업은 유지 관리성 및 모듈성을 향상시켜 더 광범위한 채택 및 커뮤니티 기여를 위해 지갑을 발전시킵니다. | 링크 |
| 기타 | 생태계 개발 | 2026 부탄 블록체인 오프라인 레지던시 | 집중적인 레지던시를 통해 부탄에서 새로운 이더리움 개발자 코호트를 육성합니다. 이 프로그램은 현지 인재를 양성하고 해당 지역에 자립적인 개발자 커뮤니티의 씨앗을 뿌립니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | PandaOps | 프로토콜 R&D를 위한 맞춤형 툴링, 배포 스크립트 및 데이터 파이프라인을 구축하여 안전하고 잘 테스트된 네트워크 업그레이드를 가능하게 합니다. | |
| 애플리케이션 인프라 | 생태계 개발 | 오픈 인텐트 프레임워크(Open Intents Framework) - 2026년 채택 및 유지 관리 | 크로스체인 유동성 리밸런싱을 향상시키고 ERC-7683 사양 개발을 지원하는 오픈 인텐트 프레임워크를 개발합니다. 이는 이더리움을 위한 멀티체인 기능 및 툴링을 확장합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 홍콩 폴리텍 대학교 - 블록체인 기술 연구 센터(RCBT) 후원 | 우수한 MScBT 학생들을 위한 장학금을 통해 블록체인 기술의 학문적 우수성을 육성합니다. Asiacrypt 2026 후원과 함께 인재 개발 및 데브커넥트(Devconnect)/데브콘(Devcon) 참여를 지원합니다. | |
| 영지식 증명 | 생태계 개발 | CompPoly 로드맵 기여 — 거듭제곱, 다중 선형 변환, ECC | 거듭제곱을 최적화하고 CompPoly에 대한 다중 선형 변환 동등성을 증명합니다. Berlekamp-Welch를 통한 오류 수정 보간법을 통합하여 프로토콜의 견고성을 향상시킵니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 프로토콜 합의 | 고급 합의 메커니즘을 분석하고 설계합니다. 이 작업은 프로토콜 보장을 강화하여 장기적인 네트워크 탈중앙화를 촉진합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 자금 조달 조정 | EF 지원금 수령자와 외부 자금 출처 간의 연결을 촉진합니다. 이는 필수적인 공공재 프로젝트가 정부, 자선 단체 및 생태계 파트너로부터 중요한 지원을 확보하는 데 도움이 됩니다. | |
| 영지식 증명 | 연구 | Ethproofs 온프레미스 다중 GPU 증명자 이니셔티브 - Succinct Labs | 탈중앙화된 증명자가 클라우드에서 온프레미스 다중 GPU 설정으로 전환할 수 있도록 지원합니다. 이 이니셔티브는 오픈 소스 온프레미스 운영 플레이북을 산출하여 생태계 회복탄력성을 강화하고 중앙화된 인프라에 대한 의존도를 줄일 것입니다. | |
| 보안 | 개발자 툴링 | Octane: 이더리움 클라이언트를 위한 LLM 기반 프로토콜 보안 | AI 기반 취약점 탐지로 스마트 컨트랙트 보안을 향상시킵니다. 이 구독은 최대 4개의 클라이언트 프로젝트에 대해 25개의 포괄적인 스캔, 프로젝트 대시보드 및 VIP 지원을 제공합니다. | 링크 |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | zkEVM | ZK-EVM 연구를 발전시켜 확장 솔루션을 개발하고 ZK 증명을 이더리움 실행 계층에 직접 통합합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 프로토콜 보안 | 선제적인 코드 검토, 고급 툴링 및 강력한 버그 바운티 프로그램 관리를 통해 이더리움의 보안 태세를 향상시킵니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 프로토콜 합의 | 장기적인 탈중앙화를 강화하기 위해 합의 메커니즘을 분석합니다. 이 연구는 현재 프로토콜 보장과 미래 네트워크 목표 간의 격차를 줄이는 데 도움이 됩니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 암호학 | 고급 암호학 원형 및 보안 프로토콜에 대한 연구를 지원하여 안전하고 프라이버시를 보존하는 기술에서 이더리움의 지속적인 리더십을 보장합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | 암호학 | 새로운 원형 및 프로토콜을 설계하고 분석하여 이더리움의 암호학적 보안을 발전시킵니다. 이는 미래를 위한 강력하고 프라이버시를 보존하는 기술을 보장합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | ZKProof 8에서의 검증된 zkEVM ArkLib 데이 | ZKProof 8의 ArkLib 데이에 1,000명 이상의 실무자를 모아 ZKP 표준화 노력을 확장합니다. 이 이벤트는 정형 검증 및 응용 영지식 증명에 대한 협력을 촉진합니다. | 링크 |
| 보안 | 개발자 툴링 | Noir에서 LLZK로의 컴파일러 | 두 개의 중요한 SNARK 생태계를 연결하는 Noir에서 LLZK로의 컴파일러를 개발합니다. 이는 상호운용성을 향상시키고 LLZK 툴링의 개발자 기반을 확장하여 이더리움의 SNARK 보안 노력을 강화합니다. | 링크 |
| 애플리케이션 계층 | 개발자 툴링 | 조합 가능한 오케스트레이션, 이더리움 UX 일괄 처리 및 상호운용성 | 동적 스마트 계정 일괄 처리 및 조건자(predicate) 기반 실행을 가능하게 합니다. 이 프로젝트는 프로덕션 오케스트레이션 스택을 표준화하고 오픈 소스화하여 조합 가능한 다단계, 다중 체인 트랜잭션을 이더리움 생태계를 위한 공공재로 만듭니다. | 링크 |
| 영지식 증명 | 개발자 툴링 | RISC-V zkVM을 위한 개선된 증명 인프라 | Lean 4를 사용하여 SP1 Hypercube zkVM의 산술화(arithmetization)를 검증하고, 제약 조건 시스템이 각 명령어에 대해 RISC-V ISA 의미론을 올바르게 구현함을 정형적으로 증명합니다. | |
| 이더리움 프로토콜 | 생태계 개발 | 2026 인턴십 프로그램 | zkEVM | ZK-EVM 연구를 발전시켜 확장 솔루션을 개발하고 향상된 효율성을 위해 ZK 증명을 이더리움의 실행 계층에 직접 통합합니다. | |
| 프라이버시 | 애플리케이션 | Kohaku 지갑 프런트엔드 지원 | Sepolia에서 강력하고 프라이버시를 우선시하는 지갑 UX를 위해 Kohaku 브라우저 확장을 개선합니다. 프라이버시 풀(Privacy Pools) 및 Railgun을 통합하여 Ambire 포크 및 사용자 흐름을 최적화합니다. | 링크 |
2026년 2분기 총 지원 금액: 5,502,930.20 USD