Explanation about Groth16, the most used zero-knowledge proof [video]