After going through the RareSkills ZK Book, I have decided to implement Groth16 in Python. I know that there are existing implementation, on which I could inspire myself.
But, I have decided to take it my way. The only thing that we need is Python3, some libraries and the most important: the Groth16 paper.
pip3 install py_ecc numpy galois