JSTprove 正在 Subnet-2 主网上线。 经过一周成功的测试网验证，我们现在每周可以扩展到数千个证明，并为之前不可行的模型解锁可验证的推理。 这是推理证明的一大步。