اجماع در مورد شهرت گره. لازمه؟

میدونم میدونم. پروژه‌های رمزنگاری زیادی وجود دارد، توافق‌های زیادی وجود دارد: بر اساس کار و مالکیت، طلا، روغن، کیک‌های پخته شده (یکی وجود دارد، بله، بله). چه چیز دیگری از یکی نیاز داریم؟ این چیزی است که من پیشنهاد می کنم پس از خواندن ترجمه مستندات فنی "سبک" پروژه *صورت فلکی (صورت فلکی). البته، این توصیف کاملی از الگوریتم نیست، اما من به نظر جامعه هابر علاقه مند هستم، آیا جایی برای چنین اجماع "بودن" وجود دارد یا غیر ضروری است؟

نامه های زیادی وجود ندارد، بنابراین اگر فقط می خواهید بنویسید "وای، تا جایی که می توانید در مورد کریپتو"، لطفا خودداری کنید. اگر به پیشرفت های جدید در زمینه سیستم های توزیع شده علاقه مند هستید و چیزی برای به اشتراک گذاشتن در نظرات دارید، لطفاً به گربه مراجعه کنید.

PS من نویسنده فناوری نیستم، نمی توانم انتقال کامل ذات را تضمین کنم، بنابراین خوشحال می شوم نظراتی را با اصلاحاتی دریافت کنم، در صورت وجود.

تکامل از اجماع همزمان به ناهمزمان

گره ها با استفاده از یک فرآیند قطعی انتخاب می شوند (همان چیزی که در DHT ها مانند بیت تورنت استفاده می شود) که به صورت پویا مسئولیت های گره ها را برای "تسهیل" اعتبارسنجی یا به طور قابل درک تر، برای دستیابی به اجماع تنظیم می کند. ما گروه های 3 گره را انتخاب می کنیم و دورهای اجماع را به صورت موازی اجرا می کنیم تا یک گره بتواند در چندین بلوک تسهیل کننده باشد. این به ما امکان می دهد تا تراکنش ها را به صورت ناهمزمان پردازش کنیم، که اساساً به این معنی است که چندین بلاک چین به طور همزمان تشکیل می شود. این فرآیند مانند یک تار عنکبوت است که توسط رشته های زیادی تشکیل شده است، برخلاف گره هایی که در طول زمان یک زنجیره واحد را تشکیل می دهند. پردازش ناهمزمان یا موازی اساس برنامه نویسی مقیاس پذیر است زیرا امکان استفاده از تمام منابع رایانه را فراهم می کند و محاسبات کلی را سرعت می بخشد. این شبکه در علم کامپیوتر گراف غیر چرخه ای جهت دار یا DAG نامیده می شود.

عرض کانال یک بلاک چین خطی در مقابل اثر ضربی یک DAG که در آن چندین بلاک چین موازی داریم.

اجرای هندسی بلاک چین خطی در برابر DAG. نقاط سیاه بلوک هستند، نقاط سفید گره هستند

ما از 3 گره در هر دور اجماع استفاده می‌کنیم، زیرا فرآیندهای ریاضی جالبی را برای استدلال در مورد وضعیت به ما می‌دهد و یک "صفحه سطحی" در بین داده‌ها به شکل مثلث‌های متصل تشکیل می‌دهد. سپس پروتکل از مثلث ها برای بخیه زدن یک سطح بهینه استفاده می کند که حاوی داده های اضافی یا متناقض نیست و کوچک ترین مثلث های ممکن را دارد. از نظر الگوریتمی، این مشابه با «حداقل برش» یک نمودار است، و از نظر ریاضی، مشابه یک تابع مشتق یا بهینه‌سازی است (که از آن تابع کوتاه‌ترین مسیری را که می‌تواند در طول سطح طی کند، پیدا می‌کند). این کوتاه ترین مسیر معادل ذخیره سازی بهینه داده ها (معاملات) در یک DAG است. "کاشی های" مثلثی متضاد به طوری که سطح رویداد صاف و عاری از درگیری باشد.

اجرای هندسی تشخیص / رسیدگی به تعارض. یک بلوک متضاد یک کاشی سطح اضافی ایجاد می کند. ما کاشی‌های سطح اضافی را حذف می‌کنیم تا سطح رویداد مسطح (= بدون درگیری) حفظ شود.

اجماع بر اساس شهرت

در یک سیستم بهینه شهرت غیرمتمرکز p2p، هر گره باید بتواند به طور مستقل اعتماد خود را به گره های دیگر تعیین کند. سیستم ما از یک مدل ویژه استفاده می‌کند که شامل روابط گذرا یا روابطی است که یک گره با گره‌های دیگر دارد، هنگام تخصیص یک امتیاز کلی. "شما به اندازه شرکت خود خوب هستید." نتیجه نهایی یک "چرخش" یا گرادیان بر اساس اعتماد یا شهرت گذرا در تمام گره‌های $DAG یا کانال معمولی است. این را می توان به عنوان یک قلم مو یا رنده پنیر در نظر گرفت که در یک "صفحه سطح" پاک می شود و انتخاب می کند که کدام "کاشی های مثلثی" را پاک کند و کدام را ترک کند. اینگونه است که منطق تضاد در واقع «کاشی‌های مثلثی» را حذف می‌کند.

