On the (limited) power of non-equivocation

  • Authors:
  • Allen Clement;Flavio Junqueira;Aniket Kate;Rodrigo Rodrigues

  • Affiliations:
  • MPI-SWS, Kaiserslautern - Saarbruecken, Germany;Yahoo! Research, Barcelona, Spain;MPI-SWS, Kaiserslautern - Saarbruecken, Germany;Universidade Nova de Lisboa, Lisbon, Portugal

  • Venue:
  • PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. These trusted components eliminate the ability for a Byzantine node to perform equivocation, which intuitively means making conflicting statements to different processes. In this paper, we define non-equivocation and study its power in the context of distributed protocols that assume a Byzantine fault model. We show that non-equivocation alone does not allow for reducing the number of processes required to reach agreement in the presence of Byzantine faults in the asynchronous communication model, by proving a lower bound of n 3f processes for agreement with non-equivocation. However, when we add the ability to guarantee the transferable authentication of network messages (e.g., using digital signatures), we show that it is possible to use non-equivocation to transform any protocol that works under the crash fault model into a protocol that tolerates Byzantine faults, without requiring an increase in the number of processes.