Zcash Biçimsel Doğrulama Serisi

Biçimsel doğrulamayı ilk ilkelerden açıklayan, 2026 Orchard sağlamlık hatasını ele alan ve Ironwood’un makine tarafından denetlenmiş matematiksel bir kanıtla buna nasıl yanıt verdiğini gösteren üç bölümlük bir seri.