Lagrange Labs è orgogliosa di annunciare DeepProve-1, il primo sistema zkML pronto per la produzione in grado di generare con successo una prova crittografica di un'inferenza completa di un modello di linguaggio di grandi dimensioni (LLM). Questa release dimostra che l'IA verificabile non è più un'aspirazione lontana: è ora una realtà.

Con DeepProve-1, abbiamo generato con successo una prova a zero conoscenza per l'inferenza completa del GPT-2 di OpenAI—un'importante svolta nel campo dell'IA verificabile. Questo traguardo non è solo un'impresa tecnica; stabilisce una base concreta per il supporto zkML per la prossima generazione di modelli di linguaggio di grandi dimensioni, inclusi LLAMA, Gemma e altri. Architettonicamente, GPT-2 e LLAMA di Meta condividono somiglianze notevoli, il che significa che DeepProve è ora più vicino che mai a poter dimostrare un LLM basato su LLAMA. Lagrange prevede di colmare questo ultimo divario nei prossimi mesi, consentendo a DeepProve di supportare i LLM open-source più ampiamente adottati al mondo.

DeepProve-1 segna un punto di inflessione nella progressione dell'apprendimento automatico, introducendo la verificabilità come caratteristica fondamentale dei moderni sistemi di IA. La verificabilità, un tempo limitata a tipi di modelli di base come MLP e CNN, ora si estende ad architetture di trasformatori a tutti gli effetti. Man mano che l'IA alimenta sempre di più il processo decisionale in difesa, sanità, finanza e infrastrutture, DeepProve-1 porta integrità crittografica ai sistemi che contano di più.