Nenhuma cadeia transparente pode oferecer verdadeira privacidade. Tivemos que construir uma pilha de ponta a ponta projetada especificamente para isso. Por que não bifurcar o Ethereum ou construir sobre o que já existe? Porque o ZK não funciona com uma arquitetura projetada para execução pública. Ele requer uma fundação completamente diferente, uma que as blockchains tradicionais não estão construídas para suportar. Começa com a máquina virtual. O EVM foi projetado para execução pública, em cadeia, enquanto o snarkVM compila programas em circuitos zkSNARK que executam fora da cadeia e verificam as provas na cadeia. Eles são fundamentalmente diferentes modelos computacionais. O Leo existe porque precisávamos de uma linguagem onde a privacidade é imposta no nível do sistema de tipos. Quando você declara dados privados, o compilador garante que eles permaneçam privados durante a execução. Solidity e Rust não conseguem fazer isso porque nunca foram construídos com a privacidade como um conceito central.