2025-11-18T21:40:12.686968

Zk-SNARK Marketplace with Proof of Useful Work

Oleksak, Gazdik, Peresini et al.
Proof of Work (PoW) is widely regarded as the most secure permissionless blockchain consensus protocol. However, its reliance on computationally intensive yet externally useless puzzles results in excessive electric energy wasting. To alleviate this, Proof of Useful Work (PoUW) has been explored as an alternative to secure blockchain platforms while also producing real-world value. Despite this promise, existing PoUW proposals often fail to embed the integrity of the chain and identity of the miner into the puzzle solutions, not meeting necessary requirements for PoW and thus rendering them vulnerable. In this work, we propose a PoUW consensus protocol that computes client-outsourced zk-SNARKs proofs as a byproduct, which are at the same time used to secure the consensus protocol. We further leverage this mechanism to design a decentralized marketplace for outsourcing zk-SNARK proof generation, which is, to the best of our knowledge, the first such marketplace operating at the consensus layer, while meeting all necessary properties of PoW.
academic

Zk-SNARK মার্কেটপ্লেস উপকারী কাজের প্রমাণ সহ

মৌলিক তথ্য

  • পেপার আইডি: 2510.09729
  • শিরোনাম: Zk-SNARK মার্কেটপ্লেস উপকারী কাজের প্রমাণ সহ
  • লেখক: স্যামুয়েল ওলেকসাক, রিচার্ড গাজডিক, মার্টিন পেরেসিনি, ইভান হোমোলিয়াক (ব্রনো প্রযুক্তি বিশ্ববিদ্যালয়, চেক প্রজাতন্ত্র)
  • শ্রেণীবিভাগ: cs.CR (ক্রিপ্টোগ্রাফি এবং নিরাপত্তা)
  • প্রকাশনার সময়: ২০২৫ সালের অক্টোবর ১০ তারিখ (arXiv প্রাক-প্রিন্ট)
  • পেপার লিংক: https://arxiv.org/abs/2510.09729

সারসংক্ষেপ

ঐতিহ্যবাহী কাজের প্রমাণ (PoW) ব্যাপকভাবে অনুমতিহীন ব্লকচেইন সর্বসম্মতি প্রোটোকলের সবচেয়ে নিরাপদ হিসাবে স্বীকৃত, কিন্তু এটি গণনা-নিবিড় এবং বাহ্যিকভাবে অকেজো ধাঁধার উপর নির্ভর করে, যা বিশাল বিদ্যুৎ শক্তি অপচয় ঘটায়। এই সমস্যা প্রশমনের জন্য, উপকারী কাজের প্রমাণ (PoUW) একটি বিকল্প হিসাবে প্রস্তাবিত হয়েছে, যা ব্লকচেইন প্ল্যাটফর্ম সুরক্ষা নিশ্চিত করার পাশাপাশি বাস্তব-বিশ্বের মূল্য তৈরি করে। তবে, বিদ্যমান PoUW প্রস্তাবগুলি প্রায়শই চেইনের সততা এবং খনিকরের পরিচয়কে ধাঁধা সমাধানে অন্তর্ভুক্ত করতে ব্যর্থ হয়, PoW-এর প্রয়োজনীয় প্রয়োজনীয়তা পূরণ করে না, যা আক্রমণের জন্য সহজ হয়ে ওঠে। এই পেপারটি একটি PoUW সর্বসম্মতি প্রোটোকল প্রস্তাব করে যা ক্লায়েন্ট-আউটসোর্সড zk-SNARK প্রমাণ গণনাকে একটি উপ-পণ্য হিসাবে রূপান্তরিত করে, যখন সর্বসম্মতি প্রোটোকল সুরক্ষার জন্যও ব্যবহার করা হয়। এই প্রক্রিয়াটি ব্যবহার করে একটি বিকেন্দ্রীভূত zk-SNARK প্রমাণ উৎপাদন আউটসোর্সিং মার্কেটপ্লেস ডিজাইন করা হয়েছে, যা লেখকদের জ্ঞান অনুযায়ী, সর্বসম্মতি স্তরে চলমান এবং PoW-এর সমস্ত প্রয়োজনীয় বৈশিষ্ট্য পূরণকারী প্রথম এই ধরনের মার্কেটপ্লেস।

গবেষণার পটভূমি এবং প্রেরণা

