Toată lumea este de acord că ZK-STARK-urile sunt de top pentru construirea blockchain-urilor. Nu a fost întotdeauna așa și e bine că a devenit consens. Ce nu este încă consens și prezic că va deveni așa: dacă lanțul tău depinde de tehnologia ZK, limbajul tău de programare și VM-ul ar trebui să fie optimizate pentru ZK. Un program scris într-un limbaj prietenos cu ZK (de exemplu, Cairo) poate fi procesat lin de o mașină virtuală bazată pe ZK. Dacă este scris într-un PL care nu este optimizat pentru ZK (de exemplu, Solidity), atunci va trebui să treci prin mai multe soluții alternative înainte ca un zkVM să îl poată procesa. Aceste soluții înseamnă că (1) pierzi acuratețe și eficiență și (2) poți chiar risca bug-uri. Ai nevoie de unealta potrivită pentru a lucra cu ZK.