Lagrange Labs freut sich, DeepProve-1 anzukündigen, das erste produktionsbereite zkML-System, das erfolgreich einen kryptographischen Beweis für die vollständige Inferenz eines großen Sprachmodells (LLM) generiert hat. Diese Veröffentlichung zeigt, dass überprüfbare KI keine ferne Aspiration mehr ist – sie ist jetzt Realität.

Mit DeepProve-1 haben wir erfolgreich einen Zero-Knowledge-Beweis für die vollständige Inferenz von OpenAIs GPT-2 generiert – einen bedeutenden Durchbruch im Bereich der überprüfbaren KI. Diese Errungenschaft ist nicht nur eine technische Leistung; sie schafft eine konkrete Grundlage für die Unterstützung von zkML in der nächsten Generation großer Sprachmodelle, einschließlich LLAMA, Gemma und anderen. Architektonisch teilen GPT-2 und Metas LLAMA auffällige Ähnlichkeiten, was bedeutet, dass DeepProve jetzt näher denn je daran ist, ein auf LLAMA basierendes LLM beweisen zu können. Lagrange plant, diese letzte Lücke in den kommenden Monaten zu schließen, um DeepProve zu ermöglichen, die am weitesten verbreiteten Open-Source-LLMs der Welt zu unterstützen.

DeepProve-1 markiert einen Wendepunkt in der Entwicklung des maschinellen Lernens, indem es Überprüfbarkeit als Kerneigenschaft moderner KI-Systeme einführt. Überprüfbarkeit, die einst auf grundlegende Modelltypen wie MLPs und CNNs beschränkt war, erstreckt sich jetzt auf vollwertige Transformer-Architekturen. Da KI zunehmend Entscheidungsprozesse in den Bereichen Verteidigung, Gesundheitswesen, Finanzen und Infrastruktur unterstützt, bringt DeepProve-1 kryptographische Integrität in die Systeme, die am wichtigsten sind.