د خوندي کراس چین مداخلې لپاره د ګډ امنیت کارول

د بلاکچین پلونو بریدونو سره چې د ملیارد ډالرو زیانونو لامل کیږي ، دا د حیرانتیا خبره نده چې د کراس چین امنیت په اړه بحثونه ډیری وختونه شدید بحثونه رامینځته کوي. مګر موږ د یو ډیر عملي چلند په اخیستو باور لرو - هغه یو چې د لومړي اصولو څخه د خوندي مداخلې ستونزې تحلیل کول او د کراس چین غوښتنلیکونو او د دوی کاروونکو لپاره د خوندیتوب تضمین ډیرولو لپاره میکانیزمونه ډیزاین کول شامل دي.

پدې مقاله کې، موږ به د ګډ امنیت مفهوم وپلټئ او دا به تشریح کړو چې څنګه د ګډ امنیت ډیزاینونه (لکه د لاګرینج دولتي کمیټې) کولی شي د متقابل عمل پروتوکولونو لپاره د معنی لرونکي خوندیتوب ملکیتونو بوټسټریپ لګښت کم کړي. پداسې حال کې چې موږ د کراس چین مخابراتو پروتوکولونو لپاره په ګډ امنیت تمرکز کوو، هر غیر متمرکز غوښتنلیک - د کارونې قضیې په پام کې نیولو پرته - کولی شي د دې رامینځته کیدونکي ټیکنالوژۍ څخه کار واخلي ترڅو کافي غیر مرکزي کولو او باور کمولو ترلاسه کړي پرته له دې چې ډیر عملیاتي سرې مصرف کړي.

د ګډ امنیت لپاره غیر رسمي پیژندنه

"شریک امنیت" هغه امنیت ته اشاره کوي چې یو پروتوکول د یوې بهرنۍ سرچینې څخه اخیستل کیږي. په یوه ګډ امنیتي سکیم کې، سرچینې په یوه پروتوکول کې د برخه اخیستونکو لخوا راټول شوي (د بیلګې په توګه، پانګه یا کمپیوټري ځواک) د بل پروتوکول لپاره د اقتصادي امنیت رامینځته کولو لپاره کارول کیږي. شریک امنیت د معیاري ماډل څخه توپیر لري چیرې چې هره شبکه د خپل امنیت مسؤلیت لري.

عامه بلاکچینونه لکه Bitcoin او Ethereum، د بیلګې په توګه، د سیبیل مقاومت میکانیزمونو سره د توافق الګوریتمونه ترکیب کوي - لکه د کار ثبوت یا د سټیک ثبوت - ترڅو ژوند تضمین کړي او په ورته وخت کې د مخالفو بریدونو لګښت زیات کړي (د مثال په توګه د سیبیل بریدونه ، اوږد مهاله بریدونه ، eclipse) بریدونه ، د وخت غلو بریدونه ، او د رشوت بریدونه ).

که څه هم ګډ امنیتي سکیمونه په مختلف ډول کار کوي، اهداف معمولا د دوو موخو شاوخوا ګرځي:

• په بلاکچین شبکو کې د پانګې موثریت زیاتول پرته لدې چې اضافي خطر رامینځته کړي (د خطر سټیکینګ) یا اضافي امنیت انګیرنې معرفي کړي.
• د بلاکچین شبکو ظرفیت ته وده ورکول (په ځانګړي توګه نوي پروتوکولونه) ترڅو د غیرقانوني دولتي لیږدونو، بیا تنظیمونو، سانسور مقاومت، او نور د پروتوکول ژوند او خوندیتوب باندې د بریدونو په وړاندې دفاع وکړي.

ګډ امنیت په حقیقت کې نوی مفهوم نه دی. د مثال په توګه، د ضم کولو کان کیندنه په 2011 کې معرفي شوه، کان کیندونکو ته توان ورکوي چې د ورته کریپټوګرافیک پروف-آف-ورک (PoW) څخه کار واخلي ترڅو په دوو (یا ډیرو) مختلف PoW زنځیرونو کې بلاکونه رامینځته کړي چې د ناکاموټو توافق پلي کوي. دې د نوي PoW-based پروتوکولونو ته اجازه ورکړه (لکه Namecoin او Rootstock)، چې اصلي ټیکونه یې د کان کیندونکو څخه د پام وړ ګټو راجلبولو لپاره کافي ارزښت نه و ترلاسه کړی، ترڅو د Bitcoin شبکې خوندي کولو لپاره وقف شوي کمپیوټري سرچینو بیا کارولو سره امنیت شریک کړي ترڅو د بلاکونو ستونزې زیاتې کړي. په نوي پروتوکول کې.

دې وویل، د کان کیندنې یوځای کول د غیر متمرکز شبکو لپاره د حساب ورکونکي خوندیتوب نشتوالي له امله د اقتصادي امنیت ضعیف شکل چمتو کوي. په اکاډمیک ادب کې، حساب ورکوونکي خوندیتوب د پروتوکول وړتیا منعکس کوي ترڅو د نوډونو کشف کړي چې (احتمالا) د پروتوکول قواعد سرغړونه کوي او ناوړه چلند مجازات کوي. د مثال په توګه، د سټیک پراساس پروتوکولونو ثبوت نوډونو ته اړتیا لري ترڅو په توافق کې برخه اخیستو دمخه تضمین بند کړي (د پروتوکول اصلي نښه په نښه کولو سره) ، او کولی شي دا تضمین له مینځه یوسي ("سلیش") که چیرې د اعتبار کونکي ناوړه چلند شواهد څرګند شي.

د انضمام کان کیندنې په حالت کې، هغه نوډونه چې په قصدي توګه د انضمام شوي کان کیندنې سلسله کې ناسم بلاکونه مني، په اعتبار سره نشي موندل کیدی. سربیره پردې، دا ناشونې ده چې ویل شوي نوډونو ته سزا ورکړل شي (حتی که دا ممکنه وي چې دوی وپیژني) ځکه چې دا به د کان کیندنې هارډویر سوځولو یا ویجاړولو په څیر سخت اقدام ته اړتیا ولري. په داسې حال کې چې په امنیت باندې د بریدونو له امله د ضم شوي ماین چینې نښه ارزښت له لاسه ورکولو ګواښ ممکن د بازنطین چلند هڅولو لپاره کافي ښکاري، ناوړه کان کیندونکي لږ له لاسه ورکوي ځکه چې د اصلي سلسلې ارزښت (د بیلګې په توګه Bitcoin) د اغیزمن کیدو احتمال نلري.

د ګډ امنیت عصري مفکورې نه یوازې د حساب ورکونې خوندیتوب شاملولو لپاره وده کړې، بلکې د ګډ امنیت د بنسټ په توګه د پانګې اچونې مختلف واحد - پانګې - کارولو ته هم لیږدول شوي. په دې ډیزاین کې، یو بیس پروتوکول شتون لري چې د نورو PoS پروتوکولونو لپاره امنیت چمتو کوي. نوډونه د ثانوي شبکې په خوندي کولو کې د ګډون کولو دمخه د لومړني شبکې سره یوځای کیږي (د شبکې اصلي نښه د ونډې په توګه بندولو سره).

دا ډیزاین کولی شي مختلف ډولونه واخلي:

• اعتبار کونکي په ورته وخت کې په لومړني شبکه او ثانوي شبکه کې برخه اخلي
• د اعتبار کونکو یوه فرعي سیټ (له ابتدايي شبکې څخه) په تصادفي ډول نمونه کیږي ترڅو د ثانوي شبکې اعتبار او خوندي کړي
• ثانوي شبکه په ابتدايي شبکه کې تړل شوي د اعتبار ورکوونکو خپلواکه سیټ لخوا خوندي کیږي
• د ابتدايي شبکې اعتبار کونکي بیا په ثانوي شبکه کې اعتبار ورکوونکو ته پانګه اچوي

د پلي کولو توضیحاتو ته په پام سره، د پورته بیان شوي ګډ امنیتي سکیمونو لپاره مهم توضیحات دا دي چې د اساس پروتوکول باید د اعتبار کونکو مجازاتو وسیله ولري چې په ثانوي شبکه کې ناوړه عمل کوي. څرنګه چې د ثانوي شبکې خوندي کولو لپاره لږ پانګه شتون لري، نو د پروتوکول د ناوړه ګټې اخیستنې احتمال یوه اصلي اندیښنه ده.

د حل لاره دا ده چې ډاډ ترلاسه شي چې یو یا څو صادق ګډون کونکي (اقلیت رامینځته کوي) کولی شي د شخړې په پیل کولو او اساس پرت ته د پروتوکول - سرغړونې چلند شواهد په خپرولو سره اکثریت حساب ورکونکي وساتي. که د اساس پروتوکول (د "قاضي" په توګه عمل وکړي) دا شواهد ومني، بې ایمانه اړخونه په ابتدايي شبکه کې د تضمین (د بانډ په توګه ساتل) په کمولو سره مجازات کیدی شي. په مهمه توګه، اساس پرت باید یوازې چمتو شوي شواهد تصدیق کړي، او د شخړو د حل کولو دمخه د اضافي اجماع اجرا کولو ته اړتیا نلري - د همغږۍ کمول.

ډیر دقیق ټکی دا دی چې ناوړه چلند باید یو څه اړخ ته منسوب وي ترڅو د اغیزمن کیدو میکانیزمونه کم کړي. په PoS-based شبکو کې، تصدیق کونکي اړین دي چې عامه - خصوصي کلیدي جوړه جوړه کړي چې د توافق پروتوکول کې د ځانګړي کریپټوګرافیک پیژندنې په توګه کار کوي. د معمول دندو په جریان کې، لکه د بلاکونو وړاندیز کول یا د بلاکونو (د اعتبار) تصدیق کول، یو اعتبار کونکی د بلاک ډیټا د خپل شخصي کیلي سره لاسلیک کوي - په مؤثره توګه دا انتخاب ته پابند کوي.

دا د دې امکان برابروي چې د مختلف عملونو لپاره یو اعتبار کونکی سلیش کړي چې د پروتوکول خوندیتوب یا ژوندیتوب باندې د برید په توګه رامینځته کیږي (یا دواړه په ځینو مواردو کې):

• د ورته مودې په جریان کې د دوه متضاد بلاکونو لاسلیک کول (په رسمی توګه د "انډول کولو" په نوم پیژندل کیږي)
• د ناسم بلاک لاسلیک کول (که د وړاندیز یا تصدیق پرمهال وي)
• د یو یا ډیرو معاملو سانسور کول
• د بلاک ډیټا ځینې یا ټولې برخې پټول

پداسې حال کې چې لومړی دوه جرمونه په ورته ډول کشف کیدی شي (د دې لاسلیک څخه د اعتبار کونکي عامه کیلي بیرته ترلاسه کولو سره) ، وروستنۍ دوه نور میکانیزمونو ته اړتیا لري لکه د شاملولو لیستونه او د پاکولو کوډونه . په ټولو قضیو کې، د کریپټوګرافي کارول د ناوړه چلند معتبر کشف او مجازات وړوي کوم چې کولی شي په پروتوکول کې ځینې مطلوب امنیتي ملکیتونه له مینځه یوسي — لکه د سانسور مقاومت او د معاملو اعتبار. دا د "کریپټو اقتصادي امنیت" معنی په اړه ځینې شرایط وړاندې کوي، کوم چې د غیر متمرکز شبکو خوندي کولو لپاره د اقتصادي هڅونې سره د کریپټوګرافیک میکانیزمونو سره یوځای کول شامل دي.

موږ کولی شو دا مفکوره روښانه کړو - او دا د یوځای کولو کان کیندنې سره پرتله کړو - د نوي PoS بلاکچین مثال په کارولو سره چې د ایتیریم امنیت شریکوي. زموږ د لوبو پروتوکول لاندې ځانګړتیاوې لري (یادونه وکړئ چې یو ډیر ساده مثال دی چې د توضیحي موخو لپاره کارول کیږي):

• د نوډ آپریټرانو ته اړتیا ده چې د PoS شبکې کې د اعتبار کونکو په توګه لیست کولو دمخه د Ethereum سمارټ قرارداد کې د تضمین په توګه د ETH ټوکنونو مشخص مقدار زیرمه کړي.
• د دورې په جریان کې ، د PoS پروتوکول کې د بلاک وړاندیز کونکي د بلاک سرلیکونو هشونه (چې د اعتبار کونکو لاسلیکونه پکې شامل دي) Ethereum ته په سمارټ قرارداد کې ذخیره کولو سره وسپاري.
• امنیت د درغلیو د ثبوتونو پر بنسټ والړ دی - د اصلي سلسله (ایتیروم) د دولت لیږد نه تاییدوي، مګر دا کولی شي یو ضد بیلګه تایید کړي چې ښیې د یو ځانګړي دولت لیږد باطل دی
• د زنځیر سلیش کولو میکانیزم فعال کیږي که چیرې د یو ځانګړي دولت لیږد د یو یا ډیرو اړخونو لخوا شخړه وي

اوس، فرض کړئ چې په ثانوي شبکه کې د ناوړه ډیری نوډونو سره یوځای شوي ترڅو د پل قرارداد کې زیرمه شوي فنډونو غلا کولو لپاره یو ناسم بلاک حتمي کړي. په دې سناریو کې، یو صادق اعتبار کونکی به په Ethereum کې د زنځیر سلیش کولو میکانیزم د درغلۍ ثبوت خپرولو او د پروتوکول سرغړونکي تصدیق کونکي پیژندلو سره رامینځته کړي. که د پروتوکول قواعد اجازه ورکوي چې د اعتبار کونکي ټول ونډې کم کړي، نو د PoS سلسله فاسد لګښت د ډیری تایید کونکو لخوا د ټاکل شوي مقدار سره متناسب دی.

دا بیلګه ښیي چې څنګه حساب ورکوونکی خوندیتوب د امنیت ډیزاین شریکوي او په اغیزمنه توګه کوچني شبکو ته اجازه ورکوي چې د لوی پروتوکولونو لخوا خوندي شي چې د پام وړ اقتصادي امنیت یې وده کړې او د غیر متمرکز کولو او بې اعتمادۍ لوړې کچې ویاړي. موږ دا هم لیدلی شو چې د پروف- آف اسټیک میکانیکونه د ګډو کان کیندنې په پرتله د خوندیتوب قوي مفکورې سره د ګډ امنیت ډیزاینونو لامل کیږي (کوم چې د اقتصادي امنیت اساس په توګه کمپیوټري ځواک کاروي).

سربیره پردې ، دا د نوي پروتوکول مفکوره معرفي کوي چې د "بوټسټریپینګ ستونزې" کمولو لپاره د سټیک لپاره د بلې شبکې نښه کاروي (چیرې چې نوی بلاکچین پروتوکول ټیټ اقتصادي امنیت لري ځکه چې د دې نښه کافي ارزښت نه دی ترلاسه کړی). پداسې حال کې چې د بوټ سټریپینګ ستونزه د لارو چارو سره حل کیدی شي — لکه د کان کیندنې ادغام — چې د اقتصادي امنیت واحد په توګه د هارډویر پانګوونې څخه کار اخلي ، دا ډول ګډ امنیت د ځینې دلایلو لپاره خورا غوره دی (چې ځینې یې موږ دمخه پیژندلي دي):

