Zero Knowledge VM (zkVM) là gì?

Zero Knowledge VM (zkVM) là một máy ảo chạy mã và xuất ra một bằng chứng cho thấy lần chạy đó là chính xác, mà không tiết lộ các dữ liệu đầu vào. Hãy tưởng tượng nó như một trọng tài xác nhận kết quả trong khi giữ sổ tay chiến thuật kín. Kết quả giống nhau, ít chi tiết bị lộ hơn.

Quan niệm sai lầm

“Một zkVM làm cho mọi thứ trở nên ẩn danh.” Không hoàn toàn như vậy. Nó chứng minh việc thực thi là đúng. Phần nào được giữ riêng tư do ứng dụng chọn, không phải do máy bắt buộc.

Zero Knowledge VM (zkVM) hoạt động như thế nào

Hãy tưởng tượng một chương trình chạy ngoài chuỗi, rồi gửi một biên lai toán học nhỏ lên chuỗi nói rằng "việc này đã được thực hiện đúng". Mô tả nhanh dưới đây.

Bước 1: Nhà phát triển viết hoặc biên dịch mã để chạy bên trong zkVM.
Bước 2: Chương trình chạy ngoài chuỗi và tạo ra một bằng chứng, ví dụ chứng minh một giao dịch được định giá đúng mà không hiển thị các dữ liệu đầu vào của người giao dịch.
Bước 3: Bằng chứng đó cùng vài dữ liệu tối thiểu được gửi tới một trình xác minh trên chuỗi.
Bước 4: Trình xác minh kiểm tra bằng chứng nhanh và ghi nhận có hoặc không.
Bước 5: Các hợp đồng và người dùng khác tin tưởng kết quả mà không phải lặp lại phần tính toán nặng.

Trong nội bộ, nó dựa vào bằng chứng không tiết lộ thông tin để đứng ra chứng nhận lần chạy. Vâng, toán học làm chứng.

Tại sao Zero Knowledge VM (zkVM) quan trọng

Bạn quan tâm vì điều này thay đổi mô hình chi phí. Tính toán lớn xảy ra ngoài chuỗi, kiểm tra nhỏ trên chuỗi.

Lợi ích: Tốc độ và phí cải thiện vì việc xác minh rẻ trong khi công việc nặng diễn ra ở nơi khác.
Góc nhìn: Bạn có thể giữ dữ liệu nhạy cảm ẩn đồng thời cung cấp minh bạch về kết quả.
Tính ứng dụng: Mong đợi thấy nó trong DeFi, game, danh tính và nhiều lĩnh vực khác nơi quyền riêng tư và toán học có thể xác minh đều quan trọng.

Mẹo

Khi so sánh các zkVM, hãy hỏi hai điều trước: ngôn ngữ nào được hỗ trợ và trình xác minh chạy nhanh ra sao trên chuỗi mục tiêu.

Đặc điểm chính của Zero Knowledge VM (zkVM)

Đây là những thuộc tính mà người ta thực sự kiểm tra:

Tổng quan: Chạy nhiều loại chương trình thay vì một mạch dùng cho một mục đích duy nhất.
Di động: Bằng chứng có thể được xác minh trên nhiều chuỗi bởi một hợp đồng thông minh nhỏ.
Chọn lọc: Cho phép ứng dụng quyết định dữ liệu đầu vào nào giữ kín và đầu ra nào công khai.
Hiệu quả: Việc xác minh bằng chứng nhanh ngay cả khi lần chạy ban đầu nặng.
Có thể ghép nối: Bằng chứng có thể được gom theo lô hoặc lồng nhau để hệ thống mở rộng với ít nhiễu hơn.

Các biến thể

Không phải mọi zkVM đều giống nhau. Những kiểu phổ biến bạn sẽ thấy:

EVM: Nhắm tới chạy logic kiểu Solidity và chứng minh nó, tốt cho tái sử dụng trực tiếp trong ứng dụng.
LLVM: Biên dịch từ các ngôn ngữ tổng quát như Rust hoặc C sang dạng có thể chứng minh.
Rollup: Dùng bên trong các validity rollup nơi bằng chứng được đăng lên chuỗi gốc.
Sovereign: Xác minh trên chuỗi riêng của nó trong khi cầu nối bằng chứng ra bên ngoài.

Nhắc nhở

Việc xác minh rẻ, nhưng tạo bằng chứng có thể nặng và tốn thời gian. Sự đánh đổi đó chính là điểm mấu chốt.

Ví dụ

Một ứng dụng cho vay định giá tài sản thế chấp bên trong một zkVM, rồi chỉ đăng bằng chứng lên chuỗi để việc thanh lý diễn ra công bằng mà không phơi bày dữ liệu người vay.

Thông tin thú vị

Ý tưởng cốt lõi bắt nguồn từ các nghiên cứu thập niên 80, khi các nhà mật mã chỉ ra bạn có thể chứng minh rằng bạn biết một bí mật mà không cần tiết lộ nó. Cộng đồng Crypto trên Twitter đã làm cho điều đó trở nên thời thượng.

Tóm tắt

Tóm gọn, Zero Knowledge VM (zkVM) là một máy tính tạo bằng chứng cho phép các chuỗi kiểm tra công việc nhanh trong khi giữ các đầu vào nhạy cảm ngoài tầm nhìn.

Zero Knowledge VM (zkVM)