মূল সমস্যা

  1. শক্তি অপচয়ের সমস্যা: ঐতিহ্যবাহী PoW প্রোটোকল (যেমন বিটকয়েন) প্রকৃত উদ্দেশ্য ছাড়াই গণনায় বিশাল পরিমাণ বিদ্যুৎ খরচ করে, বিটকয়েন খনন বার্ষিক ৬৫.৪ মেগাটন CO2 নির্গমন তৈরি করতে পারে, যা গ্রিসের জাতীয় নির্গমনের সমতুল্য।
  2. zk-SNARK গণনা বাধা: zk-SNARK প্রমাণ উৎপাদন গণনা এবং স্মৃতি উভয় দিক থেকেই অত্যন্ত নিবিড়, সাধারণত দশ গিগাবাইট RAM প্রয়োজন এবং উচ্চ-সম্পন্ন হার্ডওয়্যারে দশ মিনিট ব্যয় করে, যা সম্পদ-সীমিত ডিভাইসে এটিকে অব্যবহারিক করে তোলে।
  3. বিদ্যমান PoUW স্কিমের নিরাপত্তা ত্রুটি: বিদ্যমান PoUW প্রস্তাবগুলি PoW-এর মূল নিরাপত্তা প্রয়োজনীয়তা পূরণ করতে ব্যর্থ হয়, বিশেষত তাজাতা (freshness) বৈশিষ্ট্যের অভাব, পুনরাবৃত্তি আক্রমণের জন্য সহজ।

গবেষণার প্রেরণা

  • PoUW এবং zk-SNARK উৎপাদনের দ্বৈত চাহিদা একত্রিত করে, এমন একটি সর্বসম্মতি প্রোটোকল ডিজাইন করা যা ব্লকচেইন নিরাপত্তা নিশ্চিত করে এবং উপকারী ক্রিপ্টোগ্রাফিক প্রমাণ তৈরি করে
  • প্রথম সর্বসম্মতি স্তরে চলমান সর্বজনীন zk-SNARK গণনা মার্কেটপ্লেস তৈরি করা
  • বিদ্যমান PoUW স্কিমের নিরাপত্তা সংক্রান্ত অপূর্ণতা সমাধান করা

মূল অবদান

  1. অগ্রগামী PoUW-zk-SNARK সংমিশ্রণ প্রোটোকল: zk-SNARK প্রমাণ উৎপাদনকে উপকারী কাজ হিসাবে একটি নতুন PoUW সর্বসম্মতি প্রোটোকল প্রস্তাব করা, সর্বসম্মতি প্রোটোকলের জন্য নিরাপত্তা প্রদানকারী প্রথম বিকেন্দ্রীভূত SNARK গণনা মার্কেটপ্লেস তৈরি করা।
  2. ব্যক্তিগত ইনপুট সমর্থনকারী সম্প্রসারণ স্কিম: জনসাধারণের অনুমতিহীন ব্লকচেইন পরিবেশে ব্যক্তিগত ইনপুট জড়িত zk-SNARK প্রমাণ গণনা প্রতিনিধিত্ব করার চ্যালেঞ্জ সমাধান করা, সাক্ষী বিভ্রান্তি আউটসোর্সিং (WOO) প্রযুক্তি প্রস্তাব করা।
  3. সম্পূর্ণ নিরাপত্তা বিশ্লেষণ: প্রস্তাবিত সর্বসম্মতি প্রোটোকল এবং এর সম্প্রসারণের নিরাপত্তা বৈশিষ্ট্য সম্পূর্ণভাবে বিশ্লেষণ এবং প্রমাণ করা, PoW-এর সমস্ত প্রয়োজনীয় শর্ত পূরণ করা।
  4. উদ্ভাবনী ব্লক প্রস্তাবকারী নির্বাচন প্রক্রিয়া: ওজনযুক্ত লটারি-ভিত্তিক ব্লক প্রস্তাবকারী নির্বাচন অ্যালগরিদম ডিজাইন করা, বিভাজন প্রক্রিয়া সহ অপচয়কৃত কাজ হ্রাস করা।

পদ্ধতি বিস্তারিত

কাজের সংজ্ঞা

