Charles Hoskinson đã phát hành một hướng dẫn miễn phí 337 trang về chứng minh không kiến thức trên GitHub, nhắm đến các nhà phát triển và người xây dựng công nghệ bảo mật Midnight trong không gian ZK.
Charles Hoskinson đã xuất bản một cuốn sách kỹ thuật dài 337 trang về hệ thống chứng minh không kiến thức. Miễn phí. Trên GitHub. Mở cho bất kỳ ai để đọc, điều chỉnh hoặc xây dựng.
Người sáng lập Cardano và IOG đã chia sẻ thông tin phát hành trên X với tên tài khoản @IOHK_Charles, xác nhận cuốn sách có tựa đề “Mánh Khóe Bảy Tầng: Hướng Dẫn Toàn Diện về Hệ Thống Chứng Minh Không Kiến Thức.” Hoskinson đã đăng nó hai ngày trước. Kho lưu trữ đã chứa đầy đủ PDF, mã nguồn Markdown và quy trình xây dựng ở một nơi.
Cuốn sách mở đầu bằng một câu duy nhất từ Hoskinson đặt ra toàn bộ tông điệu. Chứng minh không kiến thức cho phép bạn chứng minh điều gì đó là đúng mà không cần tiết lộ lý do tại sao nó đúng. Ý tưởng đó, ông viết, nằm trong một ngành công nghiệp trị giá 2 nghìn tỷ đô la, bốn thập kỷ toán học và một vấn đề mà hầu hết mọi người vẫn không thể giải thích rõ ràng.
Nội Dung Thực Sự Trong 337 Trang
Mười bốn chương. Ba phần. Khoảng 5.280 dòng Markdown trước khi nó trở thành PDF.
Phần I đi qua những điều cơ bản. Chứng minh không kiến thức làm gì, tại sao chúng lại quan trọng bây giờ, và quyết định thiết kế thực sự đầu tiên mà bất kỳ hệ thống ZK nào phải đối mặt — thiết lập đáng tin cậy so với thiết lập minh bạch. Phần II đi sâu vào lõi kỹ thuật. Một chương cho mỗi lớp: ngôn ngữ lập trình, tạo chứng cứ, toán hóa, hệ thống chứng minh, các nguyên tắc mật mã và xác minh trên chuỗi.
Phần đó về ngôn ngữ lập trình không phải là đọc giải trí. Hoskinson đánh dấu vấn đề mà ông gọi là vấn đề mạch bị ràng buộc dưới — chịu trách nhiệm cho 67% các lỗ hổng ZK trong thế giới thực. Chỉ số đó đủ để khiến Phần II xứng đáng với thời gian cho bất kỳ nhà phát triển nào làm việc gần các hệ thống ZK.
Phần III đề cập đến bức tranh lớn hơn. Một phân tích đầy đủ lòng tin với bảy kịch bản thất bại, một so sánh cảnh quan zkVM, phân tích thị trường qua sáu phân khúc và bảy câu hỏi nghiên cứu mở. Không có giải pháp rõ ràng. Chỉ những câu hỏi khó mà lĩnh vực vẫn chưa trả lời.
Một nghiên cứu điển hình về Midnight nằm trong Phần III. Đó không phải là một ghi chú chân trang — đó là một chương đầy đủ.
Lập Luận Trung Tâm Của Cuốn Sách
Chứng minh không kiến thức không loại bỏ lòng tin. Chúng phá vỡ nó thành bảy phần yếu hơn.
Mỗi phần đều có thể kiểm tra độc lập. Mỗi phần đều có thể thay thế độc lập. Mỗi phần có thể thất bại độc lập. Sự phân tách đó, Hoskinson lập luận qua README của kho lưu trữ GitHub, chính là mánh khóe thực sự mà công nghệ thực hiện — không phải ma thuật, mà là giảm thiểu rủi ro có cấu trúc thành các phần có thể quản lý.
Chương 2 và chương 10 là những gì ông gọi là các bức tường chịu lực. Chương 2 xử lý thiết lập. Chương 10 làm việc qua phân tách lòng tin một cách đầy đủ. Bỏ qua hai chương đó và phần còn lại của cuốn sách sẽ mất đi nền tảng của nó.
Các lộ trình đọc được xây dựng trong cuốn sách phản ánh cách mà mọi người thực sự tiếp cận tài liệu này khác nhau. Bốn mươi lăm phút cho một giám đốc điều hành chỉ đề cập đến các điểm nổi bật. Hai giờ cho một kỹ sư làm việc qua Phần I và II. Hơn bốn giờ cho một nhà nghiên cứu đi qua mọi thứ, bao gồm cả bảy câu hỏi mở trong Chương 14.
Midnight Là Bối Cảnh Thực Sự Ở Đây
Hoskinson đã định vị Midnight như một lớp bảo mật chuỗi chéo xây dựng trên Cardano, sử dụng mật mã không kiến thức làm xương sống qua Bitcoin, XRP và các mạng khác. Một cơ sở phát triển không hiểu các nguyên tắc cơ bản về ZK không thể xây dựng một cách tự tin trên cơ sở hạ tầng đó.
Bối cảnh đó khiến cuốn sách này trở thành một khoản đầu tư kỹ thuật trực tiếp vào tương lai của Midnight. Không phải tiếp thị. Một nền tảng kỹ thuật dài 337 trang cho bất kỳ ai xuất hiện để xây dựng.
Cuốn sách đi qua một ví dụ duy nhất để neo lý thuyết. Một chứng minh Sudoku 4×4 liên kết từ chương trình đến chứng cứ đến các ràng buộc đến một chứng chỉ đã được niêm phong trên mọi lớp. Một phép toán theo dõi toàn bộ quá trình. Đó là loại thiết bị tách biệt các cuốn sách được viết để gây ấn tượng với các cuốn sách được viết để thực sự dạy.
Các cuộc tranh luận xung quanh lòng tin ZK và độ tin cậy của tổ chức đang gia tăng trong không gian. Người sáng lập zkSync gần đây đã phản bác mạnh mẽ trước lời chỉ trích công khai của Canton về an toàn chứng minh ZK trong tài chính tổ chức — lập luận rằng các kiến trúc theo lớp sẽ bắt được các thất bại trước khi chúng lan rộng. Khung phân tách lòng tin của Hoskinson trong Chương 10 giải quyết cùng một loại câu hỏi từ một góc độ khác.
Miễn Phí, Có Giấy Phép, và Sẵn Sàng Để Xây Dựng
PDF đầy đủ có sẵn tại github.com/CharlesHoskinson/sevenlayer. Có giấy phép theo Creative Commons Attribution 4.0 Quốc tế. Sử dụng thương mại được phép. Yêu cầu duy nhất là ghi công.
PDF được xây dựng cho màn hình. Chế độ tối, tiêu đề Outfit, tô màu cú pháp tùy chỉnh, điểm nhấn gradient xanh đến tím. Không được tối ưu hóa cho in ấn. Mã nguồn để tự xây dựng — Python, Pandoc, XeLaTeX — được bao gồm trong cùng một kho lưu trữ.
Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể đến từ bên thứ ba và không đại diện cho quan điểm hoặc ý kiến của Gate. Nội dung hiển thị trên trang này chỉ mang tính chất tham khảo và không cấu thành bất kỳ lời khuyên tài chính, đầu tư hoặc pháp lý nào. Gate không đảm bảo tính chính xác hoặc đầy đủ của thông tin và sẽ không chịu trách nhiệm cho bất kỳ tổn thất nào phát sinh từ việc sử dụng thông tin này. Đầu tư vào tài sản ảo tiềm ẩn rủi ro cao và chịu biến động giá đáng kể. Bạn có thể mất toàn bộ vốn đầu tư. Vui lòng hiểu rõ các rủi ro liên quan và đưa ra quyết định thận trọng dựa trên tình hình tài chính và khả năng chấp nhận rủi ro của riêng bạn. Để biết thêm chi tiết, vui lòng tham khảo
Tuyên bố miễn trừ trách nhiệm.
