Bizantiškasis susitarimas ir autentifikavimo prielaidos
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
Sinchroniniame Bizantijos generolų modelyje su žodiniais pranešimais, kai yra ne daugiau kaip f klaidingai veikiančių dalyvių, susitarimui reikia bent 3f+1 dalyvių; siuntėjai turi būti atpažįstami, o pristatymas – patikimas, tačiau nėra perduodamos nesuklastojamų parašų grandinės.
Esminės žinios
Sinchroniniame Bizantijos generolų modelyje su žodiniais pranešimais, kai yra ne daugiau kaip f klaidingai veikiančių dalyvių, susitarimui reikia bent 3f+1 dalyvių; siuntėjai turi būti atpažįstami, o pristatymas – patikimas, tačiau nėra perduodamos nesuklastojamų parašų grandinės. Lamportas, Shostakas ir Pease’as parodo, kad pasirašytų pranešimų prielaidos pakeičia ribą, iki kurios galima užtikrinti susitarimą esant gedimams. Sustojimo gedimams skirtas dauguma grindžiamas protokolas negali įgyti bizantiškųjų garantijų vien prie kiekvieno tinklo paketo pridėjus parašą.
Sąlygos ir taikymo ribos
- Laiko, autentifikavimo ir pranešimų pristatymo prielaidos yra tokios, kaip pradinėje teoremoje; asinchroniniams ir iš dalies sinchroniniams BFT protokolams reikia atskirų rezultatų.
- Pati negalimybė suklastoti remiasi raktų valdymu ir nurodytu kriptografinio saugumo modeliu.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, atskirai pateiktą lygtį, jei tokia yra, ir nurodytas prielaidas pagal šias šaltinių vietas: žodinių pranešimų prielaidos ir 3m+1 teorema; pasirašytų pranešimų modelio skirtumas. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad buvo visiškai atkurtas įrodymas, programiškai pakartotinai patikrintas įrodymas ar išsamiai aprėpta visa literatūra.
2026-10-10 · Autoriaus atlikta šaltinio pagrindinio teksto, teiginio, lygties ir galiojimo srities patikra; kiekvienos grafo sąsajos patikros aprėptis nustatyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-info-byzantine-agreement
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas