ZK Basics | Ép. 8 : Pourquoi les preuves ZK coûtent si cher Vérifier une preuve prend quelques millisecondes. La créer, en revanche, est la partie coûteuse. Voici où va l'argent : 1. Le calcul est réécrit. Votre programme doit être transformé en une forme que les mathématiques peuvent prouver — un circuit. Rien dans cette étape n'est gratuit. 2. La preuve est exigeante. Construire la preuve peut nécessiter des milliers de fois plus de puissance de calcul que d'exécuter normalement le programme. 3. Matériel spécialisé. Les preuves sérieuses s'exécutent sur des GPU et des puces personnalisées, ce qui explique l'existence d'une industrie entière dédiée à l'infrastructure de preuve. 4. Les coûts baissent rapidement. Les coûts ont diminué de plusieurs ordres de grandeur en quelques années, ce qui est exactement la raison pour laquelle les ZK sont passés des articles scientifiques à la production. Le compromis : payer une fois pour prouver, et permettre à tout le monde de vérifier à moindre coût pour toujours. Enregistrez celui-là 💜