Kaikki ovat yhtä mieltä siitä, että ZK-STARKIT ovat huippuluokan lohkoketjujen rakentamisessa. Näin ei aina ollut, ja on hyvä, että siitä tuli yksimielisyys. Mikä ei vielä ole yksimielisyyttä – ja ennustan sen tulevan – jos ketjusi perustuu ZK-teknologiaan, ohjelmointikielesi ja virtuaalikoneesi pitäisi olla ZK-optimoituja. ZK-ystävällisellä kielellä (esim. Cairo) kirjoitettu ohjelma voidaan käsitellä sujuvasti ZK-pohjaisella virtuaalikoneella. Jos se on kirjoitettu PL:llä, joka ei ole optimoitu ZK:lle (esim. Solidity), sinun täytyy käydä läpi useita kiertoteitä ennen kuin zkVM voi käsitellä sen. Nämä kiertotavat tarkoittavat, että (1) menetät tarkkuutta ja tehokkuutta, ja (2) saatat jopa riskeerata bugeja. Tarvitset oikean työkalun ZK:n kanssa työskentelyyn.