1/ zkML 最大的障碍不是密码学。 而是架构。 试图将整个模型作为一个电路进行证明会导致: • 大量内存使用 • 长达数小时的证明 • 无法使用的部署 我们需要一种新的结构。