## Abstract

Byzantine vector consensus requires that non-faulty processes reach agreement on a decision (or output) that is in the convex hull of the inputs at the non-faulty processes. Recent work has shown that, for n processes with up to f Byzantine failures, when the inputs are d-dimensional vectors of reals, n ≥ max (3f + 1, (d + 1)f + 1) is the tight bound for synchronous systems, and n ≥ (d + 2)f + 1 is tight for approximate consensus in asynchronous systems. Due to the dependence of the lower bound on vector dimension d, the number of processes necessary becomes large when the vector dimension is large. With the hope of reducing the lower bound on n, we propose relaxed versions of Byzantine vector consensus: k-relaxed Byzantine vector consensus and (δ, p)-relaxed Byzantine vector consensus. k-relaxed consensus only requires consensus for projections of inputs on every subset of k dimensions. (δ, p)-relaxed consensus requires that the output be within distance δ of the convex hull of the non-faulty inputs, where distance is defined using the L_{p}-norm. An input-dependent δ allows the distance from the non-faulty convex hull to be dependent on the maximum distance between the non-faulty inputs. We show that for k-relaxed consensus with k > 1, and for (δ, p)-relaxed consensus with constant δ ≥ 0, the bound on n is identical to the bound stated above for the original vector consensus problem. On the other hand, when k = 1 or δ depends on the inputs, we show that the bound on n is smaller when d ≥ 3. Input-dependent δ may be of interest in practice. In essence, input-dependent δ scales with the spread of the inputs.

Original language | English (US) |
---|---|

Title of host publication | 20th International Conference on Principles of Distributed Systems, OPODIS 2016 |

Editors | Ernesto Jimenez, Panagiota Fatourou, Fernando Pedone |

Publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |

Pages | 26.1-26.15 |

ISBN (Electronic) | 9783959770316 |

DOIs | |

State | Published - Apr 1 2017 |

Event | 20th International Conference on Principles of Distributed Systems, OPODIS 2016 - Madrid, Spain Duration: Dec 13 2016 → Dec 16 2016 |

### Publication series

Name | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|

Volume | 70 |

ISSN (Print) | 1868-8969 |

### Other

Other | 20th International Conference on Principles of Distributed Systems, OPODIS 2016 |
---|---|

Country/Territory | Spain |

City | Madrid |

Period | 12/13/16 → 12/16/16 |

## Keywords

- Byzantine consensus
- Relaxed validity conditions
- Vector inputs

## ASJC Scopus subject areas

- Software