A16z Crypto chỉ trích ZK bị lạm dụng, Jolt nâng cấp mang lại quyền riêng tư thực sự

Trong một bài đăng trên blog gần đây, A16z Crypto, bộ phận web3 của công ty đầu tư mạo hiểm nổi tiếng Andreessen Horowitz, đã đặt ra một câu hỏi kích thích tư duy trong ngành: hầu hết các máy ảo (zkVM) có tên “ZK” không thực sự có bảo vệ quyền riêng tư không kiến thức thực sự. Jolt zkVM đồng thời chỉ trích việc lạm dụng có hệ thống thuật ngữ “ZK” trong hệ sinh thái tiền điện tử.

Lạm dụng thẻ ZK: Tại sao hầu hết các zkVM không thực sự không có kiến thức

Trong blog của mình, A16z Crypto tiết lộ một vấn đề phổ biến trong ngành mà hiếm khi được giải quyết công khai: “Hầu hết các bằng chứng không kiến thức rằng máy ảo không thực sự không có kiến thức - trừ khi một quy trình ‘đóng gói’ tốn kém được áp dụng.” Họ giải thích rằng việc bao bọc này, liên quan đến việc xác minh đệ quy các zkVM trong một hệ thống chứng minh ZK khác, không chỉ tốn kém về mặt tính toán mà còn thường yêu cầu từ bỏ tính minh bạch (tức là giới thiệu một thiết lập đáng tin cậy).

Vấn đề cơ bản hơn nằm ở sự sai lệch trong thuật ngữ: thuật ngữ “zk” đã được sử dụng rộng rãi như một chữ viết tắt của “ngắn gọn”, đề cập đến các bằng chứng “ngắn gọn và dễ kiểm chứng” hơn là bảo vệ quyền riêng tư không kiến thức thực sự. A16z Crypto cảnh báo: “Với mối quan tâm ngày càng tăng trong cộng đồng về quyền riêng tư - nhu cầu về kiến thức không thực sự, tức là quyền riêng tư của dữ liệu nhạy cảm của người chứng minh - thuật ngữ lạm dụng này đang trở thành một vấn đề thực sự.”

Ba nhầm lẫn phổ biến về thuật ngữ ZK

ZK đích thực: Chứng minh một tuyên bố là đúng mà không tiết lộ thông tin cơ bản, bảo vệ quyền riêng tư của người chứng minh

“ZK” là chữ viết tắt ngắn gọn: Hầu hết các mục đích sử dụng thực tế của zkVM chỉ nhấn mạnh các bằng chứng “ngắn và dễ xác minh” và không bảo vệ quyền riêng tư

Gói: Thêm kiến thức thực sự thông qua các bằng chứng đệ quy, nhưng nó tốn kém về mặt tính toán và thường yêu cầu giới thiệu các cài đặt đáng tin cậy, hy sinh tính minh bạch

Giải pháp của Jolt zkVM: Giải pháp gấp NovaBlindFold

Để đối phó với các vấn đề trên, A16z Crypto đã phát hành một bản cập nhật quan trọng cho dự án mã nguồn mở Jolt zkVM vào thứ Ba, giới thiệu sơ đồ gấp NovaBlindFold để làm cho nó hỗ trợ chức năng zero-knowledge.

Folding Scheme là một công nghệ mật mã “có từ những năm 90 của thế kỷ 20” và A16z đã chọn thay thế sơ đồ đóng gói đệ quy đắt tiền. NovaBlindFold cực kỳ hiệu quả trong việc ngăn chặn rò rỉ thông tin bằng cách tạo ra “bằng chứng mù” - bằng chứng ZK cuối cùng chỉ lớn hơn khoảng 3KB so với bằng chứng Jolt không phải ZK ban đầu, “làm cho nó phù hợp với các ứng dụng bảo mật”.

Nền tảng của bản nâng cấp này là sự trỗi dậy của các mối quan tâm về quyền riêng tư trong hệ sinh thái tiền điện tử. Barry Silbert, Giám đốc điều hành của Digital Currency Group (DCG), gần đây cũng tuyên bố rằng ông hy vọng một lượng lớn tiền sẽ chảy vào chuỗi quyền riêng tư. Các nhà đầu tư tổ chức lo ngại về tính minh bạch hoàn toàn của hầu hết các blockchain, điều này đang thúc đẩy ngành công nghiệp tìm kiếm các giải pháp bảo mật đáng tin cậy hơn.

Những câu hỏi thường gặp

Tại sao A16z Crypto chỉ trích thẻ ZK?

A16z Crypto chỉ ra rằng “ZK (zero-knowledge)” đã trở thành viết tắt của “đơn giản” trong ngành và hầu hết các zkVM không cung cấp bảo vệ quyền riêng tư zero-knowledge thực sự trừ khi chúng sử dụng các giải pháp “được bọc” tốn kém về mặt tính toán và yêu cầu cài đặt đáng tin cậy. Với nhu cầu ngày càng tăng về quyền riêng tư, việc lạm dụng thuật ngữ này đang trở thành một vấn đề thực sự cản trở sự phát triển của ngành.

Giải pháp gấp NovaBlindFold giải quyết vấn đề này như thế nào?

Jolt zkVM của A16z cho phép quyền riêng tư không kiến thức gốc mà không cần đóng gói đệ quy đắt tiền bằng cách giới thiệu sơ đồ gấp NovaBlindFold. Giải pháp này ngăn chặn rò rỉ thông tin bằng cách tạo ra “bằng chứng mù” và chỉ thêm khoảng 3KB dung lượng trên chi phí, cân bằng hiệu quả với bảo vệ quyền riêng tư thực sự.

Sự khác biệt cơ bản giữa tri thức không thực sự và “ZK như một từ viết tắt ngắn gọn” là gì?

Kiến thức không thực sự có nghĩa là người xác minh không thể suy ra bất kỳ thông tin đầu vào cá nhân nào của người chứng minh từ bằng chứng; “ZK như một chữ viết tắt ngắn gọn” chỉ nhấn mạnh rằng các bằng chứng ngắn gọn và dễ xác minh, và không liên quan đến việc bảo vệ quyền riêng tư của dữ liệu cơ bản, và cả hai về cơ bản khác nhau về mặt mật mã.