@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. NoirLang, Aztec Network'ün önemli bir bileşenidir.

Sunucu: @VeridiseInc'den @FormallyJon.

Zaman Damgaları:
0:00 – Giriş: Aztec & Noir dili
0:57 – Aztec neden kendi ZK dilini oluşturdu?
2:22 – Noir'e genel bakış ve geliştirici deneyimi
3:20 – Noir'in diğer ZK DSL'lerine kıyasla durumu
4:33 – Kısıtlanmamış fonksiyonlar
6:19 – Noir'in diğer zk DSL'lerinin sunmadığı neler sunuyor?
7:00 – Noir'de şu anda eksik olan araçlar
8:24 – Noir ekosistemi nasıl gelişebilir & yeni araçlar
9:19 – Noir'de metaprogramlama ve neleri mümkün kılıyor?
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 – Resmi doğrulama (SMT çözücüleri) hususları
19:18 – Geliştiricilerin istemeden ortaya çıkarabileceği hata türleri
21:18 – Entropi nasıl gizlilik sızıntılarına 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ülerinin kendileri için uygun olup olmadığını nasıl değerlendirebilir?