Formal Version for Reproducing the Results in NeurIPS

The current release supports the reproduction of all results in the NeurIPS paper.

Future releases will support real communication and encryption.