Vitalik Buterin بیلبورد خصوصی آزتک را با تعدیل هوش مصنوعی می سازد

ویتالیک بوترین، یکی از بنیانگذاران اتریوم (ETH) یک تابلوی پیام آزمایشی آزتک منتشر کرده است که پست‌های ناشناس، سپرده‌های قابل استرداد و تعدیل خودکار را ترکیب می‌کند. نکات کلیدی: کاربران ETH را در اتریوم واریز می کنند، بدون افشای آدرس خود منتشر می کنند و بعداً وجوه را برداشت می کنند. یک سانسور تعیین‌شده و مدل هوش مصنوعی محلی می‌تواند پست‌هایی را که خط‌مشی تعدیل ذخیره‌شده در زنجیره را نقض می‌کنند پرچم‌گذاری کند. پروژه اولیه شامل 70 قضیه امنیتی است که به طور رسمی اثبات شده است، اگرچه چندین مشکل دسترسی و مرورگر حل نشده باقی مانده است. نسخه نمایشی بیلبورد آزتک بوترین این پروژه را یکشنبه از طریق Farcaster به اشتراک گذاشت و آن را به عنوان یک نسخه اسباب‌بازی «کد شده با حاله» از مفهوم بیلبورد ناشناس توصیف کرد که او در یک پست وبلاگی در سال 2022 درباره آن صحبت کرد. کد عمومی از طریق حساب GitHub او در دسترس است. این برنامه فرآیند ارسال خصوصی خود را در آزتک اجرا می کند. کاربران ETH را از طریق لایه پایه اتریوم واریز می کنند، واریز را در لایه 2 ادعا می کنند، پیام ها را بدون فاش کردن آدرس فرستنده منتشر می کنند، سپس وجوه خود را به لایه 1 برمی گردانند. داده‌های تماس عمومی یک پست را با سپرده اصلی مرتبط نمی‌کند. برداشت ها آدرس مقصد را نشان می دهند زیرا سیستم باید ETH را به جایی ارسال کند. قرارداد در هنگام استقرار یک سانسور را تعیین می کند. آن حساب می‌تواند پست‌ها را به‌عنوان «غیر اخلاقی» علامت‌گذاری کند، آن‌ها را از فید پیش‌فرض پنهان کند و قبل از اینکه نویسنده بتواند دوباره منتشر کند، دوره انتظار را تمدید کند. همچنین بخوانید: OpenAI IPO تا سال 2027 سقوط می کند زیرا سم آلتمن از چشمک زدن هنگام ارزش گذاری امتناع می کند قوانین تعدیل هوش مصنوعییک دیمون مدل زبان بزرگ محلی، پست‌های جدید را نظارت می‌کند و آنها را با خط‌مشی متن ذخیره‌شده در زنجیره مقایسه می‌کند. هنگامی که یک نقض را شناسایی می کند، ابزار از رابط خط فرمان برنامه برای پرچم گذاری پست استفاده می کند. فرکانس ارسال به اندازه سپرده کاربر بستگی دارد. واریز 0.001 ETH اجازه یک پست در ساعت را می دهد، در حالی که 0.01 ETH زمان خنک شدن را به اندازه ای کاهش می دهد که اجازه ارسال 10 پست در ساعت را می دهد. این مخزن می گوید تأیید رسمی Lean 4 محدودیت های نرخ، غربالگری سانسور، حریم خصوصی و ایمنی سپرده را از طریق 70 قضیه اثبات شده، بدون شکاف پذیرفته شده، پوشش می دهد. اما کار آزمایشی باقی می ماند و اسناد آن تغییرات ناتمام کنترل دسترسی و جریان های مرورگر را لیست می کند که به طور کامل آزمایش نشده اند. بوترین برای اولین بار این ایده گسترده تر را در سال 2022 به عنوان بخشی از جستجو برای برنامه هایی که حریم خصوصی را با مسئولیت پذیری ترکیب می کنند، بیان کرد.