重大技术里程碑。 我们的 zkML 证明流程性能提升了 60%。准确率现已与 PyTorch 浮点数推理相当。 Gemma3 和 GPT2 等模型现在证明速度更快，同时保持了浮点数级别的精度。 通过合并量化和查找操作并重构非线性层，我们在不牺牲正确性的前提下加速了证明过程。 如果准确率下降，性能提升就毫无意义。 现在，情况并非如此。