On the road of zkML, there are many pitfalls. Predecessors have stepped into the pitfalls of computing power and privacy; Lagrange claims to have filled the pits with DeepProve and paved the bricks for acceleration. But is the road built quickly and is the foundation solid? The proof for medical diagnosis must be accurate, and the data in financial risk control must be true. If we really want to travel this road, we cannot afford to crash the car.