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

جدول پیوندها

1. چکیده و مقدمه

2. مقدماتی

3. نمای کلی

4. پروتکل

   4.1 پروتکل انتقال گزینه کارآمد

   4.2 گزینه های زنجیره ای بدون وثیقه دارنده

5. تجزیه و تحلیل امنیتی

   5.1 ویژگی های انتقال گزینه

   5.2 ویژگی های گزینه

6. پیاده سازی

7. کار مرتبط

8. نتیجه گیری و بحث، و مراجع

الف. کدها

ب. شواهد

B.2 گزینه

قضیه 6. پروتکل 4.2 صحت گزینه را برآورده می کند: اگر آلیس و باب هر دو مطابقت داشته باشند، اگر آلیس حق را اعمال نکند، آلیس 𝐴𝑠𝑠𝑒𝑡𝐴 را از دست نمی دهد و باب 𝐴𝑐𝑠 و . 𝐴𝑠𝑠𝑒𝑡𝐵؛ یا اگر آلیس حق را اعمال کند، آنگاه آلیس 𝐴𝑠𝑠𝑒𝑡𝐵 و باب 𝐴𝑠𝑠𝑒𝑡𝐴 و 𝐴𝑠𝑠𝑒𝑡𝐺 را دریافت خواهد کرد.

اثبات طبق پروتکل 4.2، بدیهی است که اگر آلیس وثیقه خود را در قرارداد 𝐶𝑜𝑛𝑡𝑟𝑎𝑐𝑡𝐴 تماس بگیرد و با 𝑒𝑥𝑒𝑟𝑐𝑜𝑛𝑐𝐴 تماس بگیرد، آن را فاش می کند تصویر اولیه 𝐵 در پس از آن، آلیس می تواند از 𝐵 برای به دست آوردن 𝐴𝑠𝑠𝑒𝑡𝐵 استفاده کند. اگر آلیس وثیقه را سپرد، باب فاش نمی‌کند…