Dans le domaine des zk, tout le monde se concentre sur l'innovation algorithmique, mais pour être honnête, le véritable goulot d'étranglement, c'est la puissance de calcul disponible. Ces formules mathématiques ont l'air belles, mais la réalité est bien différente : les ressources de calcul nécessaires pour générer un zk-SNARKs ne peuvent tout simplement pas être résolues par des ajustements et des corrections au niveau du code.

Ces deux dernières années, vous constaterez que peu importe combien le logiciel est optimisé, il ne peut pas surpasser le cap du matériel. Les exigences de puissance de calcul pour la génération de preuves sont là, c'est un coût fixe. Vous voulez que les zk-SNARKs se concrétisent vraiment à grande échelle ? Il ne suffit pas que des mathématiciens écrivent de beaux algorithmes, il faut aussi avoir suffisamment de ressources de puissance de calcul à un coût abordable.