Quý 2 năm 2026 tiếp tục trọng tâm của chúng tôi trong việc nâng cao khả năng phục hồi và năng lực của Ethereum, hỗ trợ các công việc quan trọng về Bằng chứng không kiến thức, sự đa dạng máy khách, xác minh hình thức và công cụ mã nguồn mở. Xem danh sách dưới đây về các dự án và nỗ lực hệ sinh thái được hỗ trợ trong quý này khi các nhà phát triển xây dựng và củng cố mạng lưới.
Khám phá danh sách đầy đủ các Dự án được EF tài trợ trên trang web ESP tại đây!!
| Lĩnh vực | Danh mục | Tên dự án | Mô tả | Liên kết/Kho lưu trữ |
|---|---|---|---|---|
| DAO/Quản trị | Nghiên cứu | Học bổng Nghiên cứu Giảng viên: Nghiên cứu Ethereum (Năm học 2025–2026) | Tạo điều kiện cho Giáo sư Strnad dành thời gian nghiên cứu đáng kể cho các vấn đề tập trung vào Ethereum, bao gồm Quản trị DAO, quản trị hệ thống phi tập trung và các giai đoạn thử thách Rollup lạc quan, đồng thời cố vấn cho các học giả OpenLab. | |
| Bảo mật | Nghiên cứu | Bảo mật EL+CL & Glamsterdam | Tăng cường bảo mật của Ethereum bằng cách chủ động xác định các lỗ hổng trong các ứng dụng khách lớp thực thi và lớp đồng thuận trước bản nâng cấp Glamsterdam. Nghiên cứu này củng cố khả năng phục hồi của mạng lưới. | |
| Nút và Ứng dụng khách | Ứng dụng | Lodestar 2026 | Phát triển và duy trì ứng dụng khách đồng thuận Lodestar, triển khai các đợt Phân nhánh cứng và đóng góp nghiên cứu Giao thức. Điều này hỗ trợ trải nghiệm người dùng (UX) của người vận hành và công cụ hệ sinh thái cho các cộng đồng Ethereum TypeScript và Zig. | Liên kết |
| Giao thức Ethereum | Ứng dụng | Lighthouse - Tháng 5 đến tháng 10 năm 2026 | Việc phát triển ứng dụng khách Lighthouse tiếp tục với ePBS, Gloas và mạng lưới tin nhắn một phần cho Mạng chính. Công việc này mở rộng đồng bộ hóa cây, khuôn khổ thử nghiệm Diamond và đồng thuận được xác minh bằng ZK. Các nỗ lực xác minh hình thức và củng cố ứng dụng khách cũng đang tiến triển. | Liên kết |
| Mật mã học | Công cụ dành cho nhà phát triển | Công cụ Poulpy PIR | Phát triển một Thư viện Truy xuất Thông tin Riêng tư cấp sản xuất, dựa trên Rust. Điều này cho phép các truy vấn gom lô, hiệu quả cho các cơ sở dữ liệu khóa-giá trị lên đến 32GB, tối ưu hóa giao tiếp giữa máy chủ và máy khách mà không yêu cầu trạng thái. | Liên kết |
| Giao thức Ethereum | Công cụ dành cho nhà phát triển | ETHeorem | Ánh xạ các thông số kỹ thuật đồng thuận của Ethereum sang các triển khai ứng dụng khách, ETHeorem cho phép đánh giá bảo mật có hệ thống trên Lighthouse, Prysm, Geth và Reth. Hệ thống tác nhân này kết hợp các LLM với phân tích chương trình để bao phủ toàn bộ ngăn xếp. | |
| Giao thức Ethereum | Ứng dụng | Ream - Ứng dụng khách đồng thuận tinh gọn bằng Rust | Phát triển Ream, một ứng dụng khách đồng thuận tinh gọn dựa trên Rust, để thúc đẩy đồng thuận sẵn sàng cho hậu lượng tử với tính chung cuộc nhanh và các slot 4 giây. Việc gia hạn này hỗ trợ phát triển ứng dụng khách cốt lõi, củng cố cơ sở hạ tầng thử nghiệm và mở rộng quy mô devnet lên 10.000 trình xác thực. | Liên kết |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Nhóm Khuyến khích Mạnh mẽ | Mô hình hóa các khuyến khích kinh tế và hành vi của người tham gia để tối ưu hóa lý thuyết trò chơi của Giao thức, tăng cường tính ổn định và hiệu quả của mạng lưới. | |
| Cơ sở hạ tầng ứng dụng | Nghiên cứu | Tối ưu hóa LLM cho Ethereum (Inseeq) | Nâng cao các mô hình AI với công cụ phát triển Ethereum hiện tại và dữ liệu ethskills. Điều này cải thiện độ chính xác của LLM và củng cố sức hấp dẫn của Ethereum đối với các nhà phát triển đang tìm kiếm một Chuỗi khối để xây dựng. | Liên kết |
| Mật mã học | Nghiên cứu | Đánh giá Kỹ thuật về Fiat–Shamir từ Duplex Sponges | Kiểm toán các lập luận bảo mật của các phép biến đổi Fiat-Shamir được khởi tạo thông qua duplex sponges. Công việc này làm rõ các khái niệm trừu tượng chính để hỗ trợ việc hình thức hóa Lean trong tương lai, củng cố các hệ thống Bằng chứng không kiến thức. | |
| Bằng chứng không kiến thức | Nghiên cứu | Phần cứng Bổ sung Ethproofs - Brevis | Brevis đang xây dựng một ngăn xếp chứng minh khối lớp 1 (l1) đa GPU tại chỗ để kiểm tra sức chịu đựng về khả năng phục hồi hoạt động trong thế giới thực. Sáng kiến này sẽ tạo ra một Cẩm nang Vận hành Tại chỗ mã nguồn mở cho các trình chứng minh trong tương lai. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Các ưu tiên quic-go cho ethp2p | Nâng cao quic-go, triển khai Go QUIC làm nền tảng cho mạng lưới lớp đồng thuận của Ethereum. Công việc này cải thiện hiệu suất, khả năng truyền tải và hiệu quả kết nối cho go-libp2p. | |
| Cơ sở hạ tầng ứng dụng | Công cụ dành cho nhà phát triển | Web3j: Duy trì cơ sở hạ tầng tích hợp JVM và Android của Ethereum | Giữ cho Web3j, Thư viện ứng dụng khách JVM thống trị, đồng bộ hóa với đợt Phân nhánh cứng Glamsterdam sắp tới. Điều này đảm bảo sự tích hợp liền mạch liên tục cho các ứng dụng Java, Kotlin và Android, cùng với tài liệu nhắm mục tiêu AI. | Liên kết |
| Bằng chứng không kiến thức | Nghiên cứu | Phần cứng Bổ sung Ethproofs - Succinct Labs | Succinct đang chuyển việc chứng minh khối lớp 1 (l1) sang các thiết lập đa GPU tại chỗ. Điều này sẽ kiểm tra sức chịu đựng về khả năng phục hồi hoạt động và giảm sự phụ thuộc vào đám mây, tạo ra một Cẩm nang Vận hành Tại chỗ mã nguồn mở cho các trình chứng minh trong tương lai. | |
| Bằng chứng không kiến thức | Nghiên cứu | Phần cứng Bổ sung Ethproofs - SilentSig | Cho phép ZisK chuyển đổi ngăn xếp chứng minh khối lớp 1 (l1) của họ sang các cấu hình đa GPU tại chỗ. Sáng kiến này sẽ tạo ra một Cẩm nang Vận hành Tại chỗ mã nguồn mở để giảm sự phụ thuộc của hệ sinh thái vào các nhà cung cấp đám mây tập trung. | |
| Khác | Phát triển hệ sinh thái | Chương trình đào tạo giảng viên về Giáo trình Chuỗi khối cho Mindanao | Tạo điều kiện cho 8 tổ chức học thuật của Philippines phát triển giáo trình Chuỗi khối. Hỗ trợ giảng viên trở thành người đào tạo, thúc đẩy giáo dục Ethereum tại địa phương thông qua một chương trình kéo dài 6 ngày. | |
| Cơ sở hạ tầng ứng dụng | Công cụ dành cho nhà phát triển | mevlog-rs - CLI/TUI truy vấn các giao dịch EVM được hỗ trợ bởi Revm | Lập chỉ mục dữ liệu trên chuỗi vào cơ sở dữ liệu SQLite cục bộ, có thể truy cập qua TUI và MCP. Công cụ này cho phép truy vấn cục bộ linh hoạt và chia sẻ kết quả qua IPFS cho các nhà phát triển và tác nhân LLM. | Liên kết |
| Giao thức Ethereum | Nghiên cứu | Khẳng định Giao dịch | Cho phép người dùng xác minh kết quả giao dịch theo cách lập trình trước khi ký với EIP-7906. Điều này bao gồm các điều kiện tích cực và tiêu cực đối với bất kỳ hợp đồng thông minh nào, tăng cường bảo mật và quyền kiểm soát của người dùng. | Liên kết |
| Lớp ứng dụng | Ứng dụng | Steward, một Ví Ethereum Tự chủ với Trợ lý AI trên thiết bị | Xây dựng Steward, một Ví tài khoản thông minh Ethereum hoàn toàn cục bộ trên macOS. Mọi thành phần, từ máy khách nhẹ đến trợ lý AI, đều chạy trên thiết bị, đảm bảo tính bảo mật và chủ quyền có thể xác minh từ đầu đến cuối. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Mật mã học | Phát triển các nguyên thủy mật mã học và Giao thức bảo mật mới, tăng cường bảo mật nền tảng và quyền riêng tư của Ethereum cho tất cả người dùng. | |
| Quyền riêng tư | Nghiên cứu | Dự án Ẩn danh Mở | Cho phép quyền truy cập không thể liên kết vào các dịch vụ API có cổng bảo vệ, bắt đầu với suy luận AI. Ngăn xếp mô-đun mã nguồn mở này sử dụng chữ ký mù và các máy chủ thân thiện với TEE để xác minh tín dụng ẩn danh. | |
| Bằng chứng không kiến thức | Nghiên cứu | Phần cứng Bổ sung Ethproofs - Matter Labs | Nâng cao ngăn xếp chứng minh khối lớp 1 (l1) của Matter Labs bằng cách chuyển đổi sang các cấu hình đa GPU tại chỗ. Sáng kiến này kiểm tra sức chịu đựng về khả năng phục hồi hoạt động và giảm sự phụ thuộc vào đám mây, tạo ra một Cẩm nang Vận hành Tại chỗ mã nguồn mở. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Nghiên cứu Mật mã học | Hình thức hóa mô hình bảo mật của Mempool được mã hóa, tăng cường quyền riêng tư của giao dịch và khả năng phục hồi của mạng lưới cho người dùng Ethereum. | |
| Bảo mật | Công cụ dành cho nhà phát triển | Verity | Phát triển Verity, một ngôn ngữ hợp đồng thông minh dựa trên Lean 4 và trình biên dịch được xác minh hình thức. Nó cho phép các nhà phát triển viết, chỉ định chính thức và chứng minh các thuộc tính của hợp đồng, biên dịch sang mã byte EVM với ngữ nghĩa đã được xác minh. | Liên kết |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Snark hóa Giao thức | Xác minh các Giao thức mật mã học và mạch zkVM, đảm bảo tính chính xác về mặt toán học cho cơ sở hạ tầng mở rộng quy mô của Ethereum thông qua các phương pháp hình thức. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Nhóm Khuyến khích Mạnh mẽ | Tối ưu hóa lý thuyết trò chơi của Giao thức bằng cách áp dụng thiết kế cơ chế và mô hình hóa kinh tế để hiểu và cải thiện các khuyến khích của người tham gia. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Công việc khám phá ZK + thử nghiệm | Khám phá hành vi thời gian chạy của zkVM trên các phần cứng đa dạng để tối ưu hóa hiệu suất chứng minh. Nghiên cứu này nhằm mục đích xác định các điểm nghẽn và cho phép việc chứng minh thực tế hơn, gần với thời gian thực cho các ứng dụng trên Mạng chính Ethereum. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Geth | Hỗ trợ phát triển Giao thức cốt lõi của Geth, bảo trì ứng dụng khách và triển khai các Đề xuất Cải tiến Ethereum mới. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Tạo nguyên mẫu Giao thức | Chuyển đổi nghiên cứu Giao thức mới thành mã hoạt động. Điều này cho phép thử nghiệm thực nghiệm các giả định lý thuyết và định lượng các sự đánh đổi trong thiết kế cho các bản nâng cấp Ethereum trong tương lai. | |
| Bảo mật | Ứng dụng | SafeLens | Cho phép xác minh ngoại tuyến các giao dịch đa chữ ký Gnosis Safe. SafeLens tạo ra các gói bằng chứng cho chữ ký, hàm băm và các bằng chứng được làm phong phú, cho phép phát lại giao dịch cục bộ và các chi tiết mà con người có thể đọc được thông qua các trình thông dịch tích hợp. | Liên kết |
| Bằng chứng không kiến thức | Nghiên cứu | Sáng kiến Trình chứng minh Đa GPU Tại chỗ Ethproofs - SilentSig | Cho phép ZisK chuyển đổi việc chứng minh khối lớp 1 (l1) sang các thiết lập đa GPU tại chỗ. Sáng kiến này kiểm tra sức chịu đựng về khả năng phục hồi hoạt động và giảm sự phụ thuộc vào đám mây, tạo ra một Cẩm nang Vận hành Tại chỗ mã nguồn mở cho hệ sinh thái. | Liên kết |
| Bằng chứng không kiến thức | Nghiên cứu | Sáng kiến Trình chứng minh Đa GPU Tại chỗ Ethproofs - Brevis | Phát triển một Cẩm nang Vận hành Tại chỗ mã nguồn mở, cho phép các trình chứng minh khối lớp 1 (l1) chuyển đổi từ môi trường lưu trữ trên đám mây sang các cấu hình đa GPU có khả năng phục hồi, giảm bớt sự phụ thuộc tập trung. | Liên kết |
| Nút và Ứng dụng khách | Ứng dụng | Gean, Một Ứng dụng khách đồng thuận Ethereum Tinh gọn | Xây dựng khả năng phục hồi dài hạn của Ethereum với Gean, một ứng dụng khách đồng thuận mới dựa trên Go. Việc triển khai mã nguồn mở này thay thế mật mã học dễ bị tấn công bởi lượng tử và đa dạng hóa hệ sinh thái ứng dụng khách từ Châu Phi. | Liên kết |
| Quyền riêng tư | Công cụ dành cho nhà phát triển | Đọc Riêng tư Quixote + Tích hợp Aave | Nâng cao Quixote, một trình lập chỉ mục sự kiện EVM bằng Rust, với tính năng đọc riêng tư dựa trên Tor và hỗ trợ GraphQL. Chứng minh giá trị của nó bằng cách tích hợp nó vào giao diện người dùng Aave, thay thế TheGraph để cải thiện khả năng truy cập dữ liệu. | Liên kết |
| Bảo mật | Công cụ dành cho nhà phát triển | Tác nhân Bảo mật Giao thức Ethereum - SPECA & LeanAgent | Phát triển một hệ thống được hỗ trợ bởi LLM để tự động hóa việc kiểm tra tuân thủ thông số kỹ thuật của ứng dụng khách Ethereum và khám phá lỗi. Điều này bao gồm xác minh hình thức của Gasper Lean 4 và một quy trình để làm cầu nối các đầu ra của SPECA vào các thông số kỹ thuật hình thức của Lean 4. | |
| Bảo mật | Công cụ dành cho nhà phát triển | Trình phân tích Mã AI Cantina Apex cho các Lỗ hổng Bảo mật | Tăng cường vị thế bảo mật của Ethereum với 52 lần quét hợp đồng thông minh được hỗ trợ bởi AI cho các kho lưu trữ ứng dụng khách và Giao thức trong năm tới. | |
| Mật mã học | Nghiên cứu | leanVM dưới các ràng buộc của Bitcoin | Tối ưu hóa việc tổng hợp chữ ký hậu lượng tử của leanVM cho lớp đồng thuận của Ethereum. Công việc này nâng cao tốc độ, cải thiện hiệu quả và đảm bảo khả năng tương thích với Bitcoin để thiết lập một tiêu chuẩn toàn ngành. | Liên kết |
| Khác | Phát triển hệ sinh thái | Lập trình Sự hội tụ AI x Ethereum tại Rome | Thúc đẩy sự giao thoa giữa AI x Ethereum, Urbe Hub ở Rome tổ chức các hội thảo, buổi trình diễn và các phiên dành cho nhà phát triển định kỳ. Sáng kiến này nuôi dưỡng các sự kiện giao lưu học hỏi, củng cố cả hai cộng đồng và hợp tác với Nhóm EF dAI. | Liên kết |
| Mật mã học | Công cụ dành cho nhà phát triển | Số học Trường Nhanh cho CompPoly | Phát triển các triển khai hiệu quả, đã được xác minh của các trường tháp nhị phân và nguyên tố trong Lean4. Công việc này bao gồm các trường STARK nhỏ, các trường SNARK/đường cong lớn và các trường tháp nhị phân, tất cả đều được chứng minh là chính xác thông qua RingEquiv. | Liên kết |
| Lớp ứng dụng | Nghiên cứu | Nghiên cứu & Phát triển Trường hợp Sử dụng Biên giới "Cần thiết Hợp lý" của Ethereum | Điều tra các trường hợp sử dụng Ethereum độc đáo có tác động trong thế giới thực. Nghiên cứu này cũng khám phá các cấu trúc tổ chức mới lạ vượt ra ngoài các thiết lập tiền mã hóa truyền thống. | |
| Bằng chứng không kiến thức | Công cụ dành cho nhà phát triển | Thư viện Lean Đa thức CompPoly - Các phần của Lộ trình 2 | Tối ưu hóa việc đánh giá đa thức trong CompPoly bằng cách sử dụng các phương pháp Horner, gom lô và NTT. Triển khai và xác minh thuật toán Guruswami-Sudan cho zkVM, hoàn chỉnh với các bằng chứng Lean và điểm chuẩn. | Liên kết |
| Bảo mật | Ứng dụng | Phân tích Tuân thủ Ứng dụng khách Dựa trên LLM cho Ethereum | Tăng cường bảo mật ứng dụng khách Ethereum bằng cách triển khai các tác nhân AI để quét Geth, Nethermind, Lighthouse và Prysm dựa trên các thông số kỹ thuật EIP, xác định các điểm khác biệt và các lỗi trường hợp ngoại lệ. | |
| Khác | Nghiên cứu | Công cụ Vốn Trên chuỗi cho Hàng hóa Công cộng Kỹ thuật số | Phát triển các công cụ tài trợ ESG trên chuỗi cho Hàng hóa Công cộng Kỹ thuật số, tận dụng Ethereum để chuyển đổi việc tài trợ hàng hóa công cộng từ các khoản tài trợ sang các thị trường vốn có thể mở rộng. Sáng kiến này thiết kế các cơ chế giống như trái phiếu cho cơ sở hạ tầng quy mô lớn. | Liên kết |
| Mật mã học | Công cụ dành cho nhà phát triển | Đa thức Hai biến — CompPoly Giai đoạn 2, Mục 6 | Mở rộng CompPoly với các phép toán đa thức hai biến nâng cao, bao gồm cơ sở hạ tầng Guruswami-Sudan và các tối ưu hóa hiệu suất như thay thế Kronecker, tăng cường phát triển nguyên thủy mật mã học. | |
| Mật mã học | Nghiên cứu | Vấn đề trích xuất đệ quy | Điều tra tính bảo mật của các SNARK đệ quy, thăm dò giới hạn của các trình trích xuất kiến thức trong đệ quy sâu. Nghiên cứu này sẽ phân tích các biến thể SNARK với độ phức tạp của trình trích xuất siêu đa thức để cung cấp thông tin cho các khuôn khổ bằng chứng mới cho các hệ thống trong thế giới thực. | |
| Mật mã học | Phát triển hệ sinh thái | PIR Máy chủ Đơn Hiệu quả cho Trình lập chỉ mục Ethereum | Đánh giá các lược đồ Truy xuất Thông tin Riêng tư hiện đại để truy cập dữ liệu Ethereum. Công việc này sẽ chỉ định một lược đồ tiên tiến nhất, hoàn chỉnh với các bài kiểm tra có thể tái sử dụng, để tăng cường quyền riêng tư của người dùng và giảm rủi ro MEV. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Poseidon | Phát triển các lược đồ chữ ký hậu lượng tử hiệu quả cho lớp thực thi của Ethereum, tận dụng các cấu trúc dựa trên Poseidon để chuẩn bị cho mạng lưới trước quá trình chuyển đổi hậu lượng tử. | |
| Bằng chứng không kiến thức | Nghiên cứu | Sáng kiến Trình chứng minh Đa GPU Tại chỗ Ethproofs - Matter Labs | Phi tập trung hóa việc chứng minh khối lớp 1 (l1) bằng cách chuyển cơ sở hạ tầng từ đám mây sang các thiết lập đa GPU tại chỗ. Sáng kiến này sẽ mở mã nguồn một Cẩm nang Vận hành Tại chỗ, cung cấp một bản thiết kế cho các trình chứng minh trong tương lai để tăng cường khả năng phục hồi. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | STEEL | Nâng cao các thông số kỹ thuật Python cốt lõi của Ethereum (EELS) và các bộ thử nghiệm (EEST). Công việc quan trọng này đảm bảo khả năng tương thích của ứng dụng khách và củng cố sự đồng thuận của mạng lưới. | |
| Quyền riêng tư | Ứng dụng | Hỗ trợ Giao diện người dùng Ví Kohaku - Tiếp theo | Tái cấu trúc Ví tiện ích mở rộng trình duyệt Kohaku và tích hợp Railgun SDK. Công việc này tăng cường khả năng bảo trì và tính mô-đun, thúc đẩy Ví để được áp dụng rộng rãi hơn và nhận được nhiều đóng góp từ cộng đồng. | Liên kết |
| Khác | Phát triển hệ sinh thái | Chương trình Lưu trú Ngoại tuyến về Chuỗi khối tại Bhutan 2026 | Đào tạo một nhóm các nhà phát triển Ethereum mới ở Bhutan thông qua một chương trình lưu trú chuyên sâu. Chương trình này bồi dưỡng tài năng địa phương và gieo mầm cho một cộng đồng nhà phát triển tự duy trì trong khu vực. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | PandaOps | Cho phép các bản nâng cấp mạng lưới an toàn, được kiểm tra kỹ lưỡng bằng cách xây dựng công cụ tùy chỉnh, tập lệnh triển khai và đường ống dữ liệu cho R&D Giao thức. | |
| Cơ sở hạ tầng ứng dụng | Phát triển hệ sinh thái | Khuôn khổ Open Intents - Áp dụng & Bảo trì 2026 | Phát triển Khuôn khổ Open Intents, tăng cường tái cân bằng Thanh khoản chuỗi chéo và hỗ trợ phát triển thông số kỹ thuật ERC-7683. Điều này mở rộng các khả năng đa chuỗi và công cụ cho Ethereum. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Đại học Bách khoa Hồng Kông - Tài trợ cho Trung tâm Nghiên cứu Công nghệ Chuỗi khối (RCBT) | Thúc đẩy sự xuất sắc trong học thuật về công nghệ Chuỗi khối thông qua các học bổng dành cho sinh viên MScBT xuất sắc. Hỗ trợ phát triển tài năng và sự tham gia với Devconnect/Devcon, cùng với việc tài trợ cho Asiacrypt 2026. | |
| Bằng chứng không kiến thức | Phát triển hệ sinh thái | Đóng góp Lộ trình CompPoly — Lũy thừa, Biến đổi Đa tuyến tính, ECC | Tối ưu hóa phép lũy thừa và chứng minh sự tương đương của biến đổi đa tuyến tính cho CompPoly. Tích hợp nội suy sửa lỗi thông qua Berlekamp-Welch, tăng cường độ mạnh mẽ của Giao thức. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Đồng thuận Giao thức | Phân tích và thiết kế các cơ chế đồng thuận tiên tiến. Công việc này củng cố các đảm bảo của Giao thức, thúc đẩy sự phi tập trung của mạng lưới trong dài hạn. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Điều phối Tài trợ | Tạo điều kiện kết nối giữa những người nhận tài trợ của EF và các nguồn tài trợ bên ngoài. Điều này giúp các dự án hàng hóa công cộng thiết yếu đảm bảo được sự hỗ trợ quan trọng từ chính phủ, các tổ chức từ thiện và các đối tác hệ sinh thái. | |
| Bằng chứng không kiến thức | Nghiên cứu | Sáng kiến Trình chứng minh Đa GPU Tại chỗ Ethproofs - Succinct Labs | Cho phép các trình chứng minh phi tập trung chuyển đổi từ đám mây sang các thiết lập đa GPU tại chỗ. Sáng kiến này sẽ mang lại một Cẩm nang Vận hành Tại chỗ mã nguồn mở, củng cố khả năng phục hồi của hệ sinh thái và giảm sự phụ thuộc vào cơ sở hạ tầng tập trung. | |
| Bảo mật | Công cụ dành cho nhà phát triển | Octane: Bảo mật Giao thức được hỗ trợ bởi LLM cho các Ứng dụng khách Ethereum | Tăng cường bảo mật hợp đồng thông minh với tính năng phát hiện lỗ hổng được hỗ trợ bởi AI. Gói đăng ký này cung cấp 25 lần quét toàn diện, một bảng điều khiển dự án và hỗ trợ VIP cho tối đa bốn dự án ứng dụng khách. | Liên kết |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | zkEVM | Thúc đẩy nghiên cứu ZK-EVM, phát triển các giải pháp mở rộng quy mô và tích hợp trực tiếp các bằng chứng ZK vào lớp thực thi của Ethereum. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Bảo mật Giao thức | Tăng cường vị thế bảo mật của Ethereum thông qua các đánh giá mã chủ động, công cụ tiên tiến và quản lý chương trình tiền thưởng tìm lỗi (bug bounty) mạnh mẽ. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Đồng thuận Giao thức | Phân tích các cơ chế đồng thuận để củng cố sự phi tập trung trong dài hạn. Nghiên cứu này giúp thu hẹp khoảng cách giữa các đảm bảo của Giao thức hiện tại và các mục tiêu của mạng lưới trong tương lai. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Mật mã học | Hỗ trợ nghiên cứu về các nguyên thủy mật mã học tiên tiến và các Giao thức bảo mật, đảm bảo sự dẫn đầu liên tục của Ethereum trong công nghệ an toàn, bảo vệ quyền riêng tư. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | Mật mã học | Thúc đẩy bảo mật mật mã học của Ethereum bằng cách thiết kế và phân tích các nguyên thủy và Giao thức mới. Điều này đảm bảo công nghệ mạnh mẽ, bảo vệ quyền riêng tư cho tương lai. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Ngày ArkLib zkEVM được xác minh tại ZKProof 8 | Mở rộng các nỗ lực tiêu chuẩn hóa ZKP bằng cách tập hợp hơn 1.000 chuyên gia tại Ngày ArkLib ở ZKProof 8. Sự kiện này thúc đẩy sự hợp tác về xác minh hình thức và Bằng chứng không kiến thức ứng dụng. | Liên kết |
| Bảo mật | Công cụ dành cho nhà phát triển | Trình biên dịch Noir sang LLZK | Phát triển một trình biên dịch Noir sang LLZK, làm cầu nối cho hai hệ sinh thái SNARK quan trọng. Điều này tăng cường khả năng tương tác và mở rộng cơ sở nhà phát triển cho công cụ LLZK, củng cố các nỗ lực bảo mật SNARK của Ethereum. | Liên kết |
| Lớp ứng dụng | Công cụ dành cho nhà phát triển | Điều phối Có khả năng kết hợp, Gom lô UX và Khả năng tương tác của Ethereum | Cho phép gom lô tài khoản thông minh động và thực thi dựa trên vị ngữ. Dự án này tiêu chuẩn hóa và mở mã nguồn một ngăn xếp điều phối sản xuất, biến các giao dịch đa bước, đa chuỗi có khả năng kết hợp thành một hàng hóa công cộng cho hệ sinh thái Ethereum. | Liên kết |
| Bằng chứng không kiến thức | Công cụ dành cho nhà phát triển | Cơ sở hạ tầng Chứng minh được Cải thiện cho zkVM RISC-V | Xác minh quá trình số học hóa của SP1 Hypercube zkVM bằng cách sử dụng Lean 4, chứng minh chính thức rằng các hệ thống ràng buộc của nó triển khai chính xác ngữ nghĩa RISC-V ISA cho từng lệnh. | |
| Giao thức Ethereum | Phát triển hệ sinh thái | Chương trình Thực tập 2026 | zkEVM | Thúc đẩy nghiên cứu ZK-EVM, phát triển các giải pháp mở rộng quy mô và tích hợp trực tiếp các bằng chứng ZK vào lớp thực thi của Ethereum để nâng cao hiệu quả. | |
| Quyền riêng tư | Ứng dụng | Hỗ trợ Giao diện người dùng Ví Kohaku | Tinh chỉnh tiện ích mở rộng trình duyệt Kohaku để có trải nghiệm người dùng (UX) Ví mạnh mẽ, ưu tiên quyền riêng tư trên Sepolia. Tích hợp Privacy Pools và Railgun, tối ưu hóa đợt Phân nhánh Ambire và luồng người dùng. | Liên kết |
Tổng số tiền được trao trong Quý 2 năm 2026: 5,502,930.20 USD