Từ 0 đến ZK Concept Bites #5: Tính ngắn gọn Trong Concept Bite trước, chúng tôi đã nói về khi nào thuộc tính "zero knowledge" thực sự quan trọng cho quyền riêng tư. Nhưng quyền riêng tư chỉ là một trong hai siêu năng lực của ZK. Siêu năng lực còn lại, tính ngắn gọn, là thứ mà Brevis sử dụng trong hầu hết mọi tích hợp mà chúng tôi phát hành. 🚀 Tính ngắn gọn có nghĩa là một bằng chứng nhỏ hơn rất nhiều so với phép toán mà nó chứng minh. Xử lý 100.000 giao dịch, và bằng chứng thu được chỉ vài kilobyte. Xác minh việc thực thi của một khối Ethereum đầy đủ, và bằng chứng vừa vặn trong một cuộc gọi trên chuỗi. Kích thước của bằng chứng vẫn giữ nguyên khoảng không đổi bất kể khối lượng công việc ban đầu nặng nề đến đâu. Đây là nơi trở nên thú vị. Việc tạo ra một bằng chứng thực sự tốn kém hơn so với việc chỉ chạy phép toán đó, vì người chứng minh phải thực hiện các phép toán mật mã bổ sung trên đầu phép thực thi thô. Nhưng việc xác minh bằng chứng đó thì gần như không tốn kém gì so với nó. Mối quan hệ trông như thế này: Chứng minh > Thực thi >> Xác minh. Cấu trúc chi phí đó chính xác là những gì mà các blockchain cần. Ngày nay, mỗi giao dịch Ethereum đều được thực hiện lại bởi hàng trăm nghìn người xác thực độc lập, cùng một công việc được lặp lại trên toàn bộ mạng. Với các bằng chứng ngắn gọn, một bên thực hiện công việc nặng nhọc và sản xuất một bằng chứng gọn nhẹ. Mọi người khác chỉ cần kiểm tra nó. Mạng lưới chuyển từ "mọi người làm mọi thứ" sang "tính toán một lần, xác minh ở mọi nơi." 📜 Đó là lý do tại sao Brevis có thể cung cấp những thứ như truy vấn dữ liệu lịch sử cho các cấp phí VIP của PancakeSwap, hoặc phân phối phần thưởng hàng tỷ token cho Linea, mà không làm tăng chi phí gas. Việc tính toán diễn ra ngoài chuỗi nơi mà nó rẻ. Bằng chứng được đưa lên chuỗi nơi mà việc xác minh là cố định và phải chăng bất kể có bao nhiêu dữ liệu đã được xử lý ở phía sau. Tính ngắn gọn cũng là lý do tại sao việc chứng minh khối Ethereum theo thời gian thực của Pico Prism hoạt động. Việc chứng minh việc thực thi của toàn bộ khối và nén nó thành một thứ mà một hợp đồng thông minh có thể xác minh trong vài mili giây sẽ vô nghĩa nếu bằng chứng đó lớn như dữ liệu khối. Tỷ lệ nén là điều làm cho toàn bộ mô hình khả thi. Đọc Phần 2: