A gossip protocol is a procedure for sharing secrets in a network. The basic action in a gossip protocol is a telephone call wherein the calling agents exchange all the secrets they know. An agent who knows all secrets is an expert. The usual termination condition is that all agents are experts. Instead, we explore protocols wherein the termination condition is that all agents know that all agents are experts. We call such agents super experts. Additionally, we model that agents who are super experts do not make and do not answer calls. Such agents are called engaged agents. We also model that such gossip protocols are common knowledge among the agents. We investigate conditions under which protocols terminate, both in the synchronous case, where there is a global clock, and in the asynchronous case, where there is not. We show that a commonly known protocol with engaged agents may terminate faster than the same protocol without engaged agents.
翻译:八卦协议是一种在网络中分享秘密的程序。八卦协议中的基本行动是电话,调用代理人交换他们知道的所有秘密。知道所有秘密的代理人是专家。通常的终止条件是所有代理人都是专家。相反,我们探索终止协议的条件是,所有代理人都是专家。我们称这些代理人为超级专家。此外,我们模拟那些超级专家的代理人不做或不接听电话。这些代理人被称为雇用代理人。我们还模拟这种八卦协议是代理人之间的共同知识。我们调查在同步、全球时钟和无同步的情况下终止协议的条件。我们显示,与雇用代理人的众所周知的协议可以比没有雇用代理人的同一协议更快地终止。