fa یک طرح تعهد چندجمله‌ای مشبکه‌مبنا با اثبات‌کننده توزیع شده رمز و امنیت اطلاعات Cryptology and Information Security پژوهشی Research Article <span dir="RTL" lang="AR-IQ" style="font-size:11.0pt"><span b="" nazanin="" style="font-family:">طرح‌های تعهد چندجمله‌ای یکی از اولیه‌های مهم رمزنگاشتی هستند که نقش قابل توجهی در محاسبات وارسی‌پذیر و سامانه‌های اثبات و استدلال ناتراوا ایفا می‌کنند. به دلیل امنیت در برابر حملات کوانتومی از یک سو و کارآیی مناسب از سوی دیگر، طرح‌های تعهد چندجمله‌ای مشبکه مبنا مورد توجه قرار گرفته‌اند. یکی از چالش‌های موجود در طرح‌های تعهد چندجمله‌ای، زیاد بودن بار محاسباتی در سمت اثبات‌کننده است. این مسئله باعث می‌شود که استفاده از این طرح‌ها در سامانه‌های اینترنت اشیا، که دارای توان محاسباتی کم هستند، با محدودیت روبرو شود. در این مقاله نشان می‌دهیم که کارآیی یک طرح تعهد چندجمله‌ای مشبکه مبنا، با استفاده از رویکرد اثبات‌کننده توزیع شده، بهبود می‌یابد.</span></span> <span dir="RTL" lang="AR-IQ" style="font-size:11.0pt"><span b="" nazanin="" style="font-family:">&nbsp;براساس تحلیل‌های نظری در این پژوهش سربار محاسباتی اثبات‌کننده اصلی تا حدود 94% کاهش می‌یابد.</span></span> <span dir="RTL" lang="AR-IQ" style="font-size:11.0pt"><span b="" nazanin="" style="font-family:">همچنین، سربار محاسباتی هر یک از اثبات‌کننده‌های زیردست در حدود 0.3%&nbsp; اثبات‌کننده</span></span> <span dir="RTL" lang="AR-IQ" style="font-size:11.0pt"><span b="" nazanin="" style="font-family:">متمرکز است و نشان می‌دهیم که این طرح ویژگی‌های امنیتی کامل بودن و صحت دانش را برآورده می‌سازد.</span></span> <span style="font-size:10pt"><span new="" roman="" style="font-family:" times=""><span style="color:black">Polynomial commitment schemes are among the fundamental cryptographic primitives, playing a significant role in verifiable computation and non-interactive proof systems. Due to their resistance to quantum attacks on the one hand and their favorable efficiency on the other hand, lattice-based polynomial commitment schemes have attracted considerable attention. One of the main challenges in these schemes is the high computational overhead on the prover side. This issue limits their applicability in Internet of Things (IoT) environments, where computational resources are constrained. In this paper, we demonstrate that the efficiency of a lattice-based polynomial commitment scheme can be improved using a distributed prover approach. Based on our theoretical analysis, the computational overhead of the main prover is reduced by approximately 94%. Furthermore, the computational overhead of each subordinate prover is about 0.3% of that of a centralized prover. We also show that the proposed scheme satisfies the security properties of completeness and knowledge soundness.</span></span></span><br> &nbsp; طرح تعهد چندجمله‌ای, محاسبات وارسی‌پذیر, رمزنگاری مشبکه‌مبنا, محاسبات توزیع شده polynomial commitment scheme, verifiable computation, lattice-based cryptography, distributed computation 96 108 http://monadi.isc.org.ir/browse.php?a_code=A-10-572-1&slc_lang=fa&sid=1 Mohammad Sadegh Ahmadi محمدصادق احمدی mohammadsadegh.ahmadi@ee.sharif.edu 10031947532846002346 10031947532846002346 No Sharif University of Technology دانشگاه صنعتی شریف Taraneh Eghlidos ترانه اقلیدس teghlidos@sharif.edu 10031947532846002347 10031947532846002347 Yes Sharif University of Technology دانشگاه صنعتی شریف