ZK Cost-Aware Model Training: ReLU Count as a Predictor of Proof Cost · HackerTrans