একটি PoUW সর্বসম্মতি প্রোটোকল ডিজাইন করা, যেখানে:

  • ইনপুট: ক্লায়েন্ট-জমা দেওয়া পাটিগণিত সার্কিট এবং প্রমাণ পরামিতি
  • আউটপুট: বৈধ zk-SNARK প্রমাণ এবং নিরাপদ ব্লকচেইন সর্বসম্মতি
  • সীমাবদ্ধতা: PoW-এর সমস্ত প্রয়োজনীয় বৈশিষ্ট্য পূরণ করা (অসমতা, দানাদারতা, অ-পরিশোধযোগ্যতা ইত্যাদি)

সিস্টেম আর্কিটেকচার

নেটওয়ার্ক অংশগ্রহণকারী

  1. ক্লায়েন্ট (Clients): সর্বসম্মতিতে অংশগ্রহণ করে না, মুদ্রা স্থানান্তর লেনদেন এবং প্রমাণ অনুরোধ লেনদেন তৈরি করে
  2. খনিকর (Miners/Full nodes): সর্বসম্মতিতে অংশগ্রহণ করে, লেনদেন নির্বাচন করে, SNARK প্রমাণ উৎপাদন করে, ব্লক প্রকাশ এবং যাচাই করে
  3. সার্কিট নিবন্ধন নোড (Circuit registry nodes): SNARK সার্কিট নিবন্ধন সারণী বজায় রাখে, বিশ্বস্ত সেটআপের SMPC-তে অংশগ্রহণ করে

ব্লক কাঠামো

প্রতিটি ব্লকে দুই ধরনের লেনদেন রয়েছে:

  • মুদ্রা লেনদেন (Coin transactions): স্থানীয় মুদ্রা ক্রিয়াকলাপ
  • প্রমাণ লেনদেন (Proof transactions): SNARK উৎপাদন অনুরোধ এনক্যাপসুলেট করে

মূল প্রযুক্তিগত প্রক্রিয়া

১. ব্লক প্রস্তাবকারী নির্বাচন অ্যালগরিদম

বিবর্তন প্রক্রিয়া:

  • (A) মৌলিক পদ্ধতি: খনিকরদের অবশ্যই ন্যূনতম কঠিনতা থ্রেশহোল্ড κ অর্জনের জন্য যথেষ্ট প্রমাণ উৎপাদন করতে হবে
  • (B) লটারি প্রক্রিয়া যোগ করা: প্রতিটি নতুন প্রমাণ যোগ করার সময় লটারি ট্রিগার করা হয়, জয়ের সম্ভাবনা: Pwin(i)=CiκP_{win}(i) = \frac{C_i}{\kappa} যেখানে CiC_i হল i-তম প্রমাণের জটিলতা
  • (C) অপচয়কৃত কাজ হ্রাস করা: পরামিতি ψ প্রবর্তন করা সঞ্চিত কাজ বিবেচনা করে: Pwin(i)=Ciκ+ψ⋅∑j<iCjκP_{win}(i) = \frac{C_i}{\kappa} + \psi \cdot \frac{\sum_{j<i} C_j}{\kappa}
  • (D) সমান্তরাল ব্লক উৎপাদন: রৈখিক চেইন সীমাবদ্ধতা শিথিল করা, সমান্তরাল খনন অনুমতি দেওয়া
  • (E) বিভাজন প্রক্রিয়া: লেনদেন হ্যাশ উপসর্গ অনুযায়ী লেনদেন বিভিন্ন বিভাজনে বরাদ্দ করা, সংঘর্ষ হ্রাস করা

২. ব্লকচেইন সততা নিশ্চিতকরণ

সততা পরামিতি η:

  • বর্তমান ব্লক হেডার হ্যাশ করে গণনা করা হয় (পূর্ববর্তী ব্লক হ্যাশ এবং মুদ্রা লেনদেন অন্তর্ভুক্ত)
  • পাটিগণিত সার্কিটে জনসাধারণের পরামিতি হিসাবে ইনজেক্ট করা হয়
  • যদি লটারি ব্যর্থ হয়, নতুন উৎপাদিত প্রমাণ অন্তর্ভুক্ত করার জন্য η পুনরায় গণনা করা হয়
  • ক্রিপ্টোগ্রাফিকভাবে সংযুক্ত প্রমাণ চেইন গঠন করে, প্রমাণ চুরি প্রতিরোধ করে

३. সার্কিট নিবন্ধন সাব-নেটওয়ার্ক