یک DAG با یک کاشی متضاد که از یک فضای "منحنی" عبور می کند که یک گرادیان است، شبیه به رنده پنیر، و قرار است کاشی متضاد را حذف یا "پاک کند".

مقیاس بندی جزئی / کامل گره

در تئوری شبکه، معمولاً تخصیص بهینه به عنوان "بدون مقیاس" شناخته می شود، که می تواند به عنوان یک آرایش سلسله مراتبی با گره های مرکزی بزرگ که بسیاری از گره های محیطی کوچکتر را مدیریت می کنند، توصیف شود. این توزیع در طبیعت و بالاتر از همه در اینترنت قابل مشاهده است. Constellation از این معماری برای "مقیاس سازی" یا افزایش توان عملیاتی یا عرض نمودار ما استفاده می کند.

تأثیر پارتیشن بندی سلسله مراتبی. با افزایش پهنای باند می توانیم گره های بیشتری اضافه کنیم

Hylochain - پشتیبانی از برنامه مبتنی بر کانال

رویکرد ما برای پشتیبانی برنامه را می توان به عنوان یک "پلتفرم قرارداد هوشمند غیرمتمرکز" در نظر گرفت. به جای یک شبکه مرکزی که تمام منطق را اجرا می کند و تمام داده های برنامه را پردازش می کند، Constellation داده های برنامه را با "کانال های خانه" هماهنگ می کند، که می تواند به عنوان یک ایستگاه تلویزیونی در نظر گرفته شود که همه داده ها را از سیستم خانه پخش می کند. هر کانال کارکنان می‌تواند منطق تأیید خود را برای حل مشکل اوراکل از طریق تأیید اعتبار سرتاسر تولیدکنندگان داده و تأیید موقت سیستم‌های کارکنان ترکیبی پیاده‌سازی کند. شبکه‌های کانال دولتی پشتیبانی موازی از برنامه‌ها را فراهم می‌کنند و زمان‌های پذیرش را که توسط اجماع همزمان سنتی در یک شبکه قرارداد هوشمند محدود شده‌اند، سرعت می‌بخشند.

دو کانال استاندارد که از طریق شبکه $DAG "سازگار" هستند. آنها می توانند با استفاده از گره های هیبریدی $DAG + Channel با $DAG "ادغام" شده اند یا تفسیر شوند.

دلیل اینکه Hylochain نامیده می شود این است که رویکرد ما برای پشتیبانی برنامه از مدل برنامه نویسی عملکردی Recursion Schemes برای ایجاد رابط MapReduce استفاده می کند. به طور خاص، طرح‌های بازگشتی Hylomorphism و Metamorphism را می‌توان برای ایجاد پرس و جوهای قابل تأیید و اتصالات جریانی در کانال‌های بومی با اعتبارسنجی انواع داده‌های جبری به همان روشی که کدهای عملیاتی برای قراردادهای هوشمند تأیید می‌شوند، ادغام کرد. نتیجه نهایی یک رابط کاربردی MapReduce است که برای مهندسان داده آشنا است و با فناوری کلان داده موجود سازگار است.

Hylomorphic و Metamorphic کانال های استاندارد برای کنتراست هستند. در حالت دگرگونی، داده های دو کانال معمولی به یک بلوک در متاکانال ارسال می شود. در Gilo حالت قبلی یک کانال را می گیریم و از آن برای پرس و جو (پرسیدن یک سوال خاص) دو کانال دیگر استفاده می کنیم و سپس نتیجه پرس و جو را در یک بلوک ذخیره می کنیم.

Tokenomics و ارتباط آن با Hylochain

هنگامی که یک کانال بومی ایجاد شد، می توان آن را در کانال $DAG ادغام کرد، اما با استفاده از رابط ACI یا Application Chain. این رابط به سادگی یک شی JSON با اطلاعات پیکربندی و یک کلید عمومی مرتبط با خود کانال است. دلیل اینکه ما یک کلید عمومی را با یک کانال معمولی مرتبط می‌کنیم، ایجاد مکانیزم کارگزاری برای داده‌های کانال معمولی است. هنگامی که کانال معمولی مستقر می شود، توسعه دهندگان خودشان پیکربندی می کنند که پرداخت ها از شبکه $DAG چگونه بین گره ها و اپراتورها توزیع می شود.

جریان برای خرید دسترسی به اطلاعات یا اصلاح اطلاعات. درخواست به $DAG ارسال می‌شود، وجوه به حساب کانال ارسال می‌شود، نتیجه برای خریدار ارسال می‌شود، و چک‌سوم تراکنش به شبکه $DAG ارسال می‌شود، که سپس وجوه را به کانال معمولی آزاد می‌کند.

منبع: www.habr.com