Finalmente ho trovato il tempo di leggere TOPLOC di @PrimeIntellect (). Le prime impressioni sono che è davvero elegante, un protocollo di verifica asimmetrica in cui i requisiti sia del provatore che del verificatore sono davvero economici. Sono rimasto un po' deluso che @ezklxyz non sia stato menzionato qui.

Se non ricordo male, ezkl è lo stato dell'arte per l'inferenza verificabile, anche se è più costoso e meno flessibile riguardo alla scala dei modelli che può verificare.