This repo contains all cryptographic material used in zkSVM excluding the Zero Knowledge Inner Product Proof, which is available here. These proofs are used to provably compute the preprocessing to the signed vectors. We name algebraic proofs the proofs of average, standard deviation, variance or difference, which are available here. We name boolean proofs the proofs of equality, knowledge of opening or square relation, which are available here. Finally, we leverage the above to generate the complete proof that the sensor vector has been applied the correct pre-processing. It is available here.