Nessuna catena trasparente può garantire una vera privacy. Abbiamo dovuto costruire uno stack end-to-end progettato appositamente per questo. Perché non forkare Ethereum o costruire su ciò che esiste già? Perché ZK non funziona con un'architettura progettata per l'esecuzione pubblica. Richiede una base completamente diversa, una che le blockchain tradizionali non sono costruite per supportare. Inizia con la macchina virtuale. L'EVM è stato progettato per l'esecuzione pubblica on-chain, mentre snarkVM compila i programmi in circuiti zkSNARK che vengono eseguiti off-chain e verificano le prove on-chain. Sono modelli computazionali fondamentalmente diversi. Leo esiste perché avevamo bisogno di un linguaggio in cui la privacy è garantita a livello di sistema di tipi. Quando dichiari dati privati, il compilatore garantisce che rimangano privati durante l'esecuzione. Solidity e Rust non possono farlo perché non sono mai stati costruiti con la privacy come concetto fondamentale.