Todos coinciden en que los ZK-STARK son de primer nivel para construir blockchains. Esto no siempre fue así y es bueno que se consiguiera consenso. Lo que aún no es consenso y predigo que lo será: si tu cadena depende de ZK-tech, tu lenguaje de programación y tu máquina virtual deberían estar optimizados para ZK. Un programa escrito en un lenguaje compatible con ZK (por ejemplo, Cairo) puede ser procesado sin problemas por una máquina virtual basada en ZK. Si está escrito en un PL que no está optimizado para ZK (por ejemplo, Solidity), tendrás que pasar por varias soluciones antes de que un zkVM pueda procesarlo. Estas soluciones alternativas significan que (1) pierdes precisión y eficiencia, y (2) incluso podrías arriesgarte a tener errores. Necesitas la herramienta adecuada para trabajar con ZK.