Llama 4 Maverick: FlashProve erzeugt 18,78-Megabyte-Beweise für KI-Ausgaben
Veröffentlicht am: 05.11.2026 um 23:22 Uhr | Redaktion boerse-global.de
Das Frontier Red Team des KI-Unternehmens Anthropic hat mit FlashProve einen quelloffenen Prototyp für kryptografisch nachweisbare Inferenz vorgestellt. Das System nutzt Zero-Knowledge-Beweise (zkSNARKs), um kryptografisch nachzuweisen, welches KI-Modell eine konkrete Ausgabe berechnet hat, ohne dass dafür die geschützten Modellgewichte offengelegt werden müssen.
Die Entwicklung wurde am 4. November 2026 in Kooperation mit der Eidgenössischen Technischen Hochschule Lausanne (EPFL), StarkWare, dem Massachusetts Institute of Technology (MIT), RESI sowie Succinct veröffentlicht. Der Programmcode steht der Öffentlichkeit unter der Apache-2.0-Lizenz auf GitHub zur Verfügung.
Benchmarks mit Meta Llama 4 Maverick
In Testläufen mit dem quelloffenen Modell Meta Llama 4 Maverick, das 400 Milliarden Parameter im Mixture-of-Experts-Verfahren bei 4-Bit-Quantisierung nutzt, erreichte das System auf einer einzelnen Nvidia-H100-Grafikkarte einen Durchsatz von rund 110 Tokens pro Sekunde. Die Dateigröße eines solchen Beweises liegt bei 18,78 Megabyte für eine Anfrage mit 1.024 Tokens.
Die Überprüfung eines erzeugten Beweises erfordert weder einen Grafikprozessor noch Einsicht in die Modellgewichte. Der Verifikationsprozess nimmt rund 17 Sekunden auf 24 CPU-Threads beziehungsweise 21 Sekunden auf einem einzelnen CPU-Thread in Anspruch.
Ein einmaliger Vorbereitungsschritt für Llama 4 Maverick beanspruchte etwa 39 Minuten Rechenzeit, deckt im Anschluss jedoch rund 16 Millionen Anfragen ab. Ein früherer Beweislauf desselben Modells hatte noch 14,3 Stunden für 1.000 Tokens benötigt.
Hoher Rechenaufwand und technische Grenzen
Trotz der erzielten Beschleunigung bleibt der zusätzliche Ressourcenaufwand signifikant: Der Zeitaufwand auf den Grafikprozessoren fällt bei der Beweiserzeugung etwa 70- bis 95-mal höher aus als bei herkömmlicher Inferenz im FP8-Format über vLLM auf acht Nvidia H100. Bei Spitzenlast liegt der Faktor bei rund 94.
Wer sich mit der Identifikation und Absicherung von KI-Systemen befasst, muss auch die rechtlichen Rahmenbedingungen kennen. Dieser kostenlose Umsetzungsleitfaden zum EU AI Act hilft Ihnen, Risikoklassen und Dokumentationspflichten frühzeitig zu verstehen. EU AI Act in 5 Schritten verstehen
Zudem weist der Prototyp funktionale Einschränkungen auf. FlashProve ist auf ein Kontextfenster von 1.024 Tokens beschränkt und funktioniert ausschließlich mit Mixture-of-Experts-Architekturen.
Der Beweis bezieht sich auf ein Integer-Modell unter deterministischem Greedy-Decoding, was zu Abweichungen gegenüber Berechnungen mit Gleitkommazahlen oder Sampling-Methoden führen kann. Zudem sind Seitenkanal- und Timing-Angriffe im aktuellen Sicherheitsmodell ausgeklammert.
Die technologische Entwicklung von KI bringt nicht nur neue Möglichkeiten, sondern auch komplexe Compliance-Anforderungen für Unternehmen mit sich. Ein kostenloser Experten-Report klärt auf, welche rechtlichen Pflichten und Cyberrisiken Sie jetzt kennen müssen. Kostenlosen Report zu neuen KI-Gesetzen anfordern
Anthropic betont, dass die kryptografischen Beweise lediglich die Identität des ausführenden Modells absichern, nicht jedoch die inhaltliche Korrektheit oder die Sicherheit der erzeugten Antworten garantieren. Eine verlässliche Modellidentifikation setzt zudem ein vertrauenswürdiges Bekenntnis des jeweiligen Anbieters voraus.
FlashProve ist als reiner Forschungsprototyp konzipiert. Anthropic plant derzeit keinen produktiven Einsatz des Systems bei sich oder anderen Forschungslaboren; gegenwärtig stellt kein kommerzieller Anbieter derartige Nachweise im Regelbetrieb bereit.
