{"id":542,"date":"2026-09-13T16:30:55","date_gmt":"2026-09-13T16:30:55","guid":{"rendered":"https:\/\/hoge.gg\/de\/verifiable-compute-2026-beweis-netze-ki-clouds\/"},"modified":"2026-09-13T16:30:55","modified_gmt":"2026-09-13T16:30:55","slug":"verifiable-compute-2026-beweis-netze-ki-clouds","status":"publish","type":"post","link":"https:\/\/hoge.gg\/de\/verifiable-compute-2026-beweis-netze-ki-clouds\/","title":{"rendered":"Verifiable Compute 2026: Wenn Beweis-Netze zu KI-Clouds werden"},"content":{"rendered":"<p class=\"wp-block-paragraph\">Vor rund einem Jahr, im September 2025, startete Boundless als dezentraler Marktplatz f\u00fcr Zero-Knowledge-Beweise. Die Idee klang sauber: Entwickler auf beliebigen Blockchains sollten beweisbar korrekte Rechenleistung einkaufen k\u00f6nnen, \u00e4hnlich wie man Strom aus der Steckdose bezieht, ohne dem Kraftwerk vertrauen zu m\u00fcssen. Ein Jahr sp\u00e4ter hat sich die Geschichte gedreht. Der zugeh\u00f6rige Token ZKC notiert rund 97 Prozent unter seinem Allzeithoch, und dasselbe GPU-Netzwerk verkauft inzwischen etwas ganz anderes: KI-Inferenz.<\/p><p class=\"wp-block-paragraph\">Das ist kein Einzelfall, sondern das Muster des Jahres. Die Technik hinter verifiable compute, also hinter \u00fcberpr\u00fcfbarer Rechenleistung, funktioniert 2026 besser als je zuvor. Nur zahlt kaum jemand daf\u00fcr, dass eine Rechnung mit einem kryptografischen Beweis kommt. Also bauen die Anbieter um: Aus reinen Beweis-Netzwerken werden KI-Clouds, und die \u00dcberpr\u00fcfbarkeit wird zum Zusatzmerkmal statt zum Produkt. Dieser Text ordnet ein, was verifiable compute leistet, warum die reine These an eine Wand lief und wohin sich das Gesch\u00e4ft gerade verschiebt.<\/p><h2 class='wp-block-heading'>Ein Jahr nach dem Start: Boundless verkauft jetzt KI-Rechenzeit<\/h2><p class=\"wp-block-paragraph\">Boundless betreibt ein Netzwerk aus rund 4.000 GPUs. Urspr\u00fcnglich sollten diese Grafikkarten Zero-Knowledge-Beweise f\u00fcr Ethereum und Base erzeugen und auf Bitcoin verankern. Im Sommer 2026 \u00f6ffnete das Team dieselbe Infrastruktur f\u00fcr KI-Inferenz, also f\u00fcr das Ausf\u00fchren fertig trainierter Modelle. Laut <a href='https:\/\/www.theblock.co\/post\/408213\/distributed-compute-startup-boundless-gpus-zk-to-ai'>The Block<\/a> wurde das Netz daf\u00fcr angepasst (Hardware-Tuning, Lastanpassung, Routing und Scheduling), und erste Benchmarks sollen Inferenzkosten von bis zu 50 Prozent unter denen gro\u00dfer Cloud-Anbieter zeigen, vor allem bei asynchronen Aufgaben.<\/p><p class=\"wp-block-paragraph\">Die Rolle des ZKC-Tokens verschiebt sich damit ebenfalls. Wer als Betreiber KI-Auftr\u00e4ge annehmen will, muss ZKC hinterlegen; die H\u00f6he des Einsatzes richtet sich nach dem m\u00f6glichen Verdienst. Das klassische Beweisgesch\u00e4ft l\u00e4uft parallel weiter. CEO Shiv Shankar fasste den Schwenk so zusammen: &bdquo;Vor vier Jahren wollten wir ein hartes Rechenproblem l\u00f6sen. Dabei ist etwas Gr\u00f6\u00dferes entstanden: ein Netzwerk, das verteilte GPU-Kapazit\u00e4t koordiniert. KI braucht dasselbe Fundament, nur in weit gr\u00f6\u00dferem Ma\u00dfstab.&ldquo;<\/p><p class=\"wp-block-paragraph\">F\u00fcr das Netzwerk selbst ist dieser Schritt mehr als eine Produkterweiterung. Er ver\u00e4ndert, wof\u00fcr der Token \u00fcberhaupt gut ist. Bislang sicherte ZKC die Erzeugung von Beweisen ab; k\u00fcnftig sichert derselbe Einsatz auch das Versprechen ab, KI-Auftr\u00e4ge korrekt abzuarbeiten. Aus einem Token f\u00fcr eine Nische wird ein Token f\u00fcr einen viel gr\u00f6\u00dferen, aber auch viel umk\u00e4mpfteren Markt.<\/p><p class=\"wp-block-paragraph\">Der Zeitpunkt ist bemerkenswert. Boundless ging <a href='https:\/\/www.coindesk.com\/tech\/2025\/09\/12\/boundless-launches-mainnet-on-base-ushering-in-universal-zero-knowledge-compute'>im September 2025 auf Base ans Mainnet<\/a>, getragen unter anderem von der Ethereum Foundation. Fast auf den Tag genau ein Jahr sp\u00e4ter wird aus dem Beweismarkt ein KI-Rechenanbieter. Das ist die Kurzfassung dessen, was der gesamten Nische 2026 widerf\u00e4hrt.<\/p><h2 class='wp-block-heading'>Was verifiable compute \u00fcberhaupt verspricht<\/h2><p class=\"wp-block-paragraph\">Verifiable compute bedeutet: Ein Rechenergebnis kommt zusammen mit einem Nachweis, dass es korrekt berechnet wurde, und dieser Nachweis l\u00e4sst sich billig pr\u00fcfen, ohne die Rechnung selbst zu wiederholen. Das Vertrauensmodell kippt damit von &bdquo;Vertraue dem Server&ldquo; zu &bdquo;Pr\u00fcfe den Beweis&ldquo;. F\u00fcr KI ist das brisant, weil ein Modell hinter einer API eine Blackbox ist: Nutzer sehen die Antwort, aber nicht, welches Modell mit welchen Daten gerechnet hat, ob es zwischendurch gegen ein billigeres getauscht wurde oder ob das Ergebnis \u00fcberhaupt aus einer echten Berechnung stammt.<\/p><p class=\"wp-block-paragraph\">Wichtig ist die Abgrenzung zu blo\u00dfer verteilter Rechenleistung. Marktpl\u00e4tze wie Akash oder Netzwerke wie <a href='https:\/\/hoge.gg\/de\/bittensor-2026-ki-training-ohne-rechenzentrum\/'>Bittensor<\/a> vermieten GPU-Kapazit\u00e4t g\u00fcnstig, beweisen aber nicht, dass ein Anbieter ehrlich das versprochene Modell ausgef\u00fchrt hat. Genau diese L\u00fccke will verifiable compute schlie\u00dfen. Ethereum-Mitgr\u00fcnder Vitalik Buterin ordnete das Feld <a href='https:\/\/vitalik.eth.limo\/general\/2024\/01\/30\/cryptoai.html'>schon Anfang 2024<\/a> in vier Kategorien und benannte zugleich den Haken: Ein Zero-Knowledge-Beweis f\u00fcr lineare Operationen wie Matrixmultiplikationen koste weniger als das Vierfache der reinen Rechnung, f\u00fcr nichtlineare Schichten aber rund das Zweihundertfache.<\/p><p class=\"wp-block-paragraph\">Buterin unterscheidet vier Rollen, in denen KI und Blockchain aufeinandertreffen: KI als Spieler in einem Mechanismus, KI als Schnittstelle zur Kette, KI als Regel des Spiels und KI als Ziel. Gerade dort, wo ein Modell selbst \u00fcber Geld oder Zugang entscheidet, verlangt es nach Beweisen, denn ein heimlich ausgetauschtes oder manipuliertes Modell w\u00e4re teuer. 2026 versch\u00e4rfen autonome Agenten das Problem, die eigene Wallets f\u00fchren und Transaktionen ausl\u00f6sen, ohne dass ein Mensch jeden Schritt freigibt.<\/p><p class=\"wp-block-paragraph\">Damit trifft verifiable compute einen Nerv der gesamten Kryptobranche. Deren Gr\u00fcndungsversprechen lautet seit jeher: nicht vertrauen, sondern \u00fcberpr\u00fcfen. Bei Zahlungen hat Bitcoin das eingel\u00f6st, bei Vertr\u00e4gen die Smart Contracts. KI war lange die gro\u00dfe Ausnahme, eine Blackbox, der man glauben musste. Genau diese L\u00fccke wollen die Anbieter schlie\u00dfen, und daran bemisst sich, ob aus einer eleganten Idee ein Gesch\u00e4ft wird.<\/p><p class=\"wp-block-paragraph\">Daraus ergibt sich der Kern-Trade-off der gesamten Debatte: Rechnen ist entweder billig und nicht \u00fcberpr\u00fcfbar, oder teuer und \u00fcberpr\u00fcfbar. Wer Beweise verkauft, verkauft im Grunde die Aufl\u00f6sung dieses Trade-offs. Und der Markt entscheidet, wie viel ihm das wert ist.<\/p><h2 class='wp-block-heading'>Vier Wege zum Beweis: zkML, TEE, opML und Stake<\/h2><p class=\"wp-block-paragraph\">Es gibt nicht den einen Weg, Rechenleistung \u00fcberpr\u00fcfbar zu machen, sondern vier, die sich in ihrer Vertrauensbasis grundlegend unterscheiden. Jeder l\u00f6st den oben genannten Trade-off anders auf, und jeder opfert dabei etwas anderes.<\/p><figure class='wp-block-table'><table><thead><tr><th>Ansatz<\/th><th>Vertrauensbasis<\/th><th>St\u00e4rke<\/th><th>Grenze<\/th><\/tr><\/thead><tbody><tr><td>zkML (Zero-Knowledge)<\/td><td>Mathematik, kein Vertrauen in Dritte n\u00f6tig<\/td><td>vollst\u00e4ndig \u00fcberpr\u00fcfbar, Daten bleiben verborgen<\/td><td>Beweis-Overhead, f\u00fcr sehr gro\u00dfe Modelle noch teuer<\/td><\/tr><tr><td>TEE (Confidential Computing)<\/td><td>Chiphersteller (Intel, AMD, NVIDIA)<\/td><td>sehr schnell, unter 7 Prozent Overhead<\/td><td>Vertrauen in die Hardware, physische Angriffe m\u00f6glich<\/td><\/tr><tr><td>opML (Optimistic ML)<\/td><td>mindestens ein ehrlicher Beobachter<\/td><td>g\u00fcnstig, kaum Rechen-Overhead<\/td><td>Einspruchsfenster, keine Echtzeit<\/td><\/tr><tr><td>Krypto-\u00f6konomisch (Stake und Slashing)<\/td><td>wirtschaftliche Anreize (Einsatz gr\u00f6\u00dfer als m\u00f6glicher Gewinn)<\/td><td>skaliert auf gro\u00dfe Modelle, leicht zu integrieren<\/td><td>nur wirtschaftliche, keine mathematische Garantie<\/td><\/tr><\/tbody><\/table><\/figure><p class=\"wp-block-paragraph\">zkML liefert die h\u00e4rteste Garantie, ist aber am teuersten. TEE ist am schnellsten, verlagert das Vertrauen aber auf den Chiphersteller. opML ist am g\u00fcnstigsten, kennt daf\u00fcr kein Echtzeit-Ergebnis. Und der krypto-\u00f6konomische Weg (hinterlegter Einsatz, der bei Betrug einkassiert wird) skaliert am besten, ersetzt aber Mathematik durch Wirtschaftlichkeit. 2026 kombinieren die meisten ernst zu nehmenden Anbieter diese Bausteine, statt sich auf einen zu verlassen.<\/p><p class=\"wp-block-paragraph\">Konkret hei\u00dft das: F\u00fcr zkML liefern zkVMs wie SP1 von Succinct oder die Systeme von RISC Zero die Werkzeuge, mit denen sich Programme in einen Beweis gie\u00dfen lassen. Beim TEE-Weg f\u00fchrt Phala Network vertrauliche Modelle auf abgeschirmten NVIDIA-Chips aus. opML wurde vom Projekt Ora popul\u00e4r gemacht, das ein Ergebnis erst ver\u00f6ffentlicht und dann ein Einspruchsfenster \u00f6ffnet. Und den krypto-\u00f6konomischen Weg verk\u00f6rpert EigenCloud, wo hinterlegtes Kapital f\u00fcr die Ehrlichkeit haftet. Die Grenzen verschwimmen, weil viele Anbieter mehrere Verfahren stapeln, etwa schnelle Hardware-Ausf\u00fchrung mit stichprobenartigen mathematischen Kontrollen.<\/p><h2 class='wp-block-heading'>Warum die reine Beweis-These an eine Wand lief<\/h2><p class=\"wp-block-paragraph\">Die Wette der ZK-Beweism\u00e4rkte war einfach: Wenn Blockchains und KI zusammenwachsen, entsteht ein riesiger Bedarf an beweisbarer Rechenleistung, und wer die Infrastruktur daf\u00fcr betreibt, sitzt an der Quelle. 2025 floss entsprechend Kapital in Beweis-Netzwerke, in sogenannte zkVMs und in die zugeh\u00f6rigen Token.<\/p><p class=\"wp-block-paragraph\">Dahinter steckt eine unbequeme Wahrheit: \u00dcberpr\u00fcfbarkeit ist ein Kostenfaktor, kein Erl\u00f6sbringer, solange niemand ausdr\u00fccklich daf\u00fcr bezahlt. Ein Entwickler, der eine KI-Funktion in seine App einbaut, w\u00e4hlt im Zweifel die billigste, schnellste Variante, nicht die beweisbare. Der Beweis rechnet sich erst, wenn ein Dritter ihn verlangt, etwa ein Aufseher, ein Gesch\u00e4ftspartner oder ein Smart Contract. Genau solche Dritten waren 2025 noch selten.<\/p><p class=\"wp-block-paragraph\">2026 ist die Ern\u00fcchterung da. Die Nachfrage nach reinen Beweisen bleibt d\u00fcnn. Die meisten On-Chain-Anwendungen kommen ohne kryptografischen KI-Nachweis aus, und dort, wo Beweise n\u00fctzlich w\u00e4ren, schrecken Kosten und Komplexit\u00e4t ab. Das Ergebnis liest man an den Kursen ab: Praktisch jeder Token aus dieser Ecke steht 89 bis 98 Prozent unter seinem Hoch. Wie schon bei den <a href='https:\/\/hoge.gg\/de\/etf-zulassungen-2026-boom-auslese-sec-rethink\/'>Krypto-ETF-Zulassungen<\/a> folgt auf den Boom die Auslese, nur dass hier nicht die Zulassung das Problem war, sondern die Zahlungsbereitschaft.<\/p><p class=\"wp-block-paragraph\">Das erkl\u00e4rt den Schwenk. Wenn sich reine Beweise schwer verkaufen lassen, verkauft man das, was ohnehin nachgefragt wird, n\u00e4mlich KI-Rechenleistung, und legt die \u00dcberpr\u00fcfbarkeit als Zusatz obendrauf. Aus einem Produkt (der Beweis) wird ein Merkmal (die beweisbare Cloud). Genau diesen \u00dcbergang vollzieht die Branche gerade.<\/p><h2 class='wp-block-heading'>Die Zahlen: Die Technik liefert, die Token nicht<\/h2><p class=\"wp-block-paragraph\">Die Diskrepanz zwischen technischem Fortschritt und Marktbewertung ist das auff\u00e4lligste Merkmal des Sektors 2026. Die folgende Tabelle listet die wichtigsten Token der verifiable-compute-Nische, alle Angaben laut <a href='https:\/\/www.coingecko.com\/en\/coins\/boundless'>CoinGecko<\/a> mit Stand 13. September 2026.<\/p><figure class='wp-block-table'><table><thead><tr><th>Token<\/th><th>Projekt<\/th><th>Kurs<\/th><th>Marktkapitalisierung<\/th><th>unter Allzeithoch<\/th><\/tr><\/thead><tbody><tr><td>EIGEN<\/td><td>EigenCloud (ehem. EigenLayer)<\/td><td>0,178 Euro<\/td><td>rund 164 Mio. Euro<\/td><td>rund 97 Prozent<\/td><\/tr><tr><td>PROVE<\/td><td>Succinct (SP1)<\/td><td>0,157 Euro<\/td><td>rund 31 Mio. Euro<\/td><td>rund 89 Prozent<\/td><\/tr><tr><td>ZKC<\/td><td>Boundless<\/td><td>0,041 Euro<\/td><td>rund 12 Mio. Euro<\/td><td>rund 97 Prozent<\/td><\/tr><tr><td>LA<\/td><td>Lagrange (DeepProve)<\/td><td>0,056 Euro<\/td><td>rund 11 Mio. Euro<\/td><td>rund 96 Prozent<\/td><\/tr><tr><td>PHA<\/td><td>Phala Network<\/td><td>0,023 Euro<\/td><td>rund 20 Mio. Euro<\/td><td>rund 98 Prozent<\/td><\/tr><\/tbody><\/table><\/figure><p class=\"wp-block-paragraph\">Ein Monatsplus bei einzelnen Werten (EIGEN rund plus 24 Prozent, LA rund plus 34 Prozent auf 30-Tage-Sicht) \u00e4ndert am Gesamtbild nichts: Die Bewertungen liegen weit unter den St\u00e4nden, zu denen die Projekte einst als Infrastruktur der KI-Zukunft gehandelt wurden. Zum Vergleich: Bittensor (TAO), das eher als dezentrales KI-Netzwerk als als Beweisanbieter gilt, kommt auf rund 1,9 Milliarden Euro Marktkapitalisierung. Die L\u00fccke zwischen ausgereifter Technik und schwachem Token ist der eigentliche Treiber hinter den Kurswechseln der Anbieter.<\/p><p class=\"wp-block-paragraph\">Ein Teil der Schw\u00e4che ist hausgemacht. Viele dieser Token kamen erst 2025 auf den Markt, mit gro\u00dfz\u00fcgigen Zuteilungen an Team und Investoren, deren Sperrfristen nach und nach auslaufen. Neues Angebot trifft auf d\u00fcnne Nachfrage, und der Kurs gibt nach. Das ist kein Beweis gegen die Technik, aber es zeigt, wie weit die Erwartung von 2025 der Realit\u00e4t von 2026 vorausgeeilt war.<\/p><h2 class='wp-block-heading'>Drei Kurswechsel: Boundless, EigenCloud und Giza<\/h2><p class=\"wp-block-paragraph\">Boundless ist der frischeste, aber nicht der einzige Fall. Die drei prominentesten Projekte der Nische bewegen sich alle weg vom reinen Beweis und hin zu einem breiteren Gesch\u00e4ft.<\/p><figure class='wp-block-table'><table><thead><tr><th>Projekt<\/th><th>Urspr\u00fcngliches Modell<\/th><th>Fokus 2026<\/th><\/tr><\/thead><tbody><tr><td>Boundless<\/td><td>Marktplatz f\u00fcr ZK-Beweise<\/td><td>verkauft zus\u00e4tzlich KI-Inferenz auf demselben GPU-Netz, ZKC als Einsatz<\/td><\/tr><tr><td>EigenCloud<\/td><td>Restaking-Protokoll (EigenLayer)<\/td><td>verifizierbare Cloud: EigenDA, EigenVerify, EigenCompute, EigenAI<\/td><\/tr><tr><td>Giza<\/td><td>reines zkML (Modelle beweisen)<\/td><td>AgentFi: autonomer Rendite-Agent ARMA auf Base<\/td><\/tr><\/tbody><\/table><\/figure><p class=\"wp-block-paragraph\">EigenCloud, die Neuausrichtung des Restaking-Protokolls EigenLayer, positioniert sich offen als verifizierbare Cloud und zieht die Analogie zu Amazon Web Services: EigenDA f\u00fcr Datenverf\u00fcgbarkeit (wie S3), EigenVerify f\u00fcr Streitschlichtung, EigenCompute f\u00fcr \u00fcberpr\u00fcfbare Off-Chain-Rechenlast und EigenAI f\u00fcr verifizierbare Inferenz. Der Wagniskapitalgeber a16z steckte <a href='https:\/\/blockworks.com\/news\/eigencloud-launch-a16z-eigenlayer'>70 Millionen US-Dollar<\/a> in den EIGEN-Token, um den Umbau zu st\u00fctzen; Google und Coinbase werden als fr\u00fche Design-Partner genannt. Soubhik Deb von Eigen Labs bringt die Logik auf den Punkt: <a href='https:\/\/www.eigenlabs.org\/blog\/a-verifiable-cloud-for-the-agentic-era\/'>&bdquo;Vertrauen ist kein UI-Feature; es ist Infrastruktur.&ldquo;<\/a><\/p><p class=\"wp-block-paragraph\">Noch drastischer verlief der Wandel bei Giza. Das Team startete 2023 als reines zkML-Projekt, das KI-Modelle beweisbar machen wollte. 2026 ist der Fokus ein autonomer Rendite-Agent namens ARMA, der auf Base <a href='https:\/\/finbold.com\/gizas-autonomous-yield-optimization-agent-arma-goes-live-on-the-base-network\/'>Stablecoins \u00fcber DeFi-Protokolle umschichtet<\/a>. Der GIZA-Token steht rund 99 Prozent unter seinem Hoch, die brutalste Linie im ganzen Sektor. Die Lehre, die Gr\u00fcnder im Feld inzwischen offen aussprechen: Reines zkML ist ein hartes Gesch\u00e4ft.<\/p><p class=\"wp-block-paragraph\">Ein viertes Beispiel rundet das Bild ab. Succinct, Anbieter der zkVM SP1, verankert seinen Token PROVE in einem Netzwerk, das Beweise gegen Bezahlung erzeugt, und positioniert sich damit \u00e4hnlich wie Boundless als neutrale Beweis-Schicht f\u00fcr viele Chains. Auch hier ist die Bewertung weit von fr\u00fcheren St\u00e4nden entfernt. Das Muster ist \u00fcberall dasselbe: Die Technik ist gebaut, die Netzwerke laufen, doch die zahlende Nachfrage kommt langsamer als die Roadmaps versprachen.<\/p><p class=\"wp-block-paragraph\">So unterschiedlich die drei Wege sind, die Richtung ist dieselbe: weg vom Verkauf des Beweises als Selbstzweck, hin zu einem Dienst, den Kunden ohnehin brauchen, mit dem Beweis als eingebautem Vertrauensmerkmal. Boundless verkauft Rechenzeit, EigenCloud verkauft eine Entwickler-Plattform, Giza verkauft einen fertigen Agenten. In allen drei F\u00e4llen ist die Kryptografie nicht mehr das Produkt, sondern die Qualit\u00e4tszusicherung im Hintergrund.<\/p><h2 class='wp-block-heading'>Die Technik ist nicht mehr das Nadel\u00f6hr<\/h2><p class=\"wp-block-paragraph\">Wer glaubt, die Token st\u00fcnden tief, weil die Technik nicht funktioniert, irrt. 2026 ist eher das Gegenteil der Fall. Das Vorzeigebeispiel ist DeepProve von Lagrange. In einer <a href='https:\/\/eprint.iacr.org\/2026\/1112'>begutachteten Arbeit f\u00fcr die Sicherheitskonferenz CCS 2026<\/a> zeigen Forscher von Lagrange Labs, der University of Illinois, der Hong Kong University of Science and Technology und der Yale University, dass sich vollst\u00e4ndige Sprachmodell-Inferenzen Ende zu Ende in Zero-Knowledge beweisen lassen.<\/p><p class=\"wp-block-paragraph\">Die Zahlen aus der Arbeit: f\u00fcr GPT-2 rund 174 Token pro Minute, f\u00fcr Gemma-3 etwa 86, mit verteilter Beweisf\u00fchrung \u00fcber mehrere Knoten bis zu 1.855 Token pro Minute. Die Pr\u00fcfung eines solchen Beweises dauert 1 bis knapp 4 Sekunden. Das ist nach Angaben der Autoren 20- bis 60-mal schneller als der bisherige Stand der Technik. M\u00f6glich wurde der Sprung durch sogenannte Lookups statt teurer Schaltkreise f\u00fcr die nichtlinearen Operationen, jene Schichten, die Buterin einst mit dem Zweihundertfachen bezifferte.<\/p><p class=\"wp-block-paragraph\">Wichtig f\u00fcr die Einordnung: Bewiesen sind GPT-2 und Gemma-3, also kleine bis mittlere Modelle. Modelle der Llama-Klasse nennt die Arbeit ausdr\u00fccklich noch nicht als vollst\u00e4ndig bewiesen; sie sind in Arbeit. Gro\u00dfe Frontier-Modelle bleiben vorerst au\u00dfer Reichweite. Als Lagrange DeepProve im Juni 2026 quelloffen stellte, formulierte Gr\u00fcnder Ismael Hishon-Rezaizadeh den Anspruch so: <a href='https:\/\/santamariatimes.com\/online_features\/press_releases\/lagrange-labs-open-sources-deepprove-the-first-production-grade-zkml-system-to-generate-over-12\/article_b9d0b2c0-5217-56b3-bee5-64904bcc2809.html'>&bdquo;Wir haben DeepProve nicht gebaut, um verifizierbare KI zu besitzen. Wir haben es gebaut, damit das niemand muss. Die Blackbox ist ge\u00f6ffnet.&ldquo;<\/a> Das System hat nach eigenen Angaben \u00fcber 12 Millionen Beweise erzeugt. Das Nadel\u00f6hr liegt also nicht mehr in der Kryptografie, sondern im Gesch\u00e4ftsmodell.<\/p><h2 class='wp-block-heading'>Der schnelle Weg \u00fcber die Hardware, und sein Preis<\/h2><p class=\"wp-block-paragraph\">Wem Zero-Knowledge zu teuer ist, greift zur Hardware. Confidential Computing, also die Ausf\u00fchrung in einer abgeschirmten Zone des Prozessors (einer Trusted Execution Environment, kurz TEE), erzeugt keine mathematischen Beweise, sondern eine Hardware-Bescheinigung, dass ein bestimmtes Programm unver\u00e4ndert lief. Man spricht von Attestation.<\/p><p class=\"wp-block-paragraph\">Der Vorteil ist Geschwindigkeit. Auf NVIDIAs H100-Grafikkarten liegt der Overhead f\u00fcr vertrauliche KI-Inferenz laut Benchmarks unter 7 Prozent, bei sehr gro\u00dfen Modellen praktisch bei null. Phala Network, einer der aktiven Anbieter, meldet <a href='https:\/\/phala.com'>zuletzt \u00fcber 20 Milliarden vertrauliche Token pro Tag<\/a>. Auch EigenCompute und Apples Private Cloud Compute setzen auf dieselbe Hardware-Klasse. Confidential Computing ist damit der praktisch schnellste Weg zu verifizierbarer KI.<\/p><p class=\"wp-block-paragraph\">Der Preis daf\u00fcr ist die Vertrauensbasis. Man vertraut nicht der Mathematik, sondern dem Chiphersteller, und dieser Verzicht ist real. Der Angriff <a href='https:\/\/www.bleepingcomputer.com\/news\/security\/teefail-attack-breaks-confidential-computing-on-intel-amd-nvidia-cpus\/'>TEE.Fail<\/a>, im Oktober 2025 ver\u00f6ffentlicht, zeigte, dass sich mit einem Aufbau f\u00fcr unter 1.000 US-Dollar und physischem Zugang Signaturschl\u00fcssel aus Intel-, AMD- und NVIDIA-Enklaven auslesen und Bescheinigungen f\u00e4lschen lassen. F\u00fcr dezentrale GPU-M\u00e4rkte ist das besonders heikel, weil dort ausgerechnet der Betreiber physischen Zugriff hat, also selbst der potenzielle Angreifer ist. Wie schon der <a href='https:\/\/hoge.gg\/de\/bitcoin-l2s-2026-liquid-hack-vertrauen-ausstieg\/'>Liquid-Hack<\/a> im Bitcoin-Umfeld gezeigt hat, verschiebt Technik das Vertrauensproblem oft nur, statt es zu beseitigen.<\/p><h2 class='wp-block-heading'>Das Determinismus-Problem<\/h2><p class=\"wp-block-paragraph\">Ein technisches Detail erkl\u00e4rt, warum verifizierbare KI so z\u00e4h ist: KI-Inferenz auf GPUs ist nicht deterministisch. Gleitkomma-Arithmetik und parallele Ausf\u00fchrung f\u00fchren dazu, dass dasselbe Modell mit derselben Eingabe minimal unterschiedliche Ausgaben liefern kann. Ein kryptografischer Beweis braucht aber exakte Reproduzierbarkeit, sonst passt der Beweis nicht zum Ergebnis. Beweisbarkeit und die Funktionsweise moderner KI-Hardware stehen also im Widerspruch.<\/p><p class=\"wp-block-paragraph\">Elena Burger von a16z hat den zweiten Teil des Problems benannt: Zero-Knowledge-Beweise k\u00f6nnten <a href='https:\/\/a16zcrypto.com\/posts\/article\/checks-and-balances-machine-learning-and-zero-knowledge-proofs\/'>32-Bit-Gleitkomma-Operationen heute nicht ohne massiven Overhead in das n\u00f6tige arithmetische Schaltkreis-Format bringen<\/a>. Der Ausweg ist Quantisierung, also das Herunterrechnen auf 8 Bit, was Burger als grobe Ann\u00e4herung an das urspr\u00fcngliche Modell beschreibt. Genauigkeit gegen Beweisbarkeit, das ist der Kompromiss.<\/p><p class=\"wp-block-paragraph\">Die krypto-\u00f6konomischen Anbieter umgehen das anders. EigenAI wirbt mit deterministischer, \u00fcberpr\u00fcfbarer Inferenz und einer OpenAI-kompatiblen Schnittstelle, w\u00e4hrend die Garantie letztlich am hinterlegten Einsatz h\u00e4ngt, nicht an einem mathematischen Beweis. Das ist die eigentliche Aufteilung des Marktes: mathematische Sicherheit (langsam, teuer), Hardware-Bescheinigung (schnell, aber Herstellervertrauen) oder wirtschaftliche Haftung (skalierbar, aber nur so gut wie der Einsatz).<\/p><h2 class='wp-block-heading'>Wer bezahlt am Ende f\u00fcr die Beweise?<\/h2><p class=\"wp-block-paragraph\">Wenn die Technik reif ist, entscheidet die Nachfrage. Und die konzentriert sich 2026 auf einige wenige Bereiche, in denen ein Beweis mehr wert ist als seine Kosten.<\/p><p class=\"wp-block-paragraph\">Erstens Regulierung und Unternehmens-Compliance. Lagrange zitiert eine McKinsey-Erhebung, wonach 71 Prozent der befragten F\u00fchrungskr\u00e4fte KI-Systeme nicht skalieren wollen, ohne einen Nachweis ihrer Korrektheit zu haben. Der Stanford AI Index 2026 z\u00e4hlt f\u00fcr das Jahr 2025 rund 362 dokumentierte KI-Zwischenf\u00e4lle, ein Plus von 55 Prozent gegen\u00fcber dem Vorjahr (<a href='https:\/\/hai.stanford.edu\/ai-index\/2026-ai-index-report'>Stanford HAI<\/a>). Pr\u00fcfbarkeit wird damit vom Nice-to-have zum Haftungsthema.<\/p><p class=\"wp-block-paragraph\">Zweitens autonome Agenten, die eigenst\u00e4ndig Kapital bewegen. Wer einer Software erlaubt, Geld zu verschieben, will belegt haben, dass sie das versprochene Modell benutzt und nicht manipuliert wurde. Drittens DeFi, wo echtes Geld auf dem Spiel steht: OpenGradient nutzt das Werkzeug EZKL, um f\u00fcr dynamische Geb\u00fchren auf Uniswap V3 zu beweisen, dass das preissetzende Modell nicht ver\u00e4ndert wurde (<a href='https:\/\/blog.ezkl.xyz\/post\/opengradient\/'>EZKL<\/a>). Viertens private Inferenz, bei der ein Beweis Korrektheit belegt, ohne Modellgewichte oder Nutzereingaben offenzulegen.<\/p><p class=\"wp-block-paragraph\">Der gemeinsame Nenner: Geld oder Haftung m\u00fcssen auf dem Spiel stehen. Wie hinter dem <a href='https:\/\/hoge.gg\/de\/krypto-etfs-2026-milliardengeschaeft-anbieter-gebuehren\/'>Milliardengesch\u00e4ft der Krypto-ETFs<\/a> steckt auch hier die n\u00fcchterne Frage, wer am Ende zahlt, und nicht die Eleganz der Technik.<\/p><h2 class='wp-block-heading'>KI, Miner und Megawatt: das Rennen um Rechenleistung<\/h2><p class=\"wp-block-paragraph\">Der Schwenk der Beweis-Netzwerke f\u00e4llt in ein gr\u00f6\u00dferes Rennen. KI-Inferenz und -Training verschlingen Grafikkarten und Strom, und wer beides b\u00fcndeln kann, hat ein Gesch\u00e4ft. Bitcoin-Miner richten l\u00e4ngst Rechenzentren auf KI aus, weil sich mit Megawatt und K\u00fchlung mehr verdienen l\u00e4sst als mit dem <a href='https:\/\/hoge.gg\/de\/hashrate-wachstum-2026-miner-ki-megawatt\/'>reinen Hashrate-Wettr\u00fcsten<\/a>.<\/p><p class=\"wp-block-paragraph\">In dieselbe Richtung dr\u00fccken dezentrale Compute-Netzwerke. Bittensor versucht, KI ohne zentrale Rechenzentren zu koordinieren; Akash vermietet GPU-Zeit. Boundless st\u00f6\u00dft mit seinem Schwenk genau dazu, mit einem Unterschied: Es kann \u00dcberpr\u00fcfbarkeit als Merkmal anbieten. Ob das im Preiskampf um rohe Rechenleistung ein Verkaufsargument ist oder ein teures Extra, das kaum jemand ordert, ist die offene Frage.<\/p><p class=\"wp-block-paragraph\">Denn die Konkurrenz hei\u00dft nicht nur Krypto, sondern AWS, Google Cloud und Microsoft Azure. Boundless wirbt mit bis zu 50 Prozent niedrigeren Kosten bei asynchronen Aufgaben. Das ist ein Argument, aber es verlagert den Wettbewerb von der Frage &bdquo;Wer beweist am elegantesten?&ldquo; zu &bdquo;Wer liefert am g\u00fcnstigsten?&ldquo;. F\u00fcr ein Beweis-Netzwerk ist das eine ganz andere Liga.<\/p><h2 class='wp-block-heading'>Regulierung: BaFin, MiCA und der EU AI Act<\/h2><p class=\"wp-block-paragraph\">Reguliert wird selten die Technik, sondern das Geld drumherum. Die BaFin stellt in ihrem <a href='https:\/\/www.bafin.de\/SharedDocs\/Veroeffentlichungen\/DE\/Merkblatt\/mb_250103_Kryptowerte_Dienstl.html'>Merkblatt zu Kryptowerte-Dienstleistungen<\/a> klar, dass unter MiCAR die Dienstleister und Emittenten erfasst werden, nicht das Protokoll selbst. Ein Beweis-Netzwerk ist zun\u00e4chst Infrastruktur; sobald aber ein Token als Zahlungsmittel dient oder ein KI-Agent Kundengelder verwaltet, r\u00fcckt die Aufsicht n\u00e4her.<\/p><p class=\"wp-block-paragraph\">Den eigentlichen Nachfrage-Hebel liefert der EU AI Act. Seit dem 2. August 2026 gelten die allgemeine Anwendbarkeit, die Aufsichtsbefugnisse der Kommission sowie Transparenzpflichten; die Regeln f\u00fcr KI-Modelle mit allgemeinem Verwendungszweck (GPAI) laufen bereits seit August 2025 (<a href='https:\/\/digital-strategy.ec.europa.eu\/en\/policies\/regulatory-framework-ai'>Europ\u00e4ische Kommission<\/a>). Die strengeren Pflichten f\u00fcr Hochrisiko-Systeme greifen gestaffelt erst 2027 und 2028. Je mehr Anbieter dokumentieren und nachweisen m\u00fcssen, desto attraktiver wird ein kryptografischer Korrektheitsnachweis.<\/p><p class=\"wp-block-paragraph\">In den USA ist das Bild anders. Die gemeinsame Auslegung von SEC und CFTC vom M\u00e4rz 2026 ordnete Token wie Bitcoin, Ether, Solana und XRP als digitale Rohstoffe ein, schweigt aber zu KI-Infrastruktur-Token wie ZKC, LA oder PROVE (<a href='https:\/\/www.ballardspahr.com\/insights\/alerts-and-articles\/2026\/03\/sec-and-cftc-clarify-when-digital-assets-are-and-are-not-securities'>Ballard Spahr<\/a>). Diese Grauzone d\u00e4mpft in Washington die Nachfrage, w\u00e4hrend Br\u00fcssel \u00fcber Auflagen einen Bedarf erzeugt. F\u00fcr europ\u00e4ische Anbieter ist das paradoxerweise eine Chance.<\/p><h2 class='wp-block-heading'>Was 2026 zu beobachten ist<\/h2><p class=\"wp-block-paragraph\">F\u00fcr den Rest des Jahres lohnt der Blick auf drei Fragen.<\/p><p class=\"wp-block-paragraph\">Erstens: Setzen sich die Kurswechsel durch? Boundless muss zeigen, dass ein Beweis-Netz auch ein wettbewerbsf\u00e4higer KI-Rechenanbieter sein kann. EigenCloud muss zeigen, dass Entwickler die verifizierbare Cloud der billigeren, unverifizierten vorziehen. Gelingt das nicht, bleibt der Schwenk ein teurer Umweg.<\/p><p class=\"wp-block-paragraph\">Zweitens: das Training. Bislang dreht sich fast alles um Inferenz, also um das Ausf\u00fchren fertiger Modelle. Zu beweisen, dass ein Modell korrekt und mit den angegebenen Daten trainiert wurde, ist die deutlich h\u00e4rtere Aufgabe und ein eigenes Forschungsfeld. Wer sie l\u00f6st, \u00f6ffnet die gr\u00f6\u00dfere T\u00fcr, denn dort liegt die eigentliche Vertrauensfrage der KI.<\/p><p class=\"wp-block-paragraph\">Drittens: die Konvergenz von ZK und KI als Branchenthema. Die von House of ZK mit Boundless, Lagrange und Google Cloud getragene Veranstaltungsreihe <a href='https:\/\/www.hozk.io\/verifying-intelligence'>Verifying Intelligence<\/a> steht unter der Pr\u00e4misse, dass wirkungsvolle KI belegbar sein muss. Das ist die These. Ob der Markt sie 2026 bezahlt, ist die eigentliche Pr\u00fcfung, und anders als die Kryptografie hat sie diese Pr\u00fcfung noch nicht bestanden.<\/p><h2 class='wp-block-heading'>H\u00e4ufig gestellte Fragen<\/h2><h3 class='wp-block-heading'>Was ist verifiable compute?<\/h3><p class=\"wp-block-paragraph\">Verifiable compute bezeichnet Rechenleistung, die zusammen mit einem Nachweis geliefert wird, dass das Ergebnis korrekt berechnet wurde. Dieser Nachweis l\u00e4sst sich pr\u00fcfen, ohne die Rechnung selbst zu wiederholen. Das Vertrauensmodell verschiebt sich damit vom Vertrauen in den Anbieter hin zur Pr\u00fcfung eines Beweises.<\/p><h3 class='wp-block-heading'>Was ist der Unterschied zwischen zkML, TEE und opML?<\/h3><p class=\"wp-block-paragraph\">zkML erzeugt einen mathematischen Zero-Knowledge-Beweis und braucht kein Vertrauen in Dritte, ist aber rechenintensiv. TEE oder Confidential Computing nutzt eine abgeschirmte Hardware-Enklave und ist sehr schnell, verlangt aber Vertrauen in den Chiphersteller. opML ver\u00f6ffentlicht ein Ergebnis mit einem Einspruchsfenster und ist g\u00fcnstig, daf\u00fcr nicht echtzeitf\u00e4hig.<\/p><h3 class='wp-block-heading'>Warum steht der ZKC-Token so tief unter seinem Hoch, obwohl die Technik funktioniert?<\/h3><p class=\"wp-block-paragraph\">Die Technik hinter verifiable compute ist 2026 ausgereift, doch die Nachfrage nach reinen Beweisen bleibt gering. Die meisten Anwendungen kommen ohne kryptografischen KI-Nachweis aus, deshalb notieren fast alle Token der Nische wie ZKC rund 89 bis 98 Prozent unter ihrem Allzeithoch. Anbieter reagieren, indem sie zus\u00e4tzlich KI-Rechenleistung verkaufen.<\/p><h3 class='wp-block-heading'>Ist verifiable compute in Deutschland reguliert?<\/h3><p class=\"wp-block-paragraph\">Das Protokoll selbst ist nicht direkt reguliert. Nach dem MiCAR-Rahmen erfasst die BaFin die Dienstleister und Emittenten, nicht die Infrastruktur. Sobald ein Token als Zahlungsmittel dient oder ein KI-Agent Kundengelder verwaltet, greift die Aufsicht. Zus\u00e4tzlich schafft der EU AI Act \u00fcber Nachweispflichten indirekt Nachfrage nach Pr\u00fcfbarkeit.<\/p><h3 class='wp-block-heading'>Kann Zero-Knowledge heute ein gro\u00dfes Sprachmodell beweisen?<\/h3><p class=\"wp-block-paragraph\">Teilweise. Das System DeepProve von Lagrange hat vollst\u00e4ndige Inferenzen kleiner bis mittlerer Modelle wie GPT-2 und Gemma-3 Ende zu Ende bewiesen. Modelle der Llama-Klasse sind in Arbeit, gro\u00dfe Frontier-Modelle bleiben mit heutiger Technik vorerst au\u00dfer Reichweite.<\/p><script type=\"application\/ld+json\">{\"@context\":\"https:\/\/schema.org\",\"@type\":\"FAQPage\",\"mainEntity\":[{\"@type\":\"Question\",\"name\":\"Was ist verifiable compute?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"Verifiable compute bezeichnet Rechenleistung, die zusammen mit einem Nachweis geliefert wird, dass das Ergebnis korrekt berechnet wurde. Dieser Nachweis l\u00e4sst sich pr\u00fcfen, ohne die Rechnung selbst zu wiederholen. Das Vertrauensmodell verschiebt sich damit vom Vertrauen in den Anbieter hin zur Pr\u00fcfung eines Beweises.\"}},{\"@type\":\"Question\",\"name\":\"Was ist der Unterschied zwischen zkML, TEE und opML?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"zkML erzeugt einen mathematischen Zero-Knowledge-Beweis und braucht kein Vertrauen in Dritte, ist aber rechenintensiv. TEE oder Confidential Computing nutzt eine abgeschirmte Hardware-Enklave und ist sehr schnell, verlangt aber Vertrauen in den Chiphersteller. opML ver\u00f6ffentlicht ein Ergebnis mit einem Einspruchsfenster und ist g\u00fcnstig, daf\u00fcr nicht echtzeitf\u00e4hig.\"}},{\"@type\":\"Question\",\"name\":\"Warum steht der ZKC-Token so tief unter seinem Hoch, obwohl die Technik funktioniert?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"Die Technik hinter verifiable compute ist 2026 ausgereift, doch die Nachfrage nach reinen Beweisen bleibt gering. Die meisten Anwendungen kommen ohne kryptografischen KI-Nachweis aus, deshalb notieren fast alle Token der Nische wie ZKC rund 89 bis 98 Prozent unter ihrem Allzeithoch. Anbieter reagieren, indem sie zus\u00e4tzlich KI-Rechenleistung verkaufen.\"}},{\"@type\":\"Question\",\"name\":\"Ist verifiable compute in Deutschland reguliert?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"Das Protokoll selbst ist nicht direkt reguliert. Nach dem MiCAR-Rahmen erfasst die BaFin die Dienstleister und Emittenten, nicht die Infrastruktur. Sobald ein Token als Zahlungsmittel dient oder ein KI-Agent Kundengelder verwaltet, greift die Aufsicht. Zus\u00e4tzlich schafft der EU AI Act \u00fcber Nachweispflichten indirekt Nachfrage nach Pr\u00fcfbarkeit.\"}},{\"@type\":\"Question\",\"name\":\"Kann Zero-Knowledge heute ein gro\u00dfes Sprachmodell beweisen?\",\"acceptedAnswer\":{\"@type\":\"Answer\",\"text\":\"Teilweise. Das System DeepProve von Lagrange hat vollst\u00e4ndige Inferenzen kleiner bis mittlerer Modelle wie GPT-2 und Gemma-3 Ende zu Ende bewiesen. Modelle der Llama-Klasse sind in Arbeit, gro\u00dfe Frontier-Modelle bleiben mit heutiger Technik vorerst au\u00dfer Reichweite.\"}}]}<\/script><p class=\"wp-block-paragraph\"><em>Von Marcus Okafor, Senior Editor bei HOGE Wire. Kursdaten mit Stand 13. September 2026, keine Anlageberatung.<\/em><\/p>","protected":false},"excerpt":{"rendered":"<p>Ein Jahr nach dem Start verkauft der Beweismarkt Boundless jetzt KI-Rechenzeit. Warum sich das Gesch\u00e4ft mit verifiable compute 2026 grundlegend verschiebt.<\/p>\n","protected":false},"author":5,"featured_media":543,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[13],"tags":[],"class_list":["post-542","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ai-crypto"],"_links":{"self":[{"href":"https:\/\/hoge.gg\/de\/wp-json\/wp\/v2\/posts\/542","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hoge.gg\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/hoge.gg\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/hoge.gg\/de\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/hoge.gg\/de\/wp-json\/wp\/v2\/comments?post=542"}],"version-history":[{"count":0,"href":"https:\/\/hoge.gg\/de\/wp-json\/wp\/v2\/posts\/542\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/hoge.gg\/de\/wp-json\/wp\/v2\/media\/543"}],"wp:attachment":[{"href":"https:\/\/hoge.gg\/de\/wp-json\/wp\/v2\/media?parent=542"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/hoge.gg\/de\/wp-json\/wp\/v2\/categories?post=542"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/hoge.gg\/de\/wp-json\/wp\/v2\/tags?post=542"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}