💻 computer science

Intercloud: Eventual Consistency for Decentralised Economies via Chilling-Effect Consensus

Dit artikel introduceert Intercloud, een gedecentraliseerd economisch netwerk dat veilige transactiefinaliteit binnen een afgebakende tijdspanne bereikt zonder globale consensus door gebruik te maken van Watcher-zwermen en "consensus door afschrikkingswerking" om corruptie op te sporen via de afwezigheid van tegenstrijdig bewijs, waardoor privacybehoudende regulering en economisch rationele beveiliging mogelijk worden.

Oorspronkelijke auteurs: Gregory Magarshak

Gepubliceerd 2026-05-25

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Gregory Magarshak

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Grote Probleem: De "Gepantserde Wagen"-Fout

Stel je voor dat je geld moet verplaatsen.

De Oude Weg (Blockchains): Als je $1 wilt verplaatsen, stopt de hele wereld om jou te bekijken. Als je $1 miljard wilt verplaatsen, stopt de hele wereld nog steeds om jou te bekijken. Het is alsof je een enorme, dure gepantserde wagenconvooi huurt om slechts één dollar te verplaatsen. Het is ongelooflijk verspillend, en iedereen ziet precies wat je verplaatst (privacy is weg).
De Intercloud-Weg: Intercloud zegt: "Laten we de beveiliging afstemmen op de waarde." Het verplaatsen van $1 krijgt een klein beveiligingsteam. Het verplaatsen van $1 miljard krijgt een enorm beveiligingsteam. Het is alsof je een bewaker huurt voor een portemonnee, maar een volledig SWAT-team voor een kluis. De kosten van beveiliging groeien veel trager dan de waarde die je verplaatst.

Hoe Het Werkt: De "Waarnemer"-Zwerm

In plaats van één groot wereldwijd grootboek waar iedereen alles ziet, breekt Intercloud het netwerk op in duizenden kleine, privé-stromen (zoals individuele bankrekeningen of chatgroepen).

1. De Waarnemers (Het Beveiligingsteam)
Voor elke stroom wordt een willekeurige groep computers, genaamd Waarnemers, toegewezen om erover te waken.

De Magische Truc: Deze Waarnemers zijn blind. Ze zien nooit de werkelijke geldbedragen, de namen van de mensen of de berichten. Ze zien alleen cryptografische hashes (die zijn als unieke digitale vingerafdrukken van de data).
Analogie: Stel je een bankkluis voor. De Waarnemers zijn bewakers die buiten staan. Ze kijken niet in de kluis. Ze controleren alleen de zegel op de deur. Als de zegel verandert, weten ze dat er iets gebeurd is, maar ze weten niet wat er binnen zat. Dit houdt je privacy veilig, zelfs als een bewaker gehackt wordt.

2. Het "Intimidatie-effect" (Hoe ze het eens worden)
Normaal gesproken komen computers overeen wat er gebeurd is door te stemmen (bijvoorbeeld: "Ik denk dat het saldo $100 is" versus "Ik denk dat het $90 is"). Dit paper zegt dat stemmen traag en riskant is. In plaats daarvan gebruikt Intercloud Consensus door Intimidatie.

Hoe het werkt: De Waarnemers stemmen niet over een waarde. Ze zeggen simpelweg: "Ik heb gecontroleerd en ik zie geen bewijs van een conflict."
Het Enge Deel: Als twee Waarnemers proberen twee verschillende dingen te zeggen (bijvoorbeeld: de ene zegt "Zegel is A" en de andere zegt "Zegel is B"), creëren ze direct een Bewijs van Corruptie. Dit is als een digitaal "rookend pistool" dat bewijst dat ze liegen.
Het Resultaat: Omdat betrapt worden betekent dat je je geld (je "inzet") verliest, zijn de Waarnemers bang om te liegen. Ze worden "geïntimideerd" om eerlijk te zijn. Ze hoeven niet te stemmen; ze hoeven alleen maar zeker te zijn dat niemand anders liegt.

3. De Drie Kleuren (Verkeerslichten)
Elke stroom heeft een statuslampje dat je vertelt hoe veilig het is:

🟢 Groen: De Waarnemers hebben gecontroleerd, er zijn geen leugens gevonden en de transactie is definitief. Het is veilig om te besteden.
🟡 Geel: De Waarnemers controleren nog steeds. Het is nog niet definitief, maar er is niets slechts gebeurd. Je kunt een risico nemen en het accepteren, of wachten.
🔴 Rood: Er is een "Bewijs van Corruptie" gevonden. De Waarnemers hebben een leugenaar betrapt. De stroom is bevroren totdat een nieuwe, verse groep Waarnemers wordt toegewezen.

De "Rimpeling" en de "Willekeurige Zaad"

Rimpeling-Verdubbeling: Wanneer een transactie plaatsvindt, rimpelt deze door het netwerk. Om te voorkomen dat het voor altijd in een lus terechtkomt (zoals een bericht dat eeuwig tussen twee mensen heen en weer kaatst), krijgt elke rimpeling een unieke ID en een tijdstempel. Als een computer dezelfde ID twee keer in dezelfde periode ziet, negeert hij het. Dit voorkomt dat het systeem crasht zonder dat een globale baas nodig is om het te laten stoppen.
De Willekeurige Zaad: Het enige waar het hele netwerk wereldwijd over overeenkomt, is een willekeurig getal dat eens per paar minuten wordt gegenereerd (een "epoch"). Dit willekeurige getal bepaalt welke Waarnemers welke stromen bewaken. Omdat het willekeurig en onvoorspelbaar is, kunnen boeven niet van tevoren de juiste bewakers omkopen.

De Economie: Lokale Munten en Beveiliging

Intercloud is niet alleen voor één valuta; het staat gemeenschappen toe om hun eigen lokale munten te creëren (zoals een stadsmunt of een game-token).

Zelfkalibrerende Beveiliging: Het paper bewijst dat hoe waardevoller een stroom wordt, hoe meer Waarnemers er automatisch aan worden toegewezen. Als een stroom $1 bevat, heeft het ongeveer 35 bewakers. Als het $1 miljoen bevat, heeft het ongeveer 35.000 bewakers.
Het Dot-Product: Het systeem gebruikt een wiskundige formule (een dot-product) om ervoor te zorgen dat het beveiligingsgewicht altijd overeenkomt met de economische waarde. Je hoeft dit niet handmatig te configureren; het systeem doet het automatisch.

Waarom Dit Oude Problemen Oplost

Privacy: Omdat Waarnemers alleen vingerafdrukken (hashes) zien, kan niemand een kaart maken van wie aan wie betaalt.
Kosten: Je betaalt niet voor wereldwijde beveiliging. Je betaalt alleen voor de beveiliging die je specifieke transactie nodig heeft.
Geen "Buridans Ezel": Er is een beroemd filosofisch probleem waarbij een ezel verhongert omdat hij niet kan kiezen tussen twee identieke hooibergen. Het paper bewijst dat Intercloud dit vermijdt. Omdat de Waarnemers niet kiezen tussen twee opties, maar simpelweg controleren op de afwezigheid van leugens, kunnen ze snel een beslissing nemen en raken ze nooit vast in onbeslistheid.

Samenvatting

Intercloud is een nieuwe manier om een gedecentraliseerde economie te runnen waarbij:

Beveiliging schaalt met waarde (goedkoop voor kleine dingen, sterk voor grote dingen).
Privacy is ingebouwd (bewakers zien alleen vingerafdrukken, niet de inhoud).
Eerlijkheid wordt afgedwongen door angst (liegen wordt direct ontdekt en gestraft).
Er is geen globale baas nodig (behalve voor een simpele willekeurige getallengenerator).

Het draait het "gepantserde wagen"-model om: in plaats van één grote wagen voor iedereen, creëert het een vloot van slimme, zelfaanpassende beveiligingsconvooien die passen bij de grootte van de lading.

Technische Samenvatting: Intercloud – Eventuele Consistentie voor Gedecentraliseerde Economieën via Consensus met Afkoelend Effect

1. Probleemstelling

Het artikel identificeert twee fundamentele inefficiënties in huidige gedecentraliseerde economische netwerken (blockchains):

Het Kostenprobleem: Globale consensusmodellen (bijvoorbeeld Proof-of-Work, Proof-of-Stake) zetten een uniform veiligheidsbudget in voor alle transacties. Een overdracht van 1 dollar verbruikt dezelfde validatiebronnen als een overdracht van 1 miljard dollar, wat leidt tot sublineaire schaling waarbij de veiligheidskosten niet overeenkomen met de economische waarde.
Het Privacyprobleem: Globale grootboeken vereisen dat alle validators plaintext-transactiedata, saldi en logica van slimme contracten zien. Dit maakt transactiegraafanalyse mogelijk die gebruikers kan de-anonimiseren, zelfs met gepseudonimiseerde adressen.

