Quando lançamos o ZK Book há mais de um ano, demos um grande passo à frente no espaço educacional ZK. Nosso livro foi pioneiro na abordagem de "matemática suficiente" para aprender ZK. Hoje fazemos isso de novo com uma nova adição ao ZK Book. "Circom e padrões de projeto de restrição" Esta nova seção se concentra em como projetar, criar e auditar circuitos ZK não triviais. Você provavelmente já viu muitos tutoriais sobre como provar que conhece a avaliação de um polinômio usando o Circom. Mas como você vai a partir daí para projetar um ZKVM ou provar que conhece o primage de uma função hash tradicional (como MD5 ou Keccak256)? A nova parte do nosso Livro ZK leva você a uma jornada desde a multiplicação de números até até: - construindo um ZKVM do zero - restrições de codificação para a função hash MD5 - Aprenda os padrões de design recorrentes no design de restrição A última parte foi interessante porque alguns dos "padrões de design" estabelecidos nem mesmo têm nomes para eles. Tivemos que inventar alguma terminologia! Como de costume, somos extremamente atenciosos sobre como apresentamos ao leitor novas ideias para evitar sobrecarregar alguém novo. Temos o cuidado de garantir que ensinamos os pré-requisitos em uma ordem sensata e com muitos exemplos. Cada capítulo mostra como construir um circuito para uma aplicação cada vez mais complexa. A cada capítulo, vocês dois revisam o que aprenderam anteriormente e aprendem um novo padrão de design. Depois de criar uma coleção desses padrões de design, você pode compô-los juntos para criar aplicativos mais complexos, como o ZKVM ou uma função de hash não trivial. Fazemos um grande esforço para garantir que o material seja fácil de entender e corrigir, sem omissões importantes. Gostaríamos de agradecer a @ChainLight_io, @VeridiseInc, @PrivacyScaling e @zksecurityXYZ por alocar tempo para revisar este trabalho e fornecer sugestões. Somos particularmente gratos a @marcobesier de @zksecurityXYZ por trabalhar em várias revisões para realmente colocar os capítulos em um estado polido. Um agradecimento especial a @cal_nix por ser coautor dos primeiros sete capítulos desta nova parte do livro! Os tópicos que abordamos aqui são extremamente fundamentais. Se você não entender os materiais aqui, aprender os componentes internos do cliente ZKVM ou ZK L2 mais moderno será bastante desafiador. Até agora, a ausência de explicações orientadas para os recém-chegados para tais conceitos fundamentais impediu o espaço ZK. Este novo corpo de trabalho não é simplesmente uma "explicação melhor" dos materiais existentes, mas a primeira explicação - fora dos trabalhos acadêmicos. Usamos o Circom como idioma de instrução, pois o consideramos o mais amigável para iniciantes. No entanto, o que você aprende aqui se generaliza para outros frameworks como Plonky3, Halo2, o1js e Gnark. Os novos artigos agora tornam o Livro ZK com mais de 38.000 palavras mais longo. Você não precisa saber como funciona um ZK-SNARK para ler esta seção do livro, mas existem alguns pré-requisitos. Eles estão listados no capítulo "Introdução ao Circom". Como de costume, o material é totalmente gratuito, sem necessidade de login.