Vitalik Buterin đã kêu gọi đặt trần cứng chi phí chứng minh trên mỗi đơn vị block gas của ethereum. Buterin đã chúc mừng nhóm Airbender của ZKsync trong bài đăng ngày 15 tháng 10 và xác định ba ưu tiên về xác minh hình thức: khớp biểu diễn toán học của việc thực thi với thông số kỹ thuật của ethereum, giới hạn chi phí người chứng minh tương quan với block gas, và bảo mật hệ thống chứng minh. Gas đại diện cho công việc thực thi và giới hạn tiêu thụ tài nguyên khối, nhưng một giới hạn chứng minh hữu ích phải kết nối khoản cho phép đó với các tài nguyên tạo chứng minh, bao gồm cả các tải công việc cố ý khó khăn. Quỹ ethereum đã đề ra một giai đoạn tập trung vào bảo mật vào tháng 12 năm 2025.
Phân tích chi phí tính toán hiện tại của EIP-7904 đề xuất không thay đổi chi phí gas tính toán và không điều chỉnh lịch trình gas của ethereum. EIP-7904 là đề xuất mang tính thông tin ở giai đoạn Last Call kể từ ngày 18 tháng Mười, với hạn chót vào ngày 1 tháng Mười Một. Phân tích của EIP-7904 nhắm đến 100 triệu gas mỗi giây trên các client thực thi bản địa được tối ưu hóa. EIP-7904 ghi nhận sự thay đổi kết luận của mình là do các tối ưu hóa được kích hoạt bởi Danh sách Truy cập ở cấp khối, bao gồm các công việc song song giúp tăng tốc các thao tác trước đây gặp khó khăn. Tuy nhiên, EIP-7904 chỉ bao gồm việc thực thi trên CPU thuần túy và rõ ràng loại trừ việc xem xét cụ thể việc tạo chứng minh ZK-SNARK, vốn gây ra các tải công việc khác biệt.
ZKsync báo cáo vào ngày 13 tháng 10 rằng một NVIDIA RTX PRO 6000 Blackwell đã xác minh 99% trong số 7.200 khối liên tiếp trên mạng chính ethereum trong dưới 10 giây mỗi khối, bao gồm chuẩn bị chứng từ. ZKsync cho biết mọi khối được lấy mẫu đều hoàn thành trong dưới 12 giây. ZKsync cũng mô tả các cấu hình ETHproofs trực tuyến riêng biệt sử dụng hai và bốn GPU. Tuy nhiên, một đảm bảo chi phí tối đa phải bao phủ mọi tải công việc được phép trong các giả định đã nêu, bao gồm cả các khối được tạo ra cố ý để chi phí xác minh cao. Một khối thông thường có thể phù hợp với một thiết lập nhỏ, trong khi tải công việc được phép khó khăn sẽ xác định dung lượng dự phòng mà người vận hành cần có để tạo chứng từ đúng hạn.
Lin Oshitani từ Nethermind Research đã phát hiện trong các phép đo ngày 27 tháng 1 rằng các precompiles mật mã và một số thao tác số học mô-đun hoặc chia có chi phí tương đối cao để chứng minh trên mỗi đơn vị gas. Các phép đo của Oshitani cho thấy chi phí thay đổi tùy theo trình chứng minh và số vòng ZK không chuyển đổi thành thời gian chứng minh đều nhau giữa các thao tác. Nghiên cứu ước tính thời gian chứng minh biên bằng cách thay đổi số lượng thao tác trong khi giữ nguyên bối cảnh thực thi xung quanh cố định. Nghiên cứu đã kiểm tra SP1 v5.2.3 với sp1-cluster và RISC0 v3.0.4, sử dụng reth v1.9.3 và bốn GPU NVIDIA GeForce RTX 4090. RISC0 sử dụng cài đặt RISC0_KECCAK_PO2=15. Các phép đo sử dụng đầu vào đại diện cố định hoặc nỗ lực tốt nhất trong trường hợp xấu nhất, bỏ qua xác thực tiêu đề khối và vô tình bỏ qua BLOCKHASH. Một cuộc điều tra đầy đủ về chi phí phụ thuộc vào đối số vẫn là công việc tương lai.
Khung đánh giá kịch bản xấu nhất của Quỹ Ethereum vào tháng Một liên kết thông lượng chứng minh yêu cầu với giới hạn gas khối được chọn và thời hạn chứng minh. Khung này yêu cầu một khối khó phải phù hợp với phần cứng và ngân sách thời gian đã định. Khung giải thích rằng các ước tính ở cấp độ thao tác cần kiểm tra end-to-end vì việc tạo chứng minh có chi phí cố định, việc tổng hợp có thể phi tuyến và các cấu hình phần cứng cùng tham số bảo mật ảnh hưởng đến hiệu suất. Tập hợp các client thực thi và hệ thống chứng minh dự kiến tham gia cũng rất quan trọng.
Việc cải thiện một mạch hoặc đường dẫn thực thi đắt đỏ có thể giảm khối lượng chứng minh mà không thay đổi đơn vị gas thực thi giao dịch, cho phép các nhà vận hành sử dụng ít tài nguyên hơn cho cùng một khối lượng công việc. Nghiên cứu của Nethermind cũng đề xuất phương pháp đo lường ZK-gas có trọng số với giới hạn theo từng khối, có thể hạn chế các hoạt động nặng về chứng minh trước khi hết hạn mức gas thực thi thông thường. Sự bảo vệ từ phương pháp đo lường ZK-gas có trọng số sẽ phụ thuộc vào độ chính xác của các trọng số trong việc phản ánh các đầu vào khó khăn. Một giới hạn tài nguyên có thể giới hạn khối lượng công việc được chấp nhận mà không xác định khoản thanh toán của người dùng ứng dụng hoặc thu nhập của người chứng minh. Việc tính phí cho tài nguyên chứng minh sẽ yêu cầu các lựa chọn thiết kế bổ sung. EIP-7999 vẫn là đề xuất bản nháp về thị trường phí đa chiều, tách calldata thành một tài nguyên riêng biệt.
Việc định giá lại Opcode sẽ gán thêm gas cho các thao tác đắt tiền, cho phép đưa ít thao tác như vậy hơn vào một khối với giới hạn gas cố định. Các ứng dụng sử dụng các thao tác đã được định giá lại có thể tiêu thụ nhiều gas hơn cho cùng một lần thực thi thành công. Cơ chế phí thực thi của EIP-1559 nhân lượng gas bị tính với mức giá gas hiệu quả. Một ứng dụng bị tính nhiều gas hơn cho cùng một giao dịch thành công sẽ phải trả nhiều hơn ở mức giá gas hiệu quả dương không đổi.
EIP-8025 vẫn là đề xuất bản nháp tùy chọn về bằng chứng thực thi, không cung cấp động lực cho người chứng minh và duy trì việc thực thi lại ngay cả khi đã có bằng chứng. Các ưu tiên của Quỹ Ethereum vào tháng Chín đặt việc yêu cầu bằng chứng vào giai đoạn sau, với thứ tự phân nhánh đang được xem xét. Hạn chót ngày 1 tháng Mười Một để xem xét EIP-7904 liên quan đến phân tích CPU, trong khi các bên chứng minh độc lập cần một giới hạn được gắn với các tải công việc cụ thể, triển khai, cài đặt bảo mật và giả định phần cứng. Một giới hạn như vậy sẽ biến khoản gas được cấp thành một giới hạn đáng tin cậy về tài nguyên chứng minh mà người vận hành phải sẵn sàng cung cấp.
Chi phí chứng minh của ethereum đối mặt với thách thức từ giới hạn cứng của Vitalik
CryptoSlateChia sẻ
Tóm tắt
Vitalik Buterin đề xuất giới hạn cứng chi phí chứng minh trên mỗi đơn vị gas khối để căn chỉnh việc tạo chứng minh với các ràng buộc về gas. EIP-7904, đang ở giai đoạn Last Call đến ngày 1 tháng Mười Một, nhấn mạnh các tối ưu hóa danh sách truy cập. ZKsync và Nethermind đã chỉ ra sự khác biệt về chi phí và hiệu quả khi sử dụng GPU. Quỹ Ethereum đang xây dựng một khung đánh giá hiệu suất cho các kịch bản chứng minh tồi tệ nhất. Các tài sản có xu hướng rủi ro đã nhận được sự chú ý trở lại trong bối cảnh các biện pháp CFT.
Nguồn:Hiển thị bản gốc
Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể được lấy từ bên thứ ba và không nhất thiết phản ánh quan điểm hoặc ý kiến của KuCoin. Nội dung này chỉ được cung cấp cho mục đích thông tin chung, không có bất kỳ đại diện hay bảo đảm nào dưới bất kỳ hình thức nào và cũng không được hiểu là lời khuyên tài chính hay đầu tư. KuCoin sẽ không chịu trách nhiệm về bất kỳ sai sót hoặc thiếu sót nào hoặc về bất kỳ kết quả nào phát sinh từ việc sử dụng thông tin này.
Việc đầu tư vào tài sản kỹ thuật số có thể tiềm ẩn nhiều rủi ro. Vui lòng đánh giá cẩn thận rủi ro của sản phẩm và khả năng chấp nhận rủi ro của bạn dựa trên hoàn cảnh tài chính của chính bạn. Để biết thêm thông tin, vui lòng tham khảo Điều khoản sử dụng và Tiết lộ rủi ro của chúng tôi.