Buterin: Formale Verifikation mit KI könnte Sicherheits-Wettrüste
Vitalik Buterin propagiert KI-gestützte formale Verifikation als Lösung für von KI verursachte Sicherheitsrisiken. Der Ledger-CTO sieht dagegen aktuell die Angreifer im Vorteil.
19. Mai 2026vitalik buterin
Vitalik Buterin warnt vor Sicherheitsrisiken aktueller KI-Agenten
Vitalik Buterin analysiert gravierende Sicherheitslücken in heutigen KI-Systemen und zeigt auf, wie dezentrale Technologien wie Zero-Knowledge-Proofs Abhilfe schaffen könnten.
4. Apr. 2026vitalik buterin
Ethereum-Mitgründer Jeffrey Wilcke transferiert 158 Mio. Dollar
Jeffrey Wilcke, Mitgründer von Ethereum, hat 79.358 ETH im Wert von 158 Mio. Dollar an Kraken gesendet. Der Markt beobachtet die Transaktionen der Urgesteine genau.
9. März 2026ethereum