Prover الجديد من StarkWare يحطم الرقم القياسي ويطالب بتحسين 1000x والأسرع في السوق

أحدثت تقنية Blockchain ثورة في صناعات مثل التمويل والألعاب وإدارة سلسلة التوريد من خلال تمكين المعاملات الآمنة واللامركزية.

ومع ذلك، لا تزال قابلية التوسع تمثل تحديًا كبيرًا، مما يؤدي إلى ارتفاع الرسوم وبطء أوقات المعاملات على العديد من الشبكات الشائعة.

تتطلب معالجة هذه المشكلة حلولاً مبتكرة، وقد برزت شركة StarkWare كلاعب رئيسي في هذا المجال.

قامت الشركة بتطوير تقنيات متطورة، بما في ذلك حجج المعرفة الشفافة والقابلة للتطوير ذات المعرفة الصفرية (ZK-STARK)، وStarkEx، وStarkNet، وStarkNet Token، ومؤسسة StarkNet، التي تسهل تطبيقات blockchain الآمنة وغير الموثوقة والقابلة للتطوير.

هل يحطم سجل StarkWare الجديد سجل Prover، هل هو بالسرعة التي يزعمونها؟

أدت التطورات الأخيرة في الأبحاث التي أجرتها StarkWare وPolygon إلى تحسين STARKs بشكل ملحوظ.

تعتبر STARKs الحل الأول لتوسيع نطاق Ethereum نظرًا لأدائها الاستثنائي والحد الأدنى من متطلبات الأمان والإعداد الشفاف والآمن ومقاومتها للهجمات الكمومية.

يتم اعتمادها على نطاق واسع من خلال مجموعات الصلاحية الرائدة، بما في ذلك العديد من فرق Polygon وRiscZero وZKsync وSuccinct.

شارك في اختراعها الرئيس التنفيذي لشركة StarkWare، إيلي بن ساسون، وتم نشرها لأول مرة في الإنتاج بواسطة StarkWare في صيف عام 2020، وقد سهلت STARKs تسوية أكثر من 1.2 تريليون دولار من المعاملات على مدار السنوات الأربع الماضية.

تستعد StarkWare الآن لتنفيذ هذا البحث في مثيل جديد يسمى Stwo، والذي يرمز إلى STARK Two، بهدف تعزيز قدرة الإثبات بما يقرب من 1000 مرة.

وأشار فنتالي تان، المؤسس المشارك لشركة Lita:

"يقدم Stwo تأكيدًا آخر لسرعة وقوة نظام الالتزام متعدد الحدود FRI، وهو مكون التشفير الرئيسي في STARKs. هذا هو نفس المخطط المستخدم كأساس للعديد من أنظمة الإثبات الأكثر أداءً للأجيال الأخيرة، مثل Plonky2 وPlonky3 - تم بناء Valida، بالإضافة إلى Succint’s SP1، على Plonky3.

يستخدم Stwo، الذي يُطلق عليه اسم الجيل التالي من STARK، كلمات كمبيوتر قياسية 32 بت لتحقيق الكفاءة المثلى في وحدات المعالجة المركزية ووحدات معالجة الرسومات التجارية.

يتم دعم هذه الكفاءة من خلال اختراق التشفير الأخير المعروف باسم Circle STARK، وهو جهد تعاوني بين David Levit وShahar Papini من StarkWare، وأولريش هابوك من Polygon.

في سياق البراهين، تشير قابلية التوسع إلى إنشاء البراهين والتحقق منها بشكل سريع وفعال من حيث التكلفة.

"شفاف" جانب من جوانب STARKs يلغي الحاجة إلى الإعدادات الموثوقة التي يطلبها العديد من المثبتين المعتمدين على SNARK.

ومن المقرر أن يحل Stwo، المقرر إنتاجه في أوائل عام 2025، محل المثل الحالي Stone، والذي يرمز إلى STARK One.

يكمن سر سرعة Stwo وكفاءته في استخدامه لـ Mersenne prime الثامن، M31، لإجراء العمليات الحسابية، والذي يتوافق بشكل جيد مع بنيات الكمبيوتر الحديثة لتسريع العمليات بشكل كبير مقارنة بـ Stone.

عدد ميرسين الأولي هو عدد أولي أقل من قوة اثنين بواحد، وقد سمي على اسم الراهب الفرنسي مارين ميرسين، الذي درسه في أوائل القرن السابع عشر.

على وجه التحديد، يمكن التعبير عن عدد ميرسين الأولي بالصيغة Mn=2n−1، حيث n عدد صحيح.

