je ne pense pas que beaucoup de gens sachent à quel point les mathématiques derrière les preuves ZK sont incroyablement complexes. Lorsque les preuves coûtent 1000 fois plus cher que les natives, chaque fonctionnalité doit être soigneusement optimisée. Cette ingénierie de précision est la raison pour laquelle la construction d'un zkVM prêt pour la production a pris des années.
1,66K