কার্যকারিতা:

  • পাটিগণিত সার্কিট বিকেন্দ্রীভূত নিবন্ধন এবং পুনরুদ্ধার
  • SMPC মাধ্যমে বিশ্বস্ত সেটআপ
  • প্রমাণ কী এবং যাচাইকরণ কী সংরক্ষণ
  • নোডদের স্থানীয় মুদ্রা জমা দিতে প্রয়োজন, অনুপযুক্ত আচরণ হ্রাস করা হবে

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

  1. সততা এম্বেডিং: সততা পরামিতির মাধ্যমে প্রমাণকে নির্দিষ্ট ব্লকের সাথে বাঁধা, PoW-এর তাজাতা প্রয়োজনীয়তা পূরণ করা
  2. বিভাজন সমান্তরালকরণ: Sycomore-এর গতিশীল শার্ডিং ধারণা ধার করা, নেটওয়ার্ক চাহিদা অনুযায়ী বিভাজন সংখ্যা গতিশীলভাবে সামঞ্জস্য করা
  3. সাক্ষী বিভ্রান্তি আউটসোর্সিং (WOO): সংযোজনীয় মাস্ক ব্যবহার করে ব্যক্তিগত ইনপুট গোপনীয়তা সুরক্ষা করা
  4. লটারি ওজন প্রক্রিয়া: সার্কিট জটিলতা অনুযায়ী জয়ের সম্ভাবনা সামঞ্জস্য করা, ন্যায্যতা নিশ্চিত করা

পরীক্ষামূলক সেটআপ

মডেলিং পদ্ধতি

র্যান্ডম টাইমড কালার্ড পেট্রি নেট (STCPN) ব্যবহার করে সর্বসম্মতি প্রোটোকল মডেল করা, Python-এর simpn লাইব্রেরি দ্বারা বাস্তবায়িত।

পরীক্ষামূলক অনুমান

  • H1: পুরস্কার বিতরণ নোড খনন ক্ষমতার সাথে সমানুপাতিক
  • H2: নির্বাচিত প্রমাণের জটিলতা পুরস্কারকে প্রভাবিত করে না
  • H3: অপচয়কৃত কাজ হ্রাস করার জন্য ψ পরামিতি প্রবর্তন কেন্দ্রীকরণ বৃদ্ধির খরচ বহন করে
  • H4: বিভাজন প্রক্রিয়া অপচয়কৃত কাজ হ্রাস করে

পরীক্ষামূলক কনফিগারেশন

  • প্রমাণ উৎপাদন প্রক্রিয়া এবং খনিকর মিথস্ক্রিয়ায় ফোকাস করা
  • মুদ্রা লেনদেন নিশ্চিতকরণ সময় উপেক্ষা করা (তুলনামূলকভাবে তাৎক্ষণিক)
  • খনিকরদের ইতিমধ্যে সার্কিট নিবন্ধন ডেটা ক্যাশ করেছে অনুমান করা

পরীক্ষামূলক ফলাফল

প্রধান আবিষ্কার

১. ন্যায্যতা যাচাইকরণ (H1)

  • ব্লক পুরস্কার অনুপাত গণনা ক্ষমতা অনুপাতের সাথে রৈখিক সম্পর্ক (y=x)
  • মূল সমস্যা: প্রমাণ পুরস্কার অনুপাত দ্বিঘাত সম্পর্ক প্রদর্শন করে (y=x²), শক্তিশালী খনিকররা শুধুমাত্র আরও ব্লক উৎপাদন করে না, প্রতিটি ব্লকের গড় শক্তিও বেশি
  • প্রভাব: খনন পুল গঠনকে উৎসাহিত করতে পারে, মোট পুরস্কারে প্রমাণ পুরস্কারের অনুপাত ন্যূনতম করার প্রয়োজন

२. জটিলতা স্বাধীনতা (H2)

  • বিভিন্ন প্রমাণ আকারের পছন্দ সহ খনিকররা সমান গণনা ক্ষমতায় অনুরূপ পুরস্কার অনুপাত পায়
  • প্রমাণ জটিলতা নির্বাচনের প্রতি সিস্টেমের ন্যায্যতা যাচাই করা

