a16z's „Rules as Law“-Vision: Wie KI-gestützte formale Verifizierung und Laufzeit-Guardrails die DeFi-Sicherheit neu gestalten
Im Dezember 2025 richteten Forscher von Anthropic einen KI-Agenten auf 405 real existierende, ausgenutzte Smart Contracts. Der Agent erstellte funktionierende Exploits für 207 davon – 51 % – und entzog dabei 550 Millionen .
Dieser einzelne Datenpunkt verdeutlicht die existenzielle Krise, vor der das dezentrale Finanzwesen (DeFi) im Jahr 2026 steht. Die 3,4 Milliarden $, die 2025 durch Krypto-Hacks verloren gingen, waren kein Mangel an Bemühungen – die meisten angegriffenen Protokolle waren auditiert worden, einige sogar mehrfach. Es war ein Versagen des Paradigmas. Und nun schlägt a16z Crypto einen radikalen Ersatz vor: Verabschieden Sie sich von „Code ist Gesetz“ (Code is Law) und begrüßen Sie „Spezifikation ist Gesetz“ (Spec is Law), wobei mathematisch bewiesene Sicherheitseigenschaften und Echtzeit-Laufzeit-Schutzmechanismen (Runtime Guardrails) die meisten Exploits strukturell unmöglich machen.