Preuves à connaissance zéro en espace sous-linéaire : une percée majeure

Des chercheurs ont développé SSZKP, un système de preuve à connaissance zéro en espace sous-linéaire avec une implémentation en Rust utilisant KZG/BN254. Il atteint une utilisation de la mémoire O(√T) pour une trace de longueur T, en utilisant des IFFTs par blocs et des accumulateurs en streaming. SSZKP utilise des engagements KZG standard sans tamponner les polynômes entiers, offrant une approche très efficace pour construire des systèmes zk évolutifs. Le projet inclut des outils CLI complets pour le prouveur et le vérificateur, ainsi que des scripts de test de bout en bout.