يستخدم Circle STARKs، وهو عبارة عن تعاون بين StarkWare وPolygon Labs، طريقة هندسية متطورة لتسريع إثباتات التشفير، ويعزز حقل M31 هذه العمليات بشكل أكبر.

معًا، يمكّنان Stwo من إنشاء البراهين بسرعة وبقوة حسابية منخفضة.

على وحدة المعالجة المركزية Intel 7 المزودة بأربعة مراكز، يحقق Stwo إنتاجية مثبتة تزيد عن 500000 تجزئة Poseidon في الثانية، بينما تعرض مجموعة شرائح M3 Pro ذات 12 نواة ما يزيد عن 600000 تجزئة في الثانية.

إن إنتاجية Stwo أفضل 940 مرة من Stone وأفضل 50 مرة من ethStark.

ومع ذلك، تؤكد StarkWare على أن التحسينات مثل استخدام وحدة معالجة الرسومات والتوازي متعدد النواة لم يتم تنفيذها بعد، وستوفر تحديثات بشأن الأداء في المستقبل.

في مجال تشفير المعرفة الصفرية سريع التطور، يظل هناك شيء واحد مؤكد، وفقًا لإيان مايرز، عالم الأبحاث في Aleo:

"سيكون هناك دائمًا نظام إثبات zk أحدث وأفضل، وستحتاج في النهاية إلى الترقية."

حتى مؤسس إيثريوم، فيتاليك بوتيرين، شارك أيضًا في المثل الذي كتبه وأثنى على الفريق لمهاراتهم في التحسين.

تعتزم شركة StarkWare تحسين قابلية التوسع في Bitcoin ولكن الطريق طويل

في الشهر الماضي فقط، كشفت شركة StarkWare عن مشروعها الطموح لتوسيع نطاق تقنية ZK لتشمل Bitcoin، بهدف توسيع نطاق الشبكة جنبًا إلى جنب مع Ethereum.

يحمل هذا المسعى وعدًا بتحويل بروتوكول Bitcoin وفتح فرص جديدة للمطورين والمستخدمين على حدٍ سواء.

تعمل تقنية STARK الخاصة بـ StarkWare على تسهيل التحقق من المعاملات دون الكشف عن معلومات حساسة، وبالتالي تعزيز الخصوصية والأمان.

تعتزم الشركة دمج هذه التكنولوجيا في Bitcoin من خلال OP_CAT، وهو اقتراح شوكة ناعمة، والذي من شأنه تمكين التحقق الأصلي من إثباتات ZK.

حالات الاستخدام المحتملة واسعة النطاق، بما في ذلك إنشاء عقود ذكية أكثر أمانًا وتسهيل المعاملات الخاصة والفعالة.

يمكن أن يمثل اقتراح StarkWare لحظة محورية في التقدم التكنولوجي للبيتكوين.

ومع ذلك، فإن الطريق إلى القبول الواسع النطاق محفوف بالتحديات.

تعتبر براهين ZK مكثفة من الناحية الحسابية وثقيلة في الموارد.

وعلى الرغم من الخطوات السريعة التي تم إحرازها في هذا المجال، إلا أن العقبات التقنية لا تزال قائمة، مما يستلزم استثمارات كبيرة في البحث والتطوير للتغلب على هذه العقبات.

حول ستارك وير

شركة StarkWare Industries، وهي شركة برمجيات مقرها إسرائيل، متخصصة في أنظمة إثبات التشفير لمعالجة مشكلات قابلية التوسع على شبكة Ethereum.

تستخدم الشركة تقنية STARK الخاصة لتعزيز الأمن الحسابي من خلال إثباتات ZK.

تعمل تقنية ZK-STARK من StarkWare على تحسين قابلية التوسع والشفافية والخصوصية والأمان بشكل كبير، مما يضمن تجربة مستخدم سلسة.

من خلال استخدام أدلة التشفير المتقدمة والجبر الحديث، تدعم ZK-STARKs سلامة وخصوصية حسابات blockchain.

إنها تمكن البلوكشين من تفريغ العمليات الحسابية إلى مُثبِّت STARK واحد خارج السلسلة والتحقق من هذه الحسابات باستخدام أداة التحقق STARK الموجودة على السلسلة.

قدمت StarkWare أول محرك توسع خاص بها، StarkEx، في يونيو 2020 وأطلقت StarkNet على شبكة Ethereum الرئيسية في نوفمبر 2021.

تم تطوير جميع منتجات StarkWare باستخدام لغة برمجة القاهرة.