• د پانګې پانګونه - کوم چې د اعتبار وړ نوډونو لپاره په ناوړه چلند باندې د پام وړ لګښتونه لګول کیږي - د اقتصادي امنیت لپاره د ګټې اخیستنې لپاره پیچلي او ستونزمن کار دی. د PoW ادغام کان کیندنې په قضیه کې د پانګې پانګونې روښانه کول به خورا سخت اقدام ته اړتیا ولري لکه د احتمالي ناوړه چلند په صورت کې د کان کیندنې هارډویر ویجاړول ، کوم چې په ریښتیني نړۍ حالتونو کې غیر واقعیت لري او ګټه اخیستنه یې ستونزمنه ده.
• د کانونو ادغام (یا کومه ګډه امنیتي طرحه چیرې چې په اجماع کې برخه اخیستنه د زیربنا په چلولو پورې تړلې وي) اندازه کول ستونزمن دي. د مثال په توګه، د یو کان کیندنې د ROI د کمیدو څخه دمخه یو لوړ حد شتون لري چې څومره PoW زنځیرونه په یو وخت کې یوځای کیدلی شي.

په مقابل کې، د PoS پر بنسټ شریک شوي امنیتي سکیمونه چې د پانګې اچونې د واحد په توګه د پانګې اچونې څخه کار اخلي ځینې ځانګړتیاوې لري چې د نوي شبکو د بوټسټراپ کولو ستونزې په اغیزمنه او اغیزمنه توګه حل کولو لپاره ګټورې دي:

• د سرمایه ګذارۍ پانګې څرګندې دي (سټیکر د تضمین لپاره د اړتیاو پوره کولو لپاره د ټوکنونو په اخیستلو کې پانګه اچوي) او د اقتصادي امنیت د قوي او کنکریټ تضمین لپاره ګټه اخیستل کیدی شي. د مثال په توګه، دا په اسانۍ سره لیدل کیدی شي چې یو پروتوکول ممکن ډیر خوندي وي کله چې دا د 1 ETH ارزښت لري د 0.9 ETH ارزښت لیږد خوندي کوي په پرتله کله چې د 0.9 ETH ارزښت ارزښت د 1 ETH ارزښت لیږد خوندي کوي.
• څرنګه چې په اجماع کې ګډون د "خالص" پانګې اچونې سره تړلی دی، نو د اقتصادي امنیت اندازه کول اسانه دي او د اعتبار وړ کونکي لري پرته له دې چې ډیرې همغږۍ زیاتې کړي (په ځانګړې توګه کله چې د هارډویر اړتیاوې ټیټې وي).

سره له دې، هره تګلاره به نیمګړتیاوې ولري او د امنیت له لارې شریکول هیڅ استثنا نه ده. د مثال په توګه، دا معلومول چې څومره تضمین کونکي باید په PoS پروتوکول کې ځای په ځای کړي یوه ستونزمنه ستونزه ده چې حل شي. موږ به دا د مخکینۍ پراګراف څخه د دې بیان په پام کې نیولو سره په شرایطو کې واچوو: " دا تصور کول اسانه دي چې یو پروتوکول ممکن ډیر خوندي وي کله چې دا د 1 ETH ارزښت لرونکی ونډې لري د 0.9 ETH ارزښت په پرتله د 0.9 ETH ارزښت لیږد خوندي کوي. د ونډې د 1 ETH ارزښت لیږد خوندي کوي. »

پداسې حال کې چې دا بیان مناسب ښکاري، یو ژور تحلیل د غوره بانډ اړتیا په ټاکلو کې ستونزې څرګندوي:

• د 0.9 ETH ارزښت د شتمنیو خوندي کولو لپاره د اعتبار کونکو څخه 1 ETH ته اړتیا د پانګې موثریت کموي او پایله یې د زیاتوالي لامل کیږي.
• د 1 ETH ارزښت د ونډې سره د 2 ETH ارزښت لیږد خوندي کول په PoS بلاکچین کې اقتصادي بینډ ویت (یا "استعمال") کموي او د زیربنایی کیدو لامل کیږي.

په یوه مثالي سناریو کې، د پروتوکول ډیزاینر به غوره وي چې د 1 ETH ونډه ولري چې د 1 ETH ارزښت لیږد خوندي کړي. خو دا ډول انډول په حقیقي نړۍ کې د مختلفو دلایلو له مخې ترلاسه کول ستونزمن دي. د مثال په توګه، د پانګې مقدار چې د هر یونټ وخت خوندي کیږي (په هر بلاک/عصر کې د معاملو د حاشیې ارزښت فعالیت) متحرک دی. دا د PoS سیسټم کې د مثالي بانډ تنظیم کول خورا ستونزمن میکانیزم ستونزه او د ونډې پراساس شریک شوي امنیت سکیمونو لپاره مهم غور کوي ، لکه بیا ځای کول (چې موږ یې په راتلونکي برخه کې بحث کوو).

د بیا میشتیدنې او پوستې امنیت شریکول

آرام کول

ریسټیک کول په ریپوتییکیشن کې ریښې لري — په دودیز مالي کې یو تمرین چې له مخې یې پور ورکوونکی د نوي پور خوندي کولو لپاره شتمنۍ (پخوا د پور اخیستونکي لخوا د جبران په توګه ژمنه شوې) کاروي. دلته، نوی کاونټر پارټي د اصلي جبراني شتمنۍ حقونه په غاړه اخلي لکه که چیرې هغه اداره چې د پور په بیرته تادیه کې یې نوي پور اخیستی وي، کولی شي د فنډونو بیرته اخیستلو لپاره شتمنۍ لیلام کړي.

کله چې په سمه توګه پلي شي، بیا تکرار کول ګټور کیدی شي. د پیل کونکو لپاره، دا د شتمنیو له بیا کارولو سره د لوړې پانګې موثریت او مایعیت ته وړتیا ورکوي - کوم چې په بل ډول به غیر فعال وي - د ګټې تولید فعالیتونو لپاره لنډ مهاله تمویل خوندي کړي. که چیرې د پور اخیستلو ګټه د بیا تکرار شوي جبران ارزښت څخه زیاته وي، ټول ښکیل اړخونه (اصلي پور اخیستونکی، پور ورکوونکی، او د پور ورکوونکي پور ورکوونکي) ګټه لري.

Rehypothecation کې لوی خطر شامل دی (د دلیلونو یوه برخه چې تمرین په پراخه کچه د TradFi موسسو په مینځ کې له خوښې څخه وتلی دی) ، په ځانګړي توګه د اصلي پور اخیستونکي لپاره چې ممکن د لیوالتیا په صورت کې د دوی د شتمنیو حق له لاسه ورکړي. پور ورکوونکي د جبران له بیا کارولو سره هم خطر لري، که چیرې دا اړتیا وي چې پور اخیستونکي بیرته تادیه کړي وروسته له دې چې یو نوی مخالف ګوند د پور د نیمګړتیاو له امله زیرمه شوي تضمین ضبط کړي.

بل خطر هغه دی چې موږ مخکې په لنډه توګه تشریح کړی او د غیر متقابل اعتبار په مقابل کې د غیر متقابل تجارت په شاوخوا کې ګرځي. په مثال کې چې مخکې روښانه شوي، که چیرې بانک B (د جان بانک) په پراخه کچه ګټه اخیستونکي موقف ته ننوځي - چیرې چې دا د جان تضمین ارزښت څخه ډیر پور اخلي - او زیان سره مخ کیږي، نو د بانک B څخه د پور بیرته تادیه کول ستونزمن کیږي (یا د جان بیرته راستنیدل) شتمنۍ). بانک B کیدای شي د بانک A (د جان بانک) څخه وغواړي چې د جان د تضمین ارزښت څخه لږ پور واخلي؛ په هرصورت، دا د بانک A لپاره د پانګې بې کفایتۍ زیاتوي او په لومړي ځای کې د جان جبران بیا تکرارولو څخه لاسته راوړنې کموي.

د ګټې او زیانونو ورته سیټ د بیا رغونې لپاره هم پلي کیږي. مخکې له دې چې نور لاړ شي، دا مهمه ده چې یو مهم توضیحات روښانه کړئ: د بیا رغونې برخه تل د اساس پروتوکول څخه تیریږي. د مثال په توګه، په Ethereum کې یو ریسټیکر باید یا د بیکن چین قرارداد کې 32 ETH زیرمه کړي یا ETH یو تصدیق کونکي ته وټاکي چې د سټینګ خدمت لخوا پرمخ وړل کیږي - پدې پورې اړه لري چې آیا اصلي ریسټیک یا مایع ریسیک کارول کیږي.

په لوړه کچه، د Ethereum په قضیه کې آرام کول لاندې شامل دي:

#1: د استخراج پروتوکول د ملکیت حقونه (یا ادعا) د ETH په غاړه اخیستو ته ورکول

په اصلي ریسټیکنګ کې، یو اعتبار کونکی اړین دی چې د دوی د وتلو پته په سمارټ قرارداد کې بدل کړي چې د بیا رغونې پروتوکول لخوا اداره کیږي. په دې توګه د دې پرځای چې فنډونه مستقیم د بیکن چین څخه وتلو وروسته تایید کونکي ته ځي، د اعتبار وړ ته د رسیدو دمخه لومړی د ریسټیک پروتوکول څخه تیریږي (موږ به وګورو چې ولې دا قضیه ډیر ژر ده).

دا هم ممکنه ده چې د سټیک شوي ETH فنګسي نمایشونه (مشتق) د استقامت پروتوکول په سمارټ قراردادونو کې زیرمه کړئ (د مایع ریسټیک کول). د "مایع سټیک شوي ټوکنونو" په نوم یادیږي، دا ډول ټوکن د خدمت په توګه د سټیک آپریټرانو لخوا صادریږي (د بیلګې په توګه راکټ پول، لیډو، کوینبیس، او نور). او د ETH د یوې برخې لپاره د ادعا استازیتوب کوي چې د اعتبار وړونکي لخوا ټاکل شوی (د انعامونو څخه د حاصل په شمول) او د اصلي ETH ټوکنونو لپاره په 1: 1 تناسب کې بیرته اخیستل کیدی شي.

#2: د بیا رغونې پروتوکول لخوا پلي شوي اضافي سلیشنګ شرایطو ته غوره کول

د بیا رغونې پروتوکول معمولا د "منځني سامان" په توګه کار کوي چې مختلف غیر متمرکزې شبکې او غوښتنلیکونه کولی شي د اقتصادي امنیت لپاره وصل شي. پدې کې به عموما پروتوکولونه شامل وي چې د ګوندونو سیټ لخوا ځینې ډول تایید ته اړتیا لري — د مثال په توګه ، د اوریکل شبکه — مګر د هغه اصلي نښه دومره ارزښت نه دی ترلاسه کړی چې د سټیک تنظیم کولو ثبوت کې وکارول شي.

د سکریچ څخه د نوي تایید کونکي سیټ رامینځته کولو پرځای ، دا ډول غوښتنلیکونه کولی شي د موجوده اعتبار ورکونکو خدمات د بیا تنظیم پروتوکول له لارې لیست کړي. خدمتونه کولی شي د اعتبار کونکي د بیا تکرار شوي جبران په اړه ځانګړي سلیش شرایط مشخص کړي - کوم چې د بیا تنظیم کولو پروتوکول کولی شي پلي کړي ځکه چې دا اوس د اعتبار کونکي ایستل کنټرولوي - د اقتصادي امنیت په وړاندې خنډ کموي.

یو مهم یادونه: د AVS سلیش کولو شرایط د ایتیریم د بیکن زنځیر موافقت لخوا پلي شوي د سلیش کولو شرایطو څخه خپلواک دي ، نو د اعتبار کونکي ETH سهم کم کیدی شي حتی که دوی پخپله په ایتیریم کې د سلیش وړ جرم نه وي کړی. دا کولی شي هغه څه ته الر پیدا کړي چې موږ یې د "خطر سټکینګ" په توګه تشریح کوو: د لوړې پانګې موثریت په بدل کې، لومړنۍ شبکه د بل ډول په پرتله اضافي خطر په میراث ورکوي. (د خطر سټیکینګ پخپله د اصلي ایګین لیر پروتوکول لپاره هم اغیزې لري لکه څنګه چې موږ به وروسته وګورو.)

#3: د اضافي انعامونو ترلاسه کول

ریسټیک کول د پام وړ خطر اخیستلو ته اړتیا لري (د بیلګې په توګه د بیاکتنې تصدیق کونکی ممکن په ناڅاپي ډول د زنځیر سلیش کولو میکانیزم کې د بګ له امله راټیټ شي) مګر لکه څنګه چې بیا هایپوتییکیشن په TradFi کې مایعات خلاصوي ، ریسټیک کول کولی شي په PoS اکوسیستمونو کې د پانګې موثریت ته وده ورکړي او په پرتله لوړ تولید رامینځته کړي. - د سټیکرانو لپاره اوسط حاصل.

دا د دې حقیقت پر بنسټ والړ دی چې هغه خدمتونه چې د امنیت لپاره یې پاتې پانګه کارولې باید د دوی خدماتو لپاره اعتبار ورکوونکو ته انعام ورکړي. د مثال په توګه، د اوریکل په شبکه کې ګډون کوونکی بیاکتل شوی تصدیق کونکی به د اوریکل تازه معلوماتو تصدیق کولو فیس ترلاسه کړي — د تادیې سره د نورو دریمې ډلې غوښتنلیکونو څخه راځي چې د اوریکل په خدماتو تکیه کوي. د اعتبار کونکو سره لاهم د بیکن چین څخه انعامونه ترلاسه کوي ، بیا ځای کول د ډیری PoS پروتوکولونو څخه عاید ترلاسه کولو توان ورکوي پرته لدې چې نوي اکوسیستم ته تازه سرمایه له سره ځای په ځای کړي.

که څه هم موږ په دې مثال کې د Ethereum بیا رغونې باندې تمرکز کوو، د سټیک نور پروتوکولونو هم د ورته اهدافو د ترلاسه کولو لپاره د بیاکتنې ډولونه پلي کړي دي (د نوي پروتوکولونو / غوښتنلیکونو پیل کولو لګښت کمول، د پانګونې موثریت ښه کول، او د اقتصادي امنیت اندازه کول). په حقیقت کې، راتلونکې برخه د ایګین لیر په اړه بحث کوي - د ایتیروم د بیا رغونې اصلي پروتوکول - مخکې له دې چې په نورو ایکوسیستمونو کې د بیاکتنې روښانه کولو ته لاړ شي:

ایګین لیر

EigenLayer د نوي توزیع شوي غوښتنلیکونو، شبکو او پروتوکولونو خوندي کولو لپاره د ایتیریم اقتصادي امنیت پراخولو لپاره رامینځته شوی یو آرام پروتوکول دی (کوم چې دا په ټولیز ډول د "فعال ډول تایید شوي خدماتو" یا لنډ لپاره AVSs په توګه تشریح کوي). که تاسو پخوانۍ برخه لوستلې وي چې په ایتیروم کې د آرام کولو مثال بیانوي ، نو تاسو دمخه د ایګین لییر عملیات په لوړه کچه پوهیږئ؛ په هرصورت، موږ به د شرایطو لپاره یو څه نور توضیحات شامل کړو.

د ETH د بیا تنظیم کولو وروسته (د ایګین لییر لخوا کنټرول شوي سمارټ قراردادونو ته د اعتبار کونکي سره تړلي د وتلو سندونو په ګوته کولو سره) ، یو اعتبار کونکی اړین دی چې د AVS لخوا مشخص شوي دندې ترسره کړي چې دوی یې غواړي ترسره کړي. د مثال په توګه، که چیرې یو AVS یو سایډ چین وي، بیا تړل شوی تایید کونکی باید د ساډچین لپاره د مراجعینو سافټویر چل کړي ترڅو لیږدونه ترسره کړي او بلاکونه تصدیق کړي، پداسې حال کې چې د دې کارونو په سمه توګه ترسره کولو لپاره انعامونه ترلاسه کوي. په پراخه توګه، دندې د AVS نوعیت پورې اړه لري توپیر کولی شي:

• د معلوماتو د شتون په شبکه کې د معلوماتو ذخیره کول

• د کراس چین پل لپاره د زیرمو او وتلو لیږد تصویب کول یا د کراس چین پیغام رسولو پروتوکول لپاره د پیغامونو تصویب کول

• د محرمیت متمرکز غوښتنلیک یا د تادیې تادیاتو شبکې لپاره د صفر پوهې ثبوتونو رامینځته کول او تصدیق کول

• د بلاک سرلیکونو ذخیره کول او تصدیق کول او د کراس چین انټروپریبلیت پروتوکولونو لپاره ریلیر/اوریکل چلول

  
  

هوښیار لوستونکي به دوه شیان په پام کې ونیسي: (الف) د AVS لخوا مشخص شوي دندې خورا په خپل سر وي (ب) مختلف AVS ټاکل شوي دندې مختلفې کچې پانګوونې او هڅو ته اړتیا لري. د وروستي ټکي روښانه کولو لپاره، دا ممکنه ده چې تصور وکړئ چې د کراس چین پروتوکول کې د بلاک سرلیکونو ذخیره کول به د ډیټا شتون شبکه کې د ډیټا ذخیره کولو او چمتو کولو په پرتله لږ ډیسک / حافظې ځای ته اړتیا ولري (حتی چیرې چې تخنیکونه لکه د ډیټا شتون نمونې د ذخیره کولو بار کموي. په انفرادي نوډونو کې).

دا یو دلیل دی چې EigenLayer بیا تنظیم شوي تصدیق کونکو ته اجازه ورکوي چې د AVS ټاکل شوي دندې اجرا کولو بل ګوند (یو آپریټر) ته وټاکي څوک چې د AVS څخه ترلاسه شوي انعامونه د اعتبار کونکي سره شریکوي. دا طریقه د بیا پیل شوي تایید کونکو لپاره د خطر مختلف کچې لري د دې پورې اړه لري چې د سلیش بار بار څومره وي - کوم چې پیښ کیدی شي که چیرې آپریټر د AVS دندو په سمه توګه ترسره کولو کې پاتې راشي - د بیا تنظیم شوي اعتبار کونکي او دریمې ډلې آپریټر ترمینځ شریک شوی.

هر AVS د شرایطو یوه مجموعه مشخصوي چې له مخې یې د EigenLayer ریسیکر ونډه کم کیدی شي. د مثال په توګه، د ډیټا موجودیت شبکه چې د ځای / ذخیره کولو میکانیزمونو ثبوت پلي کوي ممکن عملیات کونکي کم کړي چې د موافقې مودې لپاره د معلوماتو ذخیره کولو کې پاتې راغلي. سلیش کول په EigenLayer کې د آپریټر کنګل کیدو لامل کیږي - په یو یا ډیرو فعاله تایید شوي خدماتو کې د لا ګډون مخه نیسي - او د اعتبار کونکي ETH بیلانس په پایله کې کمیږي.

د کمولو لپاره، جرم باید د ثابتولو وړ وي - کوم چې د اساس پروتوکول (په دې قضیه کې Ethereum) ته اجازه ورکوي - د شخړو قضاوت وکړي او بې ایمانه اړخ ته سزا ورکړي. د ایتیریم اوسنۍ ډیزاین اجازه ورکوي چې د اعتبار کونکي ونډې تر 50٪ پورې کم کړي (16 ETH) ، کوم چې EigenLayer ته د پاتې 50٪ (16 ETH) د کمولو حق پریږدي که چیرې یو آپریټر د دندو اجرا کولو پرمهال د AVS لخوا ټاکل شوي مقررات مات کړي.

د EigenLayer د سلیش کولو میکانیکونه د بیا ځای پرځای کیدو یو فرعي خطر ته هم اشاره کوي: د یو خدمت لخوا کمیدل د EigenLayer سمارټ قراردادونو او د ایتیریم بیکن زنځیر کې د اعتبار کونکي عمومي توازن کموي. په مهمه توګه، د څنډې قضیې سناریو څرګندیږي، په هرصورت، کله چې سلیش کول د یو ځانګړي AVS د سلیش کولو منطق کې د بګ له امله واقع کیږي او نه د ثابت شوي جرم په پایله کې. په دې حالت کې، د اصلي ایتیروم سلسلې تایید کولو څخه د انعامونو ضایع - د AVS اعتبار کولو څخه د انعامونو څخه لوړ ګڼل کیږي - به د اعتبار کونکي له لید څخه د فرعي غوره کولو څخه ROI رامینځته کړي.

د EigenLayer سټایل بیاکتنې سره یو بل خطر د اعتبار کونکي اوورکولټرالیزیشن او انډرکولټرالیزیشن خطر او د خطر سټیکینګ مفهوم اندیښنه لري. د بیا هایپوتییکیشن له مخکینۍ بېلګې څخه، موږ ګورو چې د ګوند بیا تکرار تضمین ممکن په ورته وخت کې د لومړي پور اخیستونکي (چې تضمین یې د نوي پور اخیستلو لپاره کارول کیږي) او په سلسله کې وروستی پور ورکوونکي (څوک چې د تضمین په اړه ادعا لري) پور وي. د اصلي پور اخیستونکي لخوا).

یو ورته متحرک کولی شي د ایګین لیر په څیر د بیارغونې ساختمانونو کې لوبه وکړي که چیرې یو بیا تنظیم شوی تایید کونکی (په قصدي یا قصدي ډول) په ورته وخت کې د ایتیریم بیکن چین او یو یا ډیرو AVSs کې د سلیش وړ جرمونه ترسره کړي. د دې پورې اړه لري چې لومړی سلیشنګ چیرې پیښیږي ، نور AVSs ممکن د سلیش کولو لپاره هیڅ برخه پاتې نه وي — په مؤثره توګه د EigenLayer لخوا خوندي شوي غوښتنلیکونو باندې د خطر څخه پاک برید وړ کړي.

د EigenLayer ټیم د دې برید ویکتور منلی دی (د ضمیمه B وګورئ: د EigenLayer سپین کاغذ د کریپټو اقتصادي خطر تحلیل) او د دې خطر د حل لپاره یې څو ګامونه پورته کړي دي. پدې کې په AVSs کې د سټکر انډرکولټرالیزیشن او اوورکولټرالیزیشن ارزولو لپاره د رسمي هوریستیک چمتو کول شامل دي ، او د لانچ په وخت کې د خطر مدیریت ډشبورډ له لارې د AVS پراختیا کونکو ته د مشورتي معلوماتو رسولو پلانونه په ګوته کوي.

Polkadot Parachains

که څه هم ډیری وختونه د متفاوت بلاکچینونو ترمینځ د مداخلې وړ کولو لپاره پیژندل کیږي ، پولکاډوټ په پراخه کچه په ګډ امنیت تکیه کوي. په حقیقت کې، ګډ امنیت د دې لامل دی چې د پولکاډوټ ایکوسیستم کې مختلف زنځیرونه کولی شي پیغامونه تبادله کړي پرته له دې چې د باور انګیرنې معرفي کړي یا د امنیت خطر رامینځته کړي.

په پولکاډوټ کې، د اعتبار ورکوونکو فرعي سیټونه (په ریلي چین کې د DOT ټکنونه لري) په تصادفي ډول د بلاکونو تصدیق کولو لپاره پاراچین (فکر وکړئ "ماشوم زنځیرونه") ته ګمارل شوي — او د اعتبار سند (PoV) — د هر پاراچین کولیټر لخوا تولید شوي. یو کولیټر هغه نوډ دی چې د پاراچین د معاملو د اجرا کولو مسولیت لري او یو "پارا بلاک" رامینځته کوي چې د تایید لپاره د پاراچین تصدیق کونکي ډلې ته لیږل کیږي.

لکه څنګه چې د بلاک د PoV تصدیق کول په کمپیوټري توګه خورا جدي دي، پارا-ویډیټران (د تایید کونکو نوم چې پاراچین ته ټاکل شوي) د دې دندې لپاره اضافي جایزې ترلاسه کوي. هغه بلاکونه چې د پارا ویډیټرانو لخوا تصویب شوي - یا په سمه توګه، دې بلاکونو ته د کریپټوګرافیک ژمنې - د ریلي چین کې د شاملولو لپاره لیږل کیږي (فکر وکړئ "د پلار سلسله"). د پاراچین بلاک حتمي کیږي که چیرې یو بلاک چې حواله کوي د ریلي چین کې د پاتې تایید کونکو اکثریت لخوا تصویب شي.

وروستی ټکی خورا مهم دی: لکه څنګه چې په هر پارچین کې د اعتبار کونکو شمیر ټیټ دی (په هر شاډ کې شاوخوا پنځه تایید کونکي) ، د انفرادي شارډونو فاسد کولو لګښت ټیټ دی. د دې ډول بریدونو په وړاندې د دفاع لپاره، د پولکاډوټ پروتوکول پارا بلاکونو ته اړتیا لري ترڅو د تصادفي غوره شوي نوډونو د بلې ډلې لخوا ثانوي معاینه ترسره کړي.

که چیرې یو بلاک غلط یا شتون نلري ثابت شي (د بیلګې په توګه د ډیټا ځینې برخه ورکه ده)، صادق نوډونه کولی شي په اصلي ریل چین کې شخړه پیل کړي په کوم کې چې د ریل چین ټول اعتبار کونکي د منازعې بلاک بیا اجرا کولو ته اړتیا لري. یوه شخړه وروسته له هغه پای ته رسیږي چې د تایید کونکو لوی اکثریت د شخړې دواړو اړخونو ته رایه ورکوي، که چیرې بیا اعدام د تخریب ادعا ملاتړ وکړي سرغړونکي تایید کونکي په زنځیر کې کمیږي.

دا میکانیزم ډاډ ورکوي چې د پولکاډوټ پروتوکول کې ټول پراچینونه د امنیت ورته کچه شریکوي، پرته له دې چې په هر شارډ کې د اعتبار کونکي اندازې ته پام وکړي. سربیره پردې، پاراچین د ورته سرچینې څخه امنیت ترلاسه کوي (ټول پارا بلاکونه د ریلي چین لخوا تصویب شوي)، دوی کولی شي د لیرې شارډ څخه د پیغامونو په اعتبار باور وکړي (پرته له دې چې د وروستي توافق یا حالت په اړه توضیحات پوه شي).

د انټرچین امنیت

د انټرچین امنیت د آرام کولو لپاره د کاسموس ځواب په توګه تشریح شوی او د پولکاډوټ ګډ امنیت ماډل سره ورته والی لري. په پولکاډوټ کې د ریلي چین او پاراچینز تر مینځ اړیکې ته ورته ، کاسموس د مرکز او سپیک ماډل غوره کوي چیرې چې ډیری زنځیرونه ("کاسموس زونز") د اصلي زنځیر ("کاسموس مرکز") سره وصل کیږي او له هغې څخه امنیت ترلاسه کوي. دلیل هم د پولکاډوټ سره ورته دی: نوي زنځیرونو ته وړتیا ورکړئ پرته له دې چې د اعتبار وړ اعتبار کونکي سیټ له سکریچ څخه بوټسټریپ کولو ته اړتیا ولري خوندي پاتې شي (یو خورا ستونزمن کار) او پرځای یې اقتصادي امنیت شریک کړئ — په یوه پرت کې راټول شوي — د نورو زنځیرونو سره.

په خپل اوسني تکرار کې، د انټرچین امنیت یو تصدیق کونکي ته اړتیا لري (د ATOM ټوکنونو سره یوځای کول) د کاسموس هب او د دې سره تړلي ټول مصرف کونکي زنځیرونه اعتبار کولو لپاره. یو اعتبار کونکی د مصرف کونکي سلسله کې په ناوړه توګه عمل کوي د چمتو کونکي زنځیر (پدې قضیه کې کاسموس مرکز) کې د کمولو لپاره د دوی ونډه له لاسه ورکوي.

د سرغړونکي تصدیق کونکي کمول په عموم ډول د چمتو کونکي سلسلې او مصرف کونکي سلسلې ترمینځ د IBC (Inter-Blockchain Communication) چینل له لارې د سلیش وړ چلند ثبوت لرونکي کڅوړې ته اړتیا لري. په دې توګه، د مداخلې امنیت د بیا رغونې د یوې بڼې په توګه لیدل کیدی شي. برسېره پردې، دا یو مهم هدف ترلاسه کوي: په کاسموس ایکوسیستم کې د غوښتنلیک ځانګړي بلاکچینونو پیل کول اسانه کول.

مخکې له دې، هغه پروژې چې د خپلواک بلاکچینونو رامینځته کولو هڅه کوي اړتیا وه چې د سټیک لپاره اصلي نښه رامینځته کړي او د کافي شمیر اعتبار کونکو راجلب کړي ترڅو نوي کاروونکو ته د لږترلږه خوندیتوب تضمین چمتو کړي. په هرصورت، د انټرچین امنیت د Cosmos Hub امنیت تضمینوي (د لیکلو په وخت کې د ~ $ 2.5b لخوا خوندي شوی) د نوي، ټیټ ارزښت زنځیرونو خوندي کولو لپاره اندازه کیدی شي پرته لدې چې د Cosmo د موجوده تایید کونکي سیټ اندازه پراخه کړي.

یادونه : د کاسموس د انټرچین امنیت اوسنۍ نسخه یوازې د مصرف کونکي زنځیرونو لخوا لیږل شوي پاکټونو پراساس سلیش کول غیر فعالوي ځکه چې د مصرف کونکي زنځیر کې د ناوړه کوډ خطر له امله د جعلي سلیش پاکټونو لیږد رامینځته کوي او د ریښتیني اعتبار ورکونکو تخریب کوي — پرځای د دوه ځله رایې ورکولو په څیر جرمونه (دوه لاسلیک کول) په ورته لوړوالی کې بلاکونه) د ټولنیز سلیشنګ له لارې تابع دي حکومتداري ټولنیز سلیش کول د خپلو خطرونو سره راځي، په هرصورت، لکه څنګه چې په وروستي بحث کې لیدل شوي چې د مصرف کونکي سلسلې کې دوه ځله لاسلیک کولو لپاره د اعتبار ورکوونکو کمولو په اړه بحثونه لیدل کیږي (کوم چې د ګډ امنیتي پروتوکولونو رامینځته کولو ځینې پیچلتیاو ته هم اشاره کوي) .

د میش امنیت د مینځپانګې امنیت بدیل دی او هڅه کوي چې ځینې وروستي نیمګړتیاوې ښه کړي. د چمتو کونکي او مصرف کونکي زنځیرونو لپاره د سافټویر چلولو پرځای ، د چمتو کونکي سلسله کې دخیل یو اعتبار کونکی کولی شي د مصرف کونکي زنځیر کې اعتبار کونکي ته ونډه وټاکي. دا په یو وخت کې د دوه زنځیرونو د اعتبار کولو بوج پورته کوي - په حکومتدارۍ او توافق کې برخه اخیستل - او د بیا ځای شوي تایید کونکو لپاره سر کموي (د بیلګې په توګه د هارډویر اړتیاو کمول).

