حریم خصوصی و مقررات مالی می تواند با اثبات ZK – Vitalik Buterin همزیستی داشته باشد

مقاله جدیدی که توسط Vitalik Buterin اتریوم نوشته شده است بر استفاده از شواهد دانش صفر به عنوان ابزاری برای انطباق با مقررات و حفظ حریم خصوصی در زنجیره تمرکز دارد.

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

این مقاله با توصیف Tornado Cash، یکی از محبوب‌ترین پروتکل‌های افزایش حریم خصوصی، آغاز می‌شود. Tornado Cash به کاربران اجازه می دهد بدون ایجاد پیوند قابل شناسایی بین دو آدرس، ارزهای دیجیتال را واریز و برداشت کنند. اخیراً، مقامات ایالات متحده اتهامات جنایی علیه بنیانگذاران آن به اتهام استفاده گسترده توسط بازیگران بد تنظیم کرده اند.

مقاله‌ای که توسط Jacob Illum، Matthias Nadler، Fabian Schaal و امین سلیمانی تالیف شده است، می‌گوید: «مشکل مهم Tornado Cash این است که کاربران قانونی ذاتاً در برابر حملات جنایی که توسط پروتکل جذب می‌شوند آسیب‌پذیر هستند». گزینه های او برای کناره گیری از این عمل محدود بود.”

سپس تجزیه و تحلیل شامل یک مدرک عضویت (“گواهی می‌دهم که برداشت‌های من از هیچ یک از این سپرده‌ها نشأت نمی‌گیرد”) و گواهی عدم پذیرش “گواهی می‌دهم که برداشت‌های من از هیچ یک از این سپرده‌ها سرچشمه نمی‌گیرد.” لطفاً ثابت کنید.

نویسندگان می گویند که این مفهوم تعادلی بین کاربران صادق و ناصادق پروتکل ایجاد می کند و به طور بالقوه می تواند انطباق مالی روی زنجیره را در آینده امکان پذیر کند.

ایده اصلی این پیشنهاد، اثبات دانش صفر است که به کاربران اجازه می دهد بدون افشای عمومی کل نمودار تجارت، ثابت کنند که وجوه آنها از منابع شناخته شده (غیرقانونی) سرچشمه نمی گیرد. این با اثبات: «عضویت در مجموعه‌ای از تداعی‌های سفارشی که دارای ویژگی‌های خاصی است که توسط مقررات یا اجماع اجتماعی لازم است.» ”

استخرهای حریم خصوصی به کاربران این امکان را می‌دهند که خود را از مجموعه‌های ناشناس که شامل آدرس‌های مرتبط با فعالیت‌های غیرقانونی بر اساس شواهد دانش صفر است (روشی برای اثبات آنچه گفته می‌شود بدون افشای جزئیات آنچه گفته می‌شود) کنار بگذارند.

ایده اصلی ارائه شده در این سند این است که به جای استفاده از دانش صفر برای اثبات اینکه برداشت با سپرده قبلی مرتبط است، کاربر می تواند از ارتباط محدودتری استفاده کند که ادعا می کند عضویت در مجموعه را اثبات می کند.

یک مجموعه ارتباطی می‌تواند شامل تمام سپرده‌های قبلی، فقط سپرده‌های خودتان یا هر چیز دیگری باشد. به عنوان ورودی عمومی، کاربر مجموعه را با ارائه یک ریشه Merkle مشخص می کند. برای سادگی، ما مستقیماً ثابت نمی‌کنیم که مجموعه ارتباطی در واقع زیرمجموعه‌ای از سپرده‌هایی است که قبلاً انجام شده است؛ در عوض، ما به سادگی از کاربر می‌خواهیم که مدرکی با دانش صفر از دو انشعاب مرکل ارائه کند.

برای نشان دادن این موضوع در زمینه اجرای قانون، نویسنده یک مثال ساده ارائه می دهد.

“فرض کنید ما پنج کاربر داریم: آلیس، باب، کارل، دیوید و حوا. چهار نفر اول کاربران صادق و قانونمندی هستند که می خواهند از حریم خصوصی خود محافظت کنند، اما ایو یک دزد است. فرض کنید این موضوع به طور عمومی شناخته شده است.”

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

”[…] فرض کنید که آلیس، باب، کارل و دیوید تمام سپرده‌های “خوب” دیگر را در مجموعه‌های ارتباطی خود لحاظ می‌کنند و سپرده ۵ را که از یک منبع غیرقانونی شناخته شده می‌آید، حذف می‌کنند. از سوی دیگر، حوا نمی تواند شواهدی برای جدا کردن برداشت از سپرده های خود ارائه دهد. ”

به گفته نویسندگان، این مثال یکی از استفاده‌های احتمالی از مجموعه‌های ارتباطی در پروتکل‌های استخر حریم خصوصی را نشان می‌دهد. توجه داشته باشید که این سیستم به نوع دوستی آلیس، باب، کارل و دیوید وابسته نیست؛ آنها انگیزه روشنی برای اثبات جدایی خود دارند.

این مقاله همچنین به کاربران اجازه می‌دهد بدون افشای اطلاعات بیشتر، تأیید کنند که وجوه آنها به منابع غیرقانونی مرتبط نیست یا از یک سری سپرده‌های خاص سرچشمه گرفته است. ما چندین مورد استفاده دیگر را برای اثبات دانش صفر ارائه می‌کنیم.

این مقاله استدلال می‌کند که اگر پروتکل‌های افزایش حریم خصوصی به کاربران اجازه می‌دهند تا ویژگی‌های خاصی را در مورد منشاء وجوه خود ثابت کنند، این موضوع ضروری نیست.

تحقیقات اخیر نشان می‌دهد که پروتکل‌هایی که روی راه‌حل‌های دانش صفر کار می‌کنند در حال افزایش هستند و شبکه اتریوم بر راه‌اندازی‌های بزرگ تسلط دارد. یافته‌ها نشان می‌دهد که مقیاس‌بندی راه‌حل‌های اثبات zk بیشترین رشد را در ۱۲ ماه آینده خواهد داشت، زیرا مقررات جهانی تکامل می‌یابد و کاربران به دنبال محافظت از حریم خصوصی خود هستند.

مجله: کتیبه بازگشتی – “ابر کامپیوتر” بیت کوین و BTC DeFi به زودی عرضه می شوند

نویسنده: Ana Paula Pereira