Ninguna cadena transparente puede ofrecer privacidad real. Tuvimos que construir una pila de extremo a extremo diseñada específicamente para ello. ¿Por qué no bifurcar Ethereum o construir sobre lo que ya existe? Porque ZK no trabaja con una arquitectura diseñada para la ejecución pública. Requiere una base completamente diferente, una que las cadenas de bloques tradicionales no están diseñadas para soportar. Comienza con la máquina virtual. El EVM fue diseñado para la ejecución pública en cadena, mientras que snarkVM compila programas en circuitos zkSNARK que se ejecutan fuera de la cadena y verifica las pruebas en la cadena. Son modelos computacionales fundamentalmente diferentes. Leo existe porque necesitábamos un lenguaje donde la privacidad se aplique a nivel de sistema de tipos. Cuando declara datos privados, el compilador garantiza que permanecen privados durante la ejecución. Solidity y Rust no pueden hacer eso porque nunca se construyeron con la privacidad como concepto central.