Multi-Party Distributed Protocols

• With:

  • Verifiable Correctnes:
    • CF( s1, ..., sN, z1, ..., zN ) = 1
  • Privacy
    • No subset of less than N / 2 users can extract any more information about si's and zi's from execution of DP than it is already contained in the formula and their shared secret inputs.