Bestaande oplossingen, zoals Monero of Zcash, bieden gedeeltelijke privacy maar onthullen toch de structuur van transactiegrafen of vereisen wereldwijde deelname voor elke transactie. Het artikel pleit voor een model waarbij schaling van veiligheid overeenkomt met waarde en privacy inherent is aan het consensusmechanisme.

2. Methodologie en Architectuur

Intercloud is een gedecentraliseerd economisch netwerk gebaseerd op het Magarshak Machine-model, uitgebreid naar een gedistribueerde setting. De kernarchitecturale innovatie is de strikte scheiding tussen de Integriteitslaag (beveiligd door Watchers) en de Datalaag (gehouden door stream-eigenaren en Executors).

A. Kerncomponenten

Streams: Toevoegingsvrije logbestanden voor berichten ( $M_i$ ) in bezit van een publieke sleutel ( $k_i$ ). De staat wordt gedefinieerd door een cryptografische hash ( $h_i$ ).
Watcher-zwermen: Veiligheid wordt geboden door zwermen van knooppunten die alleen cryptografische hashes van stream-staten observeren, nooit plaintext. Ze zien geen saldi, bedragen of regellogica.
Epochs en VRF-toewijzing: Tijd is verdeeld in epochs. Aan het begin van elke epoch wijst een Verifiable Random Function (VRF), gezaaid door een enkele globale random oracle, een specifieke zwerm van Watchers toe aan elke stream.
Stream-staten: Streams bestaan in één van drie kleuren:
- Groen: Finaliteit bereikt (supermeerderheidsattestatie).
- Geel: Transacties bezig; finaliteit nog niet bereikt.
- Rood: Corruptie gedetecteerd; de stream is niet vertrouwd tot de volgende epoch-shuffle.

B. Sleutelmechanismen

Ripple-deduplicatie:
Om oneindige reactieve uitvoeringsslussen zonder globale coördinatie te voorkomen, wordt elke uitvoeringsripple voorzien van een unieke identifier ($rID$) bestaande uit de oorsprongs-ID, bericht-hash en epoch. Knooppunten houden een lokale hash-tabel bij van gezien $rIDs$ voor twee epochs. Als een knooppunt een ripple ontvangt die het al heeft verwerkt in de huidige epoch, verwerpt het deze. Dit garandeert terminatie binnen een beperkte tijd ( $N$ hops) zonder globale consensus.
Consensus met Afkoelend Effect:
In tegenstelling tot traditionele stemprotocollen waarbij knooppunten kiezen tussen concurrerende waarden, maakt Intercloud gebruik van attestatie van afwezigheid. Een zwerm bereikt finaliteit wanneer een supermeerderheid ( $>2/3$ ) onafhankelijk via gossip verifieert dat ze geen tegenstrijdig bewijs hebben gezien voor een specifieke hash tijdens de epoch.
- Bewijs van Corruptie (PoC): Als een Watcher attestaties tekent voor twee verschillende hashes in dezelfde epoch, genereert dit automatisch een zelfcertificerend PoC. Dit bewijs is weerlegbaar en vereist geen derde partij voor verificatie.
- Afschrikking: Het "afkoelend effect" ontstaat omdat het produceren van een PoC leidt tot onmiddellijke, onherroepelijke veroordeling en het in beslag nemen van de staking van het knooppunt.
Economisch Model en Lokale Munten:
- Intercoin: Een globale reservevaluta die "veiligheidsgewicht" vertegenwoordigt.
- Backing-invariant: Elke stream moet Intercoin ( $INTER_i$ ) staken evenredig aan de waarde die het bevat. Het veiligheidsgewicht volgt automatisch de economische waarde via een dot-product-identiteit: $V_i = \sum (saldo[c] \times wisselkoers(c))$ .
- Zwermgrootte: De grootte van een Watcher-zwerm ( $n_i$ ) is evenredig met de vierkantswortel van de Intercoin-staking van de stream ( $n_i \approx c\sqrt{INTER_i}$ ). Een stream met 1 dollar gebruikt ongeveer 35 Watchers; een stream met 1 miljoen dollar gebruikt ongeveer 35.000.
- Scheiding Munt-Inhoud: De "muntlaag" (saldi, overdrachten, wisselkoersen) is zichtbaar als hashes op de integriteitslaag, waardoor toezichthouders aggregaten van waardestromen kunnen observeren. De "inhoudslaag" (berichten, overeenkomsten) blijft end-to-end versleuteld en onzichtbaar voor Watchers.

