Protocol Definitions and Overview Clause Samples

Protocol Definitions and Overview thresh-gossip The protocol is parameterized by the corruption threshold f and the messages’ length L. The maximal grades is set to d = 5. For clarity, we denote by πthresh-gossip the protocol π(5,f) and by πgradecast a gradecast protocol for messages on size L in the 5-graded PKI model. Denote by Sin the input set of Pi. Each execution of the protocol also has an associated session id sid.