Khi chúng tôi phát hành ZK Book hơn một năm trước, chúng tôi đã đưa lĩnh vực giáo dục ZK tiến một bước dài.

Cuốn sách của chúng tôi đi tiên phong trong phương pháp "vừa đủ toán học" để học ZK.

Hôm nay, chúng tôi lại làm điều đó với một bổ sung mới cho ZK Book.

"Circom and Constraint Design Patterns" (Circom và Các Mẫu Thiết Kế Ràng Buộc)

Phần mới này tập trung vào cách thiết kế, tạo và kiểm tra các mạch ZK không tầm thường.

Bạn có thể đã thấy rất nhiều hướng dẫn về cách chứng minh bạn biết giá trị của một đa thức bằng Circom.

Nhưng làm thế nào để bạn đi từ đó đến việc thiết kế một ZKVM hoặc chứng minh bạn biết ảnh gốc của một hàm băm truyền thống (như MD5 hoặc Keccak256)?

Phần mới của ZK Book sẽ đưa bạn vào một hành trình từ việc nhân các số với nhau đến:

- xây dựng một ZKVM từ đầu
- viết code các ràng buộc cho hàm băm MD5
- học các mẫu thiết kế lặp đi lặp lại trong thiết kế ràng buộc

Phần cuối cùng rất thú vị vì một số "mẫu thiết kế" đã được thiết lập thậm chí không có tên cho chúng. Chúng tôi đã phải phát minh ra một số thuật ngữ!

Như thường lệ, chúng tôi cực kỳ chu đáo về cách chúng tôi giới thiệu người đọc với những ý tưởng mới để tránh làm cho người mới bắt đầu cảm thấy choáng ngợp. Chúng tôi cẩn thận để đảm bảo chúng tôi dạy các kiến thức tiên quyết theo một thứ tự hợp lý và với rất nhiều ví dụ.

Mỗi chương cho thấy cách xây dựng một mạch cho một ứng dụng ngày càng phức tạp. Với mỗi chương, bạn vừa xem lại những gì bạn đã học trước đó vừa học một mẫu thiết kế mới.

Khi bạn xây dựng một bộ sưu tập các mẫu thiết kế này, bạn có thể kết hợp chúng lại với nhau để xây dựng các ứng dụng phức tạp hơn, như ZKVM hoặc một hàm băm không tầm thường.

Chúng tôi đã nỗ lực rất lớn để đảm bảo rằng tài liệu vừa dễ hiểu vừa chính xác mà không có bất kỳ thiếu sót quan trọng nào.

Chúng tôi xin cảm ơn @ChainLight_io, @VeridiseInc, @PrivacyScaling và @zksecurityXYZ đã dành thời gian để xem xét công việc này và đưa ra các đề xuất.

Chúng tôi đặc biệt biết ơn @marcobesier từ @zksecurityXYZ vì đã làm việc qua một số bản sửa đổi để thực sự đưa các chương vào trạng thái hoàn thiện.

Đặc biệt cảm ơn @cal_nix vì đã đồng tác giả bảy chương đầu tiên trong phần mới này của cuốn sách!

Các chủ đề chúng tôi đề cập ở đây là cực kỳ cơ bản. Nếu bạn không hiểu các tài liệu ở đây, việc học các chi tiết bên trong của ZKVM hoặc ZK Layer 2 client hiện đại hơn sẽ khá khó khăn. Cho đến bây giờ, việc thiếu các giải thích hướng đến người mới bắt đầu cho các khái niệm nền tảng như vậy đã kìm hãm không gian ZK.

Tập hợp các công trình mới này không chỉ đơn giản là một "giải thích tốt hơn" về các tài liệu hiện có, mà là lời giải thích đầu tiên -- bên ngoài các bài báo học thuật.

Chúng tôi sử dụng Circom làm ngôn ngữ giảng dạy vì chúng tôi coi nó là thân thiện với người mới bắt đầu nhất. Tuy nhiên, những gì bạn học ở đây có thể được khái quát hóa cho các framework khác như Plonky3, Halo2, o1js và Gnark. Các bài viết mới hiện làm cho ZK Book dài hơn 38.000 từ.

Bạn không cần phải biết ZK-SNARK hoạt động như thế nào để đọc phần này của cuốn sách, nhưng có một vài điều kiện tiên quyết. Chúng được liệt kê trong chương "Introduction to Circom" (Giới thiệu về Circom).

Như thường lệ, tài liệu hoàn toàn miễn phí và không cần đăng nhập.