3. Kernbijdragen en Theoretische Resultaten

Het artikel presenteert een formele stapel stellingen die de eigenschappen van het systeem bewijzen:

Gedistribueerde Ripple-terminatie (Stelling 2): Bewijst dat reactieve uitvoeringsripples binnen $N$ hops termineren in een eindig netwerk, gebaseerd op lokale deduplicatie en positieve fees per hop, zonder globale coördinatie.
Zwermveiligheid (Stelling 3): Past de ondergrens van Hoepman [2] aan om te tonen dat een zwerm van grootte $n \approx 35$ (voor standaardparameters) voldoende is om dubbelbesteding te voorkomen met waarschijnlijkheid $1 - e^{-s}$ , ongeacht de totale netwerkgrootte $N$ . Veiligheid schaalt met de vierkantswortel van de waarde.
Karakterisering van Onenigheid (Stelling 9): Bewijst dat twee correcte clients alleen tegenstrijdige finaliteitsattestaties kunnen hebben als de aanvaller tegelijkertijd (a) een supermeerderheid van de toegewezen zwerm compromitteert EN (b) beide clients afschermt van alle eerlijke knooppunten. De waarschijnlijkheid hiervan is verwaarloosbaar.
Onvan toepassingheid van Buridan's Principe (Stelling 10): Demonstreert dat het consensusmechanisme niet onderhevig is aan Lamport's Buridan's Principe. Omdat de beslissing gebaseerd is op de afwezigheid van bewijs (een discreet geheel getal van attestaties) in plaats van een continue keuze tussen twee concurrerende waarden, vermijdt het systeem onbepaalde besluiteloosheid.
Rationale Onbedorvenheid (Stelling 15): Met behulp van speltheorie bewijst het artikel dat geen enkel rationeel knooppunt een stream zal proberen te corrumperen. De kosten van corruptie (inbeslagname van gestakte Intercoin) overtreffen strikt de potentiële winst, vooral gezien de vesting-mechanismen die onmiddellijke opname van verdiende beloningen voorkomen.
Veiligheid volgt Waarde (Stelling 16): Bewijst dat het aan een stream toegewezen veiligheidsgewicht automatisch evenredig is aan de economische waarde via de backing-invariant en de dot-product-identiteit.
Minimale Globale Consensus (Stelling 12): Stelt vast dat de enige vereiste globale overeenkomst de reeks willekeurige zaden voor de VRF is. Alle andere consensus is lokaal voor de zwerm van de stream, waardoor de globale kosten per transactie worden gereduceerd tot $O(N)$ berichten per epoch (geamortiseerd tot bijna nul).

4. Resultaten en Betekenis

Het artikel beweert dat Intercloud een unieke combinatie van eigenschappen bereikt die niet in eerdere systemen te vinden is:

Sublineaire Validatiekosten: De validatiekosten per transactie zijn onafhankelijk van de netwerkgrootte ( $O(1)$ geamortiseerd) en schalen in plaats daarvan met de vierkantswortel van de transactiewaarde.
Alleen-hash Privacy: Watcher-knooppunten zien nooit plaintext, wat sterkere privacygaranties biedt dan bestaande privacy-munten die toch transactiegrafen onthullen.
Zelfkalibrerende Veiligheid: Het systeem wijst automatisch meer veiligheid toe aan streams met hogere waarde zonder handmatige configuratie.
Expliciete Finaliteit: Gebruikers kunnen hun eigen risicotolerantie kiezen (wachten op Groen versus accepteren van Geel), wat real-world economische risicobeoordeling modelleert in plaats van het opleggen van één globale oplossing voor alle geschillen.
Toezichthouder-bespeurbaarheid: Toezichthouders kunnen de stroom van economische waarde (Intercoin-gewicht) tussen streams observeren zonder toegang tot private transactiedetails, waardoor transparantie en privacy in evenwicht worden gebracht.

Het artikel concludeert dat Intercloud een nieuw paradigma definieert waarin economieën van gedistribueerde statemachine's coördineren zonder een globaal grootboek, waarbij Byzantijnse stemming wordt vervangen door "afkoelend effect"-consensus en wordt gewaarborgd dat veiligheidskosten evenredig schalen met de waarde die wordt beschermd.