Finalmente consegui ler TOPLOC por @PrimeIntellect (). Primeiro pensamento é o seu realmente elegante, um protocolo de verificação assimétrico onde os requisitos do provador e do verificador são muito baratos. Fiquei um pouco desapontado @ezklxyz não foi mencionado aqui

IIRC, ezkl é SOTA para inferência verificável, embora mais caro e menos flexível em relação à escala de modelos que pode verificar.