مباحث جذاب رمزنگاری!

[tiberium]

خب دوستان. از اونجایی که من کل درس و مطالعاتم در رابطه با رمزنگاریه دوست داشتم یه سری از مباحثی که حس کردم شاید خیلی جذاب باشه باهاتون در میون بزارم


مبحث اولی که قراره با هم بررسی کنیم چیزی هست به اسم Zero knowledge
ولی اصلا این چی هست ؟
تاحالا شده بخواید چیزی رو به یکی اثبات کنید بدون اینکه اطلاعاتی به طرف بدین ؟
مثلا شما جواب یه سوالی رو میدونید. می خواید بدون این که جواب رو به طرف بگید یا حتی اطلاعاتی بدین به طرف این موضوع رو اثبات کنید!! این کاملا شدنیه توی علم رمزنگاری
مثال های ریاضیش : مثلا یه معادله هست . A+B+c+D+E = 20 مثلا!!! شما می خواید بدون اینکه این اعداد رو که جواب هستن به طرف بدین اثبات کنید که یه جوابی میدونید که تو این معادله صدق کنه!
اینکه چطوری اینجوری میشه ریاضیات به نسبت قوی ای می خواد که میتونیم بررسی کنیم. اما بیاید از یه مثال ساده تر شروع کنیم .


مساله : من یه فرد کور هستم. و شما 2 تا ماژیک دارید که با هم فرق دارن ( رنگاشون متفاوت هست ). شما می خواید به من این مساله رو اثبات کنید که این 2 ماژیک با هم فرق دارن ولی نمی خواید هیچ اطلاعات دیگه ای به من بدید .
کسی ایده ای داره چطوری اینکارو کنیم ؟

 

[Iman Rage]

همم
همین ک بهش بگین فرق دارن کافی نیست ؟
باید یک جور تبدیل رنگ به صدا یالامسه داشته باشیم
(مثلا بدیم دست دوستش اون ببینه بهش بگه فرق دارن )

 

[tiberium]

همم
همین ک بهش بگین فرق دارن کافی نیست ؟
باید یک جور تبدیل رنگ به صدا یالامسه داشته باشیم
(مثلا بدیم دست دوستش اون ببینه بهش بگه فرق دارن )

نه شما می خواید یطوری اثبات کنید ( حتی شده تقریبی و با تقریب خیلی بالا ) و هیچ فرد سومی وجود نداره. خودتون هستین و اون فرد کور!

 

[Iman Rage]

خب رو هر ماژیک علامت فیزیکی میذارم میدم دستش بیین باهم فرق دارن:)

 

[tiberium]

خب نه . ببین مثلا من دو تا ماژیک دارم که رنگاشون فرق داره. ولی برا منی که کورم این دو تا یکسان بنظر میاد . حالا تو می خوای اثبات کنی متفاوتن اینا

 

[پهلوی]

خب نه . ببین مثلا من دو تا ماژیک دارم که رنگاشون فرق داره. ولی برا منی که کورم این دو تا یکسان بنظر میاد . حالا تو می خوای اثبات کنی متفاوتن اینا

خب اگه نتونیم حتی بهش حرفی بزنیم راهی نمی‌مونه جز اینکه ماژیکا رو توی چشمای نداشته‌ش فرو کنیم

 

[tiberium]

میتونی حرف بزنی ولی نمی خوای هیچ اطلاعاتی بدی. و کاملا شدنیه

این خیلی استفاده های روزمره داره. تو یه سوالیو حل می کنی. و بدون اینکه هیچ جوابی به طرف نشون بدی به طرف اثبات می کنی جوابو میدونی. بدون اینکه طرف هیچی بفهمه!!

 

[Philomel]

مزه و بو
قطعا مزه ی یه ماژیک قرمز با یه ماژیک مشکی فرق داره

 

[رحمتی!]

خب نه . ببین مثلا من دو تا ماژیک دارم که رنگاشون فرق داره. ولی برا منی که کورم این دو تا یکسان بنظر میاد . حالا تو می خوای اثبات کنی متفاوتن اینا

کور مفهوم رنگ رو چطوری می خواد بفهمهه

وقتی دو تا ماژیک میدی دستش خیلی سخته که بهش بگی با اینا میشه نوشت

چون مفهوم نوشتن سخته

 

[tiberium]

خب اگه نتونیم حتی بهش حرفی بزنیم راهی نمی‌مونه جز اینکه ماژیکا رو توی چشمای نداشته‌ش فرو کنیم

ببین من دو تا خودکار رو توی دستم دارم. و برای من از لحاظ فیزیکی و لمسی اینا یکسان حس میشن.
حالا تو میبینی رنگاشون فرق داره. می‌خوای بهم اینو اثبات کنی! و من کورم. و توعم نمیخوای راجع به رنگ و ... حرفی بزنی. می خوای صرفا اثبات کنی که اینا یه فرقی با هم دارن

 

[پهلوی]

میتونی حرف بزنی ولی نمی خوای هیچ اطلاعاتی بدی. و کاملا شدنیه

