Chi avrebbe mai pensato che la tecnologia zkML, che prima poteva essere utilizzata solo su modelli di piccole dimensioni, ora potesse affrontare LLM?
@Lagrange Official Il neonato DeepProve-1 è diventato il primo sistema di produzione in grado di fornire prove crittografiche complete per il ragionamento di modelli di linguaggio di grandi dimensioni, generando con successo prove a conoscenza zero per l'intero ragionamento di GPT-2.
Ancora più incredibile, modelli open source popolari come GPT-2 e LLAMA sono architettonicamente molto simili, il che significa che DeepProve non è lontano dal supportare anche LLAMA.
Tra qualche mese, potrebbe darsi che i modelli open source che usiamo comunemente possano utilizzare questa funzionalità verificabile.