Charles Hoskinson vừa xuất bản phiên bản 1.10 của cuốn sách kỹ thuật chuyên sâu về bằng chứng Zero-Knowledge – ZK. Bản phát hành mang tên Proving Nothing: A Layered Guide to Zero-Knowledge Proof Systems đánh dấu một cuộc đại tu biên tập quan trọng cho dự án trước đây vốn được biết đến với cái tên The Seven-Layer Magic Trick.
Bản cập nhật được công bố cách trên kho lưu trữ GitHub của dự án, giới thiệu tiêu đề mới, các định dạng xuất bản mới, bìa sách được tinh chỉnh và các chỉnh sửa sâu rộng theo từng chương nhằm cải thiện độ rõ nét, tính chính xác kỹ thuật và khả năng tiếp cận cho các nhà phát triển, nhà nghiên cứu và những người đam mê blockchain.
Các cập nhật chính trong phiên bản v1.10
Tiêu đề và Thương hiệu Cuốn sách đã chính thức được đổi tên thành Proving Nothing. Tất cả các tham chiếu nội bộ, tệp thực thi (build scripts) và siêu dữ liệu đã được cập nhật để phản ánh sự thay đổi này. Tiêu đề mới nắm bắt tốt hơn chủ đề cốt lõi của ZK Proofs, các hệ thống cho phép một bên chứng minh một tuyên bố là đúng mà không tiết lộ bất kỳ thông tin cơ bản nào.
Định dạng xuất bản mới
– EPUB (Sẵn sàng cho Kindle): Phiên bản có khả năng tự điều chỉnh nội dung (reflowable), được tối ưu hóa theo Hướng dẫn Xuất bản Amazon Kindle v2025.1, hỗ trợ đầy đủ MathML cho các phương trình, bảng HTML và CSS tùy chỉnh để nâng cao chất lượng dàn trang.
– PDF (Chế độ tối): Có trang bìa được thiết kế chuyên nghiệp bằng XeLaTeX, tối ưu hóa cho cả môi trường đọc sáng và tối.
Chỉnh sửa toàn diện theo từng chương
Hoskinson và đội ngũ biên tập đã thực hiện những cải tiến có mục tiêu trên tất cả 14 chương và các phần hỗ trợ:
– Chương 1: Bổ sung nội dung chuyên sâu về chuyển đổi Fiat-Shamir, tiết lộ thông tin có chọn lọc theo eIDAS 2.0 và các nghiên cứu điển hình chi tiết về các dự án ZK hàng đầu như SP1 Hypercube, RISC Zero, StarkWare Stwo (được ghi nhận cải thiện hiệu suất gấp 940 lần) và EF zkEVM. Một ví dụ thực tế mới sử dụng giao thức bảo mật Midnight đã được thêm vào bên cạnh ví dụ về Sudoku kinh điển.
– Chương 2: Mở rộng phần giải thích về Cấu trúc Tham chiếu (SRS), đường cong elliptic, phép bắt cặp (pairings) và phân tích giá trị tùy chọn với các bảng độ nhạy và các ví dụ tương đồng trong thực tế.
– Chương 3: Lấp đầy các phần nội dung chờ về trải nghiệm nhà phát triển trong việc tạo bằng chứng, đồng thời mở rộng đáng kể phần thảo luận về lý do tại sao RISC-V trở thành kiến trúc tập lệnh thống trị cho các máy ảo ZK (zkVMs).
– Các chương sau: Củng cố các bước chuyển tiếp giữa các lớp, thêm các ví dụ cụ thể về hiệu suất (bao gồm việc mở rộng Sudoku từ 80 lên hàng tỷ phần tử trường), tinh chỉnh các thảo luận về chi phí phần cứng và giới thiệu các phân tích mới về quản trị và kênh kề (side-channel) cho giao thức Midnight.
– Chương 14: Đào sâu các câu hỏi mở xoay quanh nhân chứng GPU (GPU witnesses), các giả định tin cậy và sự hội tụ của các lực lượng thị trường, đồng thời kết nối chúng với các kịch bản rủi ro thực tế.
Các cải tiến xuyên suốt: Bao gồm việc tự nhiên hóa các tham chiếu đến dự án Midnight trong toàn bộ văn bản, giải thích nhất quán về “độ dốc kiến thức” (pairings, đa thức, NTT…) và rà soát kỹ lưỡng để loại bỏ các dấu hiệu câu từ do AI tạo ra nhằm mang lại giọng văn tự nhiên và uy tín hơn.
Kết Luận
Bằng chứng không tiết lộ thông tin đã trở thành trung tâm của khả năng mở rộng, quyền riêng tư và tuân thủ quy định trong blockchain. Khung phân lớp của Hoskinson từ “nền tảng” của các nguyên hàm mật mã đến “phán quyết” của việc triển khai thực tế mang đến cho người đọc một lộ trình có cấu trúc qua một trong những lĩnh vực phức tạp nhất của mật mã học hiện đại.
Phiên bản v1.10 giúp cuốn sách trở nên dễ tiếp cận hơn bao giờ hết thông qua định dạng EPUB mới trong khi vẫn giữ nguyên chiều sâu kỹ thuật khắt khe đã định hình nên bộ sách này. Với việc mở rộng phạm vi bao phủ các hệ thống thực tế như Midnight, ZK ElGamal của Solana và bối cảnh zkVM đang mới nổi, ấn bản cập nhật này vừa đóng vai trò là hướng dẫn thực hành cho nhà phát triển, vừa là phân tích hướng tới tương lai về lộ trình phát triển của các công nghệ tăng cường quyền riêng tư.
Toàn bộ bản phát hành, bao gồm tài liệu nguồn, tệp EPUB và PDF để tải về, hiện đã có sẵn trên GitHub tại: https://github.com/CharlesHoskinson/sevenlayer/releases/tag/v1.10
Lưu ý: Mọi bài viết đều nhằm mục đích thông tin, không phải là lời khuyên đầu tư.
ADA Bamboo
