Tutti concordano sul fatto che gli ZK-STARKs siano di alto livello per costruire blockchain. Non è sempre stato così ed è positivo che sia diventato un consenso. Ciò che non è ancora consenso e prevedo che lo diventerà: se la tua catena si basa sulla tecnologia ZK, il tuo linguaggio di programmazione e la tua VM dovrebbero essere ottimizzati per ZK. Un programma scritto in un linguaggio amico degli ZK (ad esempio, Cairo) può essere elaborato senza problemi da una VM basata su ZK. Se è scritto in un linguaggio di programmazione che non è ottimizzato per ZK (diciamo, Solidity), allora dovrai passare attraverso diversi workaround, prima che una zkVM possa elaborarlo. Questi workaround significano che (1), stai perdendo precisione ed efficienza, e (2) potresti persino rischiare bug. Hai bisogno dello strumento giusto per lavorare con ZK.