Hemmelig deling er et begreb i kryptografi , der forstås som enhver af metoderne til at distribuere en hemmelighed blandt en gruppe deltagere, som hver får sin egen bestemte andel. Hemmeligheden kan kun genskabes af en koalition af deltagere fra den oprindelige gruppe, og i det mindste et oprindeligt kendt antal af dem skal inkluderes i koalitionen.
Hemmelige deleordninger anvendes i tilfælde, hvor der er en betydelig sandsynlighed for kompromittering af en eller flere hemmelige vogtere, men sandsynligheden for illoyal samordning fra en væsentlig del af deltagerne anses for at være ubetydelig.
Eksisterende ordninger har to komponenter: hemmelig deling og hemmelig gendannelse. Deling refererer til dannelsen af dele af hemmeligheden og deres fordeling blandt medlemmerne af gruppen, hvilket gør det muligt at dele ansvaret for hemmeligheden mellem dens medlemmer. Den omvendte ordning bør sikre dens genoprettelse, afhængigt af tilgængeligheden af dens brugere i et vist påkrævet antal [1] .
Use Case: hemmelig afstemningsprotokol baseret på hemmelig deling [2] .
Lad der være en gruppe mennesker og et budskab af længde , bestående af binære tegn. Hvis du tilfældigt opfanger sådanne binære beskeder , at de i alt er lig med , og fordeler disse beskeder blandt alle medlemmer af gruppen, viser det sig, at det kun vil være muligt at læse beskeden, hvis alle medlemmer af gruppen samles [1] .
Der er et betydeligt problem i en sådan ordning: i tilfælde af tab af mindst et af medlemmerne af gruppen, vil hemmeligheden gå tabt for hele gruppen uigenkaldeligt.
I modsætning til den hemmelige spaltningsprocedure, hvor , i den hemmelige spaltningsprocedure, kan antallet af aktier, der skal til for at genoprette hemmeligheden, afvige fra hvor mange andele hemmeligheden er opdelt i. En sådan ordning kaldes tærskelordningen , hvor er antallet af aktier, som hemmeligheden blev opdelt i, og er antallet af aktier, der skal til for at genoprette hemmeligheden. Kredsløbsideer blev uafhængigt foreslået i 1979 af Adi Shamir og George Blakley . Derudover blev lignende procedurer undersøgt af Gus Simmons [3] [4] [5] .
Hvis koalitionen af deltagere er sådan, at de har nok aktier til at genoprette hemmeligheden, kaldes koalitionen tilladt. Hemmelige deleordninger, hvor tilladte koalitioner af deltagere entydigt kan genvinde hemmeligheden, og uafklarede ikke modtager nogen efterfølgende information om hemmelighedens mulige værdi, kaldes perfekte [6] .
Ideen med diagrammet er, at to punkter er nok til at definere en ret linje , tre punkter er nok til at definere en parabel , fire punkter er nok til at definere en kubisk parabel , og så videre. For at angive et gradpolynomium kræves der point .
For at hemmeligheden kun skal genoprettes af deltagerne efter adskillelse, er den "gemt" i formlen for et gradpolynomium over et begrænset felt . For entydigt at gendanne dette polynomium er det nødvendigt at kende dets værdier ved punkter, og ved at bruge et mindre antal punkter vil det ikke være muligt at gendanne det originale polynomium entydigt. Antallet af forskellige punkter i polynomiet er ikke begrænset (i praksis er det begrænset af størrelsen af det numeriske felt , hvori beregningerne udføres).
Kort fortalt kan denne algoritme beskrives som følger. Lad et endeligt felt være givet . Vi reparerer forskellige ikke-nul ikke-hemmelige elementer i dette felt. Hvert af disse elementer tilskrives et bestemt medlem af gruppen. Dernæst vælges et vilkårligt sæt af elementer i feltet , hvorfra et polynomium over et gradfelt er sammensat . Efter at have opnået polynomiet, beregner vi dets værdi ved ikke-hemmelige punkter og rapporterer resultaterne til de tilsvarende medlemmer af gruppen [1] .
For at gendanne hemmeligheden kan du bruge en interpolationsformel , såsom Lagrange- formlen .
En vigtig fordel ved Shamir-ordningen er, at den er let skalerbar [5] . For at øge antallet af brugere i en gruppe er det kun nødvendigt at tilføje det tilsvarende antal ikke-hemmelige elementer til de eksisterende, og betingelsen for skal være opfyldt . Samtidig ændrer kompromittering af en del af hemmeligheden ordningen fra -tærskel til -tærskel.
To ikke-parallelle linjer i et plan skærer hinanden i et punkt. Alle to ikke-koplanære planer skærer hinanden i en lige linje, og tre ikke-koplanære planer i rummet skærer også hinanden i et punkt. Generelt skærer n n - dimensionelle hyperplaner altid et punkt. En af koordinaterne for dette punkt vil være en hemmelighed. Hvis hemmeligheden er kodet som flere koordinater af et punkt, vil det allerede fra én del af hemmeligheden (et hyperplan) være muligt at få nogle oplysninger om hemmeligheden, det vil sige om den indbyrdes afhængighed af koordinaterne til skæringspunktet.
Blackleys skema i tre dimensioner: hver del af hemmeligheden er et plan , og hemmeligheden er en af koordinaterne for flyernes skæringspunkt. To planer er ikke nok til at bestemme skæringspunktet. |
Ved hjælp af Blackleys skema [4] kan man skabe et (t, n) -hemmeligt delingsskema for enhver t og n : for at gøre dette skal man bruge rumdimensionen lig med t , og give hver af de n spillere ét hyperplan, der passerer gennem det hemmelige punkt. Så vil enhver t af n hyperplaner entydigt skære hinanden ved et hemmeligt punkt.
Blackleys ordning er mindre effektiv end Shamirs ordning: I Shamirs ordning har hver aktie samme størrelse som hemmeligheden, mens hver aktie i Blackleys ordning er t gange større. Der er forbedringer til Blakelys plan for at forbedre effektiviteten.
I 1983 foreslog Maurice Mignotte , Asmuth og Bloom to hemmelige deleplaner baseret på den kinesiske restsætning . For et bestemt tal (i Mignotte-skemaet er dette selve hemmeligheden, i Asmuth-Bloom- skemaet er det et eller andet afledt tal), beregnes resten efter at have divideret med en talrække, som fordeles til parterne. På grund af begrænsninger på rækkefølgen af numre kan kun et vist antal parter genfinde hemmeligheden [7] [8] .
Lad antallet af brugere i gruppen være . I Mignotte-skemaet vælges et bestemt sæt parvise coprimtal således , at produktet af de største tal er mindre end produktet af det mindste af disse tal. Lad disse produkter være lige og hhv. Nummeret kaldes tærsklen for det konstruerede skema over sættet . Som en hemmelighed vælges et tal således, at relationen er opfyldt . Dele af hemmeligheden fordeles blandt gruppemedlemmerne som følger: Hvert medlem får et par tal , hvor .
For at gendanne hemmeligheden skal du flette fragmenterne. I dette tilfælde får vi et system af sammenligninger af formen , hvis sæt af løsninger kan findes ved hjælp af den kinesiske restsætning . Det hemmelige nummer hører til dette sæt og opfylder betingelsen . Det er også let at vise, at hvis antallet af fragmenter er mindre end , så for at finde hemmeligheden , er det nødvendigt at sortere i rækkefølgen af heltal. Med det rigtige valg af tal er en sådan søgning næsten umulig at implementere. For eksempel, hvis bitdybden er fra 129 til 130 bit, og , så vil forholdet være af størrelsesordenen [9] .
Asmuth-Bloom-ordningen er en modificeret Mignott-ordning. I modsætning til Mignotte-skemaet kan det konstrueres på en sådan måde, at det er perfekt [10] .
I 1983 foreslog Karnin, Green og Hellman deres hemmelige delingsskema , som var baseret på umuligheden af at løse et system med ukendte med færre ligninger [11] .
Inden for rammerne af dette skema vælges dimensionelle vektorer således, at enhver matrix af størrelse sammensat af disse vektorer har rang . Lad vektoren have dimension .
Hemmeligheden i kredsløbet er matrixproduktet . Hemmelighedens aktier er værker .
Med nogen aktier, er det muligt at sammensætte et system af lineære dimensionsligninger , hvor koefficienterne er ukendte . Ved at løse dette system kan du finde , og have , du kan finde hemmeligheden. I dette tilfælde har ligningssystemet ikke en løsning, hvis andele er mindre end [12] .
Der er flere måder at bryde protokollen for tærskelkredsløbet på:
Der er også andre afbrydelsesmuligheder, som ikke er relateret til implementeringen af ordningen: