This repo provides a security proof of the compact ElGamal encryption scheme.
To compile, latexmk -pdf -pvc main.tex. A compiled version is here: main.pdf
More details are provided here: https://github.com/oblivious-file-sharing/libristretto-elgamal