الخطوط العريضة:
1:45:02 - إرجو وأليكس تشيبورنوي
ش : لديه فكرة بروتوكول سيجما فيما يتعلق بجانب إثبات العمل. كان لدى ساتوشي فكرة صوت واحد لوحدة المعالجة المركزية /CPU. لذا حاول أليكس إنشاء ألغاز غير قابلة للاستعانة بمصادر خارجية لتجعل من المستحيل وجود أحواض تعدين. وهناك كل هذه الأشياء الصغيرة الجميلة الأخرى. وهو هذا ، إنه هذا المبرمج الروسي اللامع وقد أحاط نفسه بكل هؤلاء الأشخاص الرائعين الآخرين. ليس لديه غرور. إنه مثل ، لديه حالة غرور سلبية. عندما تضعه مع شخص ذو غرور ، ينخفض غرورك. نعم. وكل شيء عن أليكس دائمًا ما يكون ، كيف يمكنني حل هذا؟ كيف يمكنني فعل ذلك؟ ويتحمس بشكل شرعي عندما يلتقي بشخص يمكنه التعاون معه أو التعلم منه. هذا هو المكان الذي كانت فيه عملة البيتكوين في البداية. وضع الجميع غرورهم جانبًا ، سواء كان هال فيني أو أيا كان ، وكانوا يقولون فقط ، كيف يمكنني المساعدة؟ ماذا يمكنني أن أفعل؟ وكان الأمر كله يتعلق بإيجاد شيء جديد رائع أو حل مشكلة جديدة رائعة. لا أرى أيًا من ذلك في Bitcoin اليوم.
ل : لذا فإن قلة قليلة من الناس متحمسون بشأن ergo ومتحمسون لحقيقة أنك تقدر نوعًا ما أليكس وإرجو ، أه ، هل ترى ان Cardano تحتمل أن تستخدم دليل آلية العمل من ergo كجزء من هذا، مجمع آلية الإجماع ؟
ش : أعني ، كل شيء ممكن. وأنت تعلم ، هناك الكثير من التطور الذي يجب أن يمر به ergo. أم ، و ergo كان ، نوعًا ما ، آه ، عندما ظهرت Xbox 360، بينما كانوا يصنعونها ، كانت Microsoft بحاجة إلى بيئة تطوير. ومن المفارقات أنهم اشتروا الكثير من أجهزة كمبيوتر آبل للقيام بذلك. لأن Apple كانت تتحرك بعيدًا عن الكمبيوتر الشخصي القوي إلى Intel وكانت Microsoft تتجه نحو جهاز الكمبيوتر القوي ، فقد كان هذا تقاطع غريب في التاريخ. لذلك في ذلك الوقت ، تم إجراء أكبر طلبية لأجهزة كمبيوتر MAC بواسطة Microsoft وكانوا يستخدمونها لأشياء Xbox. لذلك نظرنا إلى ergo بنفس الطريقة. لذلك قلنا ، حسنًا ، لدينا نموذج UT XO الموسع هذا. الشيء الوحيد الذي يقترب بدرجة كافية منه حيث يمكننا اختبار العقود التجريبية هو في الواقع مع Ergo. وكان أليكس أسرع قليلاً في إخراج أشياء معينة لأننا كنا نفعل الأشياء بطريقة أكثر صرامة قليلاً وبطريقة أكثر تعبيراً قليلاً.
لذلك قمنا بالفعل باختبار عملة مستقرة و Oracle وأشياء أخرى على ergo ولديها مجتمع مذهل، عندما قلنا ، مرحبًا ، نحن نأتي إلى هنا للعمل ونبني ، أوه نعم ، نحن نحب العمل معكم يا رفاق ، هذا رائع جدًا. آه ، الشيء الآخر هو أن Alex اعتاد على العمل لدينا وكان لديه هذا المشروع الجميل المسمى Score X. وكان كل شيء مثل إطار تربوي لبناء blockchains. وإذا كنت تريد عمل نماذج أولية أو بحث أكاديمي ، فهذا رائع. لقد كان معياريًا للغاية وفصل شبكة الإجماع وطبقة المعاملات عن بعضهما البعض وبالطريقة الصحيحة تمامًا بحيث يمكنك جعلها معيارية ومزجها وأشياء. لذا يمكنك وضع ربما طبقة شبكة مختلفة وإثباتًا مختلفًا ، بروتوكول إجماع ، مثل إثبات العمل لإثبات عمل آخر وما إلى ذلك.
لذا فقد أحببنا وجود هذا النوع من IP الموجود حولنا لأنه منحنا القدرة على التلاعب بالأفكار في غضون أسابيع بدلاً من شهور أو سنوات. وبعد ذلك أخذ هذا المفهوم وتنازل عنه. تم بناء بروتوكول Wave عليه. أه ، هذا كان ، آه ، ساشا إيفانا ، لقد فعل ذلك. وأعتقد أن هناك اثنين أو ثلاثة من العملات المشفرة الأخرى التي تم إطلاقها من Score X. ثم أخذ Alex ذاك وبنى ergo منه. لذلك كان هناك تقاطع جميل حيث كان هناك تداخل بين التكنولوجيا مع تقنية ergo مع تقنيتنا. والشيء الآخر هو أن المجتمع كان منفتحًا و ودودًا للغاية ، وكان مجرد شبه عدم تفكير. فقط ادخل وابدأ في بناء بعض الأشياء هناك. الآن فيما يتعلق بالأفكار المتطورة ، فإن فكرة بروتوكول سيجما بأكملها مختلفة تمامًا وهي مثيرة جدًا للاهتمام. وأم ، هناك شاب في جامعة بوسطن ، سيأتي اسمه إلي في لحظة ، آه ، الذي جاء بهذه الأشياء.
وأعتقد أن هناك بعض المزايا هناك ، خاصةً عندما نبدأ في الاقتراب أكثر من فكرة استخدام blockchain للتحقق من صحة البراهين بدلاً من تشغيل الحوسبة.
ل : ما هو بروتوكول سيجما بالمناسبة؟
ش : هي مجرد طريقة للتعبير عن النصوص وأه ، في الأساس تحصل على هذه التمثيلات الموجزة للبراهين وبعد ذلك يمكنك القول ، حسنًا ، النص صحيح ، لكن ليس عليك تشغيل البرنامج بأكمله. لذلك هناك الكثير ، أنا لا أقوم بإنصاف الموضوع ، هناك الكثير مما هو عليه. لكن هذا هو المفهوم الأساسي. وفي نموذج Redeemer Validator ، تحتاج إلى أشياء من هذا القبيل لأنه ، نظرًا لأن نموذجك يصبح أكثر تعقيدًا ويحدث الكثير من الأشياء. إنه ، لا تريد أن يكون لدي موقف حيث يجب أن أركض ، أعد تشغيل قدر كبير من الرسم البياني U T X O حتى أتمكن من الوصول إلى نقطة حيث لدي حالة النظام.
أنت بحاجة إلى بعض الأدوات الرياضية التي تمنحك حالة النظام بسرعة. وبعد ذلك ستقول ، حسنًا ، أنا الآن أعرف كيف وماذا ، وما هو التهديد الحسابي الذي أحتاجه لأتمكن من الحصول على ما يكفي لأتمكن من استرداد ، آه ، هذه المعاملة. لذلك وجد تمثيلًا أكثر مضغوطًا لها. كما تعلم ، الرياضيات لا تهم. ما يهم هو أن هناك مجال جميل بالكامل يفكر في هذا النوع من الأشياء. ولم يتم ربطها من قبل بصناعتنا. كان تألق أليكس هو إدراك أنه يمكنك فعل ذلك وجمع تلك الأشياء معًا. وقد يكون في الواقع سمارة ، ولكن بأي حال من الأحوال هو ليس الشخص الوحيد الذي يقوم بهذه الأشياء. هناك في الواقع طرق أخرى في الحوسبة التي تم التحقق منها ، أه ، والتي استكشفت ذلك. مثل المفضل لدي خرج من أبحاث Microsoft كمشروع يسمى Pinocchio.
(1:50:12)