Kiedy ponad rok temu wydaliśmy książkę ZK, zrobiliśmy ogromny krok naprzód w przestrzeni edukacyjnej ZK. Nasza książka zapoczątkowała podejście "matematyki wystarczającej do nauczenia się ZK". Dziś robimy to ponownie z nowym dodatkiem do Księgi ZK. "Wzorce projektowe Circom i ograniczeń" Ta nowa sekcja koncentruje się na tym, jak projektować, tworzyć i kontrolować nietrywialne obwody ZK. Prawdopodobnie widziałeś wiele samouczków na temat tego, jak udowodnić, że znasz ocenę wielomianu za pomocą Circom. Ale jak przejść od tego momentu do projektowania ZKVM lub udowodnienia, że znasz obraz tradycyjnej funkcji skrótu (takiej jak MD5 lub Keccak256)? Nowa część naszej ZK Book zabierze Cię w podróż od mnożenia do liczb do: - budowa ZKVM od podstaw - ograniczenia kodowania dla funkcji skrótu MD5 - Poznaj powtarzające się wzorce projektowe w projektowaniu ograniczeń Ostatnia część była o tyle ciekawa, że niektóre z utartych "wzorców projektowych" nie mają nawet nazw. Musieliśmy wymyślić jakąś terminologię! Jak zwykle jesteśmy niezwykle przemyślani w tym, w jaki sposób wprowadzamy czytelnika w nowe pomysły, aby nie przytłoczyć kogoś nowego. Dbamy o to, aby nauczać wymagań wstępnych w rozsądnej kolejności i z dużą ilością przykładów. Każdy rozdział pokazuje, jak zbudować obwód dla coraz bardziej złożonej aplikacji. W każdym rozdziale oboje przeglądacie to, czego nauczyliście się wcześniej, i uczycie się nowego wzorca projektowego. Po stworzeniu kolekcji tych wzorców projektowych możesz skomponować je razem, aby zbudować bardziej złożone aplikacje, takie jak ZKVM lub nietrywialna funkcja skrótu. Wkładamy ogromny wysiłek w to, aby materiał był zarówno łatwy do zrozumienia, jak i poprawny, bez żadnych istotnych pominięć. Chcielibyśmy podziękować @ChainLight_io, @VeridiseInc, @PrivacyScaling i @zksecurityXYZ za poświęcenie czasu na zapoznanie się z tą pracą i przedstawienie sugestii. Jesteśmy szczególnie wdzięczni @marcobesier z @zksecurityXYZ za pracę nad kilkoma poprawkami, aby naprawdę doprowadzić rozdziały do dopracowanego stanu. Specjalne podziękowania dla @cal_nix za współautorstwo pierwszych siedmiu rozdziałów tej nowej części książki! Tematy, które tutaj poruszamy, są niezwykle fundamentalne. Jeśli nie rozumiesz materiałów tutaj, poznanie wnętrza bardziej nowoczesnego klienta ZKVM lub ZK L2 będzie dość trudne. Do tej pory brak zorientowanych na nowicjuszy wyjaśnień dla takich fundamentalnych koncepcji powstrzymywał przestrzeń ZK. Ta nowa praca nie jest po prostu "lepszym wyjaśnieniem" istniejących materiałów, ale pierwszym wyjaśnieniem w ogóle – poza pracami naukowymi. Używamy Circom jako języka nauczania, ponieważ uważamy go za najbardziej przyjazny dla początkujących. Jednak to, czego się tutaj nauczysz, uogólnia się na inne frameworki, takie jak Plonky3, Halo2, o1js i Gnark. Nowe artykuły wydłużają Księgę ZK o ponad 38 000 słów. Nie musisz wiedzieć, jak działa ZK-SNARK, aby przeczytać tę część książki, ale jest kilka warunków wstępnych. Są one wymienione w rozdziale "Wprowadzenie do Circom". Jak zwykle materiał jest całkowicie darmowy, bez konieczności logowania.