[জিএমডাব্লু SS] এবং [জিএস ] 86] এর মতো নটনেটের জন্য যদি আর্থার-মের্লিন প্রোটোকল থাকে গ্রাফ অ Isomorphism জন্য আর্থার-মার্লিন প্রোটোকল, তারপর আমি প্রমাণ-অফ-কাজ যেমন একটি cryptocurrency ডিজাইন করা যেতে পারে বিশ্বাস যেখানে প্রতিটি প্রমাণ-of- কাজের মাধ্যমে দেখা যায় যে দুটি গিঁট সমতুল্য / আইসোটোপিক হওয়ার সম্ভাবনা নেই।
আরো বিস্তারিত, পাশাপাশি [GMW85] এর গ্রাফ অ Isomorphism প্রোটোকল পরিচিত, পেগী prover ভিকি করার যাচাইকারী প্রমাণ করতে হবে যে দুটি (অনমনীয়) সুত্রাবলী নকশা শুভেচ্ছা G0 এবং G1 উপর V ছেদচিহ্ন isomorphic নয়। ভিকি গোপনে একটি র্যান্ডম মুদ্রা শিরসঁচালন পারে i∈{0,1} , অন্যান্য কয়েন সহ একটি বিন্যাস জেনারেট করতে π∈ SV , এবং পেগি একটি নতুন গ্রাফ উপস্থাপন করতে পারেπ(Gi) । পেগিকে অবশ্যই ছাড় করতে হবেi । স্পষ্টতই পেগি কেবল তখনই এটি করতে সক্ষম হন যদি দুটি গ্রাফ আইসোমর্ফিক হয় না।
একইভাবে, এবং প্রুফ-অফ- ওয়ার্কের উদ্দেশ্যে আরও প্রাসঙ্গিক , [জিএস 86] একই প্রোটোকলের একটি আর্থার-মের্লিন সংস্করণ দ্বারা শেখানো হয়েছে, আর্থার মার্লিনের সাথে , জি 1- তে সম্মত হয়েছে , উদাহরণস্বরূপ সংলগ্ন ম্যাট্রিক্স হিসাবে দেওয়া হয়েছে। আর্থার এলোমেলোভাবে একটি হ্যাশ ফাংশন এইচ : { 0 , 1 } ∗ → { 0 , 1 } কে , সাথে একটি ইমেজ y রাখে । আর্থার মার্লিনকে এইচ এবং ওয়াই সরবরাহ করে। মার্লিন অবশ্যই একটি খুঁজে পাবেন ( i , π )G0G1H:{0,1}∗→{0,1}kyHy(i,π)যেমন যে ।H(π(Gi))=y
অর্থাত্, মের্লিন হ্যাশ এর একটি প্রিমাইজ সন্ধান করে , প্রিমেজটি দুটি প্রদত্ত সংলগ্ন ম্যাট্রিকের মধ্যে একটির অনুগতি বলে মনে হয়। যতদিন ট সঠিকভাবে নির্বাচিত করা হয়, যদি দুই গ্রাফ জি 0 এবং জি 1 isomorphic নয় তারপর, একটি উচ্চ সুযোগ করে একটি preimage পাওয়া যাবে সেখানে থাকবে কারণ মধ্যে অন্তিক ম্যাট্রিক্সের সংখ্যা জিHkG0G1 দুইবার হিসাবে হতে পারে জি 0 ≅ জি 1 এর চেয়ে বড়।G0∪G1G0≅G1
অর্ডার একটি প্রমাণ-অফ-কাজের জন্য উপরে [GS86] প্রোটোকল রুপান্তরিত করার আগে, চিহ্নিত খনিতে মার্লিন, এবং চিহ্নিত অন্য নোড আর্থার হিসাবে। একটি হ্যাশ সম্মত হন , যা সমস্ত উদ্দেশ্যে, বিটকয়েনে ব্যবহৃত এস এইচ এ 256 হ্যাশ হতে পারে । একইভাবে, সম্মত হন যে y সর্বদা 0 হবে , বিটকয়েনের প্রয়োজনীয়তার অনুরূপ হ্যাশ একটি নির্দিষ্ট সংখ্যক নেতৃস্থানীয় 0 ’এর সাথে শুরু হয় ।HSHA256y00
নেটওয়ার্ক প্রমাণ করতে সম্মত হয় যে দুটি অনমনীয় গ্রাফ এবং জি 1 আইসোমোরফিক নয়। গ্রাফগুলি তাদের সংলগ্ন ম্যাট্রিক দ্বারা দেওয়া যেতে পারেG0G1
একজন খনি শ্রমিক তার নিজের Merkle আর্থিক লেনদেনের মূল সহ, পূর্ববর্তী ব্লকের লিঙ্কটি আবার ব্যবহার করে, এটিকে B সাথে ব্যবহার করে , এলোমেলো নাম্বার জেড = এইচ ( সি ‖ বি ) তৈরি করতে তার নিজের ননস সহcZ=H(c∥B)
মাইনার ডাব্লু = গণনা করেবাছাই করা ( i , π )W=Zmod2V!(i,π)
খনি শ্রমিক নিশ্চিত করে যে - যে, তা নিশ্চিত করতে এলোমেলোভাবে নির্বাচিত π একটি প্রমাণ যে গ্রাফ isomorphic হয় নাπ( ছআমি) ≠ জি1 - iπ
যদি তা না হয়, খনিবিদ একটি হ্যাশ গণনা করে ওয়াট= এইচ( π)( ছআমি) )
যদি ওয়াট এর যথাযথ সংখ্যার সাথে শুরু হয় , তবে খনিজ সংস্থা প্রকাশিত ( সি , বি ) দ্বারা "জিতবে"0( সি , খ )
অন্যান্য নোডগুলি কে ( i , π ) ছাড়িয়ে যাচাই করতে পারে এবং ডাব্লু = এইচটি যাচাই করতে পারে (জেড= এইচ( সি ∥ বি )( i , π)) যথাযথ অসুবিধা দিয়ে শুরু হয় 0 এরওয়াট= এইচ( π)( ছআমি) )0
উপরের প্রোটোকলটি নিখুঁত নয়, আমার মনে হয় কিছু কিঙ্কস কাজ করা দরকার। উদাহরণস্বরূপ, এবং G 1 দুটি এলোমেলো গ্রাফ কীভাবে উত্পন্ন করা যায় তা পরিষ্কার নয়জি0জি1 ়তার ভাল বৈশিষ্ট্যগুলি পূরণ , উদাহরণস্বরূপ, কম বা বেশি বিভাজন সহ গ্রাফের জন্য পরীক্ষা করা ছাড়া অন্য অসুবিধা কীভাবে সামঞ্জস্য করা যায় তাও পরিষ্কার নয়। যাইহোক, আমি মনে করি এগুলি সম্ভবত চূড়ান্ত।
তবে গাঁটছড়া সম্পর্কে অনুরূপ প্রোটোকলের জন্য , নট চিত্র বা গ্রিড ডায়াগ্রাম ... বা কিছুতে এলোমেলো ক্রিয়াকলাপের সাথে দুটি গ্রাফ এবং জি 2 এর একটি সংলগ্ন ম্যাট্রিক্সের এলোমেলো ক্রমবিন্যাস প্রতিস্থাপন করুন । আমি মনে করি না এলোমেলো Reidemeister কাজ সরিয়ে দেয়, কারণ স্থানটি খুব তাড়াতাড়ি খুব অতিরঞ্জিত হয়ে যায়।জি1জি2
[HTY05] নটনেসের জন্য আর্থার-মের্লিন প্রোটোকল প্রস্তাব করেছিল, তবে দুর্ভাগ্যক্রমে একটি ত্রুটি হয়েছিল এবং তারা তাদের দাবি প্রত্যাহার করে নিয়েছিল।
[কুপ 11] জেনারেলাইজড রিমন হাইপোথেসিস ধরে ধরে নিটমেন্ট দেখিয়েছেন এবং উল্লেখ করেছেন যে এটি এ এম তেও গাঁটছড়া ফেলেছে , তবে আমি সত্যবাদী হব আমি কীভাবে উপরের কাঠামোর মধ্যে এটি অনুবাদ করতে জানি না; একজন এম এর [Kup11] আমার মনে হয় প্রোটোকল একটি বিরল মৌলিক খোঁজার জড়িত পি মডিউল যা বহুপদী সমীকরণ একটি সিস্টেম 0 । প্রাইম পি যে এইচ ( পি ) = 0 তে বিরল , এবং বহুপদী সমীকরণের ব্যবস্থা গিঁট পরিপূরক গোষ্ঠীর প্রতিনিধিত্বের সাথে মিলে যায়।এন পিAMAMp0pH(p)=0
লক্ষণীয়, একটি বোন সাইটে অনুরূপ প্রশ্নের এই উত্তরটি দেখুন , যা এই জাতীয় "কার্যকর" প্রমাণগুলির কার্যকারিতাও সম্বোধন করে।
তথ্যসূত্র:
[জিএমডাব্লু 85] ওজেড গোল্ডরিচ, সিলভিও মিকালি এবং আভি উইগডারসন। প্রমাণগুলি যা তাদের বৈধতা ছাড়া আর কিছুই দেয় না, 1985।
[জিএস 86] শফি গোল্ডওয়াসার, মাইকেল সিপসার। ইন্টারেক্টিভ প্রুফ সিস্টেমগুলিতে ব্যক্তিগত কয়েনগুলি বনাম পাবলিক কয়েনস, 1986।
[HTY05] মাসাও হারা, সেয়েচি তানি এবং মাকোটো ইয়ামামোটো। UNKNOTTING A M in , 2005।AM∩coAM
[কুপ 11] গ্রেগ কুপারবার্গ। নটনেটনেস , মডুলো জিআরএইচ, 2011 এ রয়েছে।NP