Research Article
Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol
Table 5
Experiment comparison.
| | This paper method | Reference [5] method | | Time used | Memory used | Time used | Memory used |
| GM protocol | | | | | | 0.01 | 41179 | 0.050 | 51228 | | 10.64 | 72056 | 38.72 | 92595 | | 505.21 | 2479154 | — | — |
| CKS protocol | | | | | | 0.01 | 39187 | 0.047 | 4568 | | 8.29 | 60145 | 19.54 | 86347 | | 552.31 | 2787336 | — | — | | 1674.05 | 3105836 | — | — |
|
|