چگونه از انصاف در قراردادهای اختیاری اطمینان حاصل کنیم

جدول پیوندها

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

2. مقدماتی

3. نمای کلی

4. پروتکل

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

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

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

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

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

6. پیاده سازی

7. کار مرتبط

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

الف. کدها

ب. شواهد

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

علاوه بر ویژگی‌های پروتکل در طول فرآیند انتقال اختیار، در اینجا ویژگی‌های قراردادهای اختیار معامله را بررسی می‌کنیم.

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

• قابلیت ورزش کردن: در حین انتقال سمت نویسنده، دارنده اختیار معامله می تواند بدون هیچ گونه تاخیر یا مانعی از اختیار معامله استفاده کند.

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

قضیه 6. پروتکل 4.2 صحت گزینه را برآورده می کند: اگر آلیس و باب هر دو مطابقت داشته باشند، اگر آلیس از …