Antwort von Nym auf das Sicherheitsaudit von Cure53 (Juli 2024)
Umfassende Prüfung des Nym-Codes, des Netzwerks und der Apps
Aktualisiert am 18. November 2025
Einführung
NymVPN wurde entwickelt, um einen privaten, sicheren und zuverlässigen Schutz für Ihre Online-Kommunikation zu gewährleisten. Bei Nym stehen Transparenz und das Vertrauen der Nutzer an erster Stelle. Aus diesem Grund ist der Code von Nym Open Source und wird regelmäßig unabhängigen Prüfungen unterzogen, um höchste Standards in Bezug auf Sicherheit und Datenschutz zu gewährleisten.
Im Juli 2024 wurde Nym einer unabhängigen Prüfung durch Cure53 unterzogen, einem in Berlin ansässigen Cybersicherheitsunternehmen mit über 15 Jahren Erfahrung in der Durchführung von Softwaretests und Code-Audits. Ihre umfassende Überprüfung umfasste wichtige Komponenten der Nym-Infrastruktur, darunter Mobil- und Desktop-Anwendungen, die VPN-Infrastruktur, kryptografische Implementierungen und die gesamte Systemarchitektur.
Alle identifizierten kritischen und hochgradigen Sicherheitslücken wurden behoben. Nachdem Cure53 unsere umgesetzten Korrekturen überprüft hatte, wurden alle kritischen und schwerwiegenden Sicherheitslücken als behoben bestätigt.
Der vollständige Bericht von Cure53 ist hier veröffentlicht. Sie können sich auch den Vortrag von Dr. Nadim Kobeissi für OSTIF ansehen, in dem er das Audit von Nym erörtert und einen hervorragenden technischen Einblick in einige der aufgedeckten Probleme gibt.
Zusammenfassung des Nym-Audits von Cure53
Cure53 führte eine umfassende Sicherheitsbewertung des Nym-Ökosystems durch, einschließlich Penetrationstests, Quellcode-Audits und Code-Reviews. Im Mittelpunkt des Audits stand die Bewertung der Sicherheitslage der Mobil- und Desktop-Anwendungen von Nym, der Backend-API, der VPN-Software und -Infrastruktur sowie der Kryptografie. Das Nym-Team hat das Cure53-Team während des gesamten Audits kontinuierlich unterstützt und so für eine reibungslose Zusammenarbeit und einen transparenten Ablauf gesorgt.
Cure53 verfolgte eine „Crystal-Box“-Strategie und nutzte dabei den uneingeschränkten Zugriff auf den Quellcode, Builds, die Dokumentation, Testumgebungen und unterstützende wissenschaftliche Veröffentlichungen. Die Prüfung erstreckte sich über 56 Arbeitstage und wurde von einem Team aus sechs erfahrenen Cybersicherheitsexperten durchgeführt. Die Arbeit wurde in fünf Arbeitspakete (WPs) unterteilt:
- WP1: Nym-Apps für Mobilgeräte
- WP2: Nym-Desktop-Apps
- WP3: Nym-Backend-API
- WP4: Nym-VPN-Software und -Infrastruktur
- WP5: Nym-Kryptografie
Die Prüfung erzielte eine umfassende Abdeckung des definierten Umfangs und identifizierte 43 Befunde, darunter 7 Sicherheitslücken – bestehend aus kritischen und hochgradigen Problemen – sowie 24 allgemeine Schwachstellen, die als mittleres oder geringes Ausnutzungspotenzial eingestuft wurden und Möglichkeiten zur weiteren Stärkung des Systems darstellen.
Die NymVPN-Software und -Infrastruktur wurden aus sicherheitstechnischer Sicht als in einem ausgezeichneten Zustand befunden; bei der Prüfung wurden keine Probleme festgestellt. Cure53 kam zu dem Schluss, dass alle untersuchten Komponenten über eine solide Sicherheitsgrundlage verfügten und insgesamt eine robuste Sicherheitslage aufwiesen. Die Desktop-Anwendungen wurden aus sicherheitstechnischer Sicht als in gutem Zustand eingestuft, wobei keine wesentlichen Sicherheitsmängel festgestellt wurden. Das Prüfungsteam hob hervor, dass die Umsetzung insgesamt solide war. Ebenso wurden das Nym-Backend und die API aus sicherheitstechnischer Sicht als mäßig eingestuft. Insbesondere wurde in dem Bericht anerkannt, dass mehrere kritische Sicherheitslücken wirksam gemindert und verhindert worden waren, was unseren proaktiven Ansatz in Sachen Sicherheit und unsere sorgfältige Umsetzung unterstreicht.
Wichtigste Ergebnisse
WP1: Crystal-Box-Penetrationstests und Quellcode-Prüfungen der Nym-Apps für Mobilgeräte
Im Rahmen von WP1 führte Cure53 sowohl statische als auch dynamische Analysen in Kombination mit White-Box-Tests an den NymVPN-Mobil-Apps für Android und iOS durch. Ziel war es, etwaige Schwachstellen, Fehlkonfigurationen oder Sicherheitsrisiken in den Anwendungen zu identifizieren. Insgesamt wiesen die Ergebnisse einen geringeren Schweregrad auf; es wurden keine kritischen oder hochriskanten Schwachstellen identifiziert. Die identifizierten Probleme wiesen überwiegend einen Schweregrad von „mittel“, „gering“ oder „informativ“ auf und können im Rahmen umfassenderer Maßnahmen zur Absicherung der Anwendungen wirksam behoben werden. Ziel der statischen Analyse war es, suboptimale Einstellungen oder Fehlkonfigurationen in den Anwendungen zu finden, die zu Schwachstellen führen könnten. Die Analyse ergab jedoch keine Bedenken hinsichtlich eines hohen Risikos.
Darüber hinaus führte Cure53 eine eingehende Untersuchung gängiger Angriffsvektoren für Android durch, darunter den potenziellen Zugriff auf nicht exportierte Komponenten, Authentifizierungsumgehungen, fehlerhafte Broadcast-Receiver und eine unzureichende Validierung von Intent-Extras. In keinem dieser Bereiche wurden Schwachstellen festgestellt, was die Stärke der Sicherheitsmaßnahmen der Plattform unterstreicht.
Cure53 bestätigte zudem, dass weder die Android- noch die iOS-Apps fest programmierte sensible Informationen oder Geheimnisse enthielten, was ein wichtiger Sicherheitsaspekt ist.
Insgesamt wiesen die mobilen Apps ein gutes Sicherheitsniveau mit einer minimalen Angriffsfläche auf. Abgesehen von einigen geringfügigen Verbesserungsmöglichkeiten, wie beispielsweise der unsachgemäßen Nutzung des nativen sicheren Speichers der iOS-App (NYM-01-024), wurden in den Apps keine wesentlichen Sicherheitslücken festgestellt.
WP2: Crystal-Box-Penetrationstests und Quellcode-Prüfungen für Nym-Desktop-Apps
WP2 konzentrierte sich auf die NymVPN-Desktop-Apps für Windows, Linux und macOS. Das Testteam führte eine gründliche Überprüfung sowohl der Frontend-Komponenten auf clientseitige Probleme als auch der Rust-Backend-Kommunikationsschicht durch. Insgesamt wiesen die Desktop-Anwendungen hohe Sicherheitsstandards auf.
Zu den wichtigsten positiven Ergebnissen gehört der Einsatz des React-Frameworks für Frontend-Komponenten, wodurch die Angriffsfläche erheblich reduziert wird. Das Team hat keine größeren clientseitigen Sicherheitslücken festgestellt, abgesehen von einem sehr spezifischen Szenario, in dem eine bösartige Repository-URL unter bestimmten Bedingungen die Ausführung von beliebigem JavaScript (XSS) auslösen könnte, wenn darauf geklickt wird. Dieses Problem wurde als geringes Risiko eingestuft, da keine sensiblen Daten oder kritischen Schwachstellen festgestellt wurden. Auf der Backend-Seite wurde die Kommunikation mit dem Daemon über Unix-Sockets (Linux) und Pipes (Windows) sorgfältig geprüft, wobei keine wesentlichen Mängel oder Sicherheitsrisiken festgestellt wurden.
Zwar wurden einige kleinere Probleme festgestellt, doch konzentrierten sich diese Ergebnisse eher auf die weitere Verbesserung der Sicherheit als auf die Behebung kritischer Schwachstellen.
WP3: Crystal-Box-Penetrationstests und Quellcode-Prüfungen anhand der Nym-Backend-API
WP3 konzentrierte sich auf die API der Backend-Komponenten von Nym, einschließlich Gateways und Mix-Knoten, wobei Validatoren ausgeschlossen wurden. Im Rahmen des Testprozesses wurden die Mechanismen zur Serialisierung und Deserialisierung, SQL-Injection, Authentifizierung und Autorisierung sowie SSRF-Schwachstellen, Timing-Angriffe und Codeausführungs-Sinks gründlich untersucht. Positiv zu vermerken ist, dass das Nym-Backend ein moderates Sicherheitsniveau aufwies, da keine Schwachstellen für direkte Codeausführung, keine SQLi-Risiken und keine hochriskanten, ausnutzbaren SSRF-Probleme festgestellt wurden. Die Authentifizierungs- und Autorisierungsmechanismen in unserem Netzwerk sind nach sicheren Standards implementiert, wodurch potenzielle Umgehungsversuche wirksam verhindert werden. Zwar wiesen die Backend-Komponenten insgesamt eine hohe Sicherheit auf, doch wurden einige nennenswerte Probleme festgestellt. Davon wurden zwei Befunde als schwerwiegend oder kritisch eingestuft (NYM-01-027, NYM-01-030 und NYM-01-032), auf die wir im Folgenden eingehen.
NYM-01-027 WP3: Wiederverwendung von Nonce-Schlüsseln in AES-CTR in Nym-Gateways (Kritisch)
Bei einer Überprüfung des Quellcodes des Nym-Repositorys wurde festgestellt, dass die Kommunikation zwischen dem Gateway und den Clients eine schwerwiegende kryptografische Schwachstelle aufweist. Insbesondere wurde festgestellt, dass der Handshake zwischen Nym-Gateways und Clients die folgenden Kommunikationsdaten unter Verwendung von AES-CTR und einem eindeutigen, nicht rotierenden Schlüssel sowie einem konstanten Nonce-Wert von Null verschlüsselte. Dies wiederum gefährdet die gesamte Kommunikation, wenn auch nur ein einziger Klartext an einen Angreifer gelangt, da dieser dadurch die bestehende Verschlüsselung knacken kann, indem er einfache XOR-Operationen zwischen den Chiffretexten und dem durchgesickerten Klartext anwendet.
Obwohl die Vertraulichkeit der zwischen dem Client und dem Gateway übertragenen Daten nur im Falle einer Offenlegung im Klartext gefährdet ist, sind wir uns der Schwere dieses Problems voll und ganz bewusst. Das Nym-Team reagierte umgehend und ersetzte die AES-CTR-Verschlüsselung durch das empfohlene AES-GCM-SIV-Verfahren, wodurch die Kommunikationssicherheit in der Version 2024.12-aero.
NYM-01-030 WP3: Das Gateway überspringt die Überprüfung der Seriennummer der Anmeldedaten (kritisch)
Das Fehlen von Überprüfungen der Seriennummern der Zugangsdaten auf Gateway-Ebene beeinträchtigt die Sicherheit des Systems nicht, da das zk-nyms-Protokoll auf einem Offline-E-Cash-Modell, das von Grund auf darauf ausgelegt ist, Doppelausgaben zu erkennen und zu verhindern. Bei Online-E-Cash-Systemen unterhalten die Anbieter eine ständige Verbindung zu einer zentralen Stelle (z. B. einer Bank oder einer Blockchain) und überprüfen die Seriennummern in Echtzeit, bevor sie eine Zahlung akzeptieren. Bei Anwendung auf NymVPN würde dies bedeuten, dass die Gateways die Seriennummern der Zugangsdaten bei jeder Transaktion aktiv überprüfen würden. Im Gegensatz dazu macht Offline-E-Cash eine ständige Verbindung überflüssig – Anbieter können Zahlungen entgegennehmen und diese später verbuchen, wobei durch kryptografische Maßnahmen sichergestellt ist, dass jeder Versuch einer doppelten Ausgabe bei der Transaktionsüberprüfung erkannt wird. Das zk-nyms-Protokoll folgt diesem Offline-E-Cash-Modell und stellt sicher, dass nym-API-Validatoren auch ohne lokale Seriennummernprüfungen am Gateway Doppelausgaben bei der Überprüfung von Tickets erkennen und verhindern können. Das bedeutet, dass aus Sicherheitsgründen keine Überprüfung der Seriennummer am Gateway erforderlich ist. Lokale Überprüfungen am Gateway könnten jedoch eine zusätzliche Ebene der Früherkennung bieten und so die Geschwindigkeit bei der Identifizierung von Doppelausgabenversuchen innerhalb desselben Gateways verbessern. Zwar können solche Überprüfungen die Effizienz steigern, sie sind jedoch für die grundlegende Sicherheit des Protokolls nicht unerlässlich. Die im zk-nyms-Protokoll verankerten kryptografischen Garantien stellen sicher, dass Doppelausgaben zu einem späteren Zeitpunkt zuverlässig erkannt werden, sodass böswillige Akteure identifiziert und auf eine schwarze Liste gesetzt werden können. Daher sollten Überprüfungen auf Doppelausgaben am Gateway eher als optionale Effizienzsteigerung denn als grundlegende Sicherheitsanforderung betrachtet werden.
Darüber hinaus hat in unserem System jede zk-nym-Anmeldeinformation ein festes Ablaufdatum, das derzeit auf eine Woche. Nach Ablauf dieser Frist werden abgelaufene Zugangsdaten von den Einstiegsknoten des Netzwerks nicht mehr akzeptiert. Dieser Verfallsmechanismus begrenzt die Auswirkungen von versuchten Doppelausgaben zusätzlich und stellt sicher, dass das System auch ohne Seriennummernprüfungen auf Gateway-Ebene sicher bleibt.
NYM-01-032 WP3: Bloom-Filter-Parameter führen zu Fehlalarmen (Hoch)
Wir weisen darauf hin, dass sich dieser Teil des Codes in der aktiven Entwicklung befand und zum Zeitpunkt des Audits nicht in der NymVPN-App verwendet wurde. Die angegebenen Parameter dienten ausschließlich zu Testzwecken. Wie in NYM-01-030 WP3 erläutert, wurden die Bloom-Filter als zusätzliche Überprüfung auf Doppelausgaben hinzugefügt. Da unser Protokoll jedoch von Grund auf anders mit Doppelausgaben umgeht und die Bloom-Filter zu viel Overhead verursachten (da wir sie zwischen den Gateways und der nym-api synchronisieren mussten), haben wir beschlossen, sie zu entfernen.
Über diese Probleme mit hoher Priorität hinaus wurden bei der Prüfung auch mehrere Schwachstellen mittlerer Schwere aufgedeckt, die insbesondere mit potenziellen Angriffsvektoren für Denial-of-Service-Angriffe (DoS) zusammenhängen. Diese Ergebnisse zeigen Bereiche auf, in denen das NymVPN-Backend seine Ausfallsicherheit gegenüber Dienstunterbrechungen verbessern kann. Wir planen, diese Punkte im Rahmen unserer Roadmap für 2025 anzugehen.
Insgesamt wiesen die API und die Backend-Komponenten ein lobenswertes Sicherheitsniveau auf, wobei sich die Schwachstellen weitgehend auf bestimmte Fälle oder Möglichkeiten zur Absicherung beschränkten.
WP4: Crystal-Box-Penetrationstests und Quellcode-Audits der Nym-VPN-Software und -Infrastruktur
WP4 umfasste eine umfassende Sicherheitsbewertung der NymVPN-Software mit folgenden Schwerpunkten:
- Kernfunktionen: Protokollverarbeitung, Verschlüsselung, Netzwerkmanagement, DNS-Auflösung sowie Implementierung von IP-Routing, Tunneling und der Integration des gesamten Netzwerkstacks.
- Frontend-Integration: Die auf Tauri basierende Benutzeroberfläche wurde hinsichtlich Design, Benutzerfreundlichkeit und effizienter Integration in den Rust-Kern über FFI sowie hinsichtlich der plattformspezifischen Leistung unter Windows, macOS und Linux bewertet.
- Wichtige Sicherheitsmaßnahmen: Sichere Speicherung von Anmeldedaten, Schutz vor Datenlecks, Schlüsselverwaltung und Abmilderung bekannter VPN-Sicherheitslücken.
Die auf Rust basierende Implementierung der Protokollverarbeitung, Verschlüsselung, IP-Routing, Tunnelbildung und Netzwerkstack-Integration erwies sich als zuverlässig, wobei keine Schwachstellen festgestellt wurden. Wichtige Sicherheitsfunktionen wie die Speicherung von Anmeldedaten, die Verhinderung von Datenlecks und die Verwaltung von Verschlüsselungsschlüsseln wurden als hohe Sicherheitsstandards erfüllend bewertet und tragen wirksam zur Risikominderung bei.
Es zeigte sich, dass das Desktop-Frontend Benutzerfreundlichkeit erfolgreich mit einer effizienten Integration in den Rust-Kern verbindet. Es wurde bestätigt, dass die Mechanismen zur Fehlerbehandlung und -protokollierung umfassend und durchdacht implementiert sind und wertvolle Informationen zur Fehlerbehebung liefern, ohne dabei sensible Daten offenzulegen.
Bei der WP4-Analyse wurden keine Schwachstellen festgestellt, und es wurde bestätigt, dass die NymVPN-Software eine hervorragende Sicherheitslage aufweist.
WP5: Crystal-Box-Penetrationstests und Quellcode-Audits unter Berücksichtigung der Nym-Kryptografie
WP5 konzentrierte sich auf eine gründliche Bewertung der in der Nym-Plattform verwendeten Kryptografie. Dazu gehörten wichtige Komponenten wie die Coconut-Crate, die zk-nyms-Crate (E-Cash), das Sphinx-Protokoll, das Outfox-Protokoll und andere häufig verwendete kryptografische Primitive. Der vollständig in Rust geschriebene Quellcode aller kryptografischen Verfahren wurde für seine hervorragende Struktur gelobt, die es Prüfern ermöglichte, sich schnell mit der Implementierung vertraut zu machen.
Das Coconut- und E-Cash-Protokoll wurde umfassend geprüft und hat gezeigt, dass Blindierungsmechanismen zum Schutz sensibler Informationen wirksam eingesetzt werden können, wobei keine unbeabsichtigten Informationslecks festgestellt wurden. Die beiden im Protokoll verwendeten NIZKPs wiesen keine ausnutzbaren Schwachstellen auf, die es ermöglichen würden, den Verifizierer zu umgehen oder zu täuschen. Zudem stellte die Auswahl der zugrunde liegenden kryptografischen Bibliotheken, insbesondere bls12_381, strenge Zugehörigkeitsprüfungen sicher und verhinderte so Angriffe unter Verwendung ungültiger Kurvenpunkte oder falscher Untergruppen. Darüber hinaus wurde bestätigt, dass bei der Erzeugung von Zufallswerten für kryptografische Schlüssel und Nonces starke, kryptografisch sichere Methoden zum Einsatz kommen, was die Integrität der Schlüsselerzeugung plattformweit gewährleistet.
Trotz dieser Stärken wurden bei der Prüfung auch mehrere Probleme festgestellt, die als kritisch oder mit hohem Risiko eingestuft wurden. Im Folgenden gehen wir auf jeden einzelnen davon ein.
NYM-01-009 WP5: BLS12-381 Umgehung der EC-Signatur in der Coconut-Bibliothek (kritisch)
Cure53 stellte fest, dass die Funktion „verify_partial_blind_signature“, die zur Überprüfung partieller Blindsignaturen während der Ausstellungsphase vorgesehen ist, nicht alle erforderlichen Prüfungen für die bereitgestellte Signatur enthält, wodurch ein Angreifer die Signaturvalidierung möglicherweise mithilfe von Unendlichkeitspunkten auf der elliptischen Kurve umgehen könnte. Wir möchten jedoch klarstellen, dass die Funktion zur Überprüfung der Ausgabe von Berechtigungsnachweisen im Rahmen des Coconut-Protokolls die erforderlichen Prüfungen umfasst und ungültige Berechtigungsnachweise zuverlässig ablehnt. Aufgrund der Auslegung des Protokolls würde daher jeder Angriffsversuch scheitern, da gefälschte Anmeldedaten zu einem späteren Zeitpunkt erkannt und abgelehnt werden. Dadurch wird sichergestellt, dass die Sicherheit und Integrität des Systems in der Praxis nicht beeinträchtigt werden.
Dennoch erkennen wir an, dass die von Cure53 vorgeschlagenen zusätzlichen Prüfungen die Robustheit dieser Funktionen verbessern könnten, sollten sie außerhalb des spezifischen Kontexts von Coconut verwendet werden. Da unser Code Open Source ist und wir der breiteren Community wiederverwendbare Komponenten zur Verfügung stellen möchten, haben wir als zusätzliche Vorsichtsmaßnahme in der Version 2024.13-magura. Dadurch wird sichergestellt, dass die Funktionen in anderen Kontexten zuverlässig genutzt werden können und gleichzeitig höchste Sicherheitsstandards gewahrt bleiben.
NYM-01-014 WP5: Teilweiser Umgehung der Signatur bei Offline-E-Cash (kritisch)
Dieses Problem ähnelt dem oben beschriebenen, betrifft jedoch das E-Cash-System anstelle von Coconut. Wie bei der Coconut-Implementierung wurden alle erforderlichen Prüfungen bereits während der Ausgabephase des Protokolls implementiert bereits während der Ausführungsphase des Protokolls implementiert, wodurch sichergestellt wurde, dass jeder versuchte Angriff erfolglos bleiben würde. Das bedeutet, dass die Sicherheit und Integrität des Systems in der Praxis zu keinem Zeitpunkt gefährdet waren, obwohl das Problem als kritisch eingestuft wurde.
Dennoch haben wir, wie im Fall von Coconut, die von Cure53 empfohlenen zusätzlichen Signaturprüfungen proaktiv in allen relevanten Funktionen der Version 2024.13-magura. Zwar waren diese Prüfungen für die Sicherheit des bestehenden Protokollablaufs nicht erforderlich, doch erhöhten sie die Robustheit des Codes und stellten sicher, dass diese Funktionen in anderen Kontexten zuverlässig wiederverwendet werden konnten. Dieser Ansatz unterstreicht unser Engagement für die Aufrechterhaltung hoher Sicherheitsstandards, sowohl für unser System als auch für die breitere Open-Source-Community.
NYM-01-033 WP5: Signaturfälschung beim Pointcheval-Sanders-Verfahren (kritisch)
Cure53 hat eine Schwachstelle in unserer Implementierung der Signaturfunktion im Rahmen des Pointcheval-Sanders-Signaturschemas identifiziert. Konkret entsteht die Sicherheitslücke dadurch, dass in unserer Implementierung der Zufallswert h im Signatur-Tupel (h, s) nicht zufällig ausgewählt wird. Würden wir daher nur öffentliche Attribute signieren, wäre die Signatur anfällig für Fälschungen.
Es ist jedoch wichtig zu betonen, dass diese Sicherheitslücke durch Signaturfälschung im Zusammenhang mit den Protokollen „Coconut“ oder „E-Cash“ kein Risiko darstellt. Beide Protokolle stützen sich konstruktionsbedingt auf private Attribute und nutzen daher den Blindausstellungsprozess zur Signaturberechnung. Im Blind-Issuance-Protokoll stellt die Verwendung einer Zusage zu den Nachrichten als Eingabe für die Hash-Funktion sicher, dass unterschiedliche Tupel von Nachrichten eindeutige Werte für h erzeugen. Folglich würde sich die Sicherheitslücke nur dann zeigen, wenn die Coconut- oder E-Cash-Protokolle ausschließlich mit öffentlichen Attributen verwendet würden, was im Nym-Netzwerk nicht der Fall ist. Daher trifft das von Cure53 identifizierte Risiko auf unser System nicht zu, da die verwendeten Protokolle dieses Problem von Natur aus mindern.
NYM-01-042 WP5: Fehlerhafte Aggregation zu ungültigen Offline-E-Cash-Signaturen (kritisch)
Dieses Problem ähnelt den Problemen NYM-01-009 und NYM-01-014, bei denen die eigenständige Aggregationsfunktion für Signaturen eine ungültige Signatur erzeugen könnte, wenn der Angreifer die Teilsignaturen so manipulieren kann, dass sie den Unendlichkeitspunkt ergeben. Sowohl im Coconut- als auch im E-Cash-Protokoll lehnt der Verifizierungsprozess jedoch ausdrücklich jede Signatur ab, die zum Unendlichkeitspunkt führt, sodass dieses Problem weder die Sicherheit noch die Integrität eines der beiden Protokolle beeinträchtigt. Dennoch haben wir in Anlehnung an die Maßnahmen, die im Zusammenhang mit den Problemen NYM-01-009 und NYM-01-014 ergriffen wurden, zusätzliche Prüfungen implementiert in die Aggregationsfunktion integriert, um unsere Codebasis weiter zu stärken und einen möglichen Missbrauch in anderen Kontexten zu verhindern (https://github.com/nymtech/nym/blob/nym-binaries-v2024.13-magura/CHANGELOG.md).
NYM-01-005 WP5: Keine Überprüfung auf Unendlichkeitspunkt führt bei ElGamal zur Offenlegung des Klartexts (Hoch)
Die aktuelle Implementierung von Coconut und E-Cash nutzt keine ElGamal-Verschlüsselung (diese wurde auch während des Audits nicht verwendet). Stattdessen verwenden wir effizientere Pedersen-Commitments, die nicht dieselben Risiken bergen. Daher stellte das Problem im Zusammenhang mit ElGamal innerhalb unseres bestehenden Systems kein Sicherheitsrisiko dar. Außerdem entfernen wir nun die Coconut-Crate und damit auch das ElGamal-Schema.
Letzte Worte
Wir möchten dem Cure53-Team für seine Fachkompetenz und sein Engagement während des gesamten Audit-Prozesses danken. Wir schätzen zudem die Zusammenarbeit und die Professionalität, die sowohl in der Planungs- als auch in der Durchführungsphase des Audits zum Ausdruck kamen. Unser kontinuierliches Engagement für Sicherheit hat weiterhin höchste Priorität, und wir freuen uns auf die weitere Zusammenarbeit mit Sicherheitsexperten, um die höchsten Standards für unser Ökosystem aufrechtzuerhalten.