Die Entwickler von Zcash stehen kurz davor, einen mathematischen Beweis abzuschließen, der sicherstellt, dass die neue Version ihres Privacy-Pools frei von nicht erkennbaren Fälschungsanfälligkeiten ist. Dieser Fortschritt nutzt KI-unterstützte formale Verifikation, die den Verifizierungszeitraum von Jahren auf eine deutlich kürzere Zeitspanne verkürzt hat. Die Entwicklung stellt einen entscheidenden Schritt zur Verbesserung der Sicherheit und Zuverlässigkeit der Datenschutzfunktionen von Zcash dar.