تورینگ کامل (Turing Complete)

 

قبل از رایانه های امروزی ، آلن تورینگ این فرضیه را مطرح کرد که روزی ماشینی وجود دارد که می تواند هر مشکلی را حل کند. این دستگاه به تورینگ کامل (Turing Complete) معروف شد.

 

مقدمه ای بر تورینگ کامل (Turing Complete)

تورینگ کامل (Turing Complete) به ماشینی گفته می شود که با در نظر گرفتن زمان و حافظه کافی همراه با دستورالعمل های لازم ، هر مسئله پیچیده ای را بتواند حل کند. این اصطلاح به طور معمول برای توصیف زبان های برنامه نویسی مدرن استفاده می شود زیرا بیشتر آنها Turing Complete (C ++ ، Python ، JavaScript و غیره) هستند.

 

مخترع تورینگ

آلن تورینگ ، یکی از بزرگترین ریاضیدانان و دانشمندان کامپیوتر ، در سال 1936 ماشینی را توسعه داد (ماشین فیزیکی نبود بلکه نظری بود) که می توانست هر محاسبه ای را انجام دهد. وی نحوه ساخت رایانه ای را توضیح داد که بتواند هر برنامه ای را اجرا کند و هر نوع مساله ای را حل کند. با این حال ، هیچ تضمینی در مورد مدت زمان پردازش وجود ندارد. بعضی از آنها ممکن است در عرض چند دقیقه انجام شود در حالی که برخی مسایل ممکن است هزاران سال طول بکشد . اما تضمین می کند که دیر یا زود مشکل حل خواهد شد. (حتی ممکن است تا پس از نابودی جهان طول بکشد).

 

جهت مشاهده ادامه مقاله به آدرس وب سایت فکت کوینز مراجعه نمایید.

وایت پیپر اتریوم- قسمت هفتم

 

در ادامه قسمت ششم وایت پیپر اتریوم:

Miscellanea And Concerns

اجرای GHOST اصلاح شده در شبکه اتریوم

“Greedy Heaviest Observed Subtree” (GHOST) پروتکل نوینی است که اولین بار در دسامبر سال 2013 توسط یوناتان سمپولینسکی و اویو زوهر معرفی شد. بسیاری از بلاک هایی که خیلی سریع حل میشوند بیات (stale )میشوند و امنیت کمی دارند. مثلا اگر ماینر A بلاکی را حل کند و ماینر B قبل از اینکه بلاک شخص A به شبکه ارسال شود بلاک دیگری را حل کند ، بلاک ماینر B، هدر میرود و به امنیت شبکه کمک نمی کند .

علاوه بر این ، مورد “تمرکز” هم وجود دارد: اگر ماینر A استخری با 30 درصد قدرت هش باشد و ماینر B تنها 10 درصد قدرت داشته باشد، 70 درصد امکان دارد که تولیدکننده این بلاک بیات شده ماینر A باشد و فقط 10 درصد این احتمال داده میشود که ماینر B آن را ایجاد کند.

پروتکل GHOST

پروتکل GHOST اشکال امنیتی شبکه را از طریق درج بلاک های بیات در طولانی ترین زنجیر ،حل میکند. به عبارت دیگر ، نه تنها والدین و اجداد بعدی یک بلاک ، بلکه فرزندان بیات اجداد بلاک (در اصطلاحات اتریوم ، “عموها”) به محاسبه اینکه کدام بلاک با بیشترین گواه اثبات کار پشتیبانی میشود ،اضافه میشوند.

برای حل مشکل دوم، ما از پروتکل توصیف شده توسط Sompolinsky و Zohar فراتر می رویم ، و همچنین اجازه می دهیم که بلاک های بیات در زنجیره اصلی ثبت شوند تا پاداش بلاک را دریافت کنند: یک بلاک بیات 93.75٪ پاداش پایه خود را دریافت می کند ، و برادرزاده که شامل بلاک بیات می شود ، باقی مانده 6.25% را دریافت می کند. و اما کارمزدهای تراکنش(اترها) به عموها تعلق نمی گیرد.

اتریوم نسخه ساده شده GHOST را اجرا می کند که فقط پنج سطح پایینتر از این پروتکل است . فقط یک بلاک بیات میتواند توسط فرزند نسل دوم تا پنجم والدین خود به عنوان عمو درج شود نه بلاک هایی که رابطه دورتری دارند (به عنوان مثال فرزند نسل ششم والدین ، یا فرزند نسل سوم پدربزرگ و مادربزرگ).

 

جهت مشاهده ادامه مقاله به آدرس وب سایت فکت کوینز مراجعه نمایید

وایت پیپر اتریوم – قسمت سوم

برنامه های بلاکچینی جایگزین (Alternative Blockchain Applications )

نظریه استفاده از زیرساخت بلاکچین و کاربرد آن در مفاهیم دیگر تاریخچه ای طولانی دارد. در سال 2005 نیک زابو با معرفی مفهوم جدیدی تحت عنوان ” عناوین ملک امن با اختیار مالک” ( secure property titles with owner authority) ظاهر شد. این مفهوم سندی است که توضیح میدهد چگونه” پیشرفت های جدید در فناوری پایگاه داده تکراری” شرایطی را برای ایجاد سیستمی مبتنی بر بلاکچین فراهم کرده است. این سیستم به منظور ثبت اطلاعات اینکه چه زمینی متعلق به چه کسی است و همچنین ایجاد یک چارچوب دقیق برای مفاهیمی مانند خانه داری، تصرف ملک و مالیات زمین اهالی گرجستان، ایجاد شده است. در آن زمان هیچ سیستم پایگاه داده ی کارآمدی وجود نداشت پس عملاً این پروتکل هیچ وقت به مرحله اجرا نرسید.

بعد از سال 2009، با توسعه اجماع غیر متمرکز بیتکوین، تعدادی اپلیکیشن جایگزین به سرعت شروع به ظهور کردند.

• نِیم کوین (Namecoin) که یک پایگاه ثبت داده غیر متمرکز است در سال 2010 ساخته شد. در پروتکل های غیر متمرکز مثل Tor ، Bitcoin و Bitmessege باید راهی برای شناسایی حساب های کاربری باشد تا افراد بتوانند با یکدیگر تعامل داشته باشند. اما در همه این راهکارها تنها  شناسه موجود ،یک هش شبه تصادفی مانند 1LW79wp5ZBqaHW1jL5TCiBCrhQYtHagUWy است. اما اگر کسی بخواهد اسم آن را مثلاً ” جورج” بگذارد هیچ اشکالی ندارد، فقط مشکل اینجاست که اگر یک نفر بتواند حسابی به نام ‘george’ ایجاد کند، شخص دیگری هم می تواند از همان فرآیند برای ثبت ‘george’ برای خود و جعل هویت استفاده کند.

 

 

تنها گزینه برای حل این مشکل استفاده از الگوی first- to- file است که طبق آن وقنی نفر اول ثبت نام خود را انجام میدهد، دیگر نفر دوم قادر به نام نویسی نخواهد بود. Namecoin از قدیمی ترین و موفق ترین سیستم های نام نویسی است که از چنین ایده ای بهره برده است.

 

جهت مشاهده ادامه مقاله به آدرس وب سایت فکت کوینز مراجعه نمایید.