search

consensus-shipyard / mir

Apache License 2.0
46 stars 14 forks source link

Quorum size of availability module #338

Open ranchalp opened 1 year ago

ranchalp commented 1 year ago

The availability certificate generates certificates containing signatures from $\lfloor n/2 \rfloor +1$ replicas. For correctness, in reality only $\lfloor n/3 \rfloor +1$ replicas' signatures are needed (because the consensus module requires a supermajority of replicas to agree for a decision, and $1$ replica will be correct at least).

$\lfloor n/2 \rfloor +1$ adds redundancy, but seems to come out of nowhere, and if just having redundancy perhaps better to use the strongQuorum(...) function already available for the consensus module. Not against the existing parameter, but worth pointing it out.

matejpavlovic commented 1 year ago

@ranchalp can you describe this or close the issue if it is not relevant any more?

ranchalp commented 1 year ago

Very fair point, I must have forgotten to make a description for this issue. I added a description, feel free to close with comment if the description is not relevant. Definitely not the most important thing, but something to notice about the availability module.