HAL ve Graf arasında daha genel olarak şu şekilde görülebilir: "Hesaplama" modellerken, - Yüzeysel Gömüleme (doğrudan ana dile yazmak), veya - Derin Gömülme (veri yapısı olarak kodlama)? 🧵

Sığ → derinlere kadar birkaç tasarım noktası vardır: 1. Rust / C++'da doğrudan uygulama 2. Ana dile DSL'nin gömülü 3. Yepyeni ve özel bir dil Her adım, kolaylığı yapı ve analiz edilebilirliğine dönüştürür.

ZK'da ise bir hesaplama yapmak yeterli değil — bunu kısıtlamalara da çevirmeliyiz. Yani çoğu kanıtlama sistemi zaten (2) veya (3) tarafına eğilimli: - Circom, PIL/PIL2 → özel kısıtlama dilleri + derleyiciler - Plonky2 → her kapı birden fazla anlamsal fonksiyonu tanımlar

Plonky3, AirBuilder özelliğiyle daha da ileri gidiyor: aynı kod tanıkları değerlendirebilir, doğrulayıcı kalıntılarını hesaplayabilir ve kısıtlama polinomlarını boşaltabilir. Birçok zkVM (SP1, Hypercube, OpenVM) Plonky3'ü benimser; Zisk, PIL2'ye dayanıyor. Bu, hesaplamanın derin, grafik benzeri temsillerine doğru açık bir eğilim göstermektedir.