Finalmente me he puesto a leer TOPLOC de @PrimeIntellect (). Mis primeras impresiones son que es realmente elegante, un protocolo de verificación asimétrico donde los requisitos tanto del probador como del verificador son realmente baratos. Me decepcionó un poco que @ezklxyz no se mencionara aquí.

Si no recuerdo mal, ezkl es el estado del arte para la inferencia verificable, aunque es más caro y menos flexible en cuanto a la escala de los modelos que puede verificar.