من خلال تطوير حلول تكنولوجية فريدة من نوعها، تهدف StarkWare إلى تجاوز تحسينات قابلية التوسع التي توفرها EIPs لـ Ethereum، ومعالجة تحديات قابلية التوسع المتأصلة في Ethereum بشكل شامل.

منتجات ستارك وير & التطبيقات

تقدم StarkWare حلين رئيسيين للتوسع: StarkEx وStarkNet، وكلاهما يستفيدان من لغة البرمجة الخاصة بهما.

القاهرة

تسهل القاهرة إنشاء برامج STARK للحسابات العامة، مما يعمل على تشغيل منصة StarkEx على Ethereum Mainnet.

هذه اللغة جزء لا يتجزأ من مشاريع مثل dYdX، وSorare، وImmutable X، وrhino.fi، وCeler، وApeworx، وCanvas.

علاوة على ذلك، تعمل كايرو بمثابة لغة العقد الذكية الأصلية لـ StarkNet، وهي عبارة عن مجموعة صلاحية لامركزية مصممة لتعزيز قابلية التوسع والخصوصية في Ethereum.

من خلال تحسين التحقق من المعاملات على blockchain، تقدم كايرو وStarkNet حلاً قويًا لتحديات قابلية التوسع في Ethereum.

ستاركيكس

StarkEx، الذي يعمل على Ethereum Mainnet منذ يونيو 2020 بعد اختبارات مكثفة على كل من شبكات اختبار Ethereum العامة والخاصة، يجسد النضج في حلول قابلية التوسع.

باستخدام تقنية STARK، تسهل StarkEx المعاملات القابلة للتطوير وذاتية الحفظ والتي تعد ضرورية لتطبيقات DeFi والألعاب.

فهو يتيح إمكانية التوسع بشكل كبير، ومعاملات أسرع، وخفض التكاليف مع الحد الأدنى من التعديلات على التكوينات الحالية.

تدعم StarkEx الرموز المميزة لـ ETH، والأصول الاصطناعية، وERC-20، وERC-721، وERC-1155، ويمكنها توسيع دعمها إلى الرموز المميزة الموجودة على سلاسل الكتل الأخرى المتوافقة مع EVM.

تدفق StarkEX: كيفية تنفيذ المعاملات والتحقق منها على StarkEx

ال لوحة تحكم ستارك اكس يظهر أن حجم التداول التراكمي قد ارتفع خلال الشهر الماضي.

ستارك نت

تعمل StarkNet، التي طورتها StarkWare، كمجموعة صلاحية لا مركزية (ZK-Rollup) على شبكة الطبقة الثانية من Ethereum.

إنه يمكّن التطبيقات اللامركزية (DApps) من تحقيق قابلية التوسع الحسابية غير المحدودة مع الحفاظ على أمان Ethereum وقابلية التركيب.

باستخدام STARK Proof، توفر StarkNet للمطورين بيئة قابلة للتطوير لإنشاء ونشر التطبيقات اللامركزية على شبكة Ethereum الرئيسية.

يمكن للمطورين استخدام zkEVM، وهو ZK-Rollup الذي يعكس بنية Ethereum، مما يمكّنهم من الكتابة بأي لغة متوافقة مع Ethereum Virtual Machine (EVM).

بالإضافة إلى ذلك، تدعم القاهرة نشر منطق الأعمال المتنوعة على الشبكة.

جسر ستارك جيت

StarkGate هو الجسر الأصلي لـ StarkNet، مما يسهل نقل رموز ERC-20 بين Ethereum وStarkNet.

باستخدام شبكة StarkNet Alpha والضغط الحسابي المستند إلى STARK، فهو يدعم الرموز المميزة للجسور من Ethereum وPolygon وOptimism وArbitrum والشبكات الأخرى.

تتيح StarkGate النقل السلس للأصول مثل USDC وDAI وUSDT وWBTC مباشرةً إلى StarkNet.

رمز ستارك نت (STRK)

يتم تشغيل نظام StarkNet البيئي بواسطة رمزه الأصلي، STRK، وهو رمز ERC-20 تم إطلاقه في يوليو 2022.

تلعب STRK دورًا حاسمًا في صيانة وتأمين شبكة StarkNet.

كما أنه يخدم وظائف الحوكمة، مما يسمح لحاملي الرمز المميز بالتصويت على قرارات blockchain وتسهيل المعاملات داخل الشبكة.

تعرف على العقول التي تقف وراء StarkWare

تأسست شركة StarkWare Industries، التي تأسست عام 2018 في نتانيا، إسرائيل، على يد فريق من الخبراء المتنوعين: أوري كولودني، وإيلي بن ساسون، ومايكل ريابزيف، وأليساندرو تشيزا.

