#可验证计算

zkLLM：不公开模型参数，怎样证明一次推理算对了？——论文阅读笔记

沿背景、动机、目标与 Desired properties 梳理 zkLLM，以四张图解释 tlookup、zkAttn 和整网证明如何回应障碍，并从局限提出可检验的研究假设。