DAOs/Quản trịNghiên cứuHọc bổng Nghiên cứu dành cho Giảng viên: Nghiên cứu Ethereum (Năm học 2025–2026)Cho phép 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 optimistic rollup, đồng thời cố vấn cho các học giả OpenLab.Bảo mậtNghiên cứuBảo mật EL+CL & GlamsterdamTă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 client 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à ClientỨng dụngLodestar 2026Phát triển và duy trì client đồng thuận Lodestar, triển khai các đợt hard fork 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 của người vận hành và các công cụ hệ sinh thái cho cộng đồng TypeScript và Zig Ethereum.LinkGiao thức EthereumỨng dụngLighthouse - Tháng 5 đến tháng 10 năm 2026Việc phát triển client Lighthouse tiếp tục với ePBS, Gloas và mạng lưới tin nhắn một phần cho mainnet. Công việc này mở rộng tree sync, khung thử nghiệm Diamond và đồng thuận xác minh ZK. Các nỗ lực xác minh hình thức và thắt chặt bảo mật client cũng đang tiến triển.LinkMật mã họcCông cụ dành cho nhà phát triểnCông cụ Poulpy PIRPhát triển thư viện Truy xuất Thông tin Riêng tư dựa trên Rust ở cấp độ sản xuất. Điều này cho phép thực hiện các truy vấn theo đợt 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à client mà không yêu cầu trạng thái.LinkGiao thức EthereumCông cụ dành cho nhà phát triểnETHeoremÁnh xạ các thông số kỹ thuật đồng thuận của Ethereum sang các triển khai client, ETHeorem cho phép đánh giá bảo mật hệ thống trên Lighthouse, Prysm, geth và Reth. Hệ thống tác nhân này kết hợp 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ụngReam - Client Đồng thuận Lean bằng RustPhát triển Ream, một Client Đồng thuận Lean dựa trên Rust, nhằm thúc đẩy sự đồng thuận sẵn sàng cho hậu bản lượng tử với khả năng hoàn tất nhanh chóng và các slot 4 giây. Việc gia hạn này hỗ trợ phát triển client cốt lõi, thắt chặt cơ sở hạ tầng thử nghiệm và mở rộng các mạng thử nghiệm lên 10.000 trình xác thực.LinkGiao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | Nhóm Ưu đãi Mạnh mẽMô hình hóa các ưu đãi 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 sự ổn định và hiệu quả của mạng lưới.Cơ sở hạ tầng ứng dụngNghiên cứuTối ưu hóa LLM Ethereum (Inseeq)Nâng cao các mô hình AI với các 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à tăng cường 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 blockchain để xây dựng.LinkMật mã họcNghiên cứuĐánh giá Kỹ thuật về Fiat–Shamir từ Duplex SpongesKiểm tra 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 trừu tượng hóa quan trọng để hỗ trợ quá trình 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ứcNghiên cứuPhần cứng bổ sung Ethproofs - BrevisBrevis đang xây dựng một ngăn xếp chứng minh khối L1 đa GPU tại chỗ để kiểm tra khả năng phục hồi vận hành trong thực tế. 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 EthereumPhát triển hệ sinh tháiCác ưu tiên quic-go cho ethp2pNâng cao quic-go, bản 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 vận chuyển và hiệu quả kết nối cho go-libp2p.Cơ sở hạ tầng ứng dụngCông cụ dành cho nhà phát triểnWeb3j: Duy trì cơ sở hạ tầng tích hợp JVM và Android của EthereumGiữ cho Web3j, thư viện client JVM chiếm ưu thế, đồng bộ với đợt hard fork 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 các tài liệu hướng tới AI.LinkBằng chứng không kiến thứcNghiên cứuPhần cứng bổ sung Ethproofs - Succinct LabsSuccinct đang chuyển việc chứng minh khối L1 sang các thiết lập đa GPU tại chỗ. Điều này sẽ kiểm tra khả năng phục hồi vận hành 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 tương lai.Bằng chứng không kiến thứcNghiên cứuPhần cứng bổ sung Ethproofs - SilentSigCho phép ZisK chuyển đổi ngăn xếp chứng minh khối 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ácPhát triển hệ sinh tháiChương trình đào tạo giảng viên về giáo trình Blockchain cho MindanaoCho phép 8 tổ chức học thuật của Philippines phát triển giáo trình blockchain. 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 chương trình kéo dài 6 ngày.Cơ sở hạ tầng ứng dụngCông cụ dành cho nhà phát triểnmevlog-rs - Công cụ CLI/TUI truy vấn giao dịch EVM được hỗ trợ bởi RevmLập chỉ mục dữ liệu on-chain 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.LinkGiao thức EthereumNghiên cứuKhẳng định giao dịchCho phép người dùng xác minh kết quả giao dịch theo 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 khẳng định và phủ định đố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.LinkLớp ứng dụngỨng dụngSteward, 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 trên macOS hoàn toàn cục bộ. Mọi thành phần, từ light client đến trợ lý AI, đều chạy trên thiết bị, đảm bảo bảo mật và quyền tự chủ có thể xác minh từ đầu đến cuối.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | Mật mã họcPhát triển các nguyên hàm mật mã 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ứuDự án Ẩn danh MởCho phép truy cập không thể liên kết vào các dịch vụ API có cổng, 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ứcNghiên cứuPhần cứng bổ sung Ethproofs - Matter LabsNâng cao ngăn xếp chứng minh khối L1 của Matter Labs bằng cách chuyển sang cấu hình đa GPU tại chỗ. Sáng kiến này kiểm tra khả năng phục hồi vận hành 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 EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | Nghiên cứu Mật mã họcHình thức hóa mô hình bảo mật của Mempool Mã hóa, tăng cường quyền riêng tư giao dịch và khả năng phục hồi mạng lưới cho người dùng Ethereum.Bảo mậtCông cụ dành cho nhà phát triểnVerityPhá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 hình thức và chứng minh các thuộc tính của hợp đồng, biên dịch sang mã máy EVM với ngữ nghĩa đã được xác minh.LinkGiao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | Snarkification Giao thứcXác minh các giao thức mật mã và mạch zkVM, đảm bảo tính đúng đắn về toán học cho cơ sở hạ tầng mở rộng của Ethereum thông qua các phương pháp hình thức.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | Nhóm Ưu đãi 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 ưu đãi cho người tham gia.Giao thức EthereumPhát triển hệ sinh tháiCông việc khám phá thử nghiệm + ZKKhá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 xác định các nút thắt cổ chai và cho phép chứng minh gần như thời gian thực thực tế hơn cho các ứng dụng mainnet của Ethereum.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | GethHỗ trợ phát triển giao thức cốt lõi của Geth, duy trì client và triển khai các Đề xuất Cải tiến Ethereum mới.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | Tạo mẫu Giao thứcChuyển đổi các 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 đá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ụngSafeLensCho phép xác minh ngoại tuyến các giao dịch đa chữ ký của Gnosis Safe. SafeLens tạo ra các gói bằng chứng cho chữ ký, mã băm và các bằng chứng phong phú, cho phép phát lại giao dịch cục bộ và hiển thị các chi tiết dễ đọc thông qua các trình thông dịch tích hợp.LinkBằng chứng không kiến thứcNghiên cứuSáng kiến Trình chứng minh đa GPU tại chỗ Ethproofs - SilentSigCho phép ZisK chuyển đổi việc chứng minh khối L1 sang các thiết lập đa GPU tại chỗ. Sáng kiến này kiểm tra khả năng phục hồi vận hành 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.LinkBằng chứng không kiến thứcNghiên cứuSáng kiến Trình chứng minh đa GPU tại chỗ Ethproofs - BrevisPhát triển 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 L1 chuyển 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 sự phụ thuộc tập trung.LinkNút và ClientỨng dụngGean, Một Client Đồng thuận Ethereum LeanXây dựng khả năng phục hồi lâu dài của Ethereum với Gean, một client đồng thuận mới dựa trên Go. Bản triển khai mã nguồn mở này thay thế mật mã dễ bị tổn thương bởi lượng tử và đa dạng hóa hệ sinh thái client từ Châu Phi.LinkQuyền riêng tưCông cụ dành cho nhà phát triểnĐọc Riêng tư Quixote + Tích hợp AaveNâng cao Quixote, một trình lập chỉ mục sự kiện EVM bằng Rust, với các 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 vào frontend của Aave, thay thế TheGraph để cải thiện khả năng truy cập dữ liệu.LinkBảo mậtCông cụ dành cho nhà phát triểnCác Tác nhân Bảo mật Giao thức Ethereum - SPECA & LeanAgentPhát triển một hệ thống được hỗ trợ bởi LLM để tự động kiểm tra việc tuân thủ thông số kỹ thuật của client Ethereum và phát hiện 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 để kết nối đầ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ậtCông cụ dành cho nhà phát triểnTrình phân tích mã AI Cantina Apex cho các lỗ hổng bảo mậtNâng cao vị thế bảo mật của Ethereum với 52 đợt quét hợp đồng thông minh được hỗ trợ bởi AI cho các kho lưu trữ client và giao thức trong năm tới.Mật mã họcNghiên cứuleanVM dưới các hạn chế của BitcoinTố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 tăng cường 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.LinkKhácPhát triển hệ sinh tháiLập trình sự hội tụ AI x Ethereum tại RomeThúc đẩy giao thoa giữa AI và Ethereum, Urbe Hub tại Rome tổ chức các buổi hội thảo, trình diễn và các phiên dành cho người xây dựng định kỳ. Sáng kiến này nuôi dưỡng các sự kiện giao thoa, củng cố cả hai cộng đồng và hợp tác với Nhóm dAI của EF.LinkMật mã họcCông cụ dành cho nhà phát triểnSố học Trường Nhanh cho CompPolyPhát triển các triển khai hiệu quả, đã được xác minh của các trường tháp số nguyên tố và nhị phân 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à đúng thông qua RingEquiv.LinkLớp ứng dụngNghiên cứuNghiên cứu và Phát triển các Trường hợp Sử dụng Tiên phong "Cần thiết Hợp lý" cho EthereumNghiên cứu 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 điện tử truyền thống.Bằng chứng không kiến thứcCông cụ dành cho nhà phát triểnThư viện Lean Đa thức CompPoly - Các phần của Lộ trình 2Tối ưu hóa việc đánh giá đa thức trong CompPoly bằng các phương pháp Horner, batch và NTT. Triển khai và xác minh thuật toán Guruswami-Sudan cho các zkVM, hoàn thiện với các bằng chứng và điểm chuẩn Lean.LinkBảo mậtỨng dụngPhân tích Tuân thủ Client dựa trên LLM cho EthereumTăng cường bảo mật client Ethereum bằng cách triển khai các tác nhân AI để quét Geth, Nethermind, Lighthouse và Prysm so với các thông số kỹ thuật EIP, xác định các điểm khác biệt và lỗi trường hợp biên.KhácNghiên cứuCác Công cụ Vốn Onchain 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 onchain cho Hàng hóa Công cộng Kỹ thuật số, tận dụng Ethereum để chuyển 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.LinkMật mã họcCông cụ dành cho nhà phát triểnĐa thức Hai biến — CompPoly Giai đoạn 2, Mục 6Mở 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 các nguyên hàm mật mã.Mật mã họcNghiên cứuVấn đề trích xuất đệ quyNghiên cứu tính bảo mật của các SNARK đệ quy, thăm dò các giới hạn của 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 khung bằng chứng mới cho các hệ thống thực tế.Mật mã họcPhát triển hệ sinh tháiPIR Máy chủ Đơn Hiệu quả cho các Trình lập chỉ mục EthereumĐánh giá các sơ đồ Truy xuất Thông tin Riêng tư hiện đại cho việc truy cập dữ liệu Ethereum. Công việc này sẽ chỉ định một sơ đồ tiên tiến, hoàn thiện 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 thiểu rủi ro MEV.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | PoseidonPhát triển các sơ đồ 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ị mạng lưới cho quá trình chuyển đổi hậu lượng tử.Bằng chứng không kiến thứcNghiên cứuSáng kiến Trình chứng minh đa GPU tại chỗ Ethproofs - Matter LabsPhi tập trung hóa việc chứng minh khối 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ở nguồn một Cẩm nang Vận hành Tại chỗ, cung cấp 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 EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | STEELNâ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 tính tương thích của client và củng cố sự đồng thuận của mạng lưới.Quyền riêng tưỨng dụngHỗ trợ Frontend Ví Kohaku - Theo dõiTái cấu trúc ví tiện ích mở rộng trình duyệt Kohaku và tích hợp SDK Railgun. 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í hướng tới việc áp dụng rộng rãi hơn và các đóng góp của cộng đồng.LinkKhácPhát triển hệ sinh tháiChương trình Cư trú Ngoại tuyến Blockchain tại Bhutan 2026Nuôi dưỡng một thế hệ nhà phát triển Ethereum mới tại Bhutan thông qua một chương trình cư 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 một cộng đồng nhà phát triển tự duy trì trong khu vực.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | PandaOpsCho phép các bản nâng cấp mạng an toàn, được kiểm thử kỹ lưỡng bằng cách xây dựng các 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ụngPhát triển hệ sinh tháiKhung Ý định Mở - Áp dụng & Duy trì 2026Phát triển Khung Ý định Mở, 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 khả năng đa chuỗi và các công cụ cho Ethereum.Giao thức EthereumPhá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ệ Blockchain (RCBT)Thúc đẩy sự xuất sắc trong học thuật về công nghệ blockchain thông qua học bổng cho các sinh viên MScBT xuất sắc. Hỗ trợ phát triển tài năng và gắn kết 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ứcPhát triển hệ sinh tháiCác đóng góp cho Lộ trình CompPoly — Lũy thừa, Biến đổi Đa tuyến tính, ECCTối ưu hóa phép lũy thừa và chứng minh tính 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 tính mạnh mẽ của giao thức.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | Đồng thuận Giao thứcPhâ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 tính phi tập trung lâu dài của mạng lưới.Giao thức EthereumPhát triển hệ sinh tháiChươ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ừ các đối tác chính phủ, từ thiện và hệ sinh thái.Bằng chứng không kiến thứcNghiên cứuSáng kiến Trình chứng minh đa GPU tại chỗ Ethproofs - Succinct LabsCho phép các trình chứng minh phi tập trung chuyển 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ậtCông cụ dành cho nhà phát triểnOctane: Bảo mật Giao thức được hỗ trợ bởi LLM cho các Client EthereumTă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 đợt quét toàn diện, bảng điều khiển dự án và hỗ trợ VIP cho tối đa bốn dự án client.LinkGiao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | zkEVMThúc đẩy nghiên cứu ZK-EVM, phát triển các giải pháp mở rộng và tích hợp trực tiếp bằng chứng ZK vào lớp thực thi của Ethereum.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | Bảo mật Giao thứcNâng cao vị thế bảo mật của Ethereum thông qua các cuộc rà soát mã chủ động, các công cụ tiên tiến và quản lý chương trình bug bounty mạnh mẽ.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | Đồng thuận Giao thứcPhân tích các cơ chế đồng thuận để củng cố tính phi tập trung lâu dài. Nghiên cứu này giúp thu hẹp khoảng cách giữa các đảm bảo giao thức hiện tại và các mục tiêu mạng lưới trong tương lai.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | Mật mã họcHỗ trợ nghiên cứu về các nguyên hàm mật mã và giao thức bảo mật tiên tiến, đảm bảo vị thế dẫn đầu liên tục của Ethereum trong công nghệ bảo mật, bảo vệ quyền riêng tư.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | Mật mã họcThúc đẩy bảo mật mật mã của Ethereum bằng cách thiết kế và phân tích các nguyên hàm 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 EthereumPhát triển hệ sinh tháiNgày ArkLib zkEVM đã được xác minh tại ZKProof 8Mở rộng nỗ lực tiêu chuẩn hóa ZKP bằng cách quy tụ hơn 1.000 chuyên gia thực hành 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.LinkBảo mậtCông cụ dành cho nhà phát triểnTrình biên dịch Noir sang LLZKPhát triển trình biên dịch Noir sang LLZK, kết nối 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ộng đồng nhà phát triển cho các công cụ LLZK, củng cố các nỗ lực bảo mật SNARK của Ethereum.LinkLớp ứng dụngCông cụ dành cho nhà phát triểnĐiều phối có thể kết hợp, Gộp nhóm UX Ethereum và Khả năng tương tácCho phép gộp nhóm tài khoản thông minh năng động và thực thi dựa trên vị từ. Dự án này tiêu chuẩn hóa và 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ó thể kết hợp thành một hàng hóa công cộng cho hệ sinh thái Ethereum.LinkBằng chứng không kiến thứcCông cụ dành cho nhà phát triểnCơ sở hạ tầng chứng minh được cải thiện cho các zkVM RISC-VXác minh quá trình số học hóa của SP1 Hypercube zkVM bằng Lean 4, chứng minh hì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 ISA RISC-V cho mỗi hướng dẫn.Giao thức EthereumPhát triển hệ sinh tháiChương trình Thực tập 2026 | zkEVMThúc đẩy nghiên cứu ZK-EVM, phát triển các giải pháp mở rộng và tích hợp bằng chứng ZK trực tiếp vào lớp thực thi của Ethereum để nâng cao hiệu quả.Quyền riêng tưỨng dụngHỗ trợ Frontend Ví KohakuTinh chỉnh tiện ích mở rộng trình duyệt Kohaku để mang lại trải nghiệm ví ưu tiên quyền riêng tư mạnh mẽ trên Sepolia. Tích hợp Privacy Pools và Railgun, tối ưu hóa bản fork Ambire và luồng người dùng.Link