Finalmente consegui ler o TOPLOC do @PrimeIntellect (). As primeiras impressões são de que é realmente elegante, um protocolo de verificação assimétrico onde os requisitos tanto do provador quanto do verificador são realmente baratos. Fiquei um pouco desapontado por não mencionarem o @ezklxyz aqui.

Se não me engano, ezkl é o SOTA para inferência verificável, embora seja mais caro e menos flexível em relação à escala dos modelos que pode verificar.