VC cho phép người dùng hạn chế tài nguyên ủy quyền tính toán cho bên thứ ba không tin cậy, nhưng vẫn có thể kiểm chứng kết quả một cách hiệu quả.

• Phân loại các hướng tiếp cận VC:
•   - Dựa trên giả định: phần cứng tin cậy (TPM, secure coprocessor), kiểm toán, nhân bản, xác thực.
•   - Dựa trên chứng minh: interactive proofs (IP, AM), zero knowledge (ZK), probabilistic checkable proofs (PCP), computationally sound proofs (CS).
• - Trình bày các mô hình VC hiện đại: SNARKs, ZK-SNARKs, QSPs, NIZK arguments, multi-client VC, verifiable keyword search, proofs of retrievability, verifiable data streaming.
• - Tổng hợp các hệ thống đã triển khai: Pinocchio, Ginger, Zaatar, Pepper, Pantry, Buffet, Geppetto, Clover, TinyRAM, Trueset.
• - Phân tích ưu/nhược điểm từng hệ thống: chi phí thiết lập, tính công khai, khả năng zero-knowledge, hiệu suất của prover và verifier.
• - Đề xuất các hướng nghiên cứu tương lai: giảm chi phí prover, xây dựng VC cho IoT, VC chống tấn công lượng tử, VC không cần FHE, VC cho xử lý ảnh và mật mã.