Fast Quantum Byzantine Agreement: Difference between revisions

Line 83: Line 83:


==Further Information==
==Further Information==
* The protocol [Quantum Byzantine Agreement#References|(2)] is based on the classical protocol of [Quantum Byzantine Agreement#References|(5)], where the classical Oblivious Common Coin is replaced by a Quantum version, which is based on the Verifiable Quantum Secret Sharing Scheme presented in [Quantum Byzantine Agreement#References|(6)]. The protocol of [Quantum Byzantine Agreement#References|(5)] also runs in constant expected time, but can only deal with limited-information adversaries. This means that the adversaries can not read communication between honest parties and read their internal state. The classical lower bound in the same model of <math>\Omega(\sqrt{n \log n})</math> is proven in [Quantum Byzantine Agreement#References|(4)].
* The protocol [[Quantum Byzantine Agreement#References|(2)]] is based on the classical protocol of [[Quantum Byzantine Agreement#References|(5)]], where the classical Oblivious Common Coin is replaced by a Quantum version, which is based on the Verifiable Quantum Secret Sharing Scheme presented in [[Quantum Byzantine Agreement#References|(6)]]. The protocol of [[Quantum Byzantine Agreement#References|(5)]] also runs in constant expected time, but can only deal with limited-information adversaries. This means that the adversaries can not read communication between honest parties and read their internal state. The classical lower bound in the same model of <math>\Omega(\sqrt{n \log n})</math> is proven in [[Quantum Byzantine Agreement#References|(4)]].
* The work [Quantum Byzantine Agreement#References|(2)] also provides a protocol in a weaker failure model known as fail-stop failures. Here the nodes will crash and stop working indefinitely (stop responding). Another protocol in the same model is presented in [Quantum Byzantine Agreement#References|(7)].
* The work [[Quantum Byzantine Agreement#References|(2)]] also provides a protocol in a weaker failure model known as fail-stop failures. Here the nodes will crash and stop working indefinitely (stop responding). Another protocol in the same model is presented in [[Quantum Byzantine Agreement#References|(7)]].
* Another weakened version of the problem, known as detectable byzantine agreement, is solved with quantum resources in [Quantum Byzantine Agreement#References|(8)] (and following works). In detectable byzantine agreement, the protocol is also allowed to abort (upon detecting failures) instead of reaching agreement.  
* Another weakened version of the problem, known as detectable byzantine agreement, is solved with quantum resources in [[Quantum Byzantine Agreement#References|(8)]] (and following works). In detectable byzantine agreement, the protocol is also allowed to abort (upon detecting failures) instead of reaching agreement.
 
==References==
==References==
# [https://people.eecs.berkeley.edu/~luca/cs174/byzantine.pdf LSP (1982)]
# [https://people.eecs.berkeley.edu/~luca/cs174/byzantine.pdf LSP (1982)]
Write, autoreview, editor, reviewer
3,129

edits