Küçük konuşmanın sıfır bilgi kanıtı: Heteroseksüel çelik adamın kanıtı
"Fun Talk Safe Multi-Party Computing | Dark Army Chess Oyunu Oynamak İçin Kriptografi Nasıl Kullanılır? Makaleden sonra, birçok küçük ortak güvenli çok partili bilgi işlemle ilgilendiklerini ve aynı odada yaşayan Li Lei ve Han Meimei ile daha çok ilgilendiklerini belirtti. Bu nedenle, bugün hikayemiz Li Lei ve Han Meimei ile başlıyor.
Bu sefer Sudoku oynadılar ve birbirlerine çözmeleri için sorular sordular, toplam üç tur oynadılar, kaybederlerse birbirlerine bir ay yemek yemek istediler.
İpuçları: Sudoku, 18. yüzyılda İsviçre kökenli bir matematik oyunudur ve hesaplamak için kağıt ve kalem kullanan bir mantık oyunudur. Oyuncuların kalan boşluklardaki tüm sayıları 9 × 9 tahtadaki bilinen sayılara göre çıkarması ve her satırdaki, sütundaki ve her kalın satır evindeki (3 * 3) sayıların 1-9 içerdiğini, tekrar yok. .
İki turdan sonra, ikisi arasındaki savaş berabere oldu. Üçüncü turda Han Meimei önce bir sayı attı ve ardından Li Lei'ye şunları söyledi:
"Geç oluyor. Sanırım sen de kazanamayacaksın. Eğer artık oynamazsan, pes edebilirsin ve biz başka bir şey yapabiliriz."
Heteroseksüel bir adam olan Li Lei bunu duyduğunda hoşnutsuzdu, diye düşündü: Utanmaz mısın, benim gibi bu kadar zengin, yetenekli ve son derece akıllı biri sana nasıl kaybedebilir? Sonra Han Meimei'ye bir Sudoku sorusu daha vermek için beynini harap etti.
Han Meimei kızgın görünüyordu ama Li Lei'nin sert ifadesine bakarak sorunu tekrar çözmek zorunda kaldı. Elbette, bu soru son derece zordu ve Han Meimei bunu bir saat boyunca düşündü ama çözmedi. Sonra, Li Lei başta suçlandı:
"Beni kasten utandırıyor musun ve cevabı olmayan bir soru mu buluyorsun? Çok geç, yenilgiyi kabul edemez misin?"
Li Lei endişeyle duydu ve "Çok aptalsın. Çözmem bir saat sürdü. Bu sorunun cevabını söylemeden çözülebilir olduğunu kanıtlayabilirim!" "Sihirli" kanıtlama sürecini başlatın.
Li Lei, Sudoku sorularının cevaplarını doldurdu ve kağıdı büktü. Daha sonra Han Meimei gözetiminde alt kattaki fotokopi dükkanına giderek 3 kopya çıkardı. Daha sonra 27 küçük çanta ve bir makas bulmaya gittim.
Li Lei, kopyalanan ilk kağıdın her satırındaki sayıları tek tek kesip bir torbaya koyup 9 sıra numarayı 9 torbaya koy; kopyalanan ikinci kağıdın her bir sütunundaki sayıları tek tek kesin. Bunları bir çantaya koyun ve 9 sütun numarayı toplam 9 torbaya koyun; kopyalanan üçüncü kağıttan her evin numaralarını (kalın çizgi 3 * 3 kare) tek tek kesin ve bir çantaya koyun, 9 ev Numaralar 9 torbaya konur. Kesme yöntemi kabaca şu şekildedir:
Daha sonra 27 torba incelenmek üzere Han Meimei'ye teslim edildi.Her bir torbada 1 ila 9 parça kağıt varsa, bu Li Lei'nin sorununun çözülebilir olduğunu kanıtlar. Üç kağıt kopyası, Sudoku'ya doğru yanıtın üç koşulunu doğrular ve bu süreçte Han Meimei yanıtı (doğru sayı dizisi) bilmiyor.
Han Meimei, Li Lei'ye "çaresiz" bir bakış attı, sırayla 27 torba açtı, sonra Li Lei'ye kaybettiğini söyledi ve kibarca Li Lei'yi dışarı davet etti ...
O andan itibaren Li Lei artık Han Meimei ile iletişim kuramadı.
Hikayede Li Lei'nin kanıtına "çelikten birinin kanıtı" diyoruz.
Gerçekte, Li Leinin Sudoku'nun bir çözüme sahip olduğunu kanıtlama yöntemine Sıfır Bilgi Kanıtı denir; bu, kanıtlayanın doğrulayıcıya herhangi bir yararlı bilgi vermeden doğrulayıcıyı ikna edebileceğine işaret eder. Yargı doğrudur.
Sıfır bilgi kanıtı, dijital imzalar, anahtar değişimi ve işlem doğrulama gibi gizlilik koruma senaryolarında kullanılabilen kriptografide başka bir siyah teknolojidir.
