Vitalik Buterin kêu gọi các nhà phát triển công bố “Tỷ lệ Hiệu quả” cho ZK và FHE

Người đồng sáng lập Ethereum (ETH), Vitalik Buterin, đã thúc đẩy một cách đơn giản hơn, thực tiễn hơn để báo cáo hiệu suất trong các hệ thống chứng minh không kiến thức (ZK) và mã hóa đồng cấu hoàn toàn (FHE). Ông lập luận rằng các nhà phát triển nên ngừng dựa vào các tuyên bố “hoạt động trên giây” thô và thay vào đó báo cáo một “tỷ lệ hiệu quả”, thời gian một phép toán cần để thực hiện dưới mã hóa chia cho thời gian cần để chạy trong trạng thái rõ ràng.

Trong một bài đăng trên X, Buterin đã trình bày ý tưởng một cách rõ ràng: đưa ra chi phí dưới dạng tỷ lệ, “thời gian tính toán trong mã hóa so với thời gian tính toán thực thô,” để các kỹ sư và nhóm sản phẩm ngay lập tức hiểu được họ sẽ hy sinh bao nhiêu hiệu suất để có được các đảm bảo mã hóa. Con số duy nhất đó, ông gợi ý, trả lời một câu hỏi rất thực tiễn: ứng dụng của tôi sẽ chậm hơn bao nhiêu nếu tôi làm cho nó trở thành mã hóa thay vì phụ thuộc vào niềm tin?

Buterin cũng giải thích tại sao chỉ số này hữu ích từ quan điểm của một nhà phát triển. Hầu hết các nhóm đều biết thời gian thực hiện một nhiệm vụ khi chạy bình thường, ông lưu ý, vì vậy việc nhân với một hệ số phụ sẽ cung cấp một ước tính ngay lập tức về chi phí mật mã mà không cần phải dịch nghĩa “N ops mỗi giây” cho khối lượng công việc và phần cứng cụ thể của họ. Điều đó khiến tỷ lệ này trở thành một cách tắt tiện lợi cho việc lập kế hoạch và phân tích đánh đổi.

Ông không giả vờ rằng ý tưởng này hoàn hảo. Buterin đã thừa nhận những phức tạp chính: các hoạt động cần thiết cho việc thực thi và chứng minh có thể khác nhau, và sự khác biệt trong việc song song SIMD, các mẫu truy cập bộ nhớ, và các yếu tố cụ thể phần cứng khác có nghĩa là tỷ lệ sẽ không hoàn toàn độc lập với phần cứng. Dù vậy, ông gọi hệ số overhead là “một con số tốt bất chấp những thiếu sót này,” lập luận rằng nó vẫn cung cấp thông tin hơn và thân thiện với nhà phát triển hơn so với các con số tiêu đề hiện tại.

Hiệu quả, không phải thông lượng

Đề xuất này đã gây ra nhiều ý kiến trên các phương tiện truyền thông tiền điện tử và các vòng nghiên cứu, với một số người hoan nghênh một chỉ số tiêu chuẩn hóa, tập trung vào ứng dụng có thể giúp các đội ngũ sản phẩm cân nhắc rõ ràng hơn về quyền riêng tư và hiệu suất, trong khi những người khác chỉ ra khó khăn thực tiễn trong việc so sánh các tỷ lệ được tạo ra trên các ngăn xếp, bộ tăng tốc và mô hình chứng minh khác nhau.

Cuộc trò chuyện dừng lại vào một thời điểm mà cả công nghệ ZK và FHE ngày càng được đề xuất cho các triển khai trong thế giới thực, nơi mà độ trễ, sự tiện lợi cho nhà phát triển và chi phí quan trọng không kém gì các con số thông lượng lý thuyết. Yêu cầu của Buterin là khá khiêm tốn: không phải một bộ chuẩn mới, mà là một cách khác để báo cáo kết quả, nói trực tiếp về các sự đánh đổi mà các đội ngũ quan tâm.

Nếu các nhà nghiên cứu và nhóm sản phẩm bắt đầu áp dụng khung tỷ lệ hiệu quả, điều đó có thể giúp cho các kỹ sư và những người ra quyết định dễ dàng hơn trong việc xác định liệu một phương pháp bảo vệ quyền riêng tư có phù hợp với một ứng dụng cụ thể hay chỉ là một bản demo ấn tượng không thể mở rộng trong sản xuất. Đối với một lĩnh vực đang vật lộn với cả sự thổi phồng và tiến bộ kỹ thuật thực sự, loại rõ ràng như vậy có thể rất quan trọng.