In this paper, we explore the effectiveness and extend one such formal methodology in the design of massively parallel algorithms.

• 本文将这样的方法进行推广,并探索这种方法在设计密码学大量并行算法中的有效性。