لکه د EigenLayer په څیر (چیرته چې د ایتیریم تصدیق کوونکی کولی شي یو آپریټر د هغې په استازیتوب یو یا څو ثانوي پروتوکولونه (AVSs) تایید کړي)، یو استازی اعتبار کونکی اړتیا نلري چې د مصرف کونکي سلسله تایید کولو لپاره کومه ونډه واخلي. که د استازي اعتبار ورکوونکی په سمه توګه د دندو په ترسره کولو کې پاتې راشي (د بیلګې په توګه، د وخت ضایع کول یا د ناقانونه بلاکونو لپاره رایه ورکول)، استازی د پروتوکول قواعدو سره سم د مصرف کونکي سلسله کمیږي.

د میش امنیت د انټرچین امنیت څخه هم توپیر لري ځکه چې دا د مصرف کونکو زنځیرونو ته اجازه ورکوي چې د ډیری چمتو کونکي زنځیرونو څخه امنیت اجاره کړي (د دې پرځای چې کاسموس هب پورې محدود وي) او اعتبار کونکو ته اجازه ورکوي چې غوره کړي چې کوم زنځیرونه وټاکي چې ونډې وټاکي. پداسې حال کې چې وروستنۍ ځانګړتیا د ICS v2 رول آوټ د یوې برخې په توګه پالن شوې، پخوانی یې د پلي کیدو احتمال نلري (که څه هم په حقیقت کې ډیر مجبور دی).

د Ethereum د همغږۍ کمیټه

د Ethereum Sync کمیټه د 512 تایید کونکو یوه ډله ده چې د نهایی شوي بیکون بلاک سرلیکونو لاسلیک کولو مسؤلیت لري. د همغږي یوه نوې کمیټه په هرو 256 پړاوونو (نږدې 27 ساعتونو کې) له سره جوړیږي، چې غړي یې د بیکن چین له موجوده اعتباري سیټ څخه ټاکل کیږي. په یاد ولرئ چې د غړو څخه تمه کیږي چې د همغږي کمیټې کې د ګډون په وخت کې د اعتبار وړ منظمو دندو ته دوام ورکړي (د تایید او بلاک وړاندیزونو په شمول).

د Sync کمیټه لومړی د بیکن زنځیر د الټایر فورک په جریان کې پلي شوې ترڅو د روښانه پیرودونکو وړ کړي ترڅو نوي بلاکونه تصدیق کړي (پرته له دې چې بشپړ تایید کونکي سیټ پوه شي) او د ایتیریم حالت کې بدلونونه تعقیب کړي. څرنګه چې د هماهنګۍ کمیټې کې برخه اخیستل د بیکن چین اجماع کې د برخه اخیستو په پرتله ډیرې هڅې ته اړتیا لري، غړي یو کوچنی انعام ترلاسه کوي (د بیکن چین د دندو بشپړولو لپاره د منظم انعامونو سربیره).

په هرصورت، هغه غړي چې د ناقانونه بلاک سرلیکونو لاسلیک کوي د سلیش کولو تابع ندي - د بیکن زنځیر برعکس. د Ethereum اصلي devs د دې طرحې دفاع کړې چې ویل کیږي د ناوړه Sync کمیټې غړو کمول به ډیر پیچلتیا معرفي کړي ، پداسې حال کې چې نورو د Sync کمیټې غړو ⅔ لوی اکثریت تر مینځ د ملګرتیا ستونزې ته اشاره کړې (هغه څه چې دا به د سپکو پیرودونکو په چلولو کې د بد منلو لپاره ترسره کړي) د بلاک سرلیک).

مګر د لوړ ارزښت لرونکي غوښتنلیکونو سره - لکه د کراس چین مخابراتي پروتوکولونه - د ایتیریم حالت تعقیبولو لپاره په روښانه پیرودونکو تکیه کول ، د غلط بلاک سرلیکونو لاسلیک کولو لپاره د Sync کمیټو کمولو موضوع نوې علاقه راجلب کړې (cf. د Nimbus پیرودونکي ټیم لخوا روان وړاندیز ). که چیرې پلي شي، سلیش کول به د Sync کمیټې کې ګډون د بیا رغونې په بڼه بدل کړي چیرې چې اعتبار کونکي د اضافي سلیش کولو شرایطو ته غوره کوي او د بلاک سرلیکونو لاسلیک کولو ثانوي خدمت لپاره اضافي انعامونه ترلاسه کوي.

د مثال په توګه، یو اعتبار کونکی کیدای شي کم شي - د دوی اعظمي توازن پورې - که چیرې دوی د Sync کمیټې کې د پروتوکول قواعدو څخه سرغړونه وکړي، حتی که دوی د بیکن چین په توافق کې برخه اخیستنې په وخت کې صادقانه عمل وکړي. موږ کولی شو د Sync کمیټه د پولکاډوټ پاراچین سیسټم او د ګډ امنیت نورو ډولونو سره پرتله کړو چې په تصادفي ډول د نوډونو فرعي سیټ نمونه کوي ترڅو په لوی بلاکچین شبکه کې د فرعي پروتوکول اعتبار وکړي (د مثال په توګه ، د لاګرینج ایالت کمیټې ، د واورو لاندې سبنیټونه ، او د الګورند ایالت ثبوت پروتوکول) .

چوکۍ

د پوستې پراساس شریک شوي امنیتي سکیمونه اکثرا د امنیت مصرف کونکي زنځیر شاملوي چې په وقفو کې د امنیت چمتو کولو سلسلې ته خپل وروستي حالت ته کریپټوګرافیک ژمنې پوسټ کوي. د مثال په توګه، د بلاک وړاندیز کونکي ته اړتیا لیدل کیږي چې د نوي بلاک سرلیک هش د اصلي سلسلې ته وړاندې کړي مخکې لدې چې دا نهایی شي.

دا ژمنې د "چیک پوائنټ" په توګه تشریح شوي ځکه چې د والدین سلسله د ماشومانو د سلسلې تاریخ نه بدلیدونکي تضمین کوي چې تر هغه وخته پورې رهبري کیږي. په بل عبارت، د مور او پلار سلسله د ماشوم سلسله د وخت ترتیب تضمینوي او پلي کوي، دا د بلاکونو بیا تنظیم کولو هڅو او متضاد فورک رامینځته کولو په وړاندې ساتنه کوي (د بیلګې په توګه د زړو معاملو بیرته راګرځول او دوه ځله مصرف کول) .

د والدین سلسله ممکن د ماشوم سلسلې اعتبار هم تضمین کړي، په ځانګړې توګه چیرې چې د بلاک سرلیکونه پدې اړه معلومات لري چې چا یو ځانګړی بلاک تصدیق کړی / تولید کړی. که یو بلاک ناباوره وګرځي، یو صادق نوډ کولی شي د مور او پلار په سلسله کې ننګونه پیل کړي (د مور او پلار سلسله د شخړې منځګړتوب کوي) او د ماشوم سلسلې حالت بیرته راګرځوي.

همچنان ، که چیرې د اعتبار کونکي سټیکونو اداره کولو میکانیزم (لکه سمارټ تړون) په اصلي سلسله کې پلي شي ، نو دا ممکنه ده چې د پروتوکول سرغړونکي اعتبار کونکي کمولو سره د حساب ورکونکي خوندیتوب پلي کول وروسته له دې چې د درغلۍ یو باوري ثبوت په زنځیر کې ومنل شي. دا چې د والدین سلسله د ماشوم زنځیر کینونیکي تاریخ تضمین کوي دلته مهم دی ځکه چې دا د ناوړه چلند شواهد پټولو لپاره نوډونه د تاریخ له بیا لیکلو (د بلاکونو په لرې کولو) مخه نیسي.

کمیټ سایډ چینز (پولیګون PoS)، آپټیمیمونه (آربیټرم نووا/میټیس)، رول اپونه، او زنځیرونه چې د چیک پوسټ پروتوکولونو سره مدغم شوي لکه بابیلون د ګډ امنیت دا ډول پلي کوي. په ټولو قضیو کې، یو پروتوکول خپل اقتصادي امنیت د بهرنۍ بلاکچین زنځیر څخه د تصفیې پرت (د بلاکونو نهایی کولو لپاره مسؤل) په توګه په کارولو سره ترلاسه کوي. د شرایطو لپاره، پولیګون PoS او Arbitrum Nova/Metis په ایتیریم کې د زنځیر په تړون کې سرلیکونه ذخیره کوي، پداسې حال کې چې بابل د وصل شوي کاسموس زون څخه بټکوین ته سرلیکونه خپروي.

د پرت 2 (L2) رول اپ د ورته میکانیزم څخه کار اخلي (د بلاک ریښو د پرت 1 بلاکچین ته پوسټ کول)، د یو مهم توپیر سره: د رول اپ بلاکونو بیا جوړولو لپاره اړین معلومات هم د تصفیې پرت کې خپاره شوي. دا پدې مانا ده چې د تصفیې پرت په بشپړ ډول د رول اپ امنیت تضمینوي (په پای کې). په مقابل کې، هغه معلومات چې د ژمنې سایډچین حالت بیا رغولو لپاره اړین دي یا د خوشبینۍ سلسله ممکن شتون ونلري - په ځانګړې توګه د ناوړه ترتیب یا اعتبار کونکي سیټ په صورت کې چې د معلوماتو د مخنیوي بریدونو ترسره کوي.

د کراس چین انٹرپریبلیت پروتوکولونو لپاره شریک امنیت

د ګډ امنیت د معنی او تکامل په اړه پراخ شالید چمتو کولو سره، موږ اوس کولی شو په ګډ امنیتي ډیزاینونو کې نوي سرحدونو ته ورسیږو. د څیړنې یوه ورته ساحه د کراس چین پروتوکولونو لپاره شریک امنیت دی ، کوم چې د پول شوي (اقتصادي) امنیت ګټو په کارولو سره د بلاکچین ترمینځ د پیغام رسولو او پل کولو اوسني چلند ته وده ورکوي.

دا تعریف ممکن د لوستونکي په ذهن کې پوښتنې راولي، لکه:

• ولې د مداخلې پروتوکولونو باندې واضح تمرکز؟

• د ګډ کار کولو پروتوکول د ګډ امنیت ټیکنالوژۍ سره یوځای کولو څخه کومې ګټې ترلاسه کوي؟

  
  

Lagrange Labs د Lagrange State کمیټې جوړوي - د پروتوکولونو لپاره یو ګډ امنیتي حل چې د کراس چین ریاستونو باور کم شوي ثبوتونو ته لاسرسی ته اړتیا لري. (د دولت کمیټې د Lagrange د ZK لوی ډیټا پروف سیسټم او د EigenLayer د بیا رغونې زیربنا سره یوځای کوي ترڅو د کراس چین انټرپریبلیت پروتوکولونو لپاره د امنیت ګډ زون رامینځته کړي.) په دې توګه، موږ مجبور یو چې هرې پخوانۍ پوښتنې تحلیل کړو، او په پروسه کې، د ریاست کمیټې زیربنا سره د پل کولو، لیست کولو، او پیغام رسولو غوښتنلیکونو یوځای کولو قضیه.

د مداخلې پروتوکولونو په اړه یو لنډ پریمر

د ماډلر بلاکچینونو لپاره د مداخلې وړتیا کې: د لاګرینج مقاله ، موږ تشریح کړه چې د مداخلې پروتوکولونه د بلاکچین غوښتنلیکونو (او د دوی کاروونکو) لپاره د مایعاتو او حالت د ټوټې کیدو شاوخوا ستونزو کمولو لپاره د خاموش بلاکچینونو سره وصل کولو لپاره خورا مهم دي. په دې مقاله کې ذکر شوي ځینې کلیدي مثالونه په لاندې ډول دي:

• هغه پلونه چې د lock-and-mint یا burn-and-mint میکانیزم پلي کوي او په غیر اصلي بلاکچین کې د کارولو لپاره د اصلي بلاکچین (چیرې چې صادر شوی وي) څخه د شتمنۍ لیږدولو اجازه ورکوي

• د پیغام رسولو پروتوکولونه چې کاروونکو ته اجازه ورکوي په خوندي ډول د بلاکچینونو ترمینځ معلومات (د ډیټا پیکټو له لارې) لیږدوي چې د حقیقت یوه سرچینه نه شریکوي او د یو بل حالت تصدیق کولو توان نلري.

  
  

موږ د بلاکچین د مداخلې حلونو مختلف ډولونو ارزښت هم روښانه کړ. د مثال په توګه، پلونه کاروونکو ته وړتیا ورکوي چې د مختلف ایکوسیستمونو تر منځ په بې ساري ډول حرکت وکړي، د ډیرو غوښتنلیکونو سره مخ شي، او د شتمنیو موثریت زیات کړي (د حاصلاتو تولید فرصتونو څخه ګټه پورته کولو سره چې په نورو بلاکچینونو کې شتون لري). د پیغام رسولو پروتوکولونه د کارونې ډیرې پرمختللې قضیې هم خلاصوي لکه د کراس چین پور ورکول ، کراس چین آربیټریج ، او کراس چین او کراس چین مارجینګ چې د مختلف ډومینونو ترمینځ د معلوماتو لیږدولو باندې تکیه کوي (د بیلګې په توګه موقعیتونه او پور پروفایلونه).

که څه هم د مختلفو موخو لپاره ډیزاین شوي، ټول د مختلفو مداخلو حلونه ټول ځینې اساسي ملکیتونه شریکوي. ترټولو مهم د دې تصدیق کولو لپاره یو میکانیزم دی چې د بلاکچین په اړه ځینې معلومات د کراس چین لیږد / عملیاتو کې ښکیل دي - د کارونکي یا غوښتنلیک لخوا چمتو شوي - ریښتیا دي. دا عموما یوه ادعا ده چې یو ځانګړی حالت (د بیلګې په توګه د سمارټ قرارداد په ذخیره کې زیرمه شوي ارزښتونه، د حساب توازن، یا په دې وروستیو کې وروستی شوی بلاک) شتون لري، یا دا چې معامله په مختلف سلسله کې ترسره شوې.

د Ethereum او NEAR ترمنځ د پل مثال واخلئ؛ د پل چلونکی به اړتیا ولري چې د هر سلسلې حالت په اړه لاندې معلومات تایید کړي کله چې یو کاروونکي د یوې شتمنۍ پله کوي (د بیلګې په توګه، DAI):

• مخکې له دې چې د کارونکي نږدې پتې ته نږدې DAI ټوکنونه واستول شي، د پل چلونکي ثبوت ته اړتیا لري چې ویلي یې دي کارونکي DAI په ایتیریم کې د پل قرارداد ته جمع کړی
• د DAI اصلي زیرمې خوشې کولو دمخه (کله چې له NEAR څخه Ethereum ته پل کول)، د پل چلونکي ثبوت ته اړتیا لري چې ویلي یې دي کارونکي په NEAR کې د DAI ټوکنونو ته نږدې سوځولي او د NEAR په اړه د پل قرارداد ته د "سوځولو ثبوت" رسید لیږلي.

د پورته ذکر شوي زنځیرونو ترمینځ د پیغام رسولو پروتوکول به ورته اړتیا ولري ، مګر یو څه توپیر ولري. که چیرې د Ethereum کارونکي د کراس چین لیږد پلي کولو غوښتنه وکړي ("په نږدې کې د X تړون زنګ ووهئ")، پروتوکول باید تصدیق کړي چې د پیغام غوښتنه په اصل کې په ایتیریم کې ځای په ځای شوې وه (په عموم ډول د زنځیر تړون په زنګ وهلو سره).

د کراس چین لیږدونو په اړه د ادعاوو اعتبار کولو لپاره یوه سمه لار د پوښتنې سلسلې لپاره بشپړ نوډ چلول دي. بشپړ نوډونه چې د هر بلاک څخه لیږدونه ډاونلوډ کوي او د زنځیر وروستي حالت سره همغږي کولو دمخه بیا اجرا کوي په عموم ډول په هر بلاکچین کې د دولت لیږدونو تصدیق کولو خورا بې باوره لاره ده. په هرصورت، د بشپړ نوډ چلول دواړه ستونزمن او غیر ضروري دي؛ ستونزمن ځکه چې بشپړ نوډونه لوړ هارډویر اړتیاو ته اړتیا لري، او غیر ضروري ځکه چې د کراس چین پروتوکول یوازې د معاملو او قراردادونو ځینې سیټونو پورې اړوند معلوماتو ته اړتیا لري.

خوشبختانه، روښانه پیرودونکي د پیښو او دولت بدلونونو تعقیب کولو لپاره اسانه / اغیزمنه لاره چمتو کوي پرته له دې چې د بشپړ نوډ چلولو ته اړتیا ولري. په دې شرط چې موږ د ر lightا پیرودونکي ډیزاین باندې باور ولرو ، موږ کولی شو په ساده ډول د بلاک سرلیکونه ډاونلوډ کړو ترڅو ځانګړي معلومات تصدیق کړو لکه په پل کې د زیرمو / وتلو پیښې او د پیغام غوښتنې پروتوکول کې د پیغام غوښتنې / اجرا حالت.

د دوه زنځیرونو تر مینځ د ارتباط فعالولو لپاره - کوم چې موږ یې زنځیر A او چین B ته وایو - د انټرپریبلیت پروتوکول به د زنځیر B کې د چین A روښانه پیرودونکي پرمخ وړي چې د چین B بلاک سرلیکونه ذخیره کوي (او برعکس). دا د دې توان ورکوي چې د دولت/ذخیرې بیلابیل ثبوتونه تصدیق کړي (د بلاک سرلیکونه، مرکل ثبوتونه، او نور) د کاروونکو (یا کوم دریم اړخ) لخوا د سرچینې سلسله کې د غوښتنلیک څخه بل غوښتنلیک ته د منزل سلسله کې لیږدول شوي. د روښنايي پیرودونکي د معلوماتو سرچینې په توګه کار کوي (یو "اوریکل") د دوه بلاکچین حالتونو په اړه لکه څنګه چې لاندې عکس کې ښودل شوي:

په هرصورت، د کراس چین ریاستونو اعتبار تصدیق کولو لپاره دا طریقه د باور ستونزې ته ځي. د Vitalik Buterin مقاله Trust Models د باور یو لنډ تعریف وړاندې کوي: " باور د نورو خلکو د چلند په اړه د هر ډول انګیرنې کارول دي. مقاله د بې اعتمادۍ مفهوم هم تعریفوي (د یو احتیاط سره):

د ډیری بلاکچین غوښتنلیکونو یو له خورا ارزښتناکو ملکیتونو څخه بې اعتمادي ده: د غوښتنلیک وړتیا چې په تمه شوي طریقه کار کولو ته دوام ورکړي پرته له دې چې په ځانګړي لوبغاړي باندې تکیه کولو ته اړتیا ولري ترڅو په ځانګړي ډول چلند وکړي حتی کله چې د دوی ګټې بدل شي او عمل کولو ته یې اړ کړي. په راتلونکي کې په یو څه مختلف غیر متوقع ډول. د بلاکچین غوښتنلیکونه هیڅکله په بشپړ ډول بې باوره ندي ، مګر ځینې غوښتنلیکونه د نورو په پرتله بې باوره کیدو ته خورا نږدې دي. – ویتالیک بوترین

زموږ په شرایطو کې (د بلاکچین متقابل عمل) ، باور ناگزیر کیږي کله چې د دوه یا ډیرو زنځیرونو حالت له یو بل څخه په خپلواک ډول تایید شي. یوې سناریو ته پام وکړئ چیرې چې په زنځیر A کې د باب غوښتنلیک یو ثبوت ترلاسه کوي چې الیس یو پیغام پیل کړی ("لاک 5 ETH په زنځیر B او د منټ 5 لپټ شوی ETH (WETH) په زنځیر A"). د پیغام ثبوت د مرکل ثبوت دی چې په بلاک کې د الیس د لیږد شاملول ښیې، کوم چې باب - ځکه چې هغه د چین B لپاره د زنځیر رڼا پیرودونکي چلوي - کولی شي د مرکل روټ سره د معاملو د سرلیک څخه اخیستل شوي ثبوت پرتله کولو سره تصدیق کړي. یو معتبر سلسله B بلاک.

په هرصورت، د بلاک په شرایطو کې "درست" کیدای شي مختلف شیان معنی ولري: (الف) "د بلاک سرلیک د هغه بلاک پورې اړه لري چې د ډیری سرچینې سلسلې تایید کونکو لخوا تصویب شوی." (b) "د بلاک سرلیک د هغه بلاک پورې اړه لري چې لیږدونه یې د سرچینې سلسلې د لیږد د اعتبار قواعدو سره سم اعتبار لري."

باب کولی شي د # 1 سره د بلاک د اعتبار د ثابت ثبوت په توګه چلند وکړي، مګر دا د سرچینې سلسله کې د اعتبار کونکو په اړه د انګیرنې پر بنسټ والړ دی:

• " په زنځیر A کې ډیری تایید کونکي صادق دي او د یو یا ډیرو غلط لیږدونو سره بلاک نه تصویبوي. »
• " په زنځیر A کې ډیری تایید کونکي له اقتصادي پلوه منطقي لوبغاړي دي او د ناسمو معاملو سره د بلاک تصویب لپاره ټیټ هڅونه لري. »

دلته، دا په اسانۍ سره لیدل کیدی شي چې د دې انګیرنو څخه کوم یو (یا دواړه) مات کیدی شي - د بیلګې په توګه، که چیرې د ونډې اندازه < په سلسله کې د معاملو ارزښت (د بیلګې په توګه، هغه مقدار چې د جعلي معاملو له لارې د پل څخه غلا کیدی شي) , تصدیق کونکي هڅوي چې یو ناقص بلاک حتمي کړي - حتی که دا د کمیدو معنی ولري - ځکه چې د برید څخه ګټه د لګښتونو څخه ډیر وي.

په عموم کې، د کراس چین ریاستونو تصدیق کولو لپاره هر میکانیزم د باور انګیرنې تابع دی (موږ به د دې باور ځینې انګیرنې په تفصیل سره بحث وکړو). کلیدي هدف — او دا یوه موضوع ده چې د دې مقالې په اوږدو کې تکرار کیږي — دا دی چې موږ غواړو د کراس چین مواصلاتو باور یوې کچې ته راکم کړو چیرې چې د باور مختلف انګیرنې د متمرکز غوښتنلیکونو لپاره د لوی امنیت خطر استازیتوب نه کوي.

دا یو مهم هدف دی ځکه چې، لکه څنګه چې دا معلومه شوه، کله چې تاسو د مختلف بلاکچینونو سره د نښلولو لپاره د مداخلې پروتوکول جوړ کړئ، او یو غوښتنلیک چې د ویش په یوه اړخ کې روان دی دا غلط ادعا مني چې ځینې خپلسري پیښې له بلې خوا پیښ شوي، بد شیان. واقعیا بد شیان - کیدی شي پیښ شي. د مثال په توګه، د پل استثمارونه پیښ شوي ځکه چې یو بګ پوهه هیکرانو ته توان ورکړ چې په بریالیتوب سره (جعلي) ثبوتونه (جعلي) د شتون نه شتون پیغام غوښتنې او د منبع سلسله ته د منبع سلسلې ته د منبع په سلسله کې د تضمین زیرمه کولو پرته وړاندې کړي.

د موجوده کراس چین امنیتي میکانیزمونو تحلیل

د پروتوکول ډیزاینرانو له هغه وخت راهیسې د کراس چین مخابراتو کې د معلوماتو اعتبار کولو ستونزې ته د حل لارې موندلې دي؛ ترټولو عام د کراس چین لیږد شتون / اعتبار تصدیق کولو لپاره د دریمې ډلې کارول دي. دلیل ساده دی: په زنځیر A کې غوښتنلیک ممکن د زنځیر B حالت تصدیق کولو توان ونلري ، مګر موږ کولی شو دا تصدیق کړو چې د خلکو یوې ډلې (چې موږ باور لرو یا د ځینې میکانیزم له لارې د صادق کیدو تمه لرو) یوه برخه تایید کړې. معلومات (یا ادعا) د چین بی حالت ته اشاره کوي.

دې ته "بهرني تایید" ویل کیږي ځکه چې د بلاکچین څخه بهر بل اړخ د زنځیر پیښو لپاره د حقیقت سرچینې په توګه کار کوي او (په عموم ډول) د سرچینې زنځیر څخه د بلاک سرلیکونو باندې لاسلیکونه اجرا کوي یو یا ډیر تصدیق کونکي پکې شامل دي. یوځل چې د منزل سلسله کې غوښتنلیک دا لاسلیک شوی سرلیک ترلاسه کړي ، نو بیا کولی شي د دې په وړاندې د یو کارونکي لخوا چمتو شوي مختلف دولتي ثبوتونه تصدیق کړي (بیلانسونه، پیښې، زیرمې/ویستل، او نور).

د غلطۍ زغم ځینې کچې رامینځته کولو لپاره ، ځینې د مداخلې پروتوکولونه د حد لاسلیک کولو سکیم کاروي چې د اعتبار لپاره لاسلیک پلي کولو لپاره لږترلږه شخصي کیلي ته اړتیا لري (د څو لاسلیک او څو ګوندونو (MPC) والټونه عام مثالونه دي). مګر د کثرت درلودل ( k of n ) یا د کراس چین حالتونو تصدیق کونکي تصدیق کونکي په حقیقت کې د امنیت لپاره د سپینو زرو ګولۍ ندي ، په ځانګړي توګه د تصدیق کونکو وړو سیټونو لپاره.

د مثال په توګه، یو څوک ممکن په ملټي سیګ سکیم کې یوازې کافي لاسلیک کونکي موافقت وکړي او د کراس چین پل څخه د درغلیو وتلو اجازه ورکړي. د MPC ترتیب یو څه ډیر خوندي دی (د تصویب حد بدل کیدی شي او کیشونه ډیر ځله وګرځول شي) مګر لاهم د بریدونو لپاره حساس دی (په ځانګړي توګه په هغه حالتونو کې چې یو ګوند د کلیدي شریکونو اکثریت کنټرولوي).

سټکینګ

د متقابل عمل پروتوکولونو لپاره د باور انګیرنې کمولو او د کراس چین مخابراتو خوندیتوب ته وده ورکولو یوه لاره دا ده چې د تایید دندې ترسره کولو دمخه د بانډ په توګه د بهرني تصدیق کونکي ونډې تضمین ولري. سټیک کول د بهرني تایید شوي سیسټمونو لپاره امنیت رامینځته کوي ، په ځانګړي توګه لکه څنګه چې بانډ شوی تضمین کم کیدی شي که چیرې د تصدیق کونکي نوډ په غلط بلاک سرلیک کې لاسلیک اجرا کړي یا د کراس چین غلط لیږد تصویب کړي).

مګر حتی دا طریقه د ستونزو سره راځي پدې پورې اړه لري چې ایا د سټیک کولو اجازه ده یا بې اجازې. یو اجازه لرونکی سیسټم (چیرې چې تایید کونکي باید سپین لیست شوي وي) اکثرا په یو څو دمخه تصویب شوي ادارو پورې محدود وي او وده کول یې اسانه دي - په پراخه هڅونې ډیزاین کې پانګوونې ته اړتیا نشته ، په ځانګړي توګه چیرې چې تایید کونکي په عامه توګه پیژندل شوي او د دوی د ساتنې لپاره صادقانه عمل کولو هڅونه لري. شهرت دا هم اغیزمنه ده ځکه چې ارتباط - اجماع ته د رسیدو لپاره اړین دی - د یو څو ګوندونو تر مینځ واقع کیږي چې دمخه یې خپل ځان پیژني.

البته، د پیژندلو وړ ګډون کونکو سره د اجازې سیسټم درلودل د مخالفو بریدونو لپاره دروازه پرانیزي؛ د بیلګې په توګه، یو برید کوونکی کیدای شي په بریالیتوب سره د دې اعتبار ورکوونکو څخه ځینې یې په نښه کړي یا رشوت ورکړي او په دې توګه د اکثریت کنټرول په غاړه واخلي. تر دې هم بدتر، د واک د ثبوت (PoA) سیسټم چیرې چې اعتبار کونکي په حقیقت کې نه وي (او په ساده ډول ټاکل شوي) په سیسټم باندې د برید لګښت صفر ته راټیټوي (برید کونکي کولی شي په ساده ډول د ټولنیز انجینرۍ سکیمونو له لارې د PoA تصدیق کونکي موافقت وکړي او سیسټم برمته کړي، د بیلګې په توګه) .

د اجازې پرته د سټیک سیسټم د سیسټم فاسد کولو لګښت ډیروي چې کوم لیواله اړخ (د سمې پانګې سره) اجازه ورکوي چې د کراس چین عملیات پیل کړي. که د موافقت پروتوکول سره یوځای شي چې د سرلیکونو د بندولو لپاره ≥ ⅔ اکثریت ته اړتیا لري، د سیسټم فاسد کولو لګښت به په مؤثره توګه په سیسټم کې د ډیری تایید کونکو فاسد کولو لپاره اړین لږترلږه مقدار سره مساوي وي. برسیره پردې، کاروونکي لږ باوري انګیرنې لري (تصدیق کونکي کیدای شي کم شي)، او د تصدیق کونکو متحرک سیټ د ټولنیز انجینرۍ په څیر تخنیکونو له لارې د ځانګړو نوډونو سره موافقت ستونزمن کوي.

څه شی ممکن غلط شي؟ ډیر، په حقیقت کې. د پیل کونکو لپاره، د سیسټم د خوندي کولو اندازه باید د خطر سره د شتمنیو د مجموعي ارزښت سره مساوي یا لوړه وي که چیرې یوه امنیتي پیښه (د ګډ کار کولو پروتوکول خوندیتوب یا ژوند ته زیان رسوي) رامنځته شي. که برعکس ریښتیا وي ( د سیسټم خوندي کولو ټوله برخه < په خطر کې ټول ارزښت )، نو حتی د کمولو ګواښ د امنیت تضمین کولو کې اغیزمن کیږي ځکه چې د سیسټم فاسد ګټه د فاسد کولو لګښت څخه ډیر دی.

سربیره پردې، د پورته ذکر شوي امنیتي ملکیت د پلي کولو هڅه به احتمال ولري چې د احتمالي اعتبار کونکو لپاره د لوړې ونډې اړتیاوې ترتیب کړي. دا په بدل کې د پانګې د بې کفایتۍ ستونزه معرفي کوي - ځکه چې امنیت د اعتبار کونکي نوډونو باندې تکیه کوي چې دوه شیان ترسره کوي:

• د اعتبار په دندو کې د ګډون کولو دمخه د ډیری پیسو زیرمه کول (د سهم په توګه)

• د اوږدې مودې لپاره د پیسو غیر استعمال شوي پریښودل (د خوندیتوب لپاره، د PoS پروتوکولونه د وتلو په اړه اوږده ځنډونه رامینځته کوي - ځینې یې د اونیو یا میاشتو په اوږدو کې - ترڅو د هغو قضیو مخه ونیسي چیرې چې یو اعتبار ورکوونکی د سلیش وړ جرم ترسره کوي او سمدستي بیرته اخیستلو هڅه کوي ترڅو د پیسو د ضایع کیدو مخه ونیسي. )

  
  

یو بل شی چې موږ یې یادونه نه ده کړې د پراختیا کونکو بار دی چې اوس باید د کریپټو اقتصادي هڅونې په اړه دلیل ورکړي ترڅو د بې ایمانه چلند مخه ونیسي او د پروتوکول نښه لپاره پیچلي سټیک فعالیت ډیزاین کړي. د نورو مهمو فعالیتونو څخه د پام اړولو سربیره - لکه د محصول پراختیا او د ټولنې ښکیلتیا - دا د ټیمونو لپاره د مداخلې زیربنا رامینځته کولو لپاره د پراختیا دورې پیچلتیا او ادراکي سر ته هم اضافه کوي.

خوشبینه تایید

"خوشبین تصدیق" د کراس چین امنیت ستونزې ته یو بل ګام دی: د دې پرځای چې د باور لرونکي ګوند یا ډلې څخه وغواړو چې د کراس چین حالت تصدیق کړي، موږ هرچا ته اجازه ورکوو چې دا کار وکړي. په مهمه توګه، هغه ګوند چې د کراس چین ریاستونو په اړه د مراجعینو د مداخلې غوښتنلیک ته ادعا کوي (معمولا د "ریلایر" په نوم یادیږي) اړتیا نلري چې ثبوت وړاندې کړي چې تصدیق شوی حالت اعتبار لري. دا د "خوشبین" انګیرنې څخه راځي چې ریلرز به په صادقانه توګه عمل وکړي او یوازې د کراس چین ریاستونو په اړه باوري ادعاګانې وکړي.

مګر البته، موږ په بشپړه توګه تمه لرو چې یو یا دوه (یا ډیر) ریلرز به بدمرغه شي، له همدې امله په خوشبینه توګه تایید شوي سیسټمونه ریلرز ته اړتیا لري چې د دولت ثبوتونو وړاندې کولو دمخه یو کوچنی بانډ پوسټ کړي. د معاملو اجرا کول - هغه چې د ریلیر لخوا راپور شوي کراس چین ریاستونو ته اشاره کوي - د دې لپاره هم ځنډول کیږي چې هرچا ته سیسټم وګوري کافي وخت ورکړي چې د ننګونې دورې کې د ناسمو ادعاګانو شخړه وکړي. که د ریلیر ادعا غلطه ثابته شي، پوسټ شوی بانډ کم شوی - د هغې ځینې برخه د ننګونکي په لور ځي.

خوشبینه تایید د کثرت ( k of n ) یا اکثریت ( m of n ) تصدیق کونکو باور کولو ستونزه په یو تصدیق کونکي ( 1 of n ) باور کولو ستونزې ته بدلوي ترڅو صادقانه عمل وکړي. د دې لپاره چې په خوشبینه توګه تایید شوي پروتوکولونه خوندي پاتې شي، دا کافي ده چې یو لوبغاړی ولري چې د معاملو بیا اجرا کولو لپاره کافي دولتي معلومات ولري او د درغلۍ ثبوتونه رامینځته کړي ترڅو د ځنډ په موده کې د درغلیو معاملو ننګونه وکړي (له همدې امله 1 of n ).

دا د سر سر کموي ځکه چې سیسټم کولی شي د یو واحد ریلیر سره سم کار وکړي (که څه هم موږ ممکن دوه یا ډیرو ته اړتیا ولرو ترڅو د ژوند ډاډ ترلاسه کړو). دا د امنیت لپاره د اړتیا وړ ونډې اندازه هم کموي او د ګړندۍ ونډې د غیر بانډ کولو وخت تنظیم کولو هڅوي (بانډ شوی جبران د ځنډ موده پای ته رسیدو سره بیرته اخیستل کیدی شي).

سربیره پردې، د خوشبینۍ تصدیق پراساس د مداخلې پروتوکولونه د "د لاندې بلاکچین میراث امنیت" په توګه تشریح شوي؛ دا د دې مفکورې پراساس دی چې که اصلي بلاکچین ژوندی وي او د درغلیو ثبوتونه سانسور نه کړي، یو ناوړه ریلیر نشي کولی د بې ایمانۍ سره مخ شي. نور، په پروتوکول برید کول به پخپله د بلاکچین برید ته اړتیا ولري ځکه چې د اوږدې مودې لپاره د معاملو سانسور کول په شبکه کې د ډیری نوډونو کنټرول ته اړتیا لري — او د توسع کولو له لارې ، د ونډې / کان کیندنې ځواک — په شبکه کې.

مګر حتی خوشبین تایید ځانګړي نیمګړتیاوې لري. د مثال په توګه، د پلې کولو لیږدونو یا پیغام غوښتنو په نهایی کولو او اجرا کولو کې ځنډ ځنډول ځنډ زیاتوي او د کارونکي عمومي تجربه خرابوي. دا ډول کراس چین امنیت هم د امنیت لپاره اغیزې سره ډیری فرعي "ګوټچاس" لري، لکه د ناوړه اړخ احتمال چې د "غم" صادق ریلییرانو ته معتبر لیږد ننګوي او د DDoS برید یو ډول اجرا کوي.

څرنګه چې د درغلیو ثبوتونه (اکثره) د طبیعت له مخې متقابل دي، نو یوه ناسمه ننګونه به د ریښتیني ریلیرانو د سرچینو د ضایع کیدو لامل شي — په شمول د چین د لیږد لپاره د ګاز فیسونو باندې مصرف شوي فنډونه. په پایله کې، ریښتیني ریلییرونه ممکن د کراس چین معلوماتو خپرولو لپاره هڅونه له لاسه ورکړي، په بالقوه توګه د کراس چین معلوماتو خپرولو لپاره د بې ایمانه ریلرانو لپاره فرصت پریږدي. د لږترلږه زیرمو پوسټ کولو لپاره د ننګونو غوښتنه کول کولی شي د غم مخه ونیسي، مګر د لوړې کچې زیرمه کولی شي صادق لیدونکي (چې پانګه نلري) د ناسم دولتي تازه معلوماتو ننګونې څخه وهڅوي.

ځینې پروتوکولونه د دې ستونزې په شاوخوا کې د لیدونکو اجازه لرونکي سیټ ته د ننګونو محدودولو سره کار کوي، مګر دا موږ د سیسټم خوندي کولو لپاره د (باور وړ) ګډون کونکو کوچنۍ سیټ درلودلو اصلي ستونزې ته راګرځوي. دا طریقه کولی شي ډیری غیر ارادي پایلې هم رامینځته کړي، لکه د څارونکي نوډونو ترمنځ د ګډوډۍ خنډ کمول او د سیسټم لیدلو ډیری نوډونو فاسد کولو لپاره د برید کونکي چانس ته وده ورکول.

کریپټوګرافیک تصدیق

د کراس چین انټروپریبلیت پروتوکولونو خوندي کولو وروستۍ تګلاره چې موږ به یې په پام کې ونیسو د کریپټوګرافیک ثبوتونو له ساحې څخه راځي. نظر ساده دی: د دې پرځای چې د کراس چین حالتونو تصدیق کولو لپاره په خلکو باور وکړي (کوم چې پخوانۍ برخې په ځینو قضیو کې خطرناکه ښودل شوي)، موږ کولی شو د دې پرځای د کریپټوګرافیک تصدیق میکانیزمونه وکاروو - لږترلږه د باور انګیرنې کموي.

دلته، یو یا څو فعالین SNARK (د پوهې لنډ متقابل دلیل) د یو سلسلې (درست) حالت ثبوتونه د یو مداخلې غوښتنلیک کې کارولو لپاره رامینځته کوي. دا ثبوتونه د تایید وړ دي: موږ کولی شو د کراس چین حالت کریپټوګرافیک ثبوت واخلو، لکه د بلاک سرلیک څخه اخیستل شوی، او د هغې اعتبار تایید کړو. دوی هم غیر متقابل دي: د یو واحد ګوند لخوا رامینځته شوی ثبوت د مختلف ګوندونو لخوا تصدیق کیدی شي پرته لدې چې څوک اړیکه ونیسي (د متقابل درغلۍ ثبوتونو برعکس). په دې ډول ډیزاین شوي د مداخلې پروتوکولونه اکثرا د ټیټ باور انګیرنې لري، په داسې حال کې چې د اصلي ثبوت سیسټم سم دی (د بیلګې په توګه، یو مخالف نشي کولی د ناسمو ادعاوو لپاره معتبر ثبوتونه رامینځته کړي، پرته له نه منلو وړ احتمال).

دا ډول پروتوکولونه د بهرنۍ تایید شوي سیسټمونو څخه هم توپیر لري، په ځانګړې توګه چیرې چې کریپټوګرافیک شواهد تاییدوي چې هر بلاک د سلسلې د موافقت پروتوکول سره سم سم دی. په دې توګه، یو مخالف به اړتیا ولري چې د سرچینې سلسلې د اعتبار کونکي سیټ یو لوی اکثریت کنټرول کړي - چې د غلط بلاکونو نهایی کولو لپاره اړین دي - د کراس چین حالت د کریپټوګرافیک ثبوتونو په کارولو سره د مداخلې پروتوکول فاسد کړي.

دا هم اسانه ده چې وګورو چې دا طریقه څنګه د ځینې کراس چین امنیتي میکانیزمونو پورې تړلې نیمګړتیاوې له منځه وړي چې مخکې یې بحث شوی:

1. د زیرو پانګې بې کفایتي : د کراس چین حالتونو تصدیق کولو لپاره د zkSNARKs کارول د سټیک / بانډ میکانیزم اړتیا له مینځه وړي او د لاک اپ دورې ته د ټوکن تابع کولو پورې اړوند بې کفایتي له مینځه وړي. په ورته ډول، ریلرز اړتیا نلري چې د کراس چین لیږد په اړه ادعا کولو دمخه د بانډ (د خوشبین تصدیق برعکس) پوسټ کړي ځکه چې ورسره مل ثبوت په لنډ ډول ادعا تاییدوي.
2. ټیټ ځنډ : د ځنډ مودې پلي کولو ته اړتیا پرته - د وخت په وخت د درغلیو ثبوتونو وړولو لپاره - د یو متقابل عمل پروتوکول کولی شي د کراس چین پیغام یا د پل کولو عملیات اجرا کړي کله چې د SNARK ثبوت خوندي شي تصدیق شي. دې وویل، د ثبوت تولید په عموم ډول محاسبه کیږي، نو په بهر کې تایید شوی سیسټم ممکن د SNARK-based interoperability پروتوکول په پرتله ډیر اغیزمن وي.

کله چې د "کریپټوګرافیکي تصدیق شوي" د مداخلې حل حل امنیت ارزونه کول، دا مهمه ده چې له نږدې وګورو چې د کراس چین ریاستونو په اړه کوم معلومات په حقیقت کې ثابت او تایید شوي. د صفر د پوهې ثبوتونه په یوه بزدلانه کلمه بدل شوي چې ډیری پروتوکولونه یې د دې لپاره تړلي دي ترڅو د ریښتیني باور انګیرنې چې د دوی پروتوکولونو لاندې راولي پټ کړي.

د مثال په توګه، ځکه چې په zkSNARK سرکټ کې د ایتیروم تصدیق کونکي سیټ ( د اوسني ارقامو له مخې له 925,000 څخه ډیر تایید کونکي ) د ټولو لاسلیکونو تصدیق کول ګران کیدی شي ، ځینې پروتوکولونه په تاریخي ډول د ایتیریم حالت ثبوتونو ترلاسه کولو نورې وسیلې غوره کړي. یوه بیلګه د " Ethereum to X " پل دی (چیرې چې X هر ډول بلاکچین کیدی شي) چې دا ثبوت رامینځته کوي چې د بلاک سرلیکونه د ایتیریم د همغږي کمیټې اکثریت لخوا لاسلیک شوي (کوم چې موږ دمخه معرفي کړی و).

دا یو ډیر ممکنه طریقه ده (د زرګونو تایید کونکو عامه کلیدونو تصدیق کولو په پرتله چې یو بلاک ته تصدیق شوی). مګر لکه څنګه چې مخکې تشریح شوي، د Sync کمیټې کې اعتبار کونکي د غلط بلاک سرلیکونو لاسلیک کولو لپاره کم شوي ندي - د نه منلو وړ احتمال پریږدي چې د Sync کمیټې ډیری غړي کولی شي د سپکو پیرودونکو په غولولو او په مؤثره توګه د پلونو امنیت په خطر کې اچولو کې همکاري وکړي یا رشوت ورکړل شي. د پیغام رسولو پروتوکولونه چې د معلوماتو لپاره د همغږۍ کمیټې باندې تکیه کوي.

برسېره پردې، لکه څنګه چې په اصلي مقاله کې د Lagrange State کمیټو معرفي کولو کې تشریح شوي، موږ تشریح کړه چې په یوه مثالي نړۍ کې چیرې چې ناوړه ترکیب کمیټې د کمولو لپاره مسؤل وي، اقتصادي امنیت به په اعظمي حد کې د سلیش وړ مقدار کې محدود شي. دلته د شرایطو لپاره د دې پوسټ څخه ځینې اقتباسات دي:

د ر lightا پیرودونکي پلونو امنیت ، ZK پلونه او د همغږۍ کمیټې ثبوتونه ټول د Ethereum ر lightا پیرودونکي ترکیب کمیټې څخه د لاسلیکونو تایید پراساس دي. لکه څنګه چې د همغږۍ کمیټې اندازه ټاکل شوې، اقتصادي امنیت چې دا یې تر پښو لاندې کوي هم د 27 ساعتونو کړکۍ پورې محدود دی. یوځل چې سلیش کول په پای کې د ایتیریم همغږي کمیټو لپاره پلي کیږي ، اقتصادي امنیت به په لاندې ډول محدود شي:

• د Sync کمیټې اقتصادي امنیت = 512 نوډ * 32 Eth * $1650 USD/ETH = $27,033,600
• د هماهنګۍ کمیټې د موافقې حد = $27,033,600 * 2/3 = $18,022,400

پداسې حال کې چې د ر lightا پیرودونکي پلونه او د ZK ر lightا پیرودونکي پلونه د کراس چین مداخلې لپاره د سرو زرو معیار په توګه فکر کیږي ، د شتمنیو مقدار چې دوی کولی شي د تصادفي همغږي کمیټو سره خوندي کړي خورا محدود دي. لکه څنګه چې مخکې ښودل شوي، د تضمین مقدار چې د تړلو نوډونه باید په ورته وخت کې د ټولو Ethereum رڼا مراجعینو او ZK رڼا مراجعینو پلونو سره موافقت کولو لپاره وسوځول شي په $ 18m کې محدود شوي.

یو حالت په پام کې ونیسئ، چیرې چې د ټولو شتمنیو د ارزښت مجموعه چې د ټولو رڼا مشتریانو او ZK رڼا پیرودونکي پلونو لخوا خوندي شوي د k اندازه ده. کله چې k <18m $، د پلونو په اوږدو کې خوندي شوي ټولې شتمنۍ خوندي وي، ځکه چې برید له اقتصادي پلوه د اعتبار وړ نه دی. لکه څنګه چې k د دې ډول وده کوي k > $ 27m، دا د همغږي کمیټې کې د خرابو لوبغاړو د یوې ډلې لپاره ګټور کیږي ترڅو د خوندي شتمنیو د جوړولو لپاره د ناوړه بلاکونو تصدیق وکړي.

موږ د ټولې مقالې لوستل هڅوو ، په ځانګړي توګه د ایتیریم د ر lightا پیرودونکي پلونو محدودیتونو برخه ، د کراس چین ریاستونو ثبوتونو ترلاسه کولو لپاره په تصادفي ترکیب کمیټو تکیه کولو شاوخوا مسلو په اړه د لا زیاتو شرایطو لپاره. موږ دا هم وړاندیز کوو چې تاسو د ZK سرکټ کې د Ethereum PoS بشپړ اجماع ثابتولو لپاره د Polyhedra شبکې هڅې تعقیب کړئ.

د لاګرنج دولتي کمیټې: د کراس چین مخابراتي پروتوکولونو لپاره د خدمت په توګه شریک امنیت

د دې مقالې پیژندنې د یوې لویې برخې سره چې په ګډ امنیت کې ژوند کوي، دا یوازې مناسبه ده چې موږ یو ګډ امنیتي حل معرفي کړو چې موږ یې په Lagrange Labs: Lagrange State Committees کې کار کوو. په دې برخه کې، موږ به د Lagrange State کمیټې شبکې داخلي کارونه وپلټئ او د Lagrange ZK Big Data Stack سره د هغې تړاو او د وسیلو جوړولو هدف د زنځیرونو او زنځیرونو ترمنځ د خوندي او څرګند دولتي لاسرسي وړولو لپاره د وسیلو د جوړولو هدف پوهیږو.

د Lagrange دولتي کمیټې څه دي؟

د Lagrange State کمیټې (LSC) شبکه د خوشبین رول اپونو (ORUs) لپاره یو ساده او اغیزمن ZK رڼا پیرودونکي پروتوکول دی چې په ایتیروم (د مثال په توګه، خوشبین، آربیټرم، بیس، او مینټل) کې ځای پرځای کیږي. LSCs په مفکوره توګه د Ethereum Sync کمیټې سره ورته دي او د ر lightا پیرودونکي پراساس غوښتنلیکونو ملاتړ کوي - لکه پلونه او د انټرچین پیغام پرتونه - چې غواړي د ډیر باور انګیرنې اخیستو پرته د خوشبین رول اپ حالت وکاروي.

د Lagrange State کمیټه د مراجعینو نوډونو یوه ډله ده چې د EigenLayer له لارې په Ethereum کې د 32 ETH ارزښت تضمین لري. په بل عبارت، د Lagrange State کمیټې شبکه یو AVS یا په فعاله توګه تایید شوی خدمت دی. د هرې Lagrange ریاست کمیټه د ورکړل شوي خوشبین رول اپ لپاره د بلاکونو پای ته رسیدو سره تصدیق کوي کله چې د اړونده لیږد بسته د ډیټا شتون (DA) پرت کې نهایی شي. دا تصدیقونه بیا د دولت ثبوتونو رامینځته کولو لپاره کارول کیږي ، کوم چې غوښتنلیکونه د دې ځانګړي خوشبین رول اپ حالت لپاره د حقیقت سرچینې په توګه چلند کولی شي.

پداسې حال کې چې د Ethereum Sync کمیټه په 512 نوډونو کې محدوده ده، د هر لیګرینج ریاست کمیټې شبکه د نوډونو غیر محدود سیټ ملاتړ کوي. دا ډاډ ورکوي چې اقتصادي امنیت په مصنوعي ډول نه دی محدود شوی او د خوشبینۍ رول اپ حالت ته د تصدیق کولو نوډونو شمیره اندازه کولی شي ، په دې توګه د لاګرنج ایالت ثبوتونو ترشا اقتصادي امنیت په متحرک ډول زیاتوي.

د Lagrange State کمیټې شبکه څنګه کار کوي؟

د Lagrange State کمیټې پروتوکول دوه مهمې برخې ترتیب کوونکی او د مراجعینو نوډونه دي ("د مراجعینو نوډونه" د لیګرینج ریاست کمیټې ته راجستر شوي تصدیق کونکو لپاره بل نوم دی). سیکوینسر یوه مرکزي اداره ده چې د لاګرینج دولتي کمیټې شبکې کې د تصدیقونو همغږي کولو مسؤلیت لري او پرورز ته د تصدیق خدمتونه وړاندې کوي چې دولتي ثبوتونه تولیدوي. د سیکوینسر نوډ په حقیقت کې د دریو ماډلونو ترکیب دی چې مختلف دندې لري: Sequencer ، Consensus ، او Governance .

په ځانګړو وقفو کې، د سیکوینسر ماډل د مراجعینو نوډونو څخه د رول اپ بلاکونو لپاره د تصدیقونو غوښتنه کوي چې د لیږدونو د یوې ډلې اجرا کولو پایله ده چې د DA پرت ته لیکل شوي. د هر خوشبین رول اپ بلاک لپاره د دې معمول اجرا کولو پرځای، موږ لاندې د بلاک پیغام کې د هر عنصر لنډ تحلیل لرو:

(۱). Block_header : د نهايي شوي خوشبین رول اپ (ORU) بلاک سرلیک. "نهایی" دلته معنی لري چې یو بلاک د رول اپ نوډونو لخوا اخیستل شوی د لیږد ډیټا څخه په ورکړل شوي DA پرت کې نهایی شوی. د مثال په توګه، وروستی د خوشبینۍ/OP سټیک رول اپونو لپاره د خوندي L2 سر او د آربیټرم او آربیټرم اوربیټ زنځیرونو لپاره د Ethereum مساوي پای سره د L2 بلاک لخوا تعریف شوی. (په دې مقاله کې د رول اپ پای په اړه نور معلومات زده کړئ.)

(۲). current_committee : د مراجعینو نوډونو سره تړلي عامه کلیدونو سیټ ته د کریپټوګرافیک ژمنې چې د بلاک لاسلیک کولو اجازه لري. د پیرودونکي نوډ تمه کیږي چې د مرکل ونه جوړه کړي، د پاڼو سره چې د ټولو فعال کمیټې غړو عامه کیلي استازیتوب کوي، او د مرکل د ونې ریښه د BLS12-381 کیلي سره لاسلیک کړي.

(۳). next_committee : د نوډونو سره تړلي عامه کیلي سیټ ته د کریپټوګرافیک ژمنې اجازه ورکړل شوې چې د راتلونکي بلاک (b+1) لاسلیک کولو اجازه ولري. نوډونه چې غواړي دولتي کمیټه پریږدي باید د تصدیق دورې په پای کې په ایتیریم کې Lagrange Service قرارداد ته معامله وسپاري چې د دولتي کمیټې AVS کې د آپریټرانو راجسټریشن او راجسټریشن اداره کوي.

د هرې تصدیق دورې په پای کې، د کمیټې نوډونو سیټ ممکن بدل شي که چیرې چلونکي د راتلونکي تصدیق دورې پیل کیدو دمخه د وتلو یا یوځای کیدو غوښتنه وکړي. د پیرودونکي نوډونو تمه کیږي چې د Lagrange خدماتو قرارداد څخه هرې کمیټې ته راجستر شوي نوډونو اوسني سیټ ترلاسه کولو سره د next_committee د مرکل ونې رامینځته کړي.

ELI5: دولتي ثبوتونه څه دي؟

د ریاست ثبوت د بلاکچین حالت کریپټوګرافیک ثبوت دی: د سرچینې سلسله (سلسله A) څخه د بلاک سرلیک ثبوت ، کوم چې د منزل سلسلې ته د سرچینې سلسله کې د دولت شتون ثابتولو لپاره کارول کیدی شي ، لکه یو ځانګړې معامله. په بل عبارت، د دولت ثبوت د سرچینې سلسلې حالت د یو مشخص بلاک لوړوالی کې د ثبوت استازیتوب کوي.

د مخکیني مثال په کارولو سره د توضیح کولو لپاره: د سرچینې سلسله (سلسله A) څخه د بلاک سرلیک ، کوم چې د منزل سلسله (زننځیر B) کې د باب غوښتنلیک د الیس پلینګ لیږد شتون تصدیق کولو لپاره کاروي ، یو دولتي ثبوت دی. دا د پخواني بلاک او اوسني بلاک تر منځ د سرچینې سلسلې حالت کې د بدلونونو لنډیز استازیتوب کوي. که چیرې د ایلیس مرکل ثبوت د A بلاک سرلیک کې زیرمه شوي د لیږدونې ونې ریښې پروړاندې تایید کړي ، باب کولی شي په ډاډ سره د B چینج (د منزل سلسله) باندې د پلې کولو معامله تصویب کړي ځکه چې د دولت ثبوت د اصلي سلسلې په اړه د الیس پیغام غوښتنې اجرا کولو تصدیق کوي.

د Lagrange State کمیټې شبکه د ایتیریم لخوا خوندي شوي خوشبین رول اپونو لپاره د دولت ثبوتونو رامینځته کولو لپاره ډیزاین شوی. د دولت ثبوتونه په دولتي کمیټه کې د لږ تر لږه دوه پر دریمې برخې نوډونو څخه د BL12–381 لاسلیکونو په راټولولو سره رامینځته کیږي چې مخکې تشریح شوي ( block_header ، prev_committee ، او next_committee ). د دولت ثبوت بیا د SNARK سرکټ لخوا رامینځته کیږي د لاسلیکونو د ډله ایز وزن پراساس چې ورکړل شوي بلاک سرلیک ته تصدیق کوي.

اوسني او راتلونکي دولتي کمیټو ته د ژمنتیا لپاره د تصدیق کونکو اړتیاو طریقه د ایتیریم همغږي کمیټې پروتوکول سره ورته ده او ورته هدف ترلاسه کوي: د روښانه پیرودونکو وړ کول ترڅو د خوشبین رول اپ بلاک سرلیک اعتبار په مؤثره او خوندي ډول تصدیق کړي. د هر دولت ثبوت په کریپټوګرافیک ډول next_committee ژمنو لړۍ سره تړلی دی چې دا په ګوته کوي چې کوم نوډونه باید راتلونکی بلاک لاسلیک کړي. په دې توګه دا د SNARK ثبوت تصدیق کولو لپاره کافي دی چې د نوډونو تصدیق کولو لخوا لاسلیک شوي بلاک اعتراض کې لاندې تکراري ملکیتونه ثابتوي:

• په دولتي کمیټه کې لږترلږه ⅔ نوډونو د بلاک سرلیک لاسلیک کړ.

• د B بلاک current_committee د B-1 بلاک د next_committee ونې سره مساوي ده.

• B-1 بلاک یا د جینیسس بلاک دی، یا د دې دریو شرایطو په اړه د اعتبار وړ دی.

  
  

د متقابل عمل پروتوکولونه او نور غوښتنلیکونه چې د ګړندي پای سره خوندي امید لرونکي رول اپ حالت ته اړتیا لري (د بیلګې په توګه ، کراس چین پلونه او د پیغام رسولو پروتوکولونه) کولی شي د لږترلږه باور انګیرنې سره د لاګرینج ایالتي کمیټو څخه دولتي ثبوتونه وکاروي. په مهمه توګه، د Lagrange د دولتي کمیټې شبکه د دې توان لري چې د ناوړه تصدیق کونکو د ثابت کمولو او د اعتبار وړ اعتباري ثبوتونو پلي کولو سره د دولتي ثبوتونو امنیت تضمین کړي.

د Lagrange State کمیټې شبکه څنګه د ZK لوی ډیټا سټیک سره مداخله کوي؟

د Lagrange د محصول سوټ په اړه د لړۍ په لومړي پوسټ کې، موږ د ZK لوی ډیټا سټیک د مختلفو برخو ترمنځ اړیکه روښانه کړه: د Lagrange State کمیټې، Recproofs، zkMapReduce، او Lagrange Coprocessor. د دغو برخو څخه هر یو، کله چې یوځای سره یوځای شي، په ټولیز ډول دولت ته خوندي، اغیزمن لاسرسی چمتو کوي او د دولتي معلوماتو په اړه څرګند، متحرک محاسبه:

#1 د لاګرنج دولتي کمیټې شبکه د غوره فعالیت لپاره د ZK لوی ډیټا سټیک نورو برخو سره مدغم کیږي

موږ د دولتي کمیټو لپاره د تازه کولو وړ مجموعي عامه کیلي (APK) ثبوتونو رامینځته کولو لپاره Recproofs او zkMapReduce کاروو — موږ ته اجازه راکوي چې د غیر لاسلیک کونکو عامه کلیدونو د راټولولو او بیا راټولولو لګښت لرونکي او وخت مصرفونکي پروسې څخه مخنیوی وکړو کله چې نوي مجموعي لاسلیک ته اړتیا وي. جوړ شوی دی.

د لاګرینج دولتي کمیټو AVS کې د آپریټرانو د BLS عامه کلیدونو مؤثره راټولول په AVS کې د لوړ ګډون نرخونه اسانه کوي پرته له دې چې د دولتي کمیټې نوډونو څخه د تصدیقونو تصدیق کولو کمپیوټري لګښت زیات کړي. له همدې امله د لاګرینج ایالتي کمیټې د دې وړتیا لري چې د نوډونو احتمالي بې حده سیټ ملاتړ وکړي او د سوپر لاین امنیت نندارې ته وړاندې کړي ځکه چې ډیر پانګه په دولتي کمیټو کې اچول کیږي. تاسو کولی شئ د دې ملکیت په اړه نور معلومات زموږ په پوسټ کې د ZK لوی ډیټا سره EigenLayer باندې د برنامه وړ باور اندازه کولو په اړه زده کړئ.

د ZK لوی ډیټا سټیک سره د Lagrange ایالتي کمیټو ادغام هم د پیرودونکي غوښتنلیکونو لپاره ډیرې مستقیمې ګټې لري چې د Lagrange ایالت ثبوتونو څخه ګټه پورته کوي. د مثال په توګه، موږ کولی شو د Lagrange Coprocessor zkMapReduce خصوصیت وکاروو ترڅو د n خوشبین رول اپ زنځیرونو څخه ډیری دولتي ثبوتونه په یو واحد ملټي چین حالت ثبوت کې یوځای کړو. دا د "نسټډ تصدیق" لپاره اجازه ورکوي، چیرې چې یو واحد آن چین لیږد په ورته وخت کې د ډیری خوشبینه رول اپ حالت تاییدوي، او د پیرودونکي خدماتو لپاره د تایید لګښتونه کموي.

#2: د لاګرینج کاپروسیسر د لاګرینج دولتي کمیټې شبکې سره مدغم کوي ترڅو د باور وړ آف چین کمپیوټري ځواکمن کړي

Lagrange Coprocessor - کوم چې موږ به په راتلونکي پوسټ کې په پراخه کچه تحلیل کړو - د زنځیر څخه بهر د کمپیوټري کولو په ترسره کولو سره د آنلاین ډیټا ارزانه او توزیع وړ محاسبې ملاتړ کوي. د کراس چین د مداخلې پروتوکولونه چې د لاګرینج دولتي کمیټو سره مدغم کیږي کولی شي د لاګرینج کاپروسیسر سره هم مدغم شي ، ترڅو د دوی د کراس چین وړاندیزونو پراخولو کې اسانتیا رامینځته کړي ترڅو د تایید وړ محاسبه شامله کړي.

د مثال په توګه، یو پراختیا کونکی چې د څو زنځیر پور ورکولو غوښتنلیک رامینځته کوي ممکن د یو کارونکي لخوا n مختلف رول اپونو کې د زیرمه شوي تضمین مجموعه محاسبه کړي. زموږ دوستانه پراختیا کونکی کولی شي د دې ارزښت محاسبه کولو لپاره د Lagrange کاپروسیسر ګټه پورته کړي ، د هر بلاک سرلیک سرچینې په کارولو سره چې د کراس چین پروتوکول دمخه تکیه کوي.

ولې د Lagrange د دولتي کمیټو شبکه په خوشبینه رول اپونو کې د مداخلې لپاره د لوبې بدلون کونکی دی

د خوشبین رول اپ ر lightا پیرودونکو لپاره شریک شوی ، عالي لاین امنیت

اوس مهال، د متقابل عمل پروتوکولونه چې د خوشبینۍ رول اپ زنځیرونو ترمینځ د پل کولو ملاتړ کوي په خپلواکه توګه د سرچینې زنځیرونو حالت تصدیق کولو مسؤلیت لري. د دې مداخلې پروتوکولونو امنیت د دې تصدیق کولو میکانیزم پورې اړه لري چې د بلاک سرلیک سم دی.

ځینې کراس چین مخابراتي پروتوکولونه هڅه کوي د اصلي سټیک پلي کولو له لارې د باور انګیرنې کمې کړي او د سرچینو زنځیرونو سرلیکونو بلاک کولو تصدیق کولو دمخه د تضمین لپاره د تصدیق کونکو سیټ څخه غوښتنه وکړي. په هرصورت، دا د مختلف کراس چین پروتوکولونو کې اقتصادي امنیت ټوټه کوي، ځکه چې د هر پروتوکول د اعتبار کونکي سیټ د فرعي سیټ ( k of n ) فاسد کولو لګښت ټیټ دی.

په مقابل کې، د Lagrange ایالتي کمیټې د څو کراس چین پروتوکولونو ته اجازه ورکوي چې د اعتبار وړ یو واحد ، متحرک سیټ څخه امنیت ترلاسه کړي چې کولی شي بې حده اندازه اندازه کړي. دا د وضعیت حالت بدلوي — چیرې چې هر یو د مداخلې پروتوکول په خپلواکه توګه د کراس چین حالتونو دقت تصدیق کولو لپاره مسؤل دی - یو ته چیرې چې ډیری غوښتنلیکونه کولی شي د یوې سرچینې څخه د کراس چین حالت مصرف کړي.

د نورو روښانه مراجعینو پروتوکولونو برعکس، د Lagrange د دولتي کمیټې شبکه د تصدیق کولو نوډونو متحرک، بې حده سیټ ملاتړ کوي. د لاسلیکونو اقتصادي وزن چې د هر تصدیق خوندي کوي له همدې امله کولی شي په متحرک ډول اندازه کړي ځکه چې په دولتي کمیټو کې ډیر ونډه اخیستل کیږي - په امنیت کې د عالي لینر زیاتوالی او په انزوا کې د یوځای شوي کراس چین پروتوکولونو برید کولو ستونزې رامینځته کوي.

دا په مؤثره توګه د لاګرینج ایالت کمیټه د "شریک امنیت زون" جوړوي چې هر ډول کراس چین پروتوکول (د هغې اندازې په پام کې نیولو پرته) کولی شي د اعظمي امنیت لپاره وصل شي — ورته ورته چې څنګه په پولکاډوټ کې د ریلی چین او کاسموس هب په کاسموس کې ثانوي شبکې خوندي کوي. ملټي چین ایکوسیستم برسیره پردې، د ایګین لیر د بیا رغونې منځني وسایل سره یوځای کول د لاګرنج دولتي کمیټې شبکې ته توان ورکوي چې د ایتیریم اقتصادي امنیت وغځوي ترڅو د لاندې کراس چین مخابراتي پروتوکولونو په خپل سر شمیر خوندي کړي.

د کراس چین محصول پرمختیایی ټیمونو لپاره سر ټیټ شوی

یو پراختیا کونکی چې نن ورځ د کراس چین انټرپریبلیت پروتوکول رامینځته کوي باید زیربنا رامینځته کړي ترڅو په خپلواکه توګه لیدونکي پرمخ بوځي ترڅو د هر هغه خوشبین رول اپ حالت تصدیق کړي چې دوی یې ملاتړ کوي. لکه څنګه چې د مدغم امید لرونکي رول اپونو شمیر وده کوي ، د هرې اصلي سلسلې په اوږدو کې د امنیت اداره کولو زیربنا وده کوي.

د لاګرینج دولتي کمیټې سره ادغام پراختیا کونکي ته اجازه ورکوي چې خپل امنیت بهر کړي او پرځای یې سرچینې د دوی د محصول ب featuresو اصلاح کولو باندې تمرکز وکړي. د دې شرایطو کې د اچولو لپاره: د هر لیګرینج ایالت ثبوت دومره لږ وزن لري چې په هر ډول EVM مطابقت لرونکي سلسله کې په مؤثره توګه تایید شي.

د موجوده متقابل عمل پروتوکولونو لپاره اضافي امنیت

د لاګرنج ایالت ثبوتونه د ټرانسپورټ پرت ته اګنوسټیک دي چې دوی د یو یا ډیرو منزلو زنځیرونو ته د لیږد لپاره کارول کیږي ، د مداخلې غوښتنلیکونو ته اجازه ورکوي چې د موجوده امنیتي میکانیزمونو سره د لاګرینج ایالت ثبوتونه په بې ساري ډول ذخیره کړي. د مثال په توګه، د کراس چین اوریکل یا د کراس چین پیغام رسولو پروتوکول د خپلواک تصدیق کونکي سیټ سره کولی شي د لاګرینج ایالت ثبوت د اضافې امنیت اقدام په توګه تصدیق کړي مخکې لدې چې د خوشبین رول اپونو څخه د کراس چین پیغام غوښتنې غوښتنه وکړي.

برسېره پردې، د مداخلې موجوده پروتوکول - یوځل چې د Lagrange State کمیټې شبکې سره مدغم شوی - کولی شي د خوشبین رول اپونو لپاره مالتړ اضافه کړي پرته له دې چې تایید کونکو ته اړتیا ولري ترڅو د هغو زنځیرونو شمیر زیات کړي چې دوی یې څاري. د لاګرینج ریاست کمیټې شبکې څخه د دولتي ثبوتونو په کارولو سره ، تایید کونکي یوازې د رول اپونو ترمینځ د پیغام غوښتنې ریلی کوي. د منزل په سلسله کې د دروازې تړون بیا کولی شي د لاګرینج ایالت ثبوت تصدیق کولو سره د ریلیر لخوا لیږدول شوي پیغامونو شتون تایید کړي.

د لاګرنج دولتي کمیټې شبکه څنګه د نورو کراس چین امنیتي میکانیزمونو سره پرتله کوي؟

د Lagrange دولتي کمیټې په مناسبه توګه د موجوده متقابل عمل زیربنا سره پرتله کوي چې د کراس چین دولتي ثبوتونو امنیت ته وده ورکولو لپاره د بانډ سټیک / سلیشنګ، اجازه تایید، او د تصدیق تایید میکانیزمونه (د نورو په منځ کې) کاروي. لاندې ځینې پرتله کول دي:

د اجازې پرته تایید کونکو لخوا بهرنۍ تایید

د Lagrange د بیاکتنې ماډل د کراس چین امنیتي میکانیزمونو کې کلیدي ستونزه کموي چې د امنیت لپاره خالص PoS سټیک پلي کوي: د خطر سټیکینګ . د مثال په توګه، د کراس چین پروتوکول واخلئ چې د اعتبار مودې لپاره د پروتوکول اصلي نښه پیرود او بندولو لپاره تصدیق کونکي ته اړتیا لري. لکه څنګه چې د کراس چین پروتوکول اصلي نښه بدلیږي، د شتمنیو د نرخ بې ثباتي د شبکې ټول اقتصادي امنیت اغیزه کوي.

د قیمت بې ثباتي د لاګرینج دولتي کمیټې شبکې لپاره لږه ستونزه ده ځکه چې د کمیټې نوډونو امنیت د ایګین لییر له لارې د بیا تنظیم شوي تضمین پراساس دی. برسېره پردې، بیا ساتل شوي تضمین د احتمالي اعتبار ورکونکو لپاره د فرصت لګښتونه کم کړي دي، پدې معنی چې په دولتي کمیټو کې ډیر ګډون او د متقابل عمل پروتوکولونو لپاره د اقتصادي امنیت لوړه کچه. د کاروونکو لپاره، دا پدې مانا ده چې ټیټ فیس او ډیر امنیت د متقابل عمل پروتوکولونو په پرتله چې په خپلواکه توګه د دوی امنیت بوټ کوي.

موږ دا هم یادونه کوو چې د توافق پروتوکولونه په دودیز ثبوت کې کارول شوي د اعتبار کونکي شمیرې محدودیتونه (د بیلګې په توګه ، د 100-200 تایید کونکو کې د Tendermint BFT کیپس ګډون) او د دودیز PoS پروتوکولونه د اقتصادي امنیت اندازه کولو څخه مخنیوی کوي څومره چې اړتیا وي. برعکس، د Lagrange د ریاست کمیټې شبکه د تصدیق کولو میکانیزم کاروي چې په توافق کې د ګډون کونکي نوډونو احتمالي غیر محدود سیټ مالتړ کوي. دا ډاډ ورکوي چې شبکه کولی شي په متحرک ډول د تصدیق کونکو شمیر زیات کړي او د تمدید په واسطه د پیرودونکي غوښتنلیکونو لپاره د اقتصادي امنیت ډیر قوي تضمین چمتو کړي.

د اجازې تصدیق کونکو لخوا بهرنۍ تایید

د واک د ثبوت (PoA) پر بنسټ د کراس چین پروتوکولونه په تصدیقونو تکیه کوي ترڅو د اجازه ورکړل شوي نوډونو کوچنۍ سیټ څخه سرلیکونه بند کړي. دا کړنلارې په تاریخي ډول د لوړ پروفایل پیښو سره ناامنه ثابت شوي چې پکې د رونین هیک (5 له 7 تایید کونکو څخه جوړ شوي) او د هارموني یو برج هیک (له 5 تایید کونکو څخه 2 جوړ شوي).

د اجازې پرته تایید شوي سیسټم کارول لکه د Lagrange State کمیټې شبکه د مرکزي آپریټر یا تصدیق کونکي سیټ لاسلیک سرلیکونو په پرتله یو څه موثریت کموي. مګر د خطر مقدار ته په پام سره ، موږ دا یو معقول تجارت وګڼو. د اجازې پرته تایید شوي سیسټمونه د شرکتونو لپاره د برید سطح هم راټیټوي څوک چې ډیری وختونه په اجازه شوي سیسټم کې د تایید کونکو اکثریت پرمخ وړي.

کانونیکي پل جوړول

د لاګرنج دولتي کمیټې شبکه د خوشبین رول اپونو څخه د کراس چین پیغامونو لیږلو ځنډ له مینځه وړي. هر LSC د پلونو او پیغام رسولو پروتوکولونو لپاره د "چټک حالت" په توګه کار کوي چې کاروونکي غواړي د ننګونې کړکۍ ته انتظار کولو پرته د خوشبین رول اپ څخه پل شي. د خوشبین رول اپ هم په مستقیم ډول د LSC د ګړندۍ پای ملکیت څخه ګټه پورته کوي ځکه چې دا د L2 کاروونکو لپاره د UX درد کلیدي نقطه حل کوي.

دا تضمین د دې مشاهدې څخه ترلاسه کیږي چې: (a) د تخریب کولو میکانیزم د مخالفو کړنو لګښت لوړولو لپاره ډیزاین شوی، او (b) په LSC کې د کولډینګ نوډونو کمول کیدای شي په سست حالت کې په زنځیر کې واقع شي ځکه چې د متغیر وخت ځنډ شتون لري. د ونډې ایستل. په لنډیز کې، په LSC کې برخه اخیستونکي تل هڅوي چې د کراس چین حالتونو سمولو لپاره تصدیق کړي — کوم چې د کراس چین غوښتنلیکونو ته وړتیا ورکوي چې سمدلاسه د LSC څخه دولتي ثبوتونه وکاروي او د رول اپ کینونیکي پل لخوا ملاتړ شوي لږترلږه باوري انګیرنې سره.

پایله

دې مقالې خورا ډیر څه پوښلي، او موږ هیله لرو چې لوستل یې زده کړي وي - که ارزښتناکه نه وي - د جوړونکو، پانګه اچوونکو، لیوالتیا، او د متقابل عمل ځای کې کاروونکو لپاره. د دې مقالې په جریان کې، موږ د ګډ امنیت تعریف وپلټئ، دا د خوندي پروتوکولونو ډیزاین کولو لپاره څه معنی لري، او څنګه د کراس چین مداخله کولی شي د ګډ امنیتي زیربنا سره یوځای کولو څخه ګټه پورته کړي.

موږ د لاګرینج دولتي کمیټې هم سپړلي دي: زموږ د ګډ امنیت په توګه د خدمت حل حل د کراس چین مخابراتي پروتوکولونو په پام کې نیولو سره ډیزاین شوی. د Lagrange دولتي کمیټې زموږ د لید یوه برخه ده چې د خوندي، باور کم شوي، او اغیزمن متقابل عمل وړ کړي او د لوی سټیک برخه وي چې پراختیا ورکوونکي د کاروونکو لپاره پیاوړي کراس چین غوښتنلیکونه رامینځته کړي.

د ملټي چین راتلونکی ناگزیر دی او دا مهمه ده چې کاروونکي کولی شي د یو زنځیر کارولو څخه 10000 سلنونو ته لاړ شي پرته لدې چې د امنیت د پام وړ زیان تجربه کړي. د لاګرنج دولتي کمیټو په څیر حلونه (د کراس چین امنیت کې د نورو پرمختګونو سره) د دې هدف لپاره خورا مهم دي. د متقابل عمل سره د هر وخت څخه ډیر پام ترلاسه کولو سره، یوه نړۍ چیرې چې د زنځیرونو په اوږدو کې حرکت کول خوندي او اغیزمنه ده په ټوله نړۍ کې د کریپټو کاروونکو ته د لاسرسي په برخه کې خورا ښه ده.

اعترافونه

ایمانویل اووسیکا ( 2077 څیړنه )، عمر یحیی ( لګرینج لابراتوارونه )، اسماعیل هشون-رضازاده ( لګرنج لابراتوارونه )، او امیر رضازاده ( لګرنج لابراتوارونه ) پدې مقاله کې مرسته کړې. ایمانویل د دې مقالې لیکلو ملاتړ کولو لپاره د Lagrange Labs لخوا قرارداد شوی و.

د دې مقالې یوه نسخه مخکې دلته خپره شوې وه.