On the Validity of Consensus

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Byzantine agreement allows n processes to decide on a common value, in spite of arbitrary failures. The seminal Dolev-Reischuk bound states that any deterministic solution to Byzantine agreement exchanges Ω(n2) bits. In synchronous networks, with a known u ...

The scale and pervasiveness of the Internet make it a pillar of planetary communication, industry and economy, as well as a fundamental medium for public discourse and democratic engagement. In stark contrast with the Internet's decentralized infrastructur ...

We introduce contextual stochastic bilevel optimization (CSBO) -- a stochastic bilevel optimization framework with the lower-level problem minimizing an expectation conditioned on some contextual information and the upper-level decision variable. This fram ...

A spring mass model is often used to describe human running, allowing to understand the concept of elastic energy storage and restitution. The stiffness of the spring is a key parameter and different methods have been developed to estimate both the vertica ...

When studying discomfort glare, researchers tend to rely on a single questionnaire item to obtain user evaluations. It is unclear whether the choice of questionnaire item affects the distribution of user responses and leads to inconsistencies between studi ...

Professionals in the building design and operation fields typically look at standards and guidelines as a reliable source of information and guidance with regard to procedural, contractual, and legal scope and requirements that are relevant to accountabili ...

The reduction of energy consumption in the residential building stock and cement industry is a substantial component of the Swiss Energy Strategy 2050. Therefore, it is vital to identify the potential for EEI in these two sectors. In this study, a new meth ...

Risk management has become an essential element in the functioning of modern society. Correct risk identification and assessment are undoubtedly crucial to improving overall safety; nevertheless, often, it is accompanied by the wrong selection of correctiv ...

Professional skills of project planning, risk analysis, ethical design, communication, and working in interprofessional teams are now recognised as core engineering skills. Frequently, they are addressed in engineering education through team projects. Howe ...

The Dolev-Reischuk bound says that any deterministic Byzantine consensus protocol has (at least) quadratic (in the number of processes) communication complexity in the worst case: given a system with n processes and at most f < n/3 failures, any solution t ...

With the increasing importance of Computational Thinking (CT) at all levels of education, it is essential to have valid and reliable assessments. Currently, there is a lack of such assessments in upper primary school. That is why we present the development ...

It is natural for humans to judge the outcome of a decision under uncertainty as a percentage of an ex-post optimal performance. We propose a robust decision-making framework based on a relative performance index. It is shown that if the decision maker’s p ...

It is known that the agreement property of the Byzantine consensus problem among n processes can be violated in a non-synchronous system if the number of faulty processes exceeds t0 = ┌n/3┐ − 1 [10], [19]. In this paper, we investigate the accountable Byza ...

There is a need for a tool that facilitates safety decision-making in the academic environment. As this environment is very different from that of industry or other public sectors, there is no information available on the factors that influence the decisio ...

A decision task is a distributed input-output problem in which each process starts with its input value and eventually produces its output value. Examples of such decision tasks are broad and range from consensus to reliable broadcast to lattice agreement. ...

Objectives (i) to create a shortened version of the Action Research Arm Test scale, (ii) to investigate its psychometric properties compared to the original scale and (iii) to externally validate it within an independent cohort. Design Prospective longitud ...

This study describes the development and validation process of a computational thinking (CT) test for adults. The team designed a set of items and explored a subset of those through two qualitative pilots. Then, in order to provide validity evidence based ...

The design of efficient energy systems, through the development of new technologies and the improvement of current ones, requires the use of rigorous process synthesis methods for generating and analysing design alternatives. We introduce a digital twin of ...

In this paper we introduce and study the STREAMINGCYCLES problem, a random order streaming version of the Boolean Hidden Hypermatching problem that has been instrumental in streaming lower bounds over the past decade. In this problem the edges of a graph G ...

The Dolev-Reischuk bound says that any deterministic Byzantine consensus protocol has (at least) quadratic communication complexity in the worst case. While it has been shown that the bound is tight in synchronous environments, it is still unknown whether ...

On the Validity of Consensus

Chat with Graph Search

Partial Synchrony for Free: New Upper Bounds for Byzantine Agreement

Planetary-Scale Byzantine Fault Tolerance

Contextual Stochastic Bilevel Optimization

Vertical and Leg Stiffness Modeling During Running: Effect of Speed and Incline

Comparison of questionnaire items for discomfort glare studies in daylit spaces

Thermal Conditions in Indoor Environments: Exploring the Reasoning behind Standard-Based Recommendations

Endogenous Energy Efficiency Improvement in Housing and Cement Sectors in Switzerland

Safety risk management in University laboratories

The development, validation and use of an interprofessional project management questionnaire in engineering education

Byzantine consensus is Θ(n^2): the Dolev-Reischuk bound is tight even in partial synchrony!

The competent Computational Thinking Test: Development and Validation of an Unplugged Computational Thinking Test for Upper Primary School

Relatively Robust Decisions

As easy as ABC: Optimal (A)ccountable (B)yzantine (C)onsensus is easy!

Safety Decision-Making for Laboratory Processes in Academia

Crime and Punishment in Distributed Byzantine Decision Tasks

Evaluation of a shortened version of the Action Research Arm Test (ARAT) for upper extremity function after stroke: The Mini-ARAT

Assessing Computational Thinking: Development and Validation of the Algorithmic Thinking Test for Adults

Overcoming decision paralysis—A digital twin for decision making in energy system design

Factorial Lower Bounds for (Almost) Random Order Streams

Byzantine Consensus is Θ(n^2): The Dolev-Reischuk Bound is Tight even in Partial Synchrony!