你不会在生活中保留每一张收据。只保留那些重要的。 AI 也应该如此。 证明关键的切片，其余的以原生速度运行。 选择性证明将 zkML 从科学实验转变为基础设施。