FHE và bằng chứng ZK: Hai công nghệ bảo mật này khác nhau ở điểm nào?

Mã hóa đồng cấu hoàn chỉnh (FHE) cho phép các ứng dụng thực hiện phép tính trên dữ liệu đã mã hóa mà không cần giải mã trước. Kết quả vẫn ở dạng mã hóa, nhờ đó FHE hữu ích khi dữ liệu nhạy cảm cần được giữ riêng tư trong suốt quá trình tính toán.

Bằng chứng không kiến thức (ZK) phục vụ một mục đích khác. Chúng cho phép một bên chứng minh rằng một phát biểu hoặc phép tính là đúng mà không tiết lộ dữ liệu riêng tư làm cơ sở. Bằng chứng ZK thường được dùng cho thông tin xác thực riêng tư, xác minh rollup, bằng chứng khả năng thanh toán và những trường hợp khác, nơi việc xác minh quan trọng hơn việc giữ toàn bộ phép tính ở dạng mã hóa.

Khác biệt then chốt là FHE bảo vệ dữ liệu trong khi dữ liệu đang được xử lý, còn bằng chứng ZK xác minh một kết quả mà không tiết lộ các đầu vào riêng tư. Một số hệ thống blockchain tập trung vào quyền riêng tư kết hợp cả hai công nghệ vì chúng giải quyết những phần khác nhau của cùng một bài toán.

Mã hóa đồng cấu hoàn chỉnh (FHE) là gì?

Mã hóa đồng cấu hoàn chỉnh (FHE) là một phương pháp mật mã cho phép thực hiện phép tính trực tiếp trên dữ liệu đã mã hóa. Dữ liệu vẫn được mã hóa trong khi xử lý, và kết quả cuối cùng sau đó có thể được giải mã thành đúng đầu ra như khi tính từ bản rõ gốc.

Trong các ứng dụng blockchain, FHE có thể hỗ trợ số dư được mã hóa, bỏ phiếu riêng tư hoặc trạng thái ứng dụng bảo mật mà không tiết lộ giá trị cơ sở cho các validator hay người tham gia khác. Hệ thống vẫn cần quy tắc rõ ràng về quản lý khóa, thẩm quyền giải mã và quyền truy cập kết quả cuối cùng.

Bằng chứng không kiến thức (ZK) là gì?

Bằng chứng không kiến thức (ZK) cho phép một bên chứng minh rằng một phát biểu hoặc phép tính là hợp lệ mà không tiết lộ thông tin riêng tư dùng để tạo ra bằng chứng. Bên chứng minh tạo bằng chứng, còn bên xác minh kiểm tra bằng chứng đó dựa trên các quy tắc định trước.

Bằng chứng ZK có thể được dùng cho kiểm tra danh tính riêng tư, xác minh giao dịch, tính hợp lệ của rollup và bằng chứng dự trữ hoặc khả năng thanh toán. Mức độ riêng tư phụ thuộc vào cách thiết kế ứng dụng, vì một số đầu vào, đầu ra hoặc chi tiết giao dịch vẫn có thể công khai.

FHE và bằng chứng ZK: Những khác biệt chính là gì?

FHE và ZK giải quyết những phần khác nhau của phép tính bảo mật. Coi chúng là hai thứ thay thế cho nhau có thể khiến tính riêng tư hoặc tính đúng đắn không được giải quyết.

FHE và bằng chứng ZK hoạt động khác nhau như thế nào?

- FHE: Dữ liệu vẫn được mã hóa trong khi các phép tính được thực hiện trên đó. Ứng dụng có thể cập nhật số dư, phiếu bầu hoặc trạng thái riêng tư khác ở dạng mã hóa mà không tiết lộ giá trị cơ sở. Hệ thống vẫn cần quy tắc về khóa giải mã, quyền truy cập được ủy quyền và khả năng khôi phục nếu khóa bị mất hoặc bị xâm phạm.

