Mở đầu
Nhóm zkEVM của Ethereum Foundation đã đề xuất đưa EIP-8025 vào nhánh Hegota, theo các thảo luận tại cuộc họp All Core Developers (ACD). EIP-8025 giới thiệu Optional Execution Proofs, cho phép các node Ethereum xác minh bằng chứng zero-knowledge thay vì phải thực thi lại toàn bộ giao dịch trực tiếp. Hiện tại, các node xác thực tính đúng đắn của block bằng cách re-executing kết quả giao dịch; EIP-8025 bổ sung một phương án thay thế, theo đó node có thể xác minh một ZK proof về tính hợp lệ của block mà không cần lặp lại toàn bộ phép tính. Ở giai đoạn này, đề xuất hoạt động như một cơ chế opt-in hoàn chỉnh—chỉ những node chọn sử dụng proof mới bị ảnh hưởng, còn các quy tắc đồng thuận vẫn không thay đổi. Đây là bước chuyển đổi chính thức của Ethereum từ giai đoạn thử nghiệm sang tích hợp ở cấp độ giao thức công nghệ zero-knowledge, có thể giúp giảm chi phí vận hành node và về lâu dài cho phép các block lớn hơn với quá trình thực thi phức tạp hơn.
Diễn biến nghiên cứu
EIP-8025: Hạ tầng Zero-Knowledge của Ethereum bước vào giai đoạn nâng cấp giao thức
Cơ chế cốt lõi của EIP-8025 tập trung vào Optional Execution Proofs. Thay vì bắt buộc mọi node phải re-execute giao dịch để xác minh tính hợp lệ của block, các node có thể thay thế bằng việc xác thực một zero-knowledge proof xác nhận tính đúng đắn của quá trình thực thi. Đề xuất này không chuyển Ethereum ngay lập tức thành một chuỗi dựa trên ZK; thay vào đó, nó đặt nền tảng cho việc chuyển từ “direct re-execution chain” sang “proof-verification chain”.
Ý nghĩa nằm ở việc giảm gánh nặng vận hành của node và xây dựng hạ tầng cho các block lớn hơn cùng quá trình thực thi phức tạp hơn. Bằng cách cho phép node xác minh proof thay vì sao chép tính toán, Ethereum có thể hỗ trợ thông lượng và năng lực xử lý cao hơn.
Vitalik Buterin về AI và formal verification cho an ninh mạng
Đồng sáng lập Ethereum Vitalik Buterin đã công bố phân tích về việc kết hợp AI và formal verification để chuyển hóa an ninh mạng. Formal verification chứng minh toán học rằng chương trình hoạt động đúng như dự định—khác với các cuộc kiểm toán bảo mật truyền thống, nơi con người rà soát mã để tìm lỗ hổng.
Buterin đề xuất rằng AI có thể tạo mã assembly cấp thấp, trong khi formal verification sẽ xác nhận mã này tạo ra hành vi giống hệt với các triển khai cấp cao dễ đọc của con người. Cách tiếp cận này giải quyết sự đánh đổi truyền thống: mã assembly chạy hiệu quả nhưng khó kiểm tra thủ công, còn mã cấp cao ưu tiên khả năng đọc hơn tối ưu hiệu suất.
Các ví dụ trong hệ sinh thái Ethereum được dẫn gồm Arklib (theo đuổi STARKs được formal verification để chứng minh đúng các phép tính phức tạp) và evm-asm (viết EVM bằng RISC-V và chứng minh tương đương với các triển khai bằng Lean, trong đó Lean là công cụ formal verification).
Đối với các giao thức blockchain và smart contract, các phương pháp xác minh mạnh hơn là cần thiết vì lỗi triển khai có hậu quả nghiêm trọng.
ZK Summit 14: Trọng tâm hệ thống bằng chứng chuyển sang các đảm bảo ngoài thực tế
ZK Summit 14 diễn ra vào ngày 7 tháng 5 tại Rome, với 24 bài thuyết trình từ các đội ngũ lớn trong hệ sinh thái ZK, bao gồm Ethereum Foundation, Succinct, Aztec, Nethermind và Miden.
Xu hướng đáng chú ý nhất là sự chuyển dịch trọng tâm từ các chỉ số hiệu năng của hệ thống bằng chứng—tốc độ, kích thước proof, chi phí xác minh—sang các đảm bảo cho hệ thống trong thế giới thực. Công nghệ zero-knowledge hiện đang được tích hợp vào hệ thống thanh toán, xác minh danh tính, zkVMs và ứng dụng machine learning. Trong các bối cảnh này, chỉ hiệu năng proof thôi là chưa đủ:
- Hệ thống thanh toán cần bảo vệ số tiền giao dịch và thông tin người dùng.
- Hệ thống danh tính phải cho phép người dùng chứng minh các chứng chỉ cần thiết trong khi che giấu dữ liệu cá nhân khác.
- zkVMs phải chứng minh chính xác việc thực thi chương trình phức tạp.
- Ứng dụng machine learning cần xác minh rằng kết quả suy luận của mô hình không bị thao túng.
Công nghệ ZK đã mở rộng từ “tạo proof nhanh” sang trở thành một phương thức thiết kế các đảm bảo về bảo mật và quyền riêng tư phù hợp với yêu cầu của từng hệ thống. ZK Summit 14 cho thấy công nghệ zero-knowledge đang tiến từ nghiên cứu sang tích hợp sâu với hạ tầng và ứng dụng thực tế.
Cập nhật hệ sinh thái
Khung quyền riêng tư Kohaku sắp ra mắt, thử nghiệm tích hợp ví đang được tiến hành
Khung quyền riêng tư mô-đun của Ethereum là Kohaku đang tiến gần thời điểm ra mắt khi các bài thử nghiệm tích hợp với ví được triển khai. Kohaku cung cấp một giao diện thống nhất, cho phép ví thực hiện các giao dịch riêng tư sử dụng nhiều backend mã hóa mà không cần tự triển khai chức năng quyền riêng tư.
Các ví bao gồm Ambire hiện đang tiến hành các bài thử nghiệm tích hợp Kohaku. Về mặt lịch sử, tính năng quyền riêng tư thường gặp rào cản trong việc được người dùng ví áp dụng vì mỗi giao thức quyền riêng tư lại dùng kiến trúc khác nhau, khiến ví phải hỗ trợ từng công nghệ riêng lẻ.
Kohaku giải quyết sự phân mảnh này bằng cách cho phép ví truy cập nhiều backend quyền riêng tư thông qua một giao diện duy nhất. Việc mở rộng mức độ áp dụng có thể gia tăng việc sử dụng Railgun, được xác định là “nền tảng” engine quyền riêng tư của Kohaku. Khung này hướng đến việc chuyển quyền riêng tư trên Ethereum từ “công cụ chuyên biệt cho người dùng nâng cao” sang “một tính năng tích hợp tự nhiên trong ví”.
L2BEAT xác minh “exit hatch” Zero-Knowledge của Lighter
Nền tảng phân tích Layer 2 L2BEAT đã xác minh các mạch ZK của Lighter, một DEX hợp đồng tương lai vĩnh viễn (perpetual futures) trên Layer 2. Lighter cho phép giao dịch phái sinh perpetual—các hợp đồng không có ngày đáo hạn.
L2BEAT đã biên dịch tất cả các mạch ZK của Lighter trực tiếp từ mã nguồn và xác nhận sự tương thích với các hợp đồng verifier đã triển khai (smart contract dùng để xác thực các ZK proof được gửi). Phần xác minh này giải quyết chức năng exit hatch—cơ chế khẩn cấp cho phép người dùng rút tài sản nếu các sequencer hoặc operator của Layer 2 ngừng hoạt động.
Trước đó, Lighter giữ lại một số mã nguồn verifier nhất định, khiến người dùng không thể tự tạo exit proofs (dữ liệu chứng minh quyền rút) trong trường hợp sequencer gặp sự cố. Sau khi L2BEAT xác minh, người dùng giờ có thể tự tạo exit proofs độc lập, giúp tăng khả năng rút tài sản mà không cần phụ thuộc vào đội ngũ Lighter trong các tình huống khẩn cấp.
Trường hợp này cho thấy với bảo mật Layer 2, việc xác minh mã đã triển khai khớp với mã công khai là quan trọng ngang với chính sự sẵn có của mã.
ETHGlobal điều chỉnh định dạng hackathon
ETHGlobal đã tái cấu trúc định dạng hackathon của mình. Các hackathon truyền thống yêu cầu người tham gia chọn ý tưởng và xây dựng sản phẩm khả dụng tối thiểu (MVP—phiên bản đầu thể hiện chức năng cốt lõi) trong một khung thời gian ngắn.
Bắt đầu từ hackathon ở New York, các track mới cho phép người tham gia đóng góp tính năng vào các kho mã nguồn mở sẵn có hoặc bổ sung tính năng cho các sản phẩm đã được phát triển, sau đó công khai phát hành các cải tiến dưới dạng mã nguồn mở. Thay đổi này làm tăng khả năng sản phẩm từ hackathon chuyển hóa thành đóng góp thật sự cho hệ sinh thái. Trước đây, các MVP trong khung thời gian ngắn thường ngừng phát triển sau sự kiện. Việc đóng góp vào các dự án mã nguồn mở đang hoạt động mang lại lợi ích trực tiếp cho người dùng và nhà phát triển hiện hữu.
ETHGlobal đang mở rộng từ “trưng bày nhanh các ý tưởng mới” sang “cải thiện có ý nghĩa hạ tầng hệ sinh thái hiện có”. Khi Ethereum trưởng thành, việc nâng cấp các public goods và công cụ cho nhà phát triển hiện hữu trở nên quan trọng như việc tạo ra hẳn các ứng dụng mới.
Cập nhật cộng đồng
Ethereum Foundation mất hai nhà đóng góp cấp cao
Hai nhà nghiên cứu cấp cao của Ethereum Foundation đã từ chức: Carl Bewick và Julian Ma. Điều này nâng tổng số lần rời khỏi vị trí contributor cấp cao lên bảy người trong vòng hai tháng.
Carl Bewick đã đóng góp khoảng bảy năm cho Ethereum Foundation, tham gia nghiên cứu về đồng thuận, thiết kế ban đầu của Beacon Chain và lễ KZG (quy trình thiết lập mật mã liên quan đến mở rộng data availability của Ethereum).
Julian Ma đã đóng góp khoảng bốn năm, đồng tác giả EIP-7805 FOCIL và tham gia FCR GTM (thảo luận về khả năng chống kiểm duyệt và các đảm bảo bao gồm giao dịch, cùng các quy tắc xác nhận nhanh giúp cảm nhận độ hoàn tất giao dịch nhanh hơn).
Các đợt rời khỏi gần đây liên quan đến nghiên cứu giao thức cốt lõi và nhân sự điều phối nâng cấp đặt ra câu hỏi về việc duy trì điều phối phát triển giao thức và tính liên tục của nghiên cứu.
Railgun được chú ý giữa kỳ vọng Kohaku được áp dụng
Giao thức quyền riêng tư Railgun đang nhận được sự quan tâm dựa trên triển vọng áp dụng của Kohaku. Phân tích cho thấy việc tích hợp Kohaku vào ví tăng lên có thể mở rộng mức sử dụng Railgun. Railgun cho phép tương tác DeFi trên Ethereum trong khi vẫn duy trì quyền riêng tư—các giao dịch on-chain tiêu chuẩn lộ địa chỉ ví, số tiền giao dịch và các giao thức được tương tác, trong khi Railgun che giấu các thông tin đó.
Railgun áp dụng phí 0,25% cho các hành động Shield (chuyển tài sản vào vùng được bảo vệ bởi quyền riêng tư) và hành động unShield (rút về khu vực công khai). Việc tăng mức độ áp dụng ví thông qua Kohaku và tăng khối lượng giao dịch riêng tư có thể mở rộng doanh thu phí của Railgun.
Phân tích ghi nhận Railgun có vẻ bị định giá thấp hơn so với các đồng privacy như ZEC và DASH, với điểm khác biệt là khả năng tương tác trực tiếp với Ethereum DeFi. Trong khi ZEC và DASH hoạt động như các đồng privacy tách biệt, Railgun vận hành như một công cụ quyền riêng tư trong Ethereum DeFi. Nếu Kohaku đạt được mức độ áp dụng ví đáng kể, Railgun có thể trở thành bên hưởng lợi chính từ hạ tầng quyền riêng tư của Ethereum.
Chỉ số Ethereum hằng tuần
- Tỷ lệ lạm phát hằng năm: 0,833%
- Nguồn cung ròng hằng tuần: 19.422,04 ETH
- Tỷ lệ staking: 31,50%
- Vốn hóa thị trường stablecoin: 163,019 tỷ USD
- US Ethereum spot ETF dòng tiền ròng chảy ra: 255,02 triệu USD
Dữ liệu được lấy từ Ultrasound Money, DeFi Llama, Dune và Parsec Investors.
