Finally got round to reading TOPLOC by @PrimeIntellect (). First thoughts is its really elegant , an asymmetric verification protocol where both the prover and verifier requirements are really cheap. Was a bit disappointed @ezklxyz wasnt mentioned here

IIRC , ezkl is SOTA for verifiable inference, although more expensive, and less flexible with regards to the scale of models it can verify.