Bölüm 3 · 3/5
Nol bilimli subutnama
Doglan senäňi görkezmän 18 ýaşdan uludygyňy subut etmek: matematika muny nädip edýär?
6 min
Saýlap paýlaşmak bilen doglan seneňizi görkezip, adyňyzy gizläp bilersiňiz. Emma konsert gapysynyň soragy "18 ýaşdan ulumy?" diýen sorag. Bu sahypa diňe şu jogaby subut etmegiň ýoluny düşündirýär.
Görkezmän subut etmek
zero-knowledge proofBir tassyklamanyň dogrudygyny, ony dogry edýän maglumaty görkezmän subut edýän matematiki usul. garşy tarapy tassyklamanyň dogrudygyna ynandyrýar, emma onuň aňyrsyndaky maglumat barada hiç zat öwretmeýär.
Tamga-da ýaş subutnamasy
- Edara şahsyýet resminamasyny häzirki ýaly berýär; edaranyň tarapynda hiç zat üýtgemeýär.
- Saýt "18 ýaşdan ulumy?" diýip soranda, gapjyk subutnama döredýär: "Bu edaranyň gol çeken resminamasy bende bar we ondaky doglan sene 18 ýyldan köne."
- Barlaýjy diňe netijäni we edarany görýär; doglan senäni we resminamanyň özüni görmeýär.
Tamga açyk çeşmeli Longfellow ZKmdoc resminamalary üçin açyk çeşmeli nol bilimli subutnama ulgamy. ulgamyny ulanýar; diňe barlanan we ynam sanawynda çap edilen zynjyrlar kabul edilýär. Iki görkeziş biri-birine meňzemeýär. Köne enjamlarda gapjyk diňe "18 ýaşdan uly: hawa" meýdanly bir gezeklik nusga görkezýär.
Gysgaça
- Nol bilimli subutnama bir tassyklamanyň dogrudygyny, ony dogry edýän maglumaty görkezmän subut edýär.
- Tamga-da edaralar hiç zady üýtgetmeýär; subutnamany gapjyk häzirki gol çekilen resminamadan döredýär.
- Barlaýjy diňe netijäni we resminamany beren edarany görýär; iki görkeziş birleşdirilip bilinmeýär.
Has çuňňur
Tehniki jikme-jiklikler we hökmany düzgünler: