ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2 - View it on GitHub