३. ψ পরামিতি প্রভাব (H3)

  • ψ বৃদ্ধির সাথে, অপচয়কৃত কাজ প্রায় ৭৮% থেকে ৭০% হ্রাস পায়
  • কিন্তু শক্তিশালী খনিকরের পুরস্কার শেয়ার প্রায় ৩৭.৫% থেকে ৪৭.৫% বৃদ্ধি পায়
  • অপচয়কৃত কাজ হ্রাস এবং কেন্দ্রীকরণ বৃদ্ধির মধ্যে ট্রেড-অফ নিশ্চিত করা

४. বিভাজন প্রভাব (H4)

  • বিভাজন সংখ্যা বৃদ্ধি উল্লেখযোগ্যভাবে অপচয়কৃত কাজ হ্রাস করে
  • ১৬টি বিভাজন এবং ১৬ জন খনিকরের কনফিগারেশনে, অপচয়কৃত কাজ প্রায় ২০% হ্রাস করা যায়
  • বিভাজন সংখ্যা মেমরি পুলে উপলব্ধ প্রমাণ সংখ্যা দ্বারা সীমাবদ্ধ

কর্মক্ষমতা বিশ্লেষণ

Groth16 প্রমাণ সময়

  • প্রমাণ সময় সীমাবদ্ধতা সংখ্যার সাথে রৈখিক সম্পর্ক: T(n) = a·n + b
  • পূর্বাভাসযোগ্য কর্মক্ষমতা এবং দক্ষ সম্পদ বরাদ্দ সমর্থন করে
  • যাচাইকরণ সময় মিলিসেকেন্ড স্তরে এবং সার্কিট জটিলতার সাথে সম্পর্কহীন

WOO কর্মক্ষমতা ওভারহেড

  • বিভ্রান্ত সার্কিটের মূল সার্কিটের তুলনায় সময় ওভারহেড সর্বদা ০.১ সেকেন্ডের নিচে
  • ওভারহেড সার্কিট স্কেলের সাথে উল্লেখযোগ্যভাবে বৃদ্ধি পায় না
  • রিয়েল-টাইম, গোপনীয়তা-সুরক্ষিত প্রমাণ উৎপাদনের জন্য উপযুক্ত

সম্পর্কিত কাজ

PoUW প্রোটোকল

  • Primecoin (২০১३): মৌলিক সংখ্যা চেইন অনুসন্ধান, সংখ্যা তত্ত্বে অবদান রাখে
  • Ofelimos: সমন্বয় অপ্টিমাইজেশন সমস্যা ব্যবহার করে
  • Coin.AI: বিতরণকৃত গভীর শিক্ষা
  • সীমাবদ্ধতা: বিদ্যমান স্কিম সাধারণত তাজাতা বৈশিষ্ট্যের অভাব, পুনরাবৃত্তি আক্রমণের জন্য সহজ

প্রমাণ উৎপাদন বাজার

  • সর্বসম্মতি-সংহত: Mina প্রোটোকলের Snarketplace (অ্যাপ্লিকেশন স্তর)
  • স্বাধীন নেটওয়ার্ক: =nil; Foundation Proof Market, RISC Zero-এর Bonsai
  • এই পেপারের সুবিধা: সর্বসম্মতি স্তরে চলমান প্রথম সর্বজনীন zk-SNARK বাজার

উপসংহার এবং আলোচনা

প্রধান উপসংহার

  1. PoW-এর সমস্ত প্রয়োজনীয় বৈশিষ্ট্য পূরণকারী PoUW প্রোটোকল সফলভাবে ডিজাইন করা
  2. প্রথম সর্বসম্মতি স্তর zk-SNARK গণনা বাজার তৈরি করা
  3. WOO প্রযুক্তির মাধ্যমে ব্যক্তিগত ইনপুট সুরক্ষা সমস্যা সমাধান করা
  4. পরীক্ষা-নিরীক্ষা সিস্টেমের ন্যায্যতা এবং দক্ষতা যাচাই করা

সীমাবদ্ধতা

  1. প্রমাণ পুরস্কারের দ্বিঘাত প্রভাব: খনন কেন্দ্রীকরণের দিকে পরিচালিত করতে পারে
  2. সার্কিট পুনঃব্যবহারযোগ্যতা সীমাবদ্ধতা: WOO প্রযুক্তি প্রতিটি ক্লায়েন্টের জন্য নির্দিষ্ট সার্কিট উৎপাদন প্রয়োজন
  3. বিশ্বস্ত সেটআপ নির্ভরতা: এখনও SMPC-এর জন্য বিশ্বস্ত সেটআপ প্রয়োজন
  4. Groth16 সীমাবদ্ধতা: নির্দিষ্ট প্রমাণ স্কিমের উপর নির্ভরশীল

ভবিষ্যত দিকনির্দেশনা

  1. অন্যান্য প্রমাণ স্কিমের (যেমন STARK) প্রযোজ্যতা অন্বেষণ করা
  2. কেন্দ্রীকরণ ঝুঁকি হ্রাস করতে পুরস্কার প্রক্রিয়া অপ্টিমাইজ করা
  3. দক্ষতা উন্নত করতে সার্কিট পুনঃব্যবহার প্রক্রিয়া উন্নত করা
  4. আরও ধরনের উপকারী গণনায় সম্প্রসারণ করা

গভীর মূল্যায়ন

সুবিধা

  1. শক্তিশালী উদ্ভাবনী: প্রথমবার zk-SNARK উৎপাদনকে PoUW সর্বসম্মতির সাথে একত্রিত করা
  2. তাত্ত্বিক সম্পূর্ণতা: PoW-এর সমস্ত নিরাপত্তা প্রয়োজনীয়তা সম্পূর্ণভাবে পূরণ করা
  3. উচ্চ ব্যবহারিক মূল্য: দুটি গুরুত্বপূর্ণ ব্যবহারিক সমস্যা সমাধান করা
  4. গভীর বিশ্লেষণ: Petri নেট মডেলিং মাধ্যমে সিস্টেমেটিক মূল্যায়ন পরিচালনা করা
  5. গোপনীয়তা সুরক্ষা: WOO প্রযুক্তি ব্যক্তিগত ইনপুটের জন্য মার্জিত সমাধান প্রদান করে

অপূর্ণতা

  1. উচ্চ জটিলতা: সিস্টেম ডিজাইন তুলনামূলকভাবে জটিল, বাস্তবায়ন কঠিনতা বেশি
  2. কেন্দ্রীকরণ ঝুঁকি: প্রমাণ পুরস্কারের দ্বিঘাত প্রভাব অন্যায্যতার দিকে পরিচালিত করতে পারে
  3. স্কেলেবিলিটি সীমাবদ্ধতা: সার্কিট নিবন্ধন এবং বিশ্বস্ত সেটআপ বাধা হতে পারে
  4. ব্যবহারিক যাচাইকরণ অপূর্ণ: বাস্তব পরিবেশে বড় আকারের পরীক্ষার অভাব

প্রভাব

  1. একাডেমিক অবদান: PoUW ক্ষেত্রে নতুন গবেষণা দিকনির্দেশনা প্রদান করে
  2. ব্যবহারিক তাৎপর্য: আরও পরিবেশ-বান্ধব ব্লকচেইন প্রযুক্তি উন্নয়ন চালিত করতে পারে
  3. প্রযুক্তিগত অনুপ্রেরণা: WOO প্রযুক্তি অন্যান্য গোপনীয়তা গণনা দৃশ্যে প্রয়োগ করা যায়

প্রযোজ্য দৃশ্য

  1. বিপুল সংখ্যক zk-SNARK প্রমাণের প্রয়োজন এমন ব্লকচেইন অ্যাপ্লিকেশন
  2. উচ্চ গোপনীয়তা সুরক্ষা প্রয়োজনীয় গণনা আউটসোর্সিং দৃশ্য
  3. পরিবেশ-বান্ধব নতুন ব্লকচেইন প্রকল্প
  4. বিকেন্দ্রীভূত অ্যাপ্লিকেশনের জন্য সর্বজনীন গণনা ক্ষমতা প্রয়োজন

সংদর্ভ

পেপারটি ৪৮টি সম্পর্কিত সংদর্ভ উদ্ধৃত করে, যা PoW/PoUW প্রোটোকল, zk-SNARK প্রযুক্তি, ব্লকচেইন সর্বসম্মতি প্রক্রিয়া এবং অন্যান্য একাধিক ক্ষেত্রের গুরুত্বপূর্ণ কাজ অন্তর্ভুক্ত করে, গবেষণার জন্য একটি দৃঢ় তাত্ত্বিক ভিত্তি প্রদান করে।