يقول ستيف نيوكومب ، كبير مسؤولي المنتجات في Matter Labs ، إن Crypto يضعف حاليًا مثلما فعل الإنترنت في عام 1996 بسرعات بطيئة وعدد قليل من حالات الاستخدام العملي.
لكن الزيادة الكبيرة في النطاق الترددي والأمان بعد فترة وجيزة من ظهور الإنترنت أصبح جزءًا مهمًا من الحياة اليومية في جميع أنحاء العالم - ونحن على أعتاب حدوث ذلك للعملات المشفرة في الأشهر القليلة المقبلة.
يوضح نيوكومب قائلاً: "لم يثق أحد في بطاقة الائتمان الخاصة به واعتقد الجميع أنها بدعة ولم تكن هناك أي حالات استخدام لها".
"وبعد ذلك كان لدينا 10x لحظات في النطاق الترددي ثم جاء SSL ، و HTPS حيث حصلت على هذا القفل - كانت تلك لحظة ثقة 10x. فجأة في عام 2005 ، دخلت التجارة الإلكترونية إلى السقف ".
يمكن أن تكون لحظة Crypto '10x' هنا أخيرًا ، مع إطلاق الشبكة الرئيسية المتوافقة مع Ethereum Virtual Machine من zkSync في 28 أكتوبر. EVM هو أساسًا نظام التشغيل لـ Ethereum وتمكينه من العمل باستخدام مجموعات معرفة صفرية يعني أن كل شيء يعمل على Ethereum يمكن نقله بسلاسة للتجربة قفزة هائلة في السرعة وانخفاض التكاليف.
إنهم ليسوا الوحيدين الذين يهاجمون المشكلة: أطلقت Polygon شبكة الاختبار الخاصة بها من أجل zkEVM الخاص بها هذا الأسبوع مع التزام كل من Aave و Uniswap و Lens بالنشر عليها. أطلق Scroll "Pre Alpha testnet" في يوليو أثناء كان حل zk من StarkWare ينفذ ملايين المعاملات شهريًا.
جميع هذه الحلول ممولة جيدًا ، حيث جمعت Scroll 30 مليون دولار ، وجمعت Starkware 150 مليون دولار ، وجمعت Polygon 450 مليون دولار. يلمح Newcomb إلى أن جولة التمويل الخاصة بـ zkSync في نفس الملعب مثل Polygon ، لكن لم يتم الإعلان عنها رسميًا بعد.
StarkWare في طريقها للتقدم على الحزمة ، حيث أطلقت حل ZK Rollup الخاص بها منذ تسعة أشهر و تم تشغيله على نطاق متكرر في أغسطس. لكنها اتخذت أيضًا قرارًا محفوفًا بالمخاطر باستخدام لغة برمجة مخصصة تسمى القاهرة من أجل التوسع بشكل أكثر كفاءة. قد يؤدي هذا إلى انتقال اعتماد البروتوكولات الكبيرة إلى المسار الأقل مقاومة على الحلول المتوافقة مع EVM.
تعمل جميع الحلول أيضًا على التدرج العودي و / أو تطبيقات `` الطبقة الثالثة '' التي ستشهد إمكانية أن تصبح معاملات Ethereum أسرع بآلاف المرات ، وتزيل الحاجة إلى جسور interchain ، وتسمح للعملات المشفرة بإدراك إمكاناتها الحقيقية أخيرًا.
ما هو تجميع المعرفة الصفرية ، أو تجميع zk؟
تعد مجموعات ZK من أكبر الكلمات الطنانة في blockchain اليوم. تسمح هذه التقنية بحساب آلاف المعاملات بعيدًا عن سلسلة Ethereum blockchain البطيئة بشكل مؤلم ، مع "إثبات صحة" صغير يتحقق من تنفيذ جميع المعاملات بشكل صحيح. لذلك يمكنك "تجميع" 10,000 معاملة تم إجراؤها في مكان آخر في معاملة ETH واحدة. هذه صفقة كبيرة لأن حتى بعد توقف دمج إيثريوم بمعدل 15 معاملة في الثانية.
تم استخدام مجموعات ZK في NFTs والمعاملات المالية لبعض الوقت الآن على منصات مثل Loopring و dyDx وغيرها. ولكن كما أشار المؤسس المشارك فيتاليك بوتيرين خلال مؤتمر ETH في سيول في أغسطس:
"بشكل عام ، أعتقد أننا تعلمنا أن الناس لا يريدون فقط مثل الأموال القابلة للتطوير ، بل يريدون EVM قابلًا للتطوير."
إنه أحد ما تسميه Newcomb "خمسة عناصر سحرية" لتجميعات ZK. من وجهة نظره ، يجب أن يكون حل مجموعة ZK للأغراض العامة ، متوافق مع EVM ويدعم لغة برمجة Ethereum Solidity. يجب أن يكون مفتوح المصدر أيضًا ليتناسب مع روح تأسيس التشفير ، ويجب أن يكون له توزيع رمزي يعمل على إضفاء اللامركزية على البروتوكول بدلاً من تركيز الثروة بين الفريق.
من خلال الصدفة الغريبة ، حقق zkSync جميع المقاييس الخمسة المفروضة ذاتيًا. (يقول نيوكومب إنه لا يمكنه تفصيل توزيع الرمز الدقيق ، لكنه يقول إن حوالي 30٪ من المطلعين يبدو أنهم "الإجماع").
تعد القائمة المرجعية بمثابة نقد مستتر لمنافس StarkWare الذي من المقرر أن يمنح 49.9٪ من إمداداتها من التوكنات StarkNet للمستثمرين والمساهمين الأساسيين. كما أنه ليس مفتوح المصدر ، على الرغم من أنه يخطط لمنح السيطرة على IP لمجتمعه.
يوضح المؤسس المشارك إيلي بن ساسون أن الطريقة الوحيدة للاستفادة الكاملة من التوسع الذي توفره مجموعات ZK هي استخدام لغة مخصصة مثل القاهرة.
"أنا واثق جدًا من أن الناس سوف يدركون بمجرد تشغيل البراهين أن الهدف ليس محاكاة EVM. الهدف هو الوصول إلى قابلية التوسع. لوضع 10,000 ، 100,000 ، مليون معاملة وإثباتها داخل كتلة واحدة من Ethereum ، "كما يقول.
"أنا على استعداد للمراهنة على أنك لن ترى نموذج ZK EVM كامل يمكنه وضع مليون معاملة داخل دليل واحد على Ethereum. كما يمكننا القيام به بسهولة اليوم وما زلنا نفعله منذ شهور وسنوات ".
التحجيم مقابل التوافق
أوضح برنامج Odin-Free من StarkWare على Twitter أن هناك أسبابًا رياضية معقدة وراء الحاجة إلى لغة مخصصة لأن "أنظمة الإثبات مثل Stark تستند إلى كثيرات الحدود على الحقول المحدودة ، مما يعطي معادلة متعددة الحدود أكثر فاعلية." حسنًا ، لنأخذ كلامه على محمل الجد.
بالنسبة إلى Ben-Sasson ، محاولة تحضير آلة EVM غبية:
يقول: "إذا كنت ترغب في حل مشكلة النقل ، يمكنك أن تأخذ شاحنة كبيرة وتضعها داخل طائرة وتطلب من الطائرة تسليمها".
"هناك طائرات يمكنها استيعاب شاحنة بالداخل ، لكن هذه طريقة غير فعالة للغاية للقيام بذلك. أفضل طريقة هي أخذ الأشياء ووضعها مباشرة في الطائرة ".
ومع ذلك ، فإن النظام البيئي يحتوي على مترجم يسمى Warp يحول كود Solidity إلى كود Cairo والذي تم استخدامه للتو لنقل عبر شوكة Uniswap إلى StarkNet.
لذلك بشكل أساسي مع مجموعات ZK ، هناك خيار يتم إجراؤه بين التوافق التام مع EVM والقياس. يمكّن التوافق الكامل DApps والبروتوكولات من الانتقال بسلاسة وكل شيء يعمل تمامًا كما هو الحال على Ethereum للمطورين والمستخدمين ، ولكن من حيث التوسع ، من الواضح أن الأسرع هو الأفضل.
تعترف Newcomb بأن حل StarkWare سينتج مقياسًا أفضل ، لكنه يقول إن التضحية بإمكانية الوصول يعني أنه أكثر ملاءمة لتطبيقات المؤسسة المخصصة أكثر من كونه جزءًا أساسيًا من Ethereum بسبب "احتكاك التبني".
"إنها ليست متوافقة مع EVM ، لذلك من الصعب حقًا نقلها إليها. لقد رأينا مشاريع تستغرق سبعة أشهر لنقلها ".
متوافق ولكن أقل أناقة
لا يوجد تعريف متفق عليه ، ولكن "مكافئ EVM" عادةً ما يعني "تمامًا مثل EVM" لذا يمكنك فقط نشر العقد الذكي الحالي على الحل دون أي تغييرات.
تم الاتفاق على نطاق واسع على أن يكون التمرير معادلاً ، ولكنه أيضًا ليس على شبكة اختبار مناسبة حتى الآن ويتخلف عدة أشهر عن الآخرين بميزانية صغيرة نسبيًا. يدعي حل Polygon zkEVM أنه مكافئ (ولكن هذا موضع خلاف.) zkSync في الوقت نفسه ، سيكون متوافقًا مع EVM - مما يعني أنه متطابق تقريبًا ولكن بعض الأشياء قد لا تعمل بسبب بعض خيارات التصميم لجعل الحل يعمل بشكل أفضل.
المضلع أطلقت zkEVM Public Testnet يوم الاثنين مدعيةً أن "Polygon هو أول مشروع على الإطلاق يقدم تطبيقًا كامل الميزات ومفتوح المصدر لـ zkEVM ؛ علامة فارقة ، ليس فقط بالنسبة إلى Polygon ، ولكن للصناعة بأكملها. " يقول Polygon إن testnet "يتضمن zk-Prover مفتوح المصدر تمامًا - وهو الأول من نوعه الذي يتم إصداره للجمهور".
يخبر المؤسس المشارك ميهايلو بيليك مجلة Magazine أن الاختبارات المبكرة تشير إلى أن "Polygon's zkEVM يمكن أن يقلل رسوم شبكة Ethereum بحوالي 90٪ ويزيد من إنتاجية الشبكة بعدة أوامر من حيث الحجم."
ويقول إن المصادر المفتوحة للتكنولوجيا "يثبت توافقنا مع روح الصناعة ويزيد من أمان الحل حيث يمكن لأي شخص مراجعته والإشارة إلى الأخطاء المحتملة. ليس هذا هو الحال مع StarkNet أو zkSync ، اللذان يحافظان على أجزاء مهمة من تطبيقاتهما مغلقة المصدر ، على الأقل في الوقت الحالي ".
بت الفنية
وفقًا لـ Luozhu Zhang من Scroll ، هناك ثلاثة أنواع محتملة من zkEVMs: مستوى الرمز الثانوي ومستوى اللغة ومستوى الإجماع. zkSync و StarkWare على مستوى اللغة ويتطلبان خطوة مترجم أو مترجم ، بينما Scroll و Polygon هما نهجان على مستوى بايت كود. يُطلق على الشكل الذي يمكن قراءته من قِبل الإنسان من رمز بايت رمز التشغيل.
يقول Bjelic أن حل Polygon مصمم ليكون مكافئًا لـ EVM حيث:
يقول: "تتخذ مشاريع مثل StarkNet و zkSync مسارًا مختلفًا - فلديهم أجهزتهم الافتراضية المخصصة ، ثم يحاولون تحويل Solidity ، اللغة الأكثر شيوعًا المبنية على EVM إلى اللغات التي يمكن أن تترجمها هذه الأجهزة الافتراضية".
"هناك تحديان رئيسيان في هذا النهج: (100) من الصعب بناء محول يدعم XNUMX٪ من عقود Solidity الذكية و (XNUMX) حتى إذا كان لديك ناقل ، فلا يزال بإمكانك الاستفادة من كل المطور والمستخدم النهائي أدوات مثل Polygon zkEVM can. "
يقول نيوكومب إن هناك معلومات سيئة متداولة. يقول: "نحن لا نترجم ، بل نجمع". وقد أخذ نظرة على Polygon قائلاً إنه من خلال النظر إلى Github الخاص بالمشروع أنهم لم يطوروا بعد مُثلاً عاملاً للأغراض العامة مدمجًا مع جهاز التسلسل العامل.
"إذا كان هذا هو الحال ، فهذا يعني أن لديهم قدرًا غير محدد من العمل الذي يتعين القيام به. دائمًا ما تكون آخر 10٪ من أي نظام معقد هي الأصعب. يبدو هذا مشابهًا لما كنا فيه أو حتى خلفنا عندما أطلقنا testnet. وبعد ذلك استغرق الأمر تسعة أشهر ".
متوافق في الغالب
في الوقت نفسه ، يتوافق zkSync مع جميع رموز التشغيل الـ 141 الخاصة بـ Ethereum باستثناء ثلاثة - تم إهمال أحدها ، وتم إهمال الآخر والثالث يستخدم بنسبة أقل من 1/10 من 1 ٪ من المشاريع وفقًا لـ Newcomb.
"إذن ما الذي حصلنا عليه لعدم تكافؤنا تمامًا؟ لقد حصلنا على شيئين ، تكلفة الأداء لدينا أفضل بكثير من أي حل يتبع التكافؤ. نحن أسرع وأرخص بكثير. والشيء الثاني الذي حصلنا عليه هو أننا كنا قادرين على لصق مترجم LLVM داخل سلسلتنا وهو ما لا يمكنك فعله إذا كنت تفعل ما يعادله. وما يفعله مترجم LLVM هو أننا ننظر بالفعل إلى الطبقة الثالثة ".
سيسمح LLVM لكود مطور Python أو Rust أو C ++ في حلهم ، والذي يتم تجميعه بعد ذلك للعمل بنفس الطريقة مع Solidity.
"هذا ضخم للتبني. إذاً ، أين هذا المشروع الذي استغرق سبعة أشهر هنا في القاهرة نفس مشروع النظام البيئي استدار إلينا في سبعة أيام. هذا التوافق. "
يقر بأن الأمر سيستغرق يومًا واحدًا فقط للتنقل إذا كان zkSync لديه تكافؤ إجمالي ولكنه سيفتقد LLVM والتوسع المتزايد. لذلك يقول إنها مقايضة تستحق القيام بها.
الطبقة الثالثة والقياس العودي
أروع شيء في القدرة على ضغط عدد كبير من المعاملات في إثبات صحة واحد ، هو أن التكنولوجيا تسمح لك بضغط العديد من المعاملات البراهين الأخرى في دليل واحد أيضًا.
يُطلق عليه اسم التدرج المتكرر ، ويعتقد ديكلان فوكس ، مدير المنتجات في شركة Consensys ، أنه قوي جدًا لدرجة أنه من الناحية النظرية يمكن تشغيل النظام المالي العالمي بأكمله على Ethereum. يقول: "لدينا التكنولوجيا اللازمة لتحقيق هذا النوع من الإنتاجية اللازمة". "من خلال التجميعات والبراهين العودية ، يمكننا نظريًا التوسع بلا حدود."
اقرأ أيضا: Ethereum يأكل العالم: - "أنت فقط بحاجة إلى إنترنت واحد"
قام StarkWare بتشغيل التدرج المتكرر في أغسطس وعالج أكثر من 30 مليون معاملة منذ استخدام التكنولوجيا.
يوضح بن ساسون: "لقد أدت العودية بالفعل ، في هذه المرحلة المبكرة ، إلى زيادة عدد المعاملات في دليل واحد بحوالي 8 أضعاف". "علاوة على ذلك ، فقد أثبتت فعاليتها الشديدة ، فبعد وقت قصير من دخولها حيز الإنتاج ، حدث انخفاض بنسبة 40٪ تقريبًا في تكلفة السحابة الخاصة بنا من أجل إنشاء الدليل.
"هذه ليست توقعات أو أرقام نأمل أن نراها ، بل أرقام مما يتم إنتاجه اليوم. وأؤكد: هذه مجرد البداية ، والتغييرات التي سنجريها ستعني أن هذه الأرقام ستصبح أكثر إثارة للإعجاب.
Polygon على وشك تنفيذ حل Plonky2 وفقًا لـ Bjelic. إنه حل zk-SNARK مفتوح المصدر. "يمكن استخدام SNARK العودي هذا للتحقق من أوامر المعاملات ذات الحجم الأسرع من البدائل الحالية. يتوافق Plonky2 أيضًا في الأصل مع جهاز Ethereum Virtual Machine ، والذي سمح لـ Polygon بتطوير zkEVM. "
وسيتم إصدار testnet لـ zkSync's Layer 3 قريبًا ، في الوقت المناسب للاستفادة من ترقية Ethereum تسمى Proto-Danksharding أوائل العام المقبل المصممة خصيصًا لمنح التراكمية مساحة على Ethereum لتزدهر. تتوقع Newcomb أن يتم إنتاج الطبقة الثالثة في غضون عام. إنهم يطلقون عليه اسم Pathfinder ، نظام بيئي من "السلاسل الفركتالية الفائقة".
من المحتمل أن نواصل العمل لساعات من الناحية الهندسية ، ولكن وظيفيًا كلما ابتعدت عن الإيثيريوم في التسلسل التكراري ، كلما كانت تكاليف البيانات أرخص وهي 10x ، 10x ، 10x ، 10x ، مع تكرار تكاليف البيانات ، وهذا أمر فريد بالنسبة لـ zk ".
"هذا هو المكان الذي نحصل فيه على 100,000 TPS ومليون TPS" ، كما يقول. تتأرجح Visa بسرعة حوالي 4000 TPS في يوم عادي ، وتصل إلى حوالي 65,000 TPS في أوقات الذروة مثل Chrismats.
"ZK هي الطريقة الوحيدة للوصول إلى 100,000 TPS حتى تتمكن من الوصول إلى المستويات التي يستبدل فيها شيء مثل Visa البروتوكول الأساسي الخاص به مع blockchain. وعندما تفعل ذلك ، فهذه هي لحظة التبني الجماعي الخاصة بك ".
تطور مذهل آخر وفقًا لـ Newcomb هو أن Layer 3 يمكنها التخلص من متطلبات جسور interchain ، حيث حدثت جميع عمليات الاختراق التي تجاوزت 2 مليار دولار هذا العام وحده.
"أحد الأشياء الأخرى التي حققناها بالفعل في الطبقة 3 ، نتخلص من جميع الجسور. وعندما يكون لديك مُثبِّت واحد يقوم بالدائرة لجميع سلاسل التشغيل في L3 ، فإن أي اتصال من blockchain إلى آخر هو الآن أصلي. هذا هو السبب الآخر الذي جعل فيتاليك قال إن هذه هي اللعبة النهائية لأنه لم يعد هناك المزيد من الجسور ".
إذا جعلتها أسرع وأرخص بأوامر من الحجم الكبير ، وإذا جعلت استخدامها أسهل وأكثر ترحيباً بجمهور أوسع من المطورين من خلال توفر المزيد من اللغات ، ثم تجعل الناس يثقون بها لأنك تخلصت من الجسور. هذا ما أقوله دائمًا هو مجموعة نجوم من 10 لحظات في L3 وهذا هو المكان الذي ستقام فيه اللعبة ".
لم يتم إصلاحه بعد
إذن هذا كل شيء؟ مع وصول مجموعات ZK وحلول التوسع المتوافقة مع EVM ، تم حل كل شيء؟
للأسف لا. تعد مجموعات ZK حاليًا جيدة جدًا في إزالة الحساب من Ethereum ، لكنهم ما زالوا بحاجة إلى كتابة بيانات كافية مرة أخرى إلى السلسلة الرئيسية بحيث إذا توقفت المجموعة عن العمل أو تم الاستيلاء عليها من قبل الأشرار ، فقد تدخل بعض الجماعات الأخرى في عملية الاختراق ومعرفة من يدين بماذا لمن.
يطلق عليه مشكلة توفر البيانات وكمية كبيرة من خارطة طريق Ethereum مع التقاسم الخفي الأولي ويهدف Danksharding الكامل إلى حلها والسماح بتضمين المزيد من البيانات. هناك طريقتان للتغلب على هذا في الوقت الحالي بما في ذلك تخزين البيانات على Validiums ، وهي أرخص ولكنها أقل أمانًا.
اشتراك
القراءات الأكثر جاذبية في blockchain. سلمت مرة أ
الأسبوع.
"لذا فإن الطريقة التي نصفها هي أنه إذا كان لديك مجموعة بطاقات بيسبول ، والعديد من هذه البطاقات لا تكلف الكثير وقمت بحفظها في Validium ، ولكن بعد ذلك ، من المحتمل أن تكون هناك بطاقة واحدة نادرة تستحق الكثير من المال حفظ في الطبقة 1 ، "يقول بن ساسون.
تعمل Polygon على عدد من الحلول لهذه المشكلة نفسها ، بما في ذلك Avail "تم تصميم blockchain حيث تكون المعلومات متاحة للجميع في أي وقت ، خصيصًا لهذا الغرض" ، كما يقول Bjelic.
باثفايندر zkSync سيمكن المطورين من الاختيار من بين ثلاثة خيارات لتوافر البيانات ، Validium ، و zkPorter (خلط على السلسلة وخارج السلسلة) و ZKRollup (أمان كامل).
لا تتوقع ضجة كبيرة من إطلاق الشبكة الرئيسية لـ zkSync في 28 أكتوبر. سيكون الأمر محبطًا نوعًا ما في البداية ، مع اختبار Matter Labs لمدة شهرين فقط وتقديم مكافآت للمستخدمين لمحاولة اختراقها أو استغلالها. ثم سيتم السماح لـ DApps بالانتقال ، والبدء في بناء واختبار الأمان.
"وبعد ذلك عندما نشعر بأننا أنجزنا كل شيء ، نقوم بما يسمى الرفع في البوابة ،" يقول نيوكومب. "وبعد ذلك يمكن لجميع المستخدمين الدخول إلى النظام في وقت واحد ويسمى برنامج الإصدار العادل. لذلك نحن لا نفضل أي مشروع على آخر ". ويقول إنه سيتم إطلاق 150 مشروعًا في تلك المرحلة ولن يكون هناك أي سبب لانتظار المشروع حتى ينتهي حل Polygon.
يقول: "يبدو الأمر كما لو أنهم ذاهبون إلى مضمار السباق وأنهم يظهرون بهيكل سيارة لا تحتوي على أي عجلات ولا عجلة قيادة ولا محرك على الإطلاق".
"ولقد تم الانتهاء من المنتج بالكامل. أنت تعلم أننا نملك فيراري ونحن على استعداد للذهاب ".
المصدر: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment