Alice knows an integer number A. Bob knows an integer number B. Both do not want to share the numbers with each other but want Carroll to compute multiplication result A * B. Both Alice and Bob do want to check that Carroll produces a correct product of the numbers given.
The parties conclude to follow the protocol below.
- The broker (Carroll) is starting the interaction by sending invitations to the users (Alice and Bob).