Reasonably documented Proof-of-product.

Given two actors ("users"), each one with an integer that they keep secret, a third actor ("broker") computes the product of the two integers. The users verify the correctness of the computation. Nothing is revealed; only encrypted material is exchanged.

Please start from Main.

Tests are here and here

We assume sbt is installed (I used 0.13.x). Then sbt run runs a sample interaction according to the protocol and sbt test runs the tests.