- Bằng chứng ZK: Bên chứng minh cho thấy các đầu vào riêng tư thỏa mãn một bộ quy tắc mà không tiết lộ những đầu vào đó. Bên xác minh kiểm tra bằng chứng thu được thay vì lặp lại toàn bộ phép tính. Bằng chứng chỉ xác nhận các quy tắc được mã hóa trong hệ thống, nên logic mạch sai vẫn có thể tạo ra bằng chứng hợp lệ cho một điều kiện sai.

Các dự án FHE và ZK phổ biến là gì?

Các dự án FHE phổ biến

1. Zama: Phát triển các công cụ FHE và hạ tầng blockchain cho hợp đồng thông minh bảo mật và ứng dụng onchain được mã hóa.

2. Fhenix: Xây dựng hạ tầng blockchain sử dụng FHE để hỗ trợ thực thi hợp đồng thông minh được mã hóa.

3. Inco: Tập trung vào điện toán bảo mật cho các ứng dụng blockchain bằng trạng thái mã hóa dựa trên FHE.

Các dự án ZK phổ biến

1. zkSync: Sử dụng bằng chứng không kiến thức để mở rộng quy mô Ethereum bằng cách xác minh các lô giao dịch ngoài chuỗi.

2. Starknet: Sử dụng bằng chứng STARK để xác minh tính toán và mở rộng quy mô thực thi hợp đồng thông minh trên Ethereum.

3. Aztec: Tập trung vào các ứng dụng blockchain bảo vệ quyền riêng tư bằng công nghệ bằng chứng không kiến thức.

FHE và bằng chứng ZK tạo ra những rủi ro hay đánh đổi nào?

- Rủi ro của FHE: Tính toán trên dữ liệu mã hóa tiêu tốn tài nguyên nhiều hơn đáng kể so với tính toán thông thường. Bản mã lớn, xử lý chậm hơn, quản lý khóa và thẩm quyền giải mã có thể làm tăng chi phí và độ phức tạp.

- Rủi ro của ZK: Việc tạo bằng chứng đòi hỏi các mạch và phần mềm chuyên dụng. Lỗi trong mạch, trình biên dịch, hợp đồng xác minh hoặc quy trình thiết lập có thể ảnh hưởng đến quyền riêng tư hoặc tính đúng đắn, trong khi siêu dữ liệu công khai vẫn có thể tiết lộ thông tin.

Cả hai công nghệ đều phụ thuộc nhiều vào việc triển khai và thiết kế ứng dụng đúng đắn chứ không chỉ vào mật mã.

Công nghệ bảo mật nào phù hợp với ứng dụng blockchain?

- FHE: Phù hợp hơn với những ứng dụng cần xử lý liên tục dữ liệu riêng tư, như số dư bảo mật, đấu giá riêng tư và bỏ phiếu được mã hóa.

- Bằng chứng ZK: Phù hợp hơn để chứng minh một điều kiện hoặc phép tính là hợp lệ mà không tiết lộ thông tin cơ sở, như kiểm tra danh tính, xác minh rollup, bằng chứng khả năng thanh toán hoặc kiểm tra điều kiện đủ tư cách riêng tư.

- Dùng cả hai: Một số hệ thống kết hợp FHE và bằng chứng ZK để dữ liệu vẫn được mã hóa trong quá trình tính toán, đồng thời bằng chứng xác minh rằng đầu vào và quá trình xử lý tuân theo các quy tắc yêu cầu.

Các khái niệm liên quan

1. ZK Rollup là gì?

2. Khóa riêng tư là gì?

3. Hợp đồng thông minh là gì?

Đọc thêm

1. Mạng ZKP phi tập trung Succinct (PROVE) là gì và cách giao dịch nó trên BingX?

2. AZTEC Privacy Layer 2 zkRollup trên Ethereum là gì và cách mua nó?

3. Những dự án tiền mã hóa không kiến thức (ZK) hàng đầu năm 2026 là gì?

4. Zama (ZAMA) là gì, lớp \"HTTPZ\" cho hợp đồng thông minh bảo mật?