AbstractByzantine Agreement • July 25th, 2021
Contract Type FiledJuly 25th, 2021Claim 4.12. Consider an execution of π with A3 where all parties starts with input bit 0. Then, conditioned on the event 𝖲 , all honest parties output 1 with noticeable probability.
Balanced Byzantine Agreement with Polylog Bits Per-PartyByzantine Agreement • July 13th, 2020
Contract Type FiledJuly 13th, 2020• Average-case Soundness: On the other hand, if x was generated as x ← Dno, then since t and consequently t−1 is uniform conditioned on a1, . . . , an, the resulting verification keys {vki}i∈[n+1] are jointly uniform. Thus (for appropriate parameters n and |GT |), soundness of the argument system holds from the soundness property of the LOSSW-based SRDS (see Definition 6.2).
Balanced Byzantine Agreement with Polylog Bits Per-PartyByzantine Agreement • July 13th, 2020
Contract Type FiledJuly 13th, 2020• Merkle.Verify(seed, xi, y, p): On input the seed, an input element xi, Merkle hash y, and a Merkle proof p, the Merkle verification algorithm parses p = ((i0, x0), . . . , (ilog(n), xlog(n))) and proceed as follows: