ترجمه فارسی مقاله بررسی کاربردهای اثبات‌های بدون دانش

چکیده

Zero-knowledge proofs (ZKPs) represent a revolutionary advance in computational integrity and privacy technology, enabling the secure and private exchange of information without revealing underlying private data. ZKPs have unique advantages in terms of universality and minimal security assumptions when compared to other privacy-sensitive computational methods for distributed systems, such as homomorphic encryption and secure multiparty computation. Their application spans multiple domains, from enhancing privacy in blockchain to facilitating confidential verification of computational tasks. This survey starts with a high-level overview of the technical workings of ZKPs with a focus on an increasingly relevant subset of ZKPs called zk-SNARKS. While there have been prior surveys on the algorithmic and theoretical aspects of ZKPs, our work is distinguished by providing a broader view of practical aspects and describing many recently-developed use cases of ZKPs across various domains. These application domains span blockchain privacy, scaling, storage, and interoperability, as well as non-blockchain applications like voting, authentication, timelocks, and machine learning. Aimed at both practitioners and researchers, the survey also covers foundational components and infrastructure such as zero-knowledge virtual machines (zkVM), domain-specific languages (DSLs), supporting libraries, frameworks, and protocols. We conclude with a discussion on future directions, positioning ZKPs as pivotal in the advancement of cryptographic practices and digital privacy across many applications.

چکیده به فارسی (ترجمه ماشینی)

اثبات دانش صفر (ZKPS) نشان دهنده پیشرفت انقلابی در یکپارچگی محاسباتی و فناوری حفظ حریم خصوصی است و باعث می شود تبادل امن و خصوصی بدون آشکار کردن داده های خصوصی.ZKP ها از نظر جهانی بودن و حداقل فرضیات امنیتی در مقایسه با سایر روشهای محاسباتی حساس به حریم خصوصی برای سیستم های توزیع شده ، مانند رمزگذاری همرفومورفیک و محاسبات چند حزبی ، دارای مزایای منحصر به فرد هستند.برنامه آنها شامل چندین حوزه ، از تقویت حریم خصوصی در blockchain تا تسهیل تأیید محرمانه از کارهای محاسباتی است.این نظرسنجی با یک مرور کلی از عملکردهای فنی ZKP ها با تمرکز بر زیر مجموعه ای که به طور فزاینده ای از ZKPS به نام ZK-SNARKS انجام می شود ، آغاز می شود.در حالی که نظرسنجی های قبلی در مورد جنبه های الگوریتمی و نظری ZKP ها وجود داشته است ، کار ما با ارائه دیدگاه گسترده تر از جنبه های عملی و توصیف بسیاری از موارد استفاده اخیراً توسعه یافته از ZKP ها در حوزه های مختلف متمایز می شود.این دامنه های کاربردی شامل حریم خصوصی ، مقیاس بندی ، ذخیره سازی و قابلیت همکاری و همچنین برنامه های غیر مسدود کننده مانند رأی گیری ، احراز هویت ، تایمولاک و یادگیری ماشین هستند.این نظرسنجی همچنین با هدف پزشکان و محققان ، مؤلفه های بنیادی و زیرساخت هایی مانند ماشین های مجازی با دانش صفر (ZKVM) ، زبانهای خاص دامنه (DSL) ، پشتیبانی از کتابخانه ها ، چارچوب ها و پروتکل ها را نیز در بر می گیرد.ما با بحث در مورد مسیرهای آینده نتیجه می گیریم ، ZKP ها را به عنوان مهم در پیشرفت شیوه های رمزنگاری و حریم خصوصی دیجیتال در بسیاری از برنامه ها قرار می دهیم.