Trustodial: یک معضل هستی شناختی

انتقادات زیادی پس از اعلام اخیر مبنی بر اینکه کیف پول Satoshi به لطف ادغام سیستم “جرقه” اخیر Lightspark ، به طور خاص در مورد مسئله مدل های اعتماد و اینکه آیا نسخه جدید کیف پول Satoshi یک کیف پول غیرقانونی را تشکیل می دهد ، به ایالات متحده باز خواهد گشت.

Spark سیستمی است که مبتنی بر StateChains (مقاله توضیح دهنده در آنجا) است. StateChains واضح ترین مدل Trust Cut Trust را ندارد. Spark در اصل نسخه کانال کارخانه StateChains است ، و تعداد زیادی از Statechains در داخل یک درخت معامله ساخته شده است که بر روی یک UTXO در زنجیره ای ساخته شده است.

StateChains یک سیستم لایه 2 است که به کل UTXO اجازه می دهد تا آزادانه از زنجیره ای بدون محدودیت نقدینگی منتقل شوند ، اما با نیاز به پذیرش برخی از مبادلات اعتماد. شما باید اعتماد داشته باشید که یک اپراتور ، ارائه دهنده خدمات اساساً ، هر بار که StateChain منتقل می شود ، مطالب کلیدی خصوصی را حذف می کند.

بنابراین بیایید ببینیم چه چیزی چیزی غیرقانونی ایجاد می کند.

• کاربر کنترل یک جانبه بر وجوه خود یا توانایی بازیابی مجدد آن را دارد.
• هیچ یک از طرفین (یا طرفین) این توانایی را ندارد که از هزینه کاربر برای هزینه های خود جلوگیری کند ، یا توانایی آنها را بازیابی کند یا آنها را بدون درگیری کاربر خرج کند.

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

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

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

اگر اپراتور سهام Old Key را حذف نکند ، ممکن است آنها با هر کاربر گذشته که سهم اصلی خود را برای سرقت وجوه در Statechain نگه داشته است ، همکاری کنند.

اپراتور

اگر اپراتور هر بار که StateChain منتقل می شود ، آنچه را که قرار است انجام دهند انجام می دهد و سهام کلیدی قدیمی خود را حذف می کند ، آنها یک سیستم حضانت نیستند. آنها از نظر جسمی قادر به امضای معاملات با همکاری هر کسی هستند به جز صاحب فعلی و حق Statechain. معاملات از پیش امضا شده کاهش زمان بندی تضمین می کند که مالک فعلی می تواند همیشه معامله برداشت آنها را قبل از هر مالک قبلی تأیید کنید.

اپراتورها حتی می توانند نرم افزار خود را در یک Enclave SGX یا سایر محیط محاسبات ایمن اجرا کنند و از Enclave رفتار صحیح نرم افزار را اجرا کنند. این حتی می تواند اثبات (به شما اعطا شود که به محیط زیست اعتماد نکنید) از این امر که دیگران می توانند آن را تأیید کنند.

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

کاربران

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

اما آنها باید اعتماد کنند که اپراتور پروتکل را صادقانه عمل می کند و سهام کلیدی گذشته را حذف می کند. هیچ راهی برای آنها وجود ندارد واقعاً تأیید کنید که همانطور که در بالا ذکر شد ، چیزی مانند SGX Enclave می تواند امنیت نرم افزار اپراتور را کنترل کند و اثبات آن را امضا کند که نرم افزار صادقانه را اجرا می کند. اما تمام کارهایی که انجام می دهد این است که نقطه اعتماد به دور از اپراتور و روی اینتل ، سازندگان Enclave SGX.

حتی هنگام برخورد با یک اپراتور واقعاً صادق ، که فقط نرم افزار صادقانه ای را اجرا کرده و هرگز یک کاربر واحد را فریب نداده است ، یک کاربر هرگز نمی تواند واقعاً دانستن که آنها یک اپراتور صادق هستند. آنها فقط می توانند ببینند که اپراتور بوده است صادقانه ، و امیدوارم که آنها همچنان ادامه داشته باشند.

بنابراین …؟

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

مشکل این است که قابل اثبات نیستبشر

هیچ راهی برای تأیید بی اعتماد به عنوان کاربر وجود ندارد که شما کنترل بی اعتماد بر وجوه خود داشته باشید. حتی اگر واقعاً این کار را انجام دهید.

بنابراین مشکلی در برچسب زدن آن به عنوان غیرقانونی وجود دارد ، زیرا حتی اگر این امکان وجود داشته باشد که یک کاربر همیشه آن را تأیید کند. اما همچنین مشکلی در تماس با آن وجود دارد ، زیرا اپراتور نمی تواند بدون همکاری با کاربر دیگر ، کاری را برای جابجایی وجوه انجام دهد و کاربر فعلی دارای یک معامله برداشت یک جانبه است. این یک معضل از نظر طبقه بندی ابزارها در فضا ایجاد می کند.

من نمی دانم راه حل چیست ، اما اولین قدم که فکر می کنم تصدیق واقعیت های فنی که قبل از پرش برای برچسب زدن چیزها به یک روش یا روش دیگر (چرا یک دسته جدید نیست؟) به دلیل مشوق های شخصی شما اتفاق می افتد. این نوع سؤالات ، به ویژه در محیطی از تغییرات پروتکل بیت کوین آهسته یخچال ، بیشتر می شوند ، زیرا توسعه دهندگان با تجارت محدودیت های فعلی بیت کوین می جنگند.

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