ZK Cơ Bản | Tập 8: Tại sao bằng chứng ZK lại tốn kém đến vậy Việc xác minh một bằng chứng chỉ mất vài miligiây. Việc tạo ra nó mới là phần tốn kém. Đây là nơi tiền được chi tiêu: 1. Tính toán được viết lại. Chương trình của bạn phải được chuyển đổi thành dạng mà toán học có thể chứng minh — một mạch điện. Không có gì trong bước này là miễn phí. 2. Tạo bằng chứng rất nặng nề. Việc xây dựng bằng chứng có thể tốn hàng ngàn lần tài nguyên tính toán so với việc chạy chương trình bình thường. 3. Phần cứng chuyên dụng. Việc tạo bằng chứng nghiêm túc được thực hiện trên GPU và chip tùy chỉnh, đó là lý do tại sao có cả một ngành công nghiệp về hạ tầng tạo bằng chứng. 4. Chi phí đang giảm nhanh chóng. Chi phí đã giảm hàng chục lần trong vài năm qua, chính là lý do ZK đã từ các bài báo chuyển sang ứng dụng thực tế. Sự đánh đổi: trả một lần để chứng minh, để mọi người xác minh với chi phí rẻ mãi mãi. Lưu lại cái này nhé 💜