Todos concordam que os ZK-STARKs são de primeira linha para construir blockchains. Isso nem sempre foi o caso e é bom que tenha se tornado um consenso. O que ainda não é consenso e eu prevejo que se tornará: se a sua cadeia depende de tecnologia ZK, a sua linguagem de programação e VM devem ser otimizadas para ZK. Um programa escrito em uma linguagem amigável ao ZK (por exemplo, Cairo) pode ser processado suavemente por uma VM baseada em ZK. Se for escrito em uma PL que não é otimizada para ZK (digamos, Solidity), então você precisará passar por várias soluções alternativas, antes que uma 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.