Herkes ZK-STARK'ların blokzincir oluşturma konusunda en üst düzey olduğu konusunda hemfikir. Bu her zaman böyle değildi ve bunun uzlaşıya ulaşması iyiydi. Henüz uzlaşılmamış ve tahmin ettiğim şey de öyle olacak: Zinciriniz ZK-tech'e dayanıyorsa, programlama diliniz ve VM'niz ZK için optimize edilmiş olmalı. ZK dostu bir dilde (örneğin Cairo) yazılmış bir program, ZK tabanlı bir VM tarafından sorunsuz işlenebilir. Eğer ZK için optimize edilmemiş bir PL ile yazılmışsa (örneğin Solidity), zkVM bunu işlemeden önce birkaç geçici çözümden geçmeniz gerekir. Bu çözümler (1), doğruluk ve verimlilik kaybettiğiniz, (2) hata riski de taşıyabileceğiniz anlamına gelir. ZK ile çalışmak için doğru araca ihtiyacınız var.