تتمثل مهمة الشركة في مواجهة تحديات قابلية التوسع وتعزيز الخصوصية والكفاءة لشبكات blockchain.

يهدف نهجهم المبتكر إلى إحداث ثورة في مشهد blockchain، مما يجعله أكثر قوة وسهولة في الاستخدام.

إيلي بن ساسون، المؤسس المشارك & الرئيس التنفيذي لشركة StarkWare

بن ساسون هو المؤسس المشارك والرئيس التنفيذي الحالي ورئيس مجلس الإدارة في StarkWare.

يتمتع بخلفية أكاديمية متميزة، وكان أستاذًا مشاركًا في التخنيون - معهد إسرائيل للتكنولوجيا لمدة سبع سنوات، وأستاذًا مساعدًا زائرًا في معهد TTI في شيكاغو، وباحث ما بعد الدكتوراه في معهد ماساتشوستس للتكنولوجيا.

منذ حصوله على درجة الدكتوراه. حصل بن ساسون على درجة الدكتوراه في علوم الكمبيوتر النظرية من الجامعة العبرية في عام 2001، وركز على التشفير وأدلة ZK على السلامة الحسابية.

وهو مخترع مشارك لبروتوكولات STARK وFRI وZerocash وعالم مؤسس لشركة Zcash.

طوال حياته المهنية، شغل مناصب بحثية في معهد الدراسات المتقدمة في برينستون، هارفارد، ومعهد ماساتشوستس للتكنولوجيا.

وقد عمل مؤخرًا كأستاذ لعلوم الكمبيوتر في التخنيون قبل أن يشارك في تأسيس StarkWare.

اجتماعياته : X و ينكدين

على الرغم من ذخيرة بن ساسون الغنية، فإن اسمه لا يخلو من التلطخ.

ادعى مستخدم X، تشاد بليب، أن بن ساسون محتال "وهو من أنشأ عملة Zcash Shitcoin لأن عملة البيتكوين لا تعمل."

ومن المثير للاهتمام أن أليساندرو تشيزا، وهو مؤسس مشارك آخر في StarkWare، يرتبط أيضًا بـ Zcash.

أليساندرو تشيزا، المؤسس المشارك لشركة StarkWare

Chiesa هو أحد مؤسسي StarkWare وعضو هيئة التدريس في علوم الكمبيوتر في جامعة كاليفورنيا في بيركلي.

تشمل أبحاثه نظرية التعقيد والتشفير والأمن، مع التركيز بشكل خاص على الأسس النظرية والتطبيقات العملية لإثباتات ZK الموجزة.

Chiesa هو مخترع مشارك لبروتوكول Zerocash ومساهم رئيسي في libsnark، المكتبة الرائدة مفتوحة المصدر لإثباتات ZK الموجزة.

وهو أيضًا عالم مؤسس لشركة Zcash.

كييزا حاصلة على بكالوريوس. درجات علمية في علوم الكمبيوتر والرياضيات بالإضافة إلى درجة الدكتوراه. في علوم الكمبيوتر من معهد ماساتشوستس للتكنولوجيا.

اجتماعياته: ينكدين

أوري كولودني، عضو مجلس إدارتها وأمبير. الرئيس التنفيذي الأول في StarkWare

كان Kolodny هو الرئيس التنفيذي الأول لشركة StarkWare حتى فبراير 2024 ويستمر في العمل في مجلس إدارتها.

وحين رحل قال:

"ما زلت مصابًا بحبوب ستارك تمامًا، لكنني سأترك منصب الرئيس التنفيذي لتلبية الاحتياجات الصحية لعائلتي. أصبحت الشركة ومجموعة التكنولوجيا التي بنتها أكثر تقدمًا بعد ست سنوات مما كنت أحلم به. بقيادة إيلي وفريق يضم أكثر من 150 جيجابراين، أنا متأكد من أن StarkWare ستستمر في تجاوز حدود ما هو ممكن في توسيع نطاق Ethereum.

حاصل على بكالوريوس. حصل على درجة الماجستير في علوم الكمبيوتر (مع مرتبة الشرف) من الجامعة العبرية وماجستير في إدارة الأعمال من كلية سلون للإدارة في معهد ماساتشوستس للتكنولوجيا.

كولودني هو رجل أعمال متمرس، وقد شارك في تأسيس العديد من شركات التكنولوجيا بما في ذلك OmniGuide، وهي شركة فرعية من معهد ماساتشوستس للتكنولوجيا متخصصة في الألياف البصرية للجراحة بالمنظار، وMondria، التي تركز على أدوات تصور البيانات الضخمة.

تتضمن حياته المهنية أدوارًا كرائد أعمال مقيم (EIR) في شركتين إسرائيليتين لرأس المال الاستثماري وكمحلل في شركة McKinsey & شركة.

اجتماعياته: X و ينكدين

مايكل ريابزيف، المؤسس المشارك لشركة StarkWare

Riabzev هو أحد مؤسسي StarkWare، مستفيدًا من خبرته في علوم الكمبيوتر والتشفير.

حاصل على درجة الدكتوراه. من التخنيون - معهد إسرائيل للتكنولوجيا، حيث تخصص في تطوير الأنظمة العملية للسلامة الحسابية في ZK.

توجت أعمال الدكتوراه الخاصة به بإنشاء وتنفيذ نظام zk-STARK.

حصل ريابزيف أيضًا على بكالوريوس العلوم. في الرياضيات (بامتياز) وماجستير. في علوم الكمبيوتر، وكلاهما من التخنيون.

تشمل خلفيته المهنية تسريع الأجهزة، وخوارزميات التشفير، وGPGPU، وSDN، وتطوير الويب، مما يعكس نطاقًا واسعًا من الابتكار التكنولوجي.

اجتماعياته : X و ينكدين

الشبكات الاجتماعية في StarkWare

موقع إلكتروني

X

جيثب

ينكدين

واسطة

خطط ستاركوير

تدعي الشركة أن:

"لدينا تاريخ في تسليم كود الإنتاج الخاص بنا في الوقت المحدد."

من المقرر إطلاق Stwo على شبكة StarkWare الرئيسية لأنظمة StarkNet وStarkEx بحلول الربع الأول من عام 2025، مع التكامل في إطار عمل إثبات مشترك (SHARP).

تشمل المعالم الرئيسية القادمة كتابة قيود Stwo AIR لتجميع القاهرة (CASM) وتنفيذ أداة التحقق العودية في القاهرة.

وبالنظر إلى المستقبل، تتوقع StarkWare التكامل العميق لـ Stwo في StarkNet بحلول الصيف المقبل، مما يتيح إثباتًا سريعًا من جانب العميل للتطبيقات التي تشمل الألعاب وDeFi والمزيد.

يعد هذا التقدم بخطوات كبيرة في قابلية التوسع والكفاءة داخل النظام البيئي blockchain.

مستقبل مشرق أمامنا مع وجود عقبات يجب التغلب عليها

يتوسع النظام البيئي بسرعة، باستخدام الأدوات المبتكرة التي تعيد تشكيل مشهد التمويل اللامركزي.

تقدم مجموعة منتجات StarkWare، بما في ذلك القاهرة وStarkEx وStarkNet، حلولاً مقنعة لتحديات قابلية التوسع التي تواجهها سلاسل الكتل.

يضمن مزيج الشركة من التقنيات خارج السلسلة وعلى السلسلة أن يستفيد المستخدمون من بعض رسوم الغاز الأقل على Ethereum، إلى جانب تعزيز الخصوصية والأمان.

علاوة على ذلك، فإن دعم StarkWare من قبل مستثمرين بارزين مثل Paradigm وSequoia Capital وCoinbase Ventures وConsenSys وPantera Capital وVitalik Buterin هو بمثابة شهادة على إمكاناتها.

تميل Coinlive إلى النظر إلى StarkWare ومنتجاتها بشكل إيجابي، نظرًا لسمعتها القوية وتمويلها القوي وخبرتها في هذا المجال.

ومع ذلك، فإن استخدام OP_CAT لتوسيع نطاق البيتكوين هو نقطة خلاف.

لا يدعم جميع أعضاء مجتمع البيتكوين OP_CAT، حيث يفضل البعض مقترحات العهد البديلة والبعض الآخر يشعر بالقلق بشأن العواقب المحتملة غير المتوقعة لتنفيذه.

واعترف بن ساسون بهذه المخاوف لكنه أكد على أن الغرض من الصندوق البالغ قيمته مليون دولار والأبحاث الداخلية هو معالجة هذه التحديات و"التأكد من أن كل شيء يتم بشكل آمن".

وأوضح:

"OP_CAT هي الطريقة الأكثر فعالية للوصول إلى هناك، ولكنها ليست الطريقة الوحيدة. نحن نستكشف حاليًا حلولًا بديلة لتحقيق مقياس STARK دون الاعتماد على OP_CAT. وبينما لا أستطيع الخوض في التفاصيل في هذه اللحظة، فإن هذه البدائل تبشر بالخير ويمكن أن تكون بمثابة حل بديل قابل للتطبيق.