Certora-Chefwissenschaftler Mooly Sagiv: Blockchain-Sicherheit ist mehr als nur Code

币界网报道：Certora-Chefwissenschaftler Mooly Sagiv ist der Ansicht, dass die größten Sicherheitsrisiken im Kryptobereich nicht in komplexen Code-Schwachstellen liegen, sondern in einfacheren Problemen wie Schlüsselverwaltung und menschlichen Fehlern. Auf der Breakpoint 2025-Konferenz betonte er, dass Audits keine Sicherheit garantieren können, und plädierte für eine Kombination aus formaler Verifikation und manueller Überprüfung. Sagiv wies darauf hin, dass formale Verifikation, die in Continuous-Integration-(CI)-Pipelines integriert ist, „unbekannte Unbekannte“ aufdecken kann, warnte jedoch, dass ihre Wirksamkeit von der korrekten Definition der Eigenschaften abhängt. Er relativierte auch die Bedeutung von künstlicher Intelligenz als existenzielle Bedrohung und sieht sie sowohl als Werkzeug für Angreifer als auch für Verteidiger.