ようやく@PrimeIntellect()でTOPLOCを読むことができました。 最初に考えられるのは、証明者と検証者の両方の要件が非常に安価な非対称検証プロトコルです。 ここで言及されていなかった@ezklxyz少しがっかりしました

IIRC 、ezkl は検証可能な推論のための SOTA ですが、検証できるモデルの規模に関してはより高価で柔軟性が低くなります。