Nulinis žinojimas kaip simuliavimo savybė
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
Nulinis žinojimas reikalauja efektyvaus simuliatoriaus, kuris be liudijimo (witness) atkuria tikrintojui leidžiamą matyti informaciją pagal nurodytą tikslų, statistinį arba skaičiavimu grindžiamą neatskiriamumą.
Esminės žinios
Nulinis žinojimas reikalauja efektyvaus simuliatoriaus, kuris be liudijimo (witness) atkuria tikrintojui leidžiamą matyti informaciją pagal nurodytą tikslų, statistinį arba skaičiavimu grindžiamą neatskiriamumą. Nulinis žinojimas sąžiningo tikrintojo atžvilgiu apima sąžiningą iššūkio generavimo procesą ir yra silpnesnis už apsaugą nuo bet kokių piktavališkų tikrintojų. Neinteraktyviems įrodymams būtinas aiškus pradinės sąrankos arba orakulo modelis; simuliavimas nėra vien liudijimo pašalinimas iš sąveikos išrašo ar teiginys, kad viešas teiginys nieko neatskleidžia.
Sąlygos ir taikymo ribos
- Nustatykite sąryšį ir liudijimą, simuliatoriaus galimybes, tikrintojų klasę, pradinę sąranką ir atskiriamumo matą.
- Pagrįstumas ir nulinis žinojimas yra atskiri reikalavimai; nė vienas nelemia taikomosios sistemos įvesties duomenų teisingumo.
Š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į, pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinių vietas: šifravimo žaidimai, skyriai 2–3/9/12, autentifikavimas, skyriai 6–8, parašai, skyrius 13, redukcijos ir tapatybės nustatymas bei nulinis žinojimas, skyriai 18–20. Patikra apsiriboja užrašytais teiginiais; neteigiama, kad visiškai atkurtas įrodymas, pakartotinai atlikta programinė įrodymo patikra ar aprėpta visa literatūra.
2026-10-10 · Autoriaus atlikta šaltinio teksto, teiginio, lygties ir taikymo srities patikra; grafo sąsajų aprėptis nurodyta 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-zero-knowledge-simulation
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas