@aztecnetwork'te yazılım mühendisi olan @mjdklein ile @NoirLang programlama diline (Aztec Network'ün önemli bir bileşeni) derinlemesine dalacağımız, aydınlatıcı bir sohbet için bize katılın.

Sunucu: @VeridiseInc'den @FormallyJon.

Zaman Damgaları:
00:00 - Giriş: Aztec & Noir dili
00:57 - Aztec'in neden kendi ZK dilini oluşturduğu
02:22 - Noir'e genel bakış ve geliştirici deneyimi
03:20 - Noir'in diğer ZK DSL'lerine kıyasla durumu
04:33 - Kısıtlanmamış fonksiyonlar
06:19 - Noir'in diğer zk DSL'lerinin sunmadığı neler sunuyor
07:00 - Noir'de şu anda eksik olan araçlar
08:24 - Noir ekosistemi nasıl gelişebilir ve yeni araçlar
09:19 - Noir'de metaprogramlama ve neleri mümkün kıldığı
11:28 - Geliştirilmiş özlü anlatım & metaprogramlama
13:56 - Noir'i kimler kullanabilir ve Aztec'e bağlı mı
15:17 - En çok akılda tutulan güvenlik açığı türleri
17:15 - Optimizasyon geçişlerinin geçerli olduğundan emin olmak için yapılan çalışmalar
18:20 - Formal doğrulama (SMT çözücüleri) hususları
19:18 - Geliştiricilerin istemeden ortaya çıkarabileceği hata türleri
21:18 - Entropinin gizlilik sızıntılarına nasıl yol açabileceği
23:35 - Bu tür sorunları önlemek için Noir'e yerleştirilmiş koruma rayları
24:50 - Bu tür güvenlik açıklarının ne kadar yaygın olabileceği
26:13 - Gizlilik açısından Noir devreleri ve zkVM'ler
28:16 - Yerel kanıtlama sistemleri ve kanıtlama ağları
29:36 - Geliştiriciler SMT çözücülerinin kendileri için uygun olup olmadığını nasıl değerlendirebilir