Technische Samenvatting: Secret Quorums: Het beschermen van Byzantijnse protocollen tegen adaptieve tegenstanders

1. Probleemstelling

Moderne commissie-gebaseerde betalingsprotocollen en gedistribueerde systemen vertrouwen vaak op kleine subsets van deelnemers (quorums) om de schaalbaarheid te verbeteren en latentie te verminderen. Dit ontwerp introduceert echter een kritieke kwetsbaarheid tegen adaptieve tegenstanders. In een standaard probabilistisch quorum-systeem, waarbij de selectie van validators weliswaar willekeurig is, vereist het validatieproces doorgaans dat geselecteerde knooppunten hun identiteiten onthullen via cryptografische handtekeningen.

Een adaptieve tegenstander, die in staat is om onmiddellijk knooppunten te corrumperen en te "rushen" (berichten naar gecorrumpeerde knooppunten bezorgen voordat de correcte berichten aankomen om de inhoud te observeren en actie te ondernemen), kan deze onthulling uitbuiten. Zodra de identiteit van een validator wordt onthuld via een stem of bewijs, kan de tegenstander dat knooppunt onmiddellijk corrumperen, de lokale status wissen en voorkomen dat het de validatie ondersteunt. Als het quorum klein is, kan de tegenstander dit proces herhalen op voldoende validators om de voortgang van het protocol te stoppen of de veiligheid in gevaar te brengen.

Bestaande oplossingen, zoals cryptografische sortitie (geheime verkiezing), beschermen knooppunten voordat ze spreken, maar falen om hen te beschermen nadat ze hun selectiebewijs hebben onthuld. Andere benaderingen, zoals blind signatures en secret sharing gebruikt in fractionele uitgaveprotocollen, verzachten dit risico maar introduceren aanzienlijke communicatie-overhead en latentie.

2. Methodologie: Secret Quorums

Het artikel stelt Secret Quorums voor, een nieuwe abstractie die cryptografische sortitie uitbreidt om de anonimiteit van geselecteerde validators gedurende het gehele validatieproces te handhaven.

Kernabstractie

Een Secret Quorum is een verzameling $S$ van $k$ validators geselecteerd uit een populatie van $n$ knooppunten met de volgende eigenschappen:

• Onvoorspelbaarheid: De tegenstander kan niet met een kans beter dan willekeurige gok ($k/(n-f)$) raden of een specifiek knooppunt deel uitmaakt van $S$.
• Anonimiteit: Bewijzen van lidmaatschap onthullen dat een validator legitiem is, maar onthullen niet welke validator het bewijs heeft gegenereerd.
• Eerlijkheid: Selectie is uniform; de tegenstander kan niet specifieke knooppunten in het quorum dwingen.
• Verifieerbaarheid: Elk knooppunt kan verifiëren dat er een geldig bewijs is gegenereerd door een quorum van grootte $k$ zonder de samenstelling van het quorum te leren.

Implementatie via Ring Verifiable Random Functions (rVRF)

De auteurs construeren Secret Quorums met behulp van Ring Verifiable Random Functions (rVRF), een cryptografisch primitief dat Verifiable Random Functions (VRF) combineert met ring signatures.

1. Kandidatenverzameling: Voor een query wordt een deterministische verzameling van $V_k$ kandidaat-validators afgeleid van de query-data.
2. Privé Zelfselectie: Elke kandidaat evalueert privé een rVRF met behulp van een seed afgeleid van de query. Als de output onder een specifieke drempelwaarde ligt, bepaalt het knooppunt dat het deel uitmaakt van het effectieve quorum.
3. Anoniem Bewijs: Geselecteerde knooppunten genereren een ring signature over de kandatenverzameling. Deze handtekening bewijst dat iemand in de verzameling is geselecteerd en een geldige willekeurige output heeft geproduceerd, maar verbergt cryptografisch de specifieke ondertekenaar.
4. Verificatie: Een cliënt verzamelt deze ring signatures. De verifieerder controleert of de handtekeningen geldige ring signatures zijn en of de onderliggende willekeurige outputs aan de selectiedrempel voldoen. Dubbele outputs van dezelfde ondertekenaar worden afgewezen om inflatie te voorkomen.

Deze constructie werkt in een asynchroon netwerk en voegt geen extra communicatiestappen toe vergeleken met standaard quorum-protocollen, hoewel het contact vereist met de volledige kandatenverzameling ($V_k$) in plaats van alleen de geselecteerde subset.

3. Belangrijkste Bijdragen

Het artikel levert drie primaire bijdragen:

