為什麼證明streamlet時兩個quorum的交必須大於N/3？

為什麼證明區塊鏈共識協議Streamlet時兩個quorum的交集必須大於N/3

$$ BY Chan, Elaine Shi, 2020 $$?

在 Streamlet 中，誠實節點會在每一輪中對提議的區塊進行投票。當一個區塊獲得超過 2N/3 個不同節點的投票時，它就會被公證。在這種情況下，法定人數是經過公證的區塊的不同投票的集合

以下語句讓我感到困惑：法定人數必須大於 2N/3，以確保如果惡意節點小於 N/3，則最多可以在一輪中公證一個塊，因為兩個法定人數的交集必須大於 N /3 並且只有惡意阻止才會模棱兩可。這個大於 N/3 的交叉點似乎無處不在，還是我錯過了什麼？為什麼不能更小？像 N/5 還是別的什麼？

此聲明和圖片來自伊利諾伊州區塊鏈原理中的streamlet（ECE 598PV）材料以及作者的講座（14:47）。

這只是包含排除原則的應用。否則，節點總數將為 2n/3+2n/3-(something <1/3) > n。

引用自：https://bitcoin.stackexchange.com/questions/113970