Mùa xuân năm nay, tôi đã gặp Dr. Yamamoto ở Tokyo. Vị cựu nhà toán học gấp giấy này, hiện là giám đốc mật mã học của một dự án chuỗi riêng tư, đã trình bày logic cốt lõi của zk-SNARK bằng một tờ giấy bình thường trong một phòng truyền thống trải đầy giấy nháp.

Anh ấy gấp một con hạc giấy, nói: "Điều quan trọng không phải là hình dạng của hạc, mà là mối quan hệ hình học trong những nếp gấp." Vào khoảnh khắc đó, tôi bỗng nhận ra - một giải pháp bảo mật tốt không chỉ là sự chồng chất công nghệ, mà còn giống như một cách xử lý thông tin nghệ thuật.

**Phép thuật đệ quy trong nếp gấp**

Đội ngũ của Dr. Yamamoto trong bài báo năm 2023 đã đề xuất "lý thuyết gấp giấy chứng minh". Họ phát hiện ra rằng, phương pháp gấp giấy "núi và sông" truyền thống và chứng minh không biết (zk-SNARK) có sự tương đồng toán học đáng kinh ngạc - đều thông qua việc gấp nhiều lớp, nén cấu trúc phức tạp thành hình dạng đơn giản.

Dữ liệu thực nghiệm thật đáng kinh ngạc. Trên mạng thử nghiệm, 5000 giao dịch riêng tư đã được nén thành một tệp chứng minh 2.7KB. Kích thước này chỉ bằng 1/50 kích thước của chứng minh ZK truyền thống, nhưng tốc độ xác minh nhanh hơn 18 lần.

Tiến sĩ Yamamoto đưa ra một ví dụ: "Giống như cuộn tranh thời Edo. Khi mở ra có hàng ngàn yêu quái, nhưng cuộn lại chỉ còn một trục."

**Chiêu bài tàng hình có thể điều chỉnh**

Điều thú vị hơn là mô hình quyền riêng tư "dần biến mất dần xuất hiện" mà dự án thực hiện. Khác với lựa chọn nhị phân hoàn toàn minh bạch hoặc hoàn toàn ẩn danh, hệ thống này cho phép người dùng điều chỉnh động mức độ tiết lộ thông tin. Giống như việc mặc cho giao dịch một bộ đồ tàng hình có thể lập trình - muốn lộ bao nhiêu, tự mình quyết định.