Common use of Robustness Clause in Contracts

Robustness. Informally, a scheme is robust if no adversary can prevent sufficiently many honest parties from generating an accepting signature on a message. We define robustness as a game between a challenger and an adversary . The game is formally defined in Figure 2 and comprises of three phases. In the setup and corruption phase, the challenger generates the public parameters pp and a pair of signature keys for every party. Given pp and all verification keys vk1, . . . , vkn, the adversary can adaptively corrupt a subset of t parties and learn their secret keys. In the case of a bulletin-board PKI (but not of trusted PKI), the adversary can replace the verification key of the corrupted party by another key of its choice. Unless specified otherwise, we consider the bulletin-board PKI to be the default setup model. mode,Π,A Experiment Exptrobust (κ, n, t) A The experiment Exptrobust is a game between a challenger and the adversary . The game is parametrized by an SRDS scheme Π and proceeds as follows: A

Robustness. Informally, a scheme is robust if no adversary can prevent sufficiently sufficiently many honest parties from generating an accepting signature on a message. We define define robustness as a game between a challenger and an adversary . A. The game is formally defined defined in Figure 2 and comprises of three phases. In the setup and corruption phase, the challenger generates the public parameters pp and a pair of signature keys for every party. Given pp and all verification verification keys vk1, . . . , vkn, the adversary can adaptively corrupt a subset of t parties and learn their secret keys. In the case of a bulletin-board PKI (but not of trusted PKI), the adversary can replace the verification verification key of the corrupted party by another key of its choice. Unless specified specified otherwise, we consider the bulletin-board PKI to be the default setup model. mode,Π,A Experiment Exptrobust (κ, n, t) A The experiment Exptrobust is a game between a challenger and the adversary . The game is parametrized by an SRDS scheme Π and proceeds as follows: A