گسترش بلاکچینهای مستقل، یک «دنیای چند-زنجیرهای» ایجاد کرده است. یک چالش بنیادی در این چشمانداز، ساخت یک بلاکچین رویهمنهاده امنتر با استفاده از دفترکلهای بلاکچینهای زیرین موجود، تنها با استفاده از عملیات خواندن و نوشتن است. این مقاله با عنوان «یک رویکرد مداری برای ساخت بلاکچینها روی بلاکچینها»، یک چارچوب نوآورانه ارائه میدهد که از نظریه مدارهای سوئیچینگ الهام گرفته است. این مقاله دو عملیات ترکیبی بنیادی—ترکیب سری و ترکیب مثلثی—را به عنوان بلوکهای سازنده برای ایجاد بلاکچینهای رویهمنهاده کلی تعریف میکند و تضمینهای ایمنی و زندهماندن حاصل را تحت مدلهای شبکه نیمههمگام و همگام تحلیل میکند.
نوآوری اصلی مقاله، برخورد با بلاکچینها به عنوان اجزای مدار است. امنیت یک زنجیره رویهمنهاده از ترکیب منطقی زنجیرههای زیرین آن مشتق میشود.
این عملیات دو بلاکچین را به صورت متوالی به هم متصل میکند. برای دو زنجیره زیرین تولیدکننده گواهی، ویژگیهای امنیتی زنجیره رویهمنهاده حاصل عبارتند از:
این شبیه یک گیت OR منطقی برای ایمنی و یک گیت AND منطقی برای زندهماندن است.
این عملیات شامل سه بلاکچین در پیکربندیای مشابه یک مدار موازی یا یک طرح آستانهای ۲ از ۳ است. ویژگیهای امنیتی عبارتند از:
این یک مبادله متفاوت ارائه میدهد که در مقایسه با ترکیب سری، زندهماندن را بر ایمنی ترجیح میدهد.
مقاله به طور صوری اثبات میکند که با اعمال بازگشتی ترکیبهای سری و مثلثی، میتوان یک بلاکچین رویهمنهاده روی n زنجیره زیرین ساخت تا به هر آستانه تابآوری مطلوب (f_s, f_l) دست یافت، که در آن:
قضیه کلیدی بیان میکند که تمام جفتهای ممکن (f_s, f_l) که 2f_s + f_l < n و f_l < n/2 را برآورده میکنند، میتوانند از طریق ترکیبهای مناسب شبیه مدار محقق شوند. این کار، پژوهشهای قبلی مانند زمانبندی بینزنجیرهای را تعمیم میدهد که تنها به نقطه (n-1, 0) دست یافته بود (ایمن اگر ۱ زنجیره ایمن باشد، زنده تنها اگر همه زنده باشند).
مدل، بلاکچینها را به عنوان ماشینهای حالتی که یک دفترکل L تولید میکنند صوریسازی میکند. امنیت توسط ایمنی (متناقض نبودن، غیرممکن بودن دیدگاههای منشعب) و زندهماندن (در نهایت گنجانده شدن تراکنشهای جدید) تعریف میشود. یک زنجیره زیرین B_i به عنوان یک اوراکل انتزاعیسازی میشود که یک گواهی تعهد C_i^t برای یک پیشوند دفترکل در یک زمان منطقی t فراهم میکند.
پروتکلهای ترکیب، نحوه بهروزرسانی حالت زنجیره رویهمنهاده S_ov را بر اساس پرسوجو از این اوراکلها تعریف میکنند. برای مثال، در یک ترکیب سری از زنجیرههای B_A و B_B، زنجیره رویهمنهاده ممکن است دفترکل را از B_A اتخاذ کند تنها در صورتی که با یک گواهی تعهد از B_B که آن را زمانبندی میکند سازگار باشد. این یک وابستگی ایجاد میکند که توسط فرمولهای منطقی ضبط میشود. اثباتهای امنیتی اصلی از استدلالهای تناقض و شبیهسازی رایج در ادبیات سیستمهای توزیعشده استفاده میکنند و نشان میدهند که نقض ایمنی در زنجیره رویهمنهاده، مستلزم نقض ایمنی در یک زیرمجموعه خاص از زنجیرههای زیرین خواهد بود که با آستانههای تابآوری فرض شده در تناقض است.
سناریو: ساخت یک صرافی غیرمتمرکز بینزنجیرهای (DEX) رویهمنهاده روی سه زنجیره تثبیتشده: اتریوم (Eth)، سولانا (Sol)، و آوالانچ (Avax).
هدف: اولویت دادن به ایمنی وجوه (بالا بودن f_s) در حالی که تأخیر گاهبهگاه (پایین بودن f_l) پذیرفته میشود.
انتخاب طراحی: استفاده از یک ترکیب مثلثی از سه زنجیره.
نتیجه: DEX به حداکثر تابآوری ایمنی دست مییابد—میتواند سناریویی را تحمل کند که در آن هر زنجیره منفرد به خطر بیفتد یا منشعب شود، زیرا دو زنجیره دیگر تأییدیه ارائه میدهند. زندهماندن حتی اگر یک زنجیره دچار از کارافتادگی شود حفظ میشود. این یک نمونهسازی عملی از نقطه (f_s=1, f_l=1) برای n=3 است.
بینش کلیدی: این فقط یک مقاله اجماع دیگر نیست؛ یک چارچوب بنیادی مهندسی سیستمها برای عصر چند-زنجیرهای است. نویسندگان با موفقیت مسئله پیچیده قابلیت همکاری بلاکچینها را به یک جبر تمیز و ترکیبپذیر انتزاعی تبدیل کردهاند. پیشرفت واقعی نشان دادن این است که ویژگیهای امنیتی فقط به ارث برده نمیشوند—بلکه میتوانند از طریق توپولوژیهای خاص به صورت برنامهنویسیشده مهندسی شوند، فراتر از پارادایم سادهلوحانه «پل به امنترین زنجیره» حرکت کنند.
جریان منطقی: استدلال ظریف است. با واقعیت چند-زنجیرهای به عنوان یک امر مفروض شروع کنید. مفهوم یک «منبع امنیتی» واحد را رد کنید. در عوض، به طراحی مدار قابل اعتماد از اجزای غیرقابل اعتماد (یک مسئله کلاسیک) تشبیه کنید. عملگرهای ترکیبی حداقلی و متعامد (سری، مثلثی) را تعریف کنید. اثبات کنید که کامل هستند (میتوانند هر پروفایل تابآوری ممکنی را بسازند). جریان از تشبیه به صوریسازی و سپس به قضیه کلی، قانعکننده است و نظریه موفق در علوم کامپیوتر را منعکس میکند، مشابه نحوهای که توافق بیزانس به ابتداییهای پخش سادهتر تجزیه شد.
نقاط قوت و ضعف:
نقاط قوت: کلیت نظری قدرتمند است. تشبیه مدار برای مهندسان شهودی است. رویکردهای قبلی موردی (مانند زمانبندی بینزنجیرهای) را به عنوان موارد خاص این چارچوب یکپارچه و توضیح میدهد. اثباتهای صوری قوی به نظر میرسند.
نقاط ضعف: مقاله به شدت نظری است. سربار واقعی همگامسازی چندین زنجیره (تأخیر، هزینه) به صورت سطحی مطرح شده است. مدل «نیمههمگامی»، اگرچه استاندارد است، ممکن است برای محیطهای بینزنجیرهای با زمانهای بلوک و مکانیزمهای قطعیت بسیار متفاوت خوشبینانه باشد. فرض میکند که زنجیرههای زیرین حوزههای شکست مستقل هستند—یک فرض خطرناک اگر بسیاری از زنجیرهها مجموعههای اعتبارسنج یکسانی داشته باشند، مسئلهای رایج در اکوسیستمهای اثبات سهام. در مقایسه با تحلیل متمرکز بر حمله و عینی در کارهایی مانند گزارشهای ممیزی پل ChainSecurity، این احساس یک نظریه از پایه تمیز را میدهد که اکنون باید با پیادهسازی در دنیای کثیف روبرو شود.
بینشهای قابل اجرا:
ارزش مقاله نه توسط قضایای آن، بلکه توسط پذیرش آن به عنوان یک زبان طراحی برای نسل بعدی زیرساختهای قابل همکاری تعیین خواهد شد. این پتانسیل را دارد که برای امنیت بینزنجیرهای همان کاری را انجام دهد که قضیه CAP برای پایگاههای داده توزیعشده انجام داد: ارائه یک مبادله بنیادی و اجتنابناپذیر که سیستمهای عملی باید حول آن ساخته شوند.
کاربردهای کوتاهمدت:
جهتهای پژوهش آینده: