乐观欺诈证明

运行大型语言模型如Llama2-70B需要超过140GB内存，家用计算机难以胜任。分散推理成为解决方案，避免依赖单一云提供商。但去中心化网络面临信任问题，需验证模型是否正确运行。目前有三种主要方法：1...