الخطوط العريضة:
1:52:12 - نموذج UTXO الموسّع الخاص بكاردانو
وكانت هناك متابعة تسمى Gepetto. والفكرة الأساسية كانت أنه ، من باب الصدفة ، كما تعلم ، أن لديك مشاكل في علوم الكمبيوتر مثل ، تجزئة، أينما تستطيع ، يمكنك إجراء كل هذه الحسابات وبمجرد الانتهاء من كل ذلك ، وجدت هذا الرقم السحري الذي يمكنك التحقق من أن الحوسبة قد تمت بشكل صحيح. لذلك فإن إثبات العمل يعمل بهذه الطريقة بجد للقيام بإثبات العمل ، من السهل التحقق من إثبات العمل. أه ، التشفير يعمل بهذه الطريقة أيضًا. لديك باب محاصر حيث يمكنك التحقق من صحة شيء ما. ولكن لإنجاز هذا الشيء ، كما تعلم ، إذا كنت تقوم بقوة غاشمة ، فإن الأمر يتطلب قدرًا هائلاً من الحسابات. حسنًا ، ليست كل المشاكل على هذا النحو ، مثل طي البروتين للتحقق من أن البروتين مطوي بشكل صحيح ، عليك أن تطوي البروتين. لذلك عليك أن تعيد العمل من جديد .
ول كن ماذا لو كنت تستخدم في الحساب التعسفي ، يمكنك أن تأخذ مشكلة ، وبعد ذلك يمكنك إنشاء دليل على أنك قمت بهذا الحساب بشكل صحيح و الإثبات يتم التحقق منه في الوقت اللوغاريتمي أو الوقت الثابت. رائع. هذا لا يصدق ، أليس كذلك؟ حسنًا ، كتبت Microsoft بالفعل ورقة حول كيفية القيام بذلك. و كان اسمها بينوكيو. هذا مثال آخر على هذه الأنواع من الأشياء. هذه المجموعات من الأشياء حيث بدلاً من إجراء العمليات الحسابية على السلسلة أو محاولة إنشاء نوع من الآلة المنسوخة التي تقوم بكل هذه الأشياء ، آه ، بدلاً من ذلك فقط تقول ، حسنًا ، الشيء الوحيد الذي سأستخدم blockchain من أجله هو التحقق من دليل. لكنني سأحولها إلى مشكلة حوسبة موزعة. يمكن لأي شخص في العالم حل المشكلة على أي خادم ، او خادم غير موثوق به حتى ، لأنك لست مضطرًا إلى الوثوق بال Output. أنت تثق في الدليل والدليل حتمي. يخبرك بهذه الأشياء. لذا ، فأنت تعلم ، سواء كنت تستخدم المعرفة الصفرية أو بروتوكولات Sigma أو كما تعلم ، بعض الآليات الأخرى ، فهي تحركك في هذا الاتجاه المعين لتحويلها من مشكلة مكررة إلى مشكلة موزعة والانتقال من : أنا أقوم بالعمل إلى ، أنا أتحقق من أن العمل قد تم بشكل صحيح.
ل : هذا رائع. وفجأة نعود إلى p يساوي np. الشيء الذي فيه ، بالنسبة للعديد من المشكلات الشيقة جدًا ، يكون الفحص فعالًا ، هذا أكثر كفاءة بكثير من الحل.
ش : صح. وأيضًا ، هل تريد حتمية كاملة أم أنها احتمالية؟ لأنك إذا اجريت استرخاء هذا المطلب قليلاً ، ثم فجأة لديك فئة أوسع من الأشياء التي يمكنك بناء هذه الأشياء من أجلها.
ل : لقد ذكرت UTXO ، هناك ورقة بعنوان نموذج U T X O الممتد. يكتب في المقدمة أن Bitcoin و Ethereum يستضيفان، و هما العملات المشفرة الأكثر قيمة وشعبية حاليًا ، يستخدمان نموذجين مختلفين إلى حد ما لدفتر السجل المعروفين باسم نموذج UT XO ونموذج Account على التوالي. في الوقت نفسه ، يختلف هذان البلوكشين العامان بشدة في التعبير عن العقود الذكية التي يدعمونها. هذه ليست مصادفة. اختارت Ethereum نموذج الAccount بشكل صريح لتسهيل العقود الذكية الأكثر تعبيرًا. من ناحية أخرى ، اختارت Bitcoin UT XO أيضًا لأسباب وجيهة ، بما في ذلك أن نموذجها الدلالي يظل بسيطًا في بيئة حوسبة معقدة ومتزامنة وموزعة. يثير هذا السؤال عما إذا كان من الممكن الحصول على عقود ذكية معبرة مع الحفاظ على البساطة الدلالية لنموذج UT XO. تمام…
ش : إذن ما الذي يعنيه ذلك بحق الجحيم؟ ههه
ل : بالضبط ههه. ما هو UTXO ، ما هو The Account Model وما هي فكرة نموذج UTXO الممتد؟
ش : حسناً أعتقد أن أسهل طريقة لتصور ذلك هي أن UTXO يشبه نوعًا ما محاسبة السجل النقدي/ Cash Register Accounting . إذاً كما تعلم ، فلنفترض أنه ليس لديك بطاقات ائتمان/ Credit Card، لديك نقود فقط. وهكذا عندما تذهب وتشتري بعض الحليب والبطاطس أو أي شيء آخر وتذهب إلى أمين الصندوق ، تسحب فاتورتك بقيمة 20 دولارًا ، وتعطيها لهم ، ما لم يصل الأمر إلى 17,50 ، يجب عليهم إجراء التغيير. لذلك لا تمزق فاتورتك البالغة 20 دولارًا ، وتقطع جزءًا منها وتقول ، هذا جزء من 20 دولارًا الخاصة بي. فأنت تعطيهم فاتورة الـ 20 دولارًا بالكامل ، ثم يعيدون لك شيئًا ، والأشياء التي يعيدونها لك هي أيضًا وحدات. إنهم لا يقطعون هذه الأشياء. إذن هذا نوع من ما يدور حوله U T X O باختصار هو أن هناك مدخلات ومخرجات/ Inputs and Outputs، ومدخلاتك إلى 20 و المخرجات ستكون 17,50 التي تذهب إليهم.
ثم يعود التغيير المتبقي إليك. تمام. تكمن المشكلة في هذا النموذج المعين في الطريقة التي تم تنفيذه بها مع Bitcoin ، لم يكن هناك فكرة عن كيفية تشغيل عقود معقدة المسندات على هذا الشيء حيث بدلاً من مجرد قول ، حسنًا ، سأقوم فقط بدفع القيمة إليك ، أريد أن أضع الكثير من الشروط والأحكام في حركة تلك القيمة. مثل القول : تحصل على هذا فقط إذا قمت بجز حديقتك يوم الثلاثاء ، أو ستحصل على هذا فقط إذا ، آه ، كما تعلم حدث بعض الأحداث مثل فوز البرونكوز بلقب السوبر بول أو شيء من هذا القبيل. تمام. لذا فأنت بحاجة إلى فكرة عن قابلية البرمجة معها. لذلك يحاول الكثير من الناس اكتشاف في الأيام الأولى لعملة البيتكوين ، كيف يمكننا تحسين تعبير النظام؟ وإحدى طرق القيام بذلك هو أنه يمكنك الذهاب إلى نموذج محاسبة مختلف ، أسلوب محاسبة “بنكي”.
لذا في دفتر السجل في البنك ، في كل مرة تقوم فيها بسحب ، إيداع ، كما تعلم ، إنه نظام غير قابل للتغيير. كما تعلم ، مع محاسبة السجل النقدي/ Cash Register Accounting، لا يمكنك تمزيق الفواتير ، ولكن في البنك يمكنك خصم أو إضافة دفتر السجل طوال الوقت. فإذاً يعمل Ethereum في ذلك النظام المحاسبي المصرفي حيث تقوم فقط بإرسال الرسائل وإرسال المعاملات وأنت ترتفع أو تنخفض. وبذلك يمكنك تشغيل البرامج بنفس الطريقة. ما فعلناه هو أننا قلنا ، حسنًا ، إذا أخذت نموذج U T XO ولديك بعض البيانات/ Data إليه ، وبدلاً من القول إنه مجرد توقيع رقمي ، ولكنه في نص ، يمكنك في الأساس إنشاء شيء لا يزال هو نفسه ماكينة تسجيل المدفوعات النقدية/ Cash Register، ولكن لديك الآن إمكانية البرمجة. والفرق الكبير “محلي مقابل عالمي”. لذلك في حالة U T X O ، فإن البرامج النصية الخاصة بك هي اهتماماتك الخاصة بك وحدك فقط …
(1:55:32)