به سوی ترکیب پذیری اتمی جهانی: ترکیب Zk-proof

:::info این مقاله در arxiv تحت مجوز CC 4.0 موجود است.

نویسندگان:

(1) Dipankar Sarkar، Cryptuon Research و [email protected]

:::

  • چکیده و مقدمه
  • مدل رسمی – جمع‌آوری‌ها با استخر مشترک غیرمتمرکز (DCP)
  • ترکیب پذیری اتمی و ضد ZK
  • ترکیب Zk-proofs
  • کاربرد مدل رسمی
  • نتیجه گیری و مراجع

\

4 ترکیب Zk-proofs

برای ادغام zk-proofs به طور موثر در مدل، نیاز است که rollup های شرکت کننده در این سیستم با zk-proof سازگار باشند. آنها باید بتوانند این شواهد را به طور مؤثر تولید و تأیید کنند. علاوه بر این، استانداردسازی اثبات‌های مربوط به ترکیب‌پذیری اتمی برای اطمینان از عملیات درون‌آمیزی روان ضروری است. [4].

\ 1. توابع تأیید: توابع تأیید را در مدلی که از zkproofs استفاده می کنند، معرفی کنید. این توابع می توانند به سرعت صحت و تکمیل تراکنش های وابسته را بدون نیاز به شفافیت کامل تراکنش ها تایید کنند. [2].

\ 2. کاهش نیاز بافر: با zk-proofs که وابستگی های تراکنش را تقریباً فوراً تأیید می کند، نیاز به بافر گسترده را می توان کاهش داد. تراکنش ها را می توان به سرعت پس از تأیید تأیید zk-proof آنها انجام داد [3].

\ 3. حفظ حریم خصوصی: از آنجایی که zk-proof می تواند عبارات را بدون…