Wir werden zeigen, wie man Zero nutzt, um Zero-Knowledge Proof (ZKP) anzugreifen. Insbesondere werden wir ein *kritisches* Problem in einer hochmodernen ZKP PLONK C++-Implementierung diskutieren, das es einem Angreifer ermöglicht, einen *gefälschten* Beweis zu erstellen, den alle Verifier akzeptieren. Wir werden zeigen, wie die Theorie die Richtung des Angriffs leitet. In der Praxis funktioniert der Angriff wie am Schnürchen, und wir werden zeigen, wie der Angriff durch eine Kette perfekt ausgerichteter Software-Schwachstellen gelingt.
Von: Quan Thoi Minh Nguyen
Vollständige Zusammenfassung: