Các chứng minh ZK đang cách mạng hóa crypto và thổi phồng cái tôi. Mọi người đều tuyên bố có hệ thống chứng minh thật sự duy nhất, nhưng ứng dụng mới là phần quan trọng, chứng minh giờ đây trở thành hàng hóa. Ngoài ra: nếu chứng minh zk mới của một công ty bắt đầu bằng 'h' hoặc 'hyper,' họ đã từ bỏ thần thánh cũ của mình để chuyển sang sum-check.

Sum-check là một phương pháp ZK cũ đến nỗi không ai trên Twitter dám tuyên bố họ đã phát minh ra nó. Justin Thaler đã tạo dựng tên tuổi của mình khi chỉ ra rằng nó thực sự hữu ích. Anh ấy có thể đúng ... hoặc đang hình thành một giáo phái mới. Nhưng các dự án chuyển sang sử dụng sum-check, đôi khi giả vờ rằng đó là thần thánh mà họ đã phát minh ra trước đó...

Được rồi, đủ những phép ẩn dụ rồi. SNARKs đại diện cho các chương trình dưới dạng đa thức. Kiểm tra tổng sử dụng các đa thức nhiều biến, ví dụ, P(x,y) = x^2+2y. Thậm chí còn gây nhầm lẫn hơn, cách đặt tên "h" và "hyper" xuất phát từ các đa thức tạo thành một hypercube Boolean. Một cách nói hoa mỹ để nói rằng mỗi biến là 0 hoặc 1.

Hãy nghĩ về nó như máy tính: máy tính hoạt động theo hệ nhị phân thay vì hệ thập phân vì một số phép toán thông thường hiệu quả hơn khi được phân tích từng bit thay vì từng chữ số. Kiểm tra tổng thực hiện điều gì đó rất tương tự cho các chương trình mà nó chứng minh là thỏa mãn.

Một lợi thế của cách tiếp cận này, không chỉ riêng cho sum-check (xem ví dụ, các sơ đồ gập), là khả năng truyền phát. Đối với nhiều hệ thống chứng minh dựa trên FFT/hash nặng, bạn cần phải đưa toàn bộ tuyên bố mà bạn đang chứng minh vào bộ nhớ. Điều này hoạt động tốt cho những thứ nhỏ, nhưng nhanh chóng làm quá tải một chiếc laptop.

Ràng buộc này giới hạn bạn chỉ sử dụng các máy chủ lớn mà mọi người phải gửi dữ liệu của họ đến để chứng minh. Không thực sự Zk cho lắm. Nó hữu ích cho việc vận hành một máy nén rác khổng lồ (à, tôi muốn nói là, rollup tập trung), nhưng nó thất bại trong việc bảo vệ quyền riêng tư phía khách hàng, điều mà thị trường đang hướng tới (tạm thời).

Như tôi đã nói, sum-check không phải là phương pháp phát trực tuyến duy nhất. Còn có cả folding nữa. Công sức mà mọi người đã bỏ ra để tạo ra tất cả các zk schemes này cũng đã biến chúng thành hàng hóa. Hãy chọn những gì bạn cần và tập trung vào ứng dụng. Đừng tôn thờ một hệ thống chứng minh hay đội ngũ nào. Bên trong, đội ngũ không