Vitalik Buterin Kêu Gọi Xóa Bỏ Modexp Precompile Làm Chậm Ethereum's ZK Scaling

Buterin cho biết modexp làm cho các phép tính ZK-EVM nặng hơn tới 50 lần so với các khối Ethereum trung bình.

Ông đề xuất một EIP mới để thay thế modexp bằng mã EVM tương đương, bất chấp chi phí gas cao hơn.

Sự kém hiệu quả của Modexp làm chậm tiến trình ZK-rollup, với một số ứng dụng vẫn yêu cầu chức năng cũ.

Người đồng sáng lập Ethereum, Vitalik Buterin, đã kêu gọi các nhà phát triển loại bỏ hàm tiền biên mô-đun lũy thừa của mạng, được gọi là modexp, mô tả nó là một trong những rào cản lớn nhất đối với việc mở rộng hiệu quả kiến thức không có.

Trong một bài đăng gần đây trên X, Buterin cho biết rằng precompile là “kẻ vi phạm tồi tệ nhất” về hiệu suất prover ZK-EVM, lưu ý rằng nó có thể làm cho các phép toán nặng hơn tới 50 lần so với các khối trung bình. Ông đã đề xuất soạn thảo một Đề xuất Cải tiến Ethereum (EIP) để thay thế chức năng này bằng mã EVM tương đương, ngay cả khi điều đó đòi hỏi mức phí gas cao hơn.

Tính năng Legacy tạo ra tắc nghẽn lớn

Modexp precompile, một thành phần sớm của Ethereum, xử lý phép lũy thừa theo modulo — một phép toán cốt lõi trong mã hóa RSA và chữ ký số. Mặc dù rất quan trọng trong các hệ thống mật mã sớm, tính năng này hiện đang cản trở sự tiến hóa của Ethereum hướng tới công nghệ zero-knowledge.

Buterin thừa nhận rằng mã mà ông ban đầu thiết kế đã trở thành một “gánh nặng” cho các công cụ mở rộng hiện đại. Theo bài viết của ông, sự không hiệu quả của modexp làm tăng chi phí tạo ra chứng minh ZK và làm chậm sự phát triển của các công nghệ như ZK-rollups và ZK-EVMs.

Các công cụ này phụ thuộc vào việc xác minh nhanh để xử lý giao dịch ngoài chuỗi và xác nhận chúng trên Ethereum một cách an toàn. Buterin cũng nhấn mạnh rằng các đường dẫn mã phức tạp của modexp tạo ra các rủi ro đồng thuận tiềm ẩn, làm phức tạp việc bảo trì lâu dài của Ethereum.

Việc sử dụng thấp đặt ra câu hỏi về sự cần thiết

Mặc dù có sự phức tạp của nó, chỉ một số ít ứng dụng vẫn phụ thuộc vào modexp. Buterin lưu ý rằng hầu hết các chức năng sử dụng nó, chẳng hạn như xác minh RSA hoặc kiểm tra an ninh cầu nối, có thể chuyển sang các hệ thống tiên tiến hơn dựa trên SNARKs — các chứng minh mật mã xử lý hiệu quả các phép toán ZK. Ông thêm rằng việc duy trì tối ưu hóa của modexp đòi hỏi “nỗ lực anh hùng”, điều này không biện minh cho việc tiếp tục sử dụng nó trong bối cảnh áp dụng tối thiểu.

Thay vào đó, việc thay thế modexp bằng mã bytecode EVM tiêu chuẩn có thể đơn giản hóa hệ sinh thái. Mặc dù thay đổi này sẽ làm tăng chi phí gas cho một số ít người dùng vẫn phụ thuộc vào nó, nhưng nó sẽ giảm tải tính toán đáng kể và hợp lý hóa việc tạo ZK-proof cho tất cả mọi người khác.

Nỗ lực mở rộng hướng tới mật mã hiệu quả

Sự chỉ trích của Buterin phù hợp với chiến dịch rộng lớn hơn của ông nhằm hiện đại hóa nền tảng mật mã của Ethereum. Tháng trước, ông đã trình bày về giao thức GKR, một phương pháp xác minh có khả năng xử lý hai triệu phép tính mỗi giây trên phần cứng tiêu chuẩn.

Kỹ thuật này có thể xác thực các phép toán phức tạp của Ethereum bằng cách sử dụng ít tài nguyên hơn so với các phương pháp truyền thống. Các đề xuất gần đây của ông cũng nhấn mạnh việc tạo ra các tiêu chuẩn rõ ràng để đo lường hiệu suất của mã hóa không biết và mã hóa đồng nhất hoàn toàn.

Thay vì chỉ ưu tiên tốc độ, Buterin khuyến nghị đánh giá mức độ hiệu quả bị mất khi chuyển sang các hệ thống mật mã tiên tiến. Cách tiếp cận này phù hợp với nỗ lực liên tục của ông nhằm đảm bảo rằng lõi của Ethereum vẫn hiệu quả, có thể mở rộng và an toàn khi mạng lưới tiến sâu hơn vào tính toán dựa trên ZK.

Bài viết Vitalik Buterin kêu gọi loại bỏ Modexp Precompile làm chậm ZK Scaling của Ethereum xuất hiện trên Crypto Front News. Truy cập trang web của chúng tôi để đọc thêm nhiều bài viết thú vị về tiền điện tử, công nghệ blockchain và tài sản kỹ thuật số.