Коли ми випустили ZK Book більше року тому, ми зробили величезний крок вперед в освітньому просторі ZK. У нашій книзі вперше застосовано підхід «достатньо математики» для вивчення ЗК. Сьогодні ми робимо це знову з новим доповненням до ZK Book. "Шаблони проектування циркулю та обмежень" Цей новий розділ присвячений тому, як проектувати, створювати та перевіряти нетривіальні схеми ZK. Ви, напевно, бачили багато уроків про те, як довести, що ви знаєте оцінку многочлена за допомогою Circom. Але як перейти звідти до проектування ZKVM або довести, що ви знаєте prобраз традиційної хеш-функції (наприклад, MD5 або Keccak256)? Нова частина нашої книги ZK перенесе вас у подорож від множення до чисел разом до: - побудова ZKVM з нуля - обмеження кодування для хеш-функції MD5 - вивчити повторювані патерни проектування в дизайні обмежень Остання частина була цікава тим, що деякі з усталених «патернів проектування» навіть не мають назв. Довелося вигадати якусь термінологію! Як завжди, ми надзвичайно ретельно підходимо до того, як знайомити читача з новими ідеями, щоб не пригнічувати когось нового. Ми дбаємо про те, щоб викладати передумови в розумному порядку і з великою кількістю прикладів. У кожному розділі показано, як побудувати схему для все більш складного застосування. У кожному розділі ви повторюєте те, що вивчили раніше, і вивчаєте новий шаблон проектування. Як тільки ви створите колекцію цих шаблонів проектування, ви зможете скомпонувати їх разом для створення більш складних додатків, таких як ZKVM або нетривіальна хеш-функція. Ми докладаємо величезних зусиль для того, щоб матеріал був легким для розуміння та виправленням без будь-яких важливих упущень. Ми хотіли б подякувати @ChainLight_io, @VeridiseInc, @PrivacyScaling та @zksecurityXYZ за те, що виділили час для ознайомлення з цією роботою та надання пропозицій. Ми особливо вдячні @marcobesier з @zksecurityXYZ за роботу над кількома редакціями, щоб дійсно привести розділи в відшліфований стан. Особлива подяка @cal_nix за те, що вони стали співавторами перших семи розділів цієї нової частини книги! Теми, які ми тут розглядаємо, надзвичайно фундаментальні. Якщо ви не розбираєтеся в матеріалах тут, вивчити нутрощі більш сучасного клієнта ZKVM або ZK L2 буде досить складно. До сих пір відсутність орієнтованих на новачків пояснень таких фундаментальних понять стримувала простір ZK. Ця нова робота є не просто «кращим поясненням» існуючих матеріалів, а першим поясненням взагалі – поза академічними роботами. Ми використовуємо Circom як мову навчання, оскільки вважаємо її найбільш зручною для початківців. Однак те, що ви дізнаєтеся тут, узагальнюється на інші фреймворки, такі як Plonky3, Halo2, o1js і Gnark. Нові статті тепер роблять ZK Book довшою на понад 38 000 слів. Вам не обов'язково знати, як працює ZK-SNARK, щоб прочитати цей розділ книги, але є кілька передумов. Вони перелічені в розділі «Вступ до циркулю». Як завжди, матеріал абсолютно безкоштовний, для входу в систему не потрібно.