Todos concordam que os ZK-STARKs são de primeira linha para construir blockchains. Isso nem sempre foi assim e é bom que tenha virado consenso. O que ainda não é consenso e prevejo que vai se tornar: se sua cadeia depende da tecnologia ZK, sua linguagem de programação e sua VM devem ser otimizadas para ZK. Um programa escrito em uma linguagem compatível com ZK (por exemplo, Cairo) pode ser processado suavemente por uma VM baseada em ZK. Se for escrito em um PL que não é otimizado para ZK (por exemplo, Solidity), você vai precisar passar por várias soluções antes que um zkVM possa processá-lo. Essas soluções alternativas significam que (1) você está perdendo precisão e eficiência, e (2) pode até correr o risco de bugs. Você precisa da ferramenta certa para trabalhar com ZK.