Aucune chaîne transparente ne peut offrir une véritable confidentialité. Nous avons dû construire une pile de bout en bout spécialement conçue pour cela. Pourquoi ne pas forker Ethereum ou s'appuyer sur ce qui existe déjà ? Parce que ZK ne fonctionne pas avec une architecture conçue pour l'exécution publique. Cela nécessite une fondation entièrement différente, que les blockchains traditionnelles ne sont pas construites pour supporter. Cela commence avec la machine virtuelle. L'EVM a été conçu pour l'exécution publique sur chaîne, tandis que snarkVM compile des programmes en circuits zkSNARK qui s'exécutent hors chaîne et vérifient les preuves sur chaîne. Ce sont fondamentalement des modèles de calcul différents. Leo existe parce que nous avions besoin d'un langage où la confidentialité est appliquée au niveau du système de types. Lorsque vous déclarez des données privées, le compilateur garantit qu'elles restent privées pendant l'exécution. Solidity et Rust ne peuvent pas faire cela car ils n'ont jamais été conçus avec la confidentialité comme concept central.