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

Sunucu: @VeridiseInc'den @FormallyJon.

Zaman Damgaları:
0:00 - Giriş: Aztec & Noir dili
00:57 - Aztec neden kendi ZK dilini oluşturdu?
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'lerine sunmadığı şeyler
07:00 - Noir'de şu anda eksik olan araçlar
08:24 - Noir ekosistemi nasıl gelişebilir & 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üler) hususları
19:18 - Geliştiricilerin istemeden ortaya çıkarabileceği hata türleri
21:18 - Entropi gizlilik sızıntılarına nasıl yol açabilir?
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ülerin kendileri için uygun olup olmadığını nasıl değerlendirebilir?