You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
7 lines
392 B
7 lines
392 B
// Correctness for the case where the master pays
|
|
// (final parity of number of number of "agrees"s matches that of N)
|
|
filter(forall, (pay=0) => P>=1 [ F "done" & parity=func(mod, N, 2) ])
|
|
|
|
// Correctness for the case where a cryptographer pays
|
|
// (final parity of number of number of "agrees"s does not match that of N)
|
|
filter(forall, (pay>0) => P>=1 [ F "done" & parity!=func(mod, N, 2) ])
|