A16z Crypto cập nhật Jolt zkVM, thách thức việc sử dụng tùy tiện nhãn ‘ZK’

A16z Crypto, nhánh web3 của công ty đầu tư mạo hiểm lớn Andreessen Horowitz, đã chỉ trích việc sử dụng thông tục “ZK” trong một số thiết lập của nhà phát triển trong một bài đăng trên blog về Jolt zkVM của họ. 

“Phần lớn zkVM thực ra không thực sự là zero knowledge — trừ khi được áp dụng một quy trình ‘bọc’ đắt đỏ,” bài blog viết. “Quy trình bọc này thường bao gồm việc chứng minh đệ quy việc xác minh của bằng chứng zkVM bên trong một hệ thống bằng chứng khác

Các tác giả cũng lưu ý rằng "zk" thường đã trở thành một từ viết tắt cho “tính súc tích,” tức là những bằng chứng “ngắn gọn và xác minh nhanh,” thay vì là về quyền riêng tư zero-knowledge thực sự. 

“Khi cộng đồng ngày càng tập trung vào quyền riêng tư hơn — đòi hỏi zero knowledge thực sự, điều này liên quan đến quyền riêng tư của dữ liệu nhạy cảm bên phía người chứng minh — thì việc dùng sai thuật ngữ này đang trở thành một vấn đề thực sự,” a16z bổ sung. 

ZK proofs là gì?

ZK proofs là một kỹ thuật mã hóa cho phép một bên (người chứng minh) thuyết phục một bên khác (người xác minh) rằng một phát biểu là đúng mà không tiết lộ bất kỳ thông tin nền nào ngoài việc phát biểu đó là đúng.

Lần đầu tiên được phát triển trong giới học thuật, ứng dụng thương mại quy mô lớn đầu tiên của ZK proofs có thể nói đã xuất hiện trong ngành công nghiệp crypto, đặc biệt là với sự ra mắt của Zcash, sử dụng một loại bằng chứng súc tích gọi là zk-SNARKs để cung cấp quyền riêng tư onchain bằng cách che giấu dữ liệu giao dịch.  

Tuy nhiên, mã hóa zero-knowledge kể từ đó đã được ứng dụng vào nhiều trường hợp blockchain mới, đặc biệt là giải pháp mở rộng cho các blockchain Layer 2 trên Ethereum và các zk-Rollups khác. 

Bản thân quyền riêng tư cũng đang nổi lên như một mối quan tâm quan trọng đối với các nhà phát triển và nhà đầu tư crypto, những người cho rằng tính minh bạch của hầu hết các blockchain hiện nay sẽ hạn chế khả năng được chấp nhận, đặc biệt là với các tổ chức.

Ví dụ, CEO của Digital Currency Group Barry Silbert gần đây đã nói rằng ông kỳ vọng dòng vốn tài chính đáng kể sẽ chảy vào các chuỗi tập trung vào quyền riêng tư. 

Giải pháp của Jolt

Về phần mình, Jolt zkVM mã nguồn mở của a16z đã triển khai một bản nâng cấp lớn để hỗ trợ trực tiếp cho các bằng chứng zero-knowledge vào thứ Ba.

Cái gọi là Zero-Knowledge Virtual Machines được sử dụng để chạy các chương trình và tạo ra một bằng chứng rằng một hàm mã đã được thực thi mà không tiết lộ các input của nó.

Giống như các ứng dụng mà bài blog đề cập, Jolt ban đầu đã sử dụng ZK proofs cho tính súc tích thay vì quyền riêng tư hoàn chỉnh, một vấn đề mà các nhà phát triển đã sửa chữa bằng cách áp dụng một phương án folding “có từ những năm 1990.”

Cụ thể, Jolt đã sử dụng phương án NovaBlindFold để tạo các bằng chứng bị che mờ nhằm ngăn sự rò rỉ thông tin, “biến nó thành phù hợp cho các ứng dụng về quyền riêng tư.”

“Kết quả cuối cùng là một bằng chứng ZK chỉ lớn hơn khoảng 3 KB so với bằng chứng Jolt không ZK ban đầu,” bài blog lưu ý.