Verifiable Compute: Wenn KI-Rechnen einen Beweis braucht
Nachpruefbares Rechnen wird 2026 zur eigenen Anlageklasse: EigenCloud, Boundless und Lagrange liefern KI-Ergebnisse mit kryptografischem Beweis. Was dahintersteckt und was die BaFin dazu sagt.
Warum Verifiable Compute 2026 zum Kernthema wird
Wenn ein KI-Modell einen Kredit freigibt, einen Marktpreis feststellt oder einen autonomen Agenten steuert, stellt sich 2026 immer wieder dieselbe Frage: Lässt sich beweisen, dass genau dieses Modell mit genau diesen Daten gerechnet hat? Verifiable Compute, also nachprüfbares Rechnen, gibt darauf eine kryptografische Antwort. Jede Berechnung erhält eine Art digitale Quittung, die jeder unabhängig kontrollieren kann, ohne die Rechnung selbst noch einmal ausführen zu müssen.
Der Sektor hat den Sprung vom Laborversuch in den Produktivbetrieb geschafft. Eine Analyse von CoinDesk bringt die Verschiebung auf den Punkt: Die entscheidende Frage laute nicht mehr, ob eine KI ein Ergebnis liefert, sondern ob sich belegen lässt, wie dieses Ergebnis entstand und wer dafür haftet. Drei Kräfte treiben die Entwicklung an:
- Gereifte Zero-Knowledge-Technik, die Beweise schneller und günstiger macht.
- Ökonomisch abgesicherte Restaking-Modelle, die Rechenleistung mit gestakten Vermögenswerten hinterlegen.
- Ein Regulierungsumfeld, das Nachvollziehbarkeit und Kennzeichnung von KI verlangt.
Für die Krypto-Branche ist das mehr als eine technische Fußnote. Verifiable Compute verbindet zwei bisher getrennte Welten: die enorme Rechenleistung, die moderne KI braucht, und die Prüfbarkeit, die Blockchains auszeichnet. Genau an dieser Schnittstelle entstehen die derzeit spannendsten Projekte des ai-crypto-Clusters, von verifizierbaren Orakeln bis zu autonomen Agenten, die echtes Kapital bewegen.
Von zkML bis Hybrid: die drei Wege zum Beweis
Technisch haben sich drei Ansätze etabliert, die sich in Kosten, Tempo und Vertrauensmodell unterscheiden.
- Zero-Knowledge Machine Learning (zkML): Ein Prover führt das Modell aus und erzeugt einen kryptografischen Beweis, dass die Berechnung den festgelegten Gewichten folgte und die genannte Ausgabe lieferte. Der Beweis lässt sich in Millisekunden prüfen, ganz ohne Offenlegung der privaten Gewichte oder Eingaben.
- Trusted Execution Environments (TEE): Die Berechnung läuft in einer abgeschotteten Hardware-Enklave (etwa Intel SGX oder Confidential Computing auf GPUs), die eine signierte Bestätigung ausstellt. Das ist schneller und günstiger als zkML, verlangt aber Vertrauen in den Chip-Hersteller.
- Optimistisches Rechnen (opML): Ergebnisse gelten zunächst als korrekt; nur im Streitfall wird ein Beweis für den strittigen Schritt nachgereicht.
2026 gilt als das Jahr der Hybrid-Architekturen, die das günstige optimistische Verfahren für den Normalfall mit einem harten ZK-Beweis für den Ausnahmefall verbinden. Akademische Arbeiten zur durchgängigen Nachprüfbarkeit von KI-Pipelines zeigen, wie schnell der Beweisaufwand fällt; Fortschritte wie zkPyTorch drücken die Beweiszeit für klassische Bildmodelle bereits in den Sekundenbereich (Fachpublikation). Klar ist aber auch: Das Beweisen sehr großer Sprachmodelle bleibt teuer, das Absichern kompletter Trainingsläufe vorerst Zukunftsmusik.
Am Horizont steht mit der voll homomorphen Verschlüsselung (FHE) ein vierter Ansatz, der Berechnungen sogar auf verschlüsselten Daten erlaubt; noch ist er zu langsam für den breiten Einsatz. Entscheidend für die Krypto-Nutzung ist ein anderer Punkt: Ein Beweis, der sich in Millisekunden und notfalls direkt on-chain prüfen lässt, macht KI-Ausgaben erstmals zu einem Baustein, auf den Smart Contracts verlässlich reagieren können.
EigenCloud: die verifizierbare Cloud aus dem Ethereum-Umfeld
Das prominenteste Beispiel für den Wandel liefert EigenLayer. Aus dem Restaking-Protokoll ist mit EigenCloud eine verifizierbare Cloud geworden, die die Sicherheit gestakter Vermögenswerte auf allgemeine Rechenleistung ausweitet. Der Stack ruht auf drei Bausteinen: EigenDA für die Datenverfügbarkeit, EigenCompute für die Ausführung außerhalb der Kette und EigenVerify für die Streitschlichtung.
Ende September 2025 brachte das Team EigenCompute und EigenAI in die Mainnet-Alpha (Blockworks). Bei EigenCompute laden Entwickler ihre Anwendung als Docker-Image hoch, das in einer TEE ausgeführt wird. EigenAI stellt eine zur OpenAI-Schnittstelle kompatible API bereit und liefert laut Anbieter eine bit-genaue, deterministische LLM-Inferenz auf GPUs; geprüft werden die Integrität des Prompts, die Echtheit der Antwort und die Konsistenz des Modells (EigenCloud). Weil die Ausführung deterministisch ist, kann sie zur Kontrolle jederzeit wiederholt werden. Als erstes Modell lief das offene gpt-oss-120b.
Der Markt honoriert den Kurswechsel. Bis Juni 2026 stieg der in EigenCloud gebundene Wert (Total Value Locked) auf umgerechnet gut vier Milliarden Euro. Kapitalgeber wie a16z sehen in der verifizierbaren Cloud die Basisschicht für die kommende App- und KI-Ära von Krypto. Noch trägt die Alpha allerdings Warnhinweise: Für den Produktiveinsatz ist sie ausdrücklich noch nicht freigegeben.
Boundless und Succinct: der Markt für Rechenbeweise
Während EigenCloud zunächst auf Enklaven setzt, bauen andere einen offenen Markt für Zero-Knowledge-Beweise. Boundless, ein von RISC Zero angestoßenes Projekt, startete im September 2025 sein Mainnet auf Coinbases Layer-2 Base (CoinDesk). Das Prinzip: Rechenlast wird ausgelagert, und jede Kette prüft das Ergebnis per Beweis, statt es selbst nachzurechnen (RISC Zero). Das Modell Proof of Verifiable Work belohnt Prover mit dem Token ZKC, der praktisch durch die Beweise selbst geschürft wird. Erweiterungen wie Steel (Auslagern teurer Solidity-Berechnungen) und Kailua (schnellere Finalität) runden das Angebot ab; im Januar 2026 kam zudem eine Brücke hinzu, die sogar Bitcoin als Abwicklungsschicht für ZK-Beweise nutzbar macht.
Der zweite Schwergewichtsakteur ist Succinct mit seiner zkVM SP1 und dem Token PROVE (The Block). Das Netzwerk koordiniert verteilte Prover zu einem zweiseitigen Marktplatz aus Anbietern und Nachfragern. Im Februar 2026 wählte Optimism Succinct für das ZK-Proving des gesamten OP-Stacks, inklusive Base, Unichain und Ink; damit deckt das Netz nach eigenen Angaben rund 90 Prozent des Rollup-Marktes nach gesichertem Wert ab, insgesamt umgerechnet knapp vier Milliarden Euro. Über 35 Protokolle nutzen den Dienst, und mehr als fünf Millionen Beweise sind bereits erzeugt worden.
Lagrange, Cysic und die zkML-Beschleunigung
Für verifizierbare KI im engeren Sinn sorgt Lagrange mit DeepProve. Die zkML-Bibliothek erzeugt Beweise über die Inferenz eines KI-Modells und ist laut Benchmarks 54- bis 158-mal schneller als die bisherige Open-Source-Referenz EZKL (Lagrange). Jede Inferenz erhält so eine kryptografische Quittung, also den Nachweis, dass das richtige Modell mit der richtigen Eingabe lief, prüfbar in Millisekunden und ohne Offenlegung der Gewichte. Den ersten Beweis über eine vollständige LLM-Inferenz lieferte das Team bereits im August 2025; seither sind Millionen weiterer Beweise dazugekommen, und Partner aus der Industrie wie IBM, Intel und Nvidia sind eingebunden.
Solche Beweise verlangen spezialisierte Hardware. Genau hier setzt die Partnerschaft von Cysic und Inference Labs an, die Ende Dezember 2025 angekündigt wurde und verifizierbare KI-Software auf Cysics ZK-Beschleuniger bringt (Decrypt). Im März 2026 folgte der Mainnet-Start von Cysic AI mit ersten verifizierbaren Agenten. Auch Gensyn gehört in diese Reihe: Sein Reproducible Execution Environment soll sicherstellen, dass Trainingsknoten ihre Arbeit tatsächlich leisten und nicht nur behaupten; die Anwendung Delphi ging im April 2026 als KI-gestützter Prognosemarkt an den Start. Damit verschiebt sich der Engpass von der reinen Rechenleistung hin zur effizienten Erzeugung der Beweise selbst.
Die wichtigsten Projekte im Überblick
Die folgende Übersicht ordnet die zentralen Akteure nach Token, technischem Ansatz und jüngstem Meilenstein. Sie ersetzt keine eigene Recherche, hilft aber, die Landschaft schnell einzuordnen.
| Projekt | Token | Technischer Ansatz | Meilenstein 2025/26 |
|---|---|---|---|
| EigenCloud | EIGEN | TEE und Restaking (ZK in Planung) | EigenAI und EigenCompute, Mainnet-Alpha, September 2025 |
| Boundless (RISC Zero) | ZKC | Zero-Knowledge, Proof of Verifiable Work | Mainnet-Start auf Base, September 2025 |
| Succinct | PROVE | zkVM SP1, Prover-Netzwerk | OP-Stack-Deal mit Optimism, Februar 2026 |
| Lagrange | LA | zkML mit DeepProve | Erster vollständiger LLM-Beweis, August 2025 |
| Cysic / Inference Labs | CYS | ZK-Hardware und verifizierbare KI | Cysic-AI-Mainnet, März 2026 |
| Gensyn | AI | Reproducible Execution Environment | Delphi-Mainnet, April 2026 |
Token-Preise und Marktlage
Die dezentrale Recheninfrastruktur (unter dem Kürzel DePIN) hat sich zu einer eigenen Anlageklasse entwickelt. Anfang 2026 lag die kombinierte Marktkapitalisierung des Sektors bei neun bis zehn Milliarden US-Dollar (umgerechnet rund neun Milliarden Euro), und im Januar erwirtschafteten die führenden Netze zusammen rund 140 Millionen Euro an monatlichen On-Chain-Einnahmen, bei einzelnen Protokollen ein Plus von 800 Prozent binnen eines Jahres.
Bei den Token bleibt die Lage schwankungsanfällig. Bittensor (TAO), ein Leitwert des Sektors, notierte am 1. Juli 2026 bei knapp 200 Euro, Akash (AKT) bei rund 0,56 Euro (umgerechnet, Stand: CoinGecko). Der Lagrange-Token LA rutschte zuletzt in die Nähe seines Allzeittiefs, während am 4. Juni 2026 ein Unlock im Gegenwert von umgerechnet rund 16 Millionen Euro zusätzlichen Verkaufsdruck erzeugte. Wer investiert, sollte die Diskrepanz zwischen technischem Fortschritt und Kursverlauf im Blick behalten: Nutzung und Umsatz wachsen, doch kurzfristig bestimmen Token-Freigaben und Spekulation die Preise.
Für eine Einordnung lohnt der Blick auf die Einnahmen statt allein auf die Kurse. Der in EigenCloud gebundene Wert legte laut Marktbeobachtern allein in einer Juni-Woche 2026 um mehrere Hundert Millionen US-Dollar zu, und Netze wie Succinct sichern nach eigenen Angaben Werte in Milliardenhöhe ab. Ob diese Nutzung die zum Teil hohen Bewertungen trägt, bleibt die zentrale Frage für den weiteren Jahresverlauf.
Regulierung: EU AI Act und die Rolle der BaFin
Der regulatorische Rückenwind ist konkret. Ab dem 2. August 2026 greifen die Transparenzpflichten des EU AI Act: Nutzer müssen erfahren, wenn sie mit einer KI interagieren, und künstlich erzeugte Inhalte müssen als solche gekennzeichnet werden (Artikel 50 des EU AI Act). Für Systeme, die vor diesem Stichtag auf dem Markt waren, gilt eine Schonfrist bis zum 2. Dezember 2026. Die strengeren Vorgaben für Hochrisiko-Systeme wurden im Omnibus-Verfahren dagegen nach hinten verschoben, teils bis Dezember 2027, teils bis August 2028.
In Deutschland überwacht die BaFin den Einsatz von KI im Finanzsektor. Im Dezember 2025 veröffentlichte die Behörde eine Orientierungshilfe zu IKT-Risiken beim KI-Einsatz und ordnete diese in den DORA-Rahmen für das Management von IT-Risiken ein (BaFin). Genau an diesem Punkt spielt Verifiable Compute seine Stärke aus: Wer per kryptografischem Beweis belegen kann, welches Modell mit welchen Daten zu einer Entscheidung kam, erfüllt Dokumentations- und Nachvollziehbarkeitspflichten deutlich leichter. Aus einer technischen Spielerei wird so ein handfestes Compliance-Werkzeug, gerade für regulierte Institute.
Was das für Anleger und Entwickler bedeutet
Verifiable Compute ist 2026 kein Randthema mehr, sondern eine Infrastrukturschicht, um die herum ein wachsendes Ökosystem entsteht. Für Entwickler sinkt die Einstiegshürde spürbar: OpenAI-kompatible APIs, offene zkML-Bibliotheken und Marktplätze für Beweise machen verifizierbare KI erstmals ohne tiefes Spezialwissen zugänglich.
Zugleich bleiben die Grenzen sichtbar. Das Beweisen sehr großer Sprachmodelle ist teuer und langsam, komplette Trainingsläufe lassen sich noch nicht praktikabel absichern, und viele Netze verdienen bislang weniger, als ihre Bewertungen nahelegen. Hinzu kommen regelmäßige Token-Freigaben, die auf die Kurse drücken, sowie offene Fragen zur konkreten Auslegung der neuen Regeln.
Unterm Strich zeichnet sich dennoch eine klare Richtung ab: Vertrauen in KI wird künftig weniger behauptet und mehr bewiesen. Ob am Ende EigenCloud, Boundless, Succinct oder Lagrange die Nase vorn haben, ist völlig offen; dass Nachprüfbarkeit zum Standard wird, wirkt dagegen kaum noch aufzuhalten. Anlegerinnen und Anleger tun gut daran, belastbaren Umsatz von reiner Erzählung zu trennen und die regulatorischen Fristen mitzudenken.
Von der Redaktion von HOGE Wire. Dieser Beitrag ist journalistische Berichterstattung und keine Anlageberatung.