Lagrange macht große Dinge: DeepProve-1 ermöglicht es LLM-Inferenzen, sich selbst zu beweisen.
Wer hätte gedacht, dass die zkML-Technologie, die früher nur auf kleinen Modellen ausprobiert werden konnte, jetzt tatsächlich in der Lage ist, LLMs zu bewältigen?
@Lagrange Official Das neu eingeführte DeepProve-1 wurde direkt zum ersten Produktionssystem, das vollständige kryptografische Beweise für große Sprachmodell-Inferenzen liefern kann, und es hat erfolgreich Null-Wissen-Beweise für die vollständige Inferenz von GPT-2 generiert.
Noch beeindruckender ist, dass beliebte Open-Source-Modelle wie GPT-2 und LLAMA architektonisch sehr ähnlich sind, was bedeutet, dass DeepProve nicht weit davon entfernt ist, LLAMA zu unterstützen.
In ein paar Monaten könnten wir vielleicht diese verifizierbare Funktion bei den gängigen Open-Source-Modellen nutzen.