ZK Cost-Aware Model Training: ReLU Count as a Predictor of Proof Cost | Dark Hacker News