Bir yıldan uzun süre önce ZK Kitabı'nı yayınladığımızda, ZK eğitim alanında büyük bir adım attık.

Kitabımız, ZK'yı öğrenmek için "tam yeterli matematik" yaklaşımına öncülük etti.

Bugün, ZK Kitabı'na yeni bir ekleme ile bunu tekrar yapıyoruz.

"Circom ve Kısıtlama Tasarım Desenleri"

Bu yeni bölüm, önemsiz olmayan ZK devrelerini nasıl tasarlayacağınız, oluşturacağınız ve denetleyeceğinize odaklanıyor.

Muhtemelen Circom kullanarak bir polinomun değerlendirmesini bildiğinizi kanıtlamayla ilgili birçok eğitim görmüşsünüzdür.

Peki, oradan bir ZKVM tasarlamaya veya geleneksel bir hash fonksiyonunun (MD5 veya Keccak256 gibi) primajını bildiğinizi kanıtlamaya nasıl geçersiniz?

ZK Kitabı'mızın yeni bölümü, sayıları birlikte çarpmaktan aşağıdaki konulara uzanan bir yolculuğa çıkarıyor:

- Sıfırdan bir ZKVM oluşturmak
- MD5 hash fonksiyonu için kısıtlamalar kodlamak
- Kısıtlama tasarımındaki yinelenen tasarım desenlerini öğrenmek

Son bölüm ilginçti çünkü yerleşik "tasarım desenlerinin" bazılarının adları bile yok. Bazı terminolojiler icat etmek zorunda kaldık!

Her zamanki gibi, okuyucuyu yeni fikirlere nasıl tanıtacağımız konusunda son derece düşünceliyiz ve yeni birini bunaltmaktan kaçınıyoruz. Ön koşulları mantıklı bir sırayla ve birçok örnekle öğrettiğimizden emin oluyoruz.

Her bölüm, giderek karmaşıklaşan bir uygulama için bir devrenin nasıl oluşturulacağını gösterir. Her bölümle, hem daha önce öğrendiklerinizi gözden geçirir hem de yeni bir tasarım deseni öğrenirsiniz.

Bu tasarım desenlerinden bir koleksiyon oluşturduktan sonra, bunları bir araya getirerek ZKVM veya önemsiz olmayan bir hash fonksiyonu gibi daha karmaşık uygulamalar oluşturabilirsiniz.

Materyalin hem anlaşılması kolay hem de önemli eksiklikler olmadan doğru olduğundan emin olmak için büyük çaba sarf ettik.

Bu çalışmayı incelemek ve önerilerde bulunmak için zaman ayıran @ChainLight_io, @VeridiseInc, @PrivacyScaling ve @zksecurityXYZ'ye teşekkür etmek istiyoruz.

Bölümleri gerçekten cilalı bir hale getirmek için birkaç revizyondan geçen @zksecurityXYZ'den @marcobesier'e özellikle minnettarız.

Kitabın bu yeni bölümündeki ilk yedi bölümü birlikte yazan @cal_nix'e özel teşekkürler!

Burada ele aldığımız konular son derece temeldir. Buradaki materyalleri anlamazsanız, daha modern ZKVM veya ZK Layer 2 istemcisinin iç işleyişini öğrenmek oldukça zor olacaktır. Şimdiye kadar, bu tür temel kavramlar için yeni başlayanlara yönelik açıklamaların olmaması, ZK alanını geride tuttu.

Bu yeni çalışma sadece mevcut materyallerin "daha iyi bir açıklaması" değil, akademik makaleler dışında ilk açıklama.

Circom'u en yeni başlayanlara uygun gördüğümüz için öğretim dili olarak kullanıyoruz. Ancak, burada öğrendikleriniz Plonky3, Halo2, o1js ve Gnark gibi diğer çerçevelere genellenebilir. Yeni makaleler artık ZK Kitabı'nı 38.000 kelimeden daha uzun hale getiriyor.

Kitabın bu bölümünü okumak için bir ZK-SNARK'ın nasıl çalıştığını bilmeniz gerekmiyor, ancak birkaç ön koşul var. Bunlar "Circom'a Giriş" bölümünde listelenmiştir.

Her zamanki gibi, materyal tamamen ücretsizdir ve oturum açma gerektirmez.