We use Orion to show a simple application of logistic regression in Cairo. Because logistic regression has no closed form solution (unlike linear regression), a numerical method has to be used. We also implement a version of gradient descent in Cairo to solve this.
By using Cairo and Orion, the entire training process is verifiable. That is each step of inference and training of the model weights can be validated via a single ZK proof.