Alle er enige om at ZK-STARK-er er toppklasse for å bygge blokkjededer. Dette har ikke alltid vært tilfelle, og det er bra at det ble konsensus. Det som ikke er konsensus ennå, og som jeg spår vil bli: hvis kjeden din er avhengig av ZK-teknologi, bør programmeringsspråket og VM-en din være ZK-optimalisert. Et program skrevet i et ZK-vennlig språk (f.eks. Kairo) kan behandles smidig av en ZK-basert VM. Hvis det er skrevet i en PL som ikke er optimalisert for ZK (for eksempel Solidity), må du gå gjennom flere løsninger før en zkVM kan behandle det. Disse løsningene betyr at (1) du mister nøyaktighet og effektivitet, og (2) du til og med kan risikere feil. Du trenger riktig verktøy for å jobbe med ZK.