https://flecart.github.io/notes/zero-knowledge-proofs/