این خیلی استفاده های روزمره داره. تو یه سوالیو حل می کنی. و بدون اینکه هیچ جوابی به طرف نشون بدی به طرف اثبات می کنی جوابو میدونی. بدون اینکه طرف هیچی بفهمه!!

آها
پس میشه بهش یه سری دیتا داد جوری که از ماژیک اطلاعاتی ندیم
خب پس صحیحه من بد فهمیدم

 

[رحمتی!]

ببین من دو تا خودکار رو توی دستم دارم. و برای من از لحاظ فیزیکی و لمسی اینا یکسان حس میشن.
حالا تو میبینی رنگاشون فرق داره. می‌خوای بهم اینو اثبات کنی! و من کورم. و توعم نمیخوای راجع به رنگ و ... حرفی بزنی. می خوای صرفا اثبات کنی که اینا یه فرقی با هم دارن

فک کن من کورم

بهم ثابت کن که ماژیک به چه دردی می خوره اصلا

 

[tiberium]

مزه و بو
قطعا مزه ی یه ماژیک قرمز با یه ماژیک مشکی فرق داره

دقت کنید که دارید به من یه سری سرنخ میدید با اینا. هدف اینه که به من اثبات کنید اینا فرق دارن بدون اینکه هیچ اطلاعات اضافه بدست بیارم.
ZERO KNOWLEDGE هست اسمش

 

[tiberium]

فک کن من کورم

بهم ثابت کن که ماژیک به چه دردی می خوره اصلا

عزیز من این نمونه برای امثالی مثل شماست که مفهومشو درک کنن بدون ریاضیات پیچیده . نه اینکه سوال فلسفی بپرسی.
الان مساله اینه که همچین کاری شدنی هست. حالا اینکه چرا می خوای این کارو کنی مهمه ؟ فلسفیش نکن بحث رو

 

[Philomel]

میتونیم ماژیکا رو اسم گذاری کنیم؟؟؟
اونموقع با هم فرقی دارن که اون فرد کور هم متوجه اون میشه

 

[tiberium]

میتونیم ماژیکا رو اسم گذاری کنیم؟؟؟
اونموقع با هم فرقی دارن که اون فرد کور هم متوجه اون میشه

ببین با اسم گذاشتن مشکلی حل نمیشه . بزار مثال ساده تر بزنم.
دو تا ماژیک هست. هر دو یه مارک و هردو یه رنگ. همهچیشون عین هم. الان با اینکه اینا دو تا ماژیک هستن ولی عین همن. و یکسان.
حالا تو رو هوا نتم گذاری کنی که یکی A یکی B نمیتونی خودت تشخیص بدی که کدوم کدومه مگر اینکه بنویسی. که من کورم.

حالا اگر بخوای روی بدنه ماژیک تراش بدی مثلا این چیزی رو حل نمیکنه. میتونی 2 تا ماژیک کاملا یکسان رو بدنشو خراش بدی که بهم اثبات کنی فرق دارن. با اینکه فرقی نداشتن.
اینجا مهم هست که تو نتونی به اون فرد کور دروغ بگی. و با احتمال بسیار بالایی اگر دروغ بگی دستت رو میشه !

 

[پهلوی]

ببین با اسم گذاشتن مشکلی حل نمیشه . بزار مثال ساده تر بزنم.
دو تا ماژیک هست. هر دو یه مارک و هردو یه رنگ. همهچیشون عین هم. الان با اینکه اینا دو تا ماژیک هستن ولی عین همن. و یکسان.
حالا تو رو هوا نتم گذاری کنی که یکی A یکی B نمیتونی خودت تشخیص بدی که کدوم کدومه مگر اینکه بنویسی. که من کورم.

حالا اگر بخوای روی بدنه ماژیک تراش بدی مثلا این چیزی رو حل نمیکنه. میتونی 2 تا ماژیک کاملا یکسان رو بدنشو خراش بدی که بهم اثبات کنی فرق دارن. با اینکه فرقی نداشتن.
اینجا مهم هست که تو نتونی به اون فرد کور دروغ بگی. و با احتمال بسیار بالایی اگر دروغ بگی دستت رو میشه !

یه سوال
ممکنه از تشابه و تفاوت دو تا چیز دیگه استدلال کرد، بعد اونو به ماژیک تعمیم داد؟

 

[رحمتی!]

خوب این که خیلی چرته پس

 

[tiberium]

یه سوال
ممکنه از تشابه و تفاوت دو تا چیز دیگه استدلال کرد، بعد اونو به ماژیک تعمیم داد؟

والا همچین چیزی رو نشنیدم . میشه یه مثال بزنی؟ شاید راه این مدلی هم باشه

 

[پهلوی]

والا همچین چیزی رو نشنیدم . میشه یه مثال بزنی؟ شاید راه این مدلی هم باشه

فکر می‌کنم میگم
الان دارم چت می‌کنم تمرکز ندارم
زود مثال میزنم