1. Secret Quorums Abstractie: De definitie van een nieuwe abstractie die anonieme quorum-validatie mogelijk maakt. In tegen tegenstelling tot standaard geheime verkiezing waar leden worden onthuld bij actie, zorgen Secret Quorums ervoor dat validators anoniem blijven, zelfs nadat het validatiebewijs is geverifieerd.
2. Praktische Implementatie: Een concrete constructie van Secret Quorums met behulp van rVRFs in een asynchroon netwerk. Dit biedt een haalbaar mechanisme voor gedecentraliseerde omgevingen zonder dat complexe multi-party computation voor elke stap nodig is.
3. StealthDust Protocol: Het ontwerp van StealthDust, een nieuw protocol voor het fractionele uitgaveprobleem (het mogelijk maken van parallelle, niet-conflicterende betalingen vanuit één rekening). StealthDust past Secret Quorums toe om de identiteitsonthullende mechanismen van het vorige state-of-the-art protocol (Bazzi en Tucci [10]) te vervangen.

4. Resultaten en Prestaties

De toepassing van Secret Quorums op fractionele uitgave via StealthDust levert aanzienlijke verbeteringen op in complexiteit en latentie, terwijl de veerkracht tegen sterk adaptieve en rushing tegenstanders behouden blijft.

• Communicatiecomplexiteit:
  • Settlement: Verminderd van $O(n^3)$ in het vorige protocol (door secret sharing) naar $O(n^2)$ in StealthDust.
  • Redeem: Verminderd van $O(n^2)$ naar $O(n)$.
  • Payment: De betalingsfase brengt een kosten met zich mee die proportioneel is aan de grootte van de kandatenverzameling $V_m$ in plaats van de quorumgrootte $m$, maar elimineert de noodzaak voor secret sharing.
• Latentie:
  • De betalingslatentie is verminderd van 5 berichtvertragingen (in het vorige protocol met blind signatures en meerdere rondes) naar 3 berichtvertragingen.
• Beveiliging: StealthDust behoudt de veiligheids- en liveness-garanties van het oorspronkelijke fractionele uitgaveprotocol, terwijl het voorkomt dat de tegenstander validators identificeert en corrumpeert na selectie.

5. Betekenis en Beperkingen

Betekenis:
Het artikel betoogt dat Secret Quorums een fundamentele verschuiving bieden in de manier waarop commissie-gebaseerde protocollen met adaptieve tegenstanders omgaan. Door het bewijs van legitimiteit los te koppelen van de onthulling van identiteit, voorkomt het protocol de "rush-and-corrupt" aanvalsvector die kleine quorum-systemen teistert. De auteurs demonstreren dat deze bescherming kan worden bereikt zonder de zware overhead van secret sharing, wat kleine quorum-protocollen levensvatbaar maakt in omgevingen met een hoge mate van tegenstand.

Bescheiden Claims en Beperkingen:
De auteurs erkennen expliciet enkele afwegingen en beperkingen:

• Omvang van de Anonimiteitsset: De anonimiteit wordt begrensd door de grootte van de kandatenverzameling $V_k$. Als $V_k$ klein is, is de anonimiteitsset klein, wat potentieel helpt bij traffic analyse. De sterkste anonimiteit geldt wanneer $V_k = n$.
• Netwerkmetadata: Hoewel cryptografische bewijzen identiteiten verbergen, kan netwerkmetadata (timing, verkeersanalyse) nog steeds informatie lekken. Het protocol gaat uit van geobfusceerde verspreiding (bijv. gossip, batching) om dit te mitigeren.
• Probabilistisch Karakter: De selectie van het effectieve quorum is probabilistisch. Het systeem garandeert dat er met een hoge waarschijnlijkheid ten minste $k$ validators worden geselecteerd, maar niet deterministisch.
• Toegangsstrategie: De constructie ondersteunt random sampling toegangsstrategieën. Het ondersteunt momenteel geen complexe toegangsstrategieën waarbij quorumlidmaatschap afhankelijk is van de systeemstatus of voorgaande quorums, omdat dit informatie over lidmaatschap zou kunnen lekken.
• Cryptografische Aannames: De implementatie is afhankelijk van de beschikbaarheid van een veilige en efficiënte rVRF-primitief.

Concluderend presenteert het artikel Secret Quorums als een praktische, eerste haalbare constructie die een balans vindt tussen anonimiteit, efficiëntie en beveiliging, en daarmee een weg biedt naar meer schaalbare en veerkrachtige gedistribueerde systemen tegen adaptieve dreigingen.