Khi chúng tôi phát hành ZK Book hơn một năm trước, chúng tôi đã đưa không gian giáo dục ZK tiến một bước lớn. Cuốn sách của chúng tôi tiên phong trong cách tiếp cận "đủ toán học" để học ZK. Hôm nay, chúng tôi lại làm điều đó với một phần bổ sung mới cho ZK Book. "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. Có lẽ bạn đã 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 tiền ảnh 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 đưa bạn vào một hành trình từ việc nhân hai số với nhau đến: - xây dựng một ZKVM từ đầu - mã hóa các ràng buộc cho hàm băm MD5 - học các mẫu thiết kế 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í còn chưa có tên gọi. Chúng tôi đã phải phát minh ra một số thuật ngữ! Như thường lệ, chúng tôi rất cẩn thận trong việc giới thiệu các ý tưởng mới cho người đọc để tránh làm quá tải những người mới. Chúng tôi đảm bảo dạy các kiến thức tiền đề 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 ôn lại những gì đã học trước đó vừa học một mẫu thiết kế mới. Khi bạn xây dựng được 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 để 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 bỏ sót bất kỳ điều quan trọng nào. Chúng tôi muốn cảm ơn @ChainLight_io, @VeridiseInc, @PrivacyScaling và @zksecurityXYZ vì đã 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 nhiều lần chỉnh sửa để 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 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 nội dung bên trong của ZKVM hiện đại hơn hoặc ZK L2 client sẽ khá thách thức. Cho đến nay, sự thiếu vắng các giải thích hướng đến người mới cho các khái niệm nền tảng như vậy đã kìm hãm không gian ZK. Phần tài liệu mới này không chỉ là một "giải thích tốt hơn" của các tài liệu hiện có, mà là giải thích đầu tiê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 nhất với người mới bắt đầu. Tuy nhiên, những gì bạn học ở đây có thể áp dụng 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 cách hoạt động của ZK-SNARK để đọc phần này của cuốn sách, nhưng có một số kiến thức tiền đề. Những kiến thức này được liệt kê trong chương "Giới thiệu về Circom". Như thường lệ, tài liệu hoàn toàn miễn phí và không yêu cầu đăng nhập.