Header

The declaration of the initial global parameters, each party and their local parameters is all expressed in the protocol header:

The parameters g1,g2,... are optional. If included, they would be available to all parties. At least one party must be declared, in this case Alice. Additional parties, such as Bob, are optional. Each party may have its own local initialization parameters, as illustrated with the variables (a1,a2,...) and (b1,b2,...). These would be available only to Alice and Bob, respectively.

Multiple, identical parties may be declared using an array-like notation. This example declares $n$ identical players:

party Players[n] (p1,p2,...)