چرا اثبات اینکه یک مدل به درستی اجرا شده هنوز بیشتر از خود اجرای آن طول می‌کشد؟
فرصت
اثبات‌های با دانش صفر از استنتاج یادگیری ماشین می‌توانند تأیید کنند که یک مدل خروجی مشخصی را از ورودی مشخصی تولید کرده، بدون اینکه وزن‌ها را فاش کنند. این قابلیت به برنامه‌های کریپتو اجازه می‌دهد خروجی‌های هوش مصنوعی را بدون نیاز به TEEها یا اعتبار اپراتور، به‌صورت بی‌نیاز به اعتماد مصرف کنند. مشکل در کارایی است: تولید یک اثبات ZK برای مدلی در مقیاس GPT-2 ده‌ها دقیقه طول می‌کشد؛ در مقیاس GPT-3 این زمان به ساعت‌ها می‌رسد. حساب اعشاری در ترانسفورمرها به‌صورت ناکارآمدی به مدارهای حسابی کامپایل می‌شود و مکانیزم توجه به‌ویژه هزینه‌بر است. اثبات مبتنی بر TEE این شکاف را می‌پوشاند اما به جای ریاضیات، نیازمند اعتماد به فریمور سازنده سخت‌افزار است. تا زمانی که تولید اثبات دو تا سه مرتبه از بزرگی کاهش نیابد، هر اولیه هوش مصنوعی قابل‌تأیید در کریپتو در حال معامله یک فرض اعتماد به جای دیگری است.
چرا اهمیت دارد
وعده بی‌طرفی معتبر هوش مصنوعی بومی کریپتو به اثبات‌های ZK وابسته است که به اندازه کافی سریع باشند تا در محیط تولید استفاده شوند، و امروز چنین نیستند.
نحوه امتیازدهی به فرصت
امتیاز فرصت برداشت شخصی من است، نه یک سنجش دقیق: چقدر درد ایجاد می‌کند، چند بار گریبان می‌گیرد، و چقدر راه‌حل کمی برای آن وجود دارد. امتیاز بالاتر یعنی فکر می‌کنم ساختنش بیشتر ارزش دارد.
چقدر وقتی ظاهر می‌شود دردسر ایجاد می‌کند.
چند بار مردم واقعاً با آن مواجه می‌شوند.
چقدر ابزار مناسب برای آن امروز کمیاب است.
مشکلات بیشتری که ارزش حل کردن دارند
حساب بانکی یک عامل هوش مصنوعی در واقعیت چه شکلی است؟
AI x Cryptoآیا یک سازمان زنجیره‌ای اداره‌شده توسط عوامل می‌تواند از تبدیل شدن به ماشین کلاهبرداری اجتناب کند؟
AI x Cryptoچطور می‌توان اثبات کرد که یک عکس یا صدا واقعی است، بدون اینکه پلتفرمی آن را تضمین کند؟
AI x Cryptoچرا هویت روی زنجیره یا هیچ است یا تمام زندگی‌ات؟
AI x Cryptoچگونه می‌توانم بررسی کنم که کدام عامل در طول یک زنجیره تفویض اختیار، تحت هویت من عمل کرده است؟
AI x Cryptoچرا هر معامله‌ای که عامل من انجام می‌دهد، مسئولیتی ایجاد می‌کند که قادر به اندازه‌گیری آن نیستم؟