مقابلة = nil_ Foundation: بناء سوق إثبات وتحقيق رؤية "كل شيء يمكن أن يكون ZK"

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

ما سيبدو عليه مستقبل ZK لا يزال بحاجة إلى مزيد من الخيال. وسوق الإثبات الذي بناه = لا شيء ؛ لقد أثارت المؤسسة تخيلاتي اللانهائية حول هذا العصر بمئات المليارات من الدولارات. في الآونة الأخيرة ، أجريت محادثة متعمقة مع = لا شيء ؛ المؤسس المشارك للمؤسسة ميخائيل كوماروف (المشار إليه فيما يلي باسم ميشا) ، وتحدث عن = لا شيء ؛ المؤسسة ، zkLLVM و Proof السوق ذات الصلة بالموضوعات.

ملخص المقابلة

1. يستخدم الناس ZK لضغط المعلومات ، وهو أكثر أشكال "إساءة استخدام" هذه التكنولوجيا إثارة.

2. يجب الاستعانة بمصادر خارجية لإنتاج براهين ZK للمنتجين الذين يقدمون هذه الخدمات المهنية ، وتشكيل شبكة منتجين محترفين للاستجابة لطلبات السوق.

3. في سوق الإثبات الحالي ، ظهرت ظاهرة PEV (القيمة القابلة للاستخراج للمثقف).

4. سوق الإثبات ليس لامركزيًا بالكامل بعد ، وسيكون هذا مركز عمل الفريق لبعض الوقت في المستقبل.

= لا شيء ؛ الأصل

يعمل ميشا في صناعة التشفير منذ عام 2013. وكان أول شيء فعله بعد دخوله الدائرة هو دراسة تنفيذ C ++ لـ Bitmessage. هذا بروتوكول مراسلة Bitcoin ، وعلى الرغم من أنه تم كسره عدة مرات منذ ذلك الحين ، إلا أن الكثير من الناس كانوا مجانين بشأنه في ذلك الوقت. في وقت لاحق ، بدأ ميشا في القيام بسلسلة من أعمال التطوير مع دان لاريمر (مثل BM ، مؤسس Steemit و Bitshares و EOS) حول BitShares ، والتقى كونستانتين لوماشوك الذي صنع Lido لاحقًا في هذه العملية. في ذلك الوقت ، كان لدى كونستانتين بعض مشاريع التشفير المتعلقة بـ Bitshares وأراد إنشاء شوكة Steemit خصيصًا لروسيا ، وهي شبكة Golos.

كان ذلك في عام 2016 ، وبدأت ميشا رحلة جديدة مع دان وكونستانتين في منصب مدير التكنولوجيا في Golos. لكن بعد عامين ، سئمت ميشا من Golos ، فظن أن المنتج الذي صممه دان غير مرضٍ ، هيكله الداخلي غير مناسب ، وجودته غير كافية. نتيجة لذلك ، ترك ميشا مشاريع ذات صلة مثل Golos و Steemit وأسس Nil مع Konstantin في أبريل 2018.

كانت فكرة ميشا الأصلية هي منع الناس من مواجهة مشاكل عدم الاستقرار التي كانت موجودة في Golos و Steemit ، مثل الافتقار إلى إدارة البيانات المناسبة ، والهندسة المعمارية ، والأمن ، وما إلى ذلك. لذلك ، فإن الغرض من Nil هو جلب إنجازات صناعة إدارة قواعد البيانات إلى صناعة التشفير ، مما يوفر مزيدًا من الموثوقية والأمان وقابلية التوسع وما إلى ذلك في هذا المجال. بالطبع ، ما لم يتوقعه ميشا هو أن رحلته الجديدة ستؤدي إلى مركز المستقبل القابل للتطوير للعالم المشفر.

** BlockBeats: يرجى تقديم خلفيتك بإيجاز ، مثل كيف بدأت عمل التشفير ، ولماذا انضممت إلى صناعة التشفير؟ **

** ميشا **: كان ذلك منذ وقت طويل. انخرطت في صناعة التشفير حوالي عام 2013 ، عندما كنت أعمل على تطبيق C ++ من Bitmessage. قد تتذكر بروتوكول المراسلة الشبيه بالبيتكوين الذي كان الجميع مجنونًا بشأنه في ذلك الوقت ، وقد تم اختراقه عدة مرات ، لكنه كان لا يزال ساخنًا في ذلك الوقت.

ثم بدأت في تطوير كل شيء حول BitShares و Dan Larimer (أي BM ، مبتكر Steemit و Bitshares و EOS) ثم قابلت كونستانتين لوماشوك ، والآن ربما تعرفه بسبب ليدو. في ذلك الوقت ، كان بين يديه بعض مشاريع التشفير المتعلقة بـ Bitshares وأراد إنشاء شوكة Steemit خصيصًا لروسيا. لذلك قمنا بعمل Golos ، أصبحت مدير تكنولوجيا المعلومات في عام 2016 ، ونحن نعمل معًا منذ ذلك الحين.

لكن في أبريل 2018 ، سئمت من Golos لأن دان صمم منتجات لم تكن مرضية ، ولم تعمل منتجاته لفترة طويلة ، وبينما كانت تعمل ، لا أعتقد أن التصميم الداخلي كان مناسبًا بالنسبة لي ، ولم تكن الجودة كذلك. بما يكفي ، لذلك تركت Golos و Steemit وجميع المشاريع الأخرى وبدأت لا شيء في أبريل 2018.

كان هدفي في البداية هو منع الناس من مواجهة المشكلات التي واجهتها مع Golos و Steemit ، مثل عدم وجود إدارة بيانات مناسبة أو هندسة أو أمان ، وما إلى ذلك ، كان كل شيء غير مستقر للغاية. لم أكن أعتقد أن هذا كان حلاً جيدًا ، لذلك قمت بتأسيس Nil with Kosta لإحضار عمل صناعة إدارة قواعد البيانات إلى صناعة التشفير ، لأنه يعني الموثوقية والأمان وقابلية التوسع وما إلى ذلك. القصة بعد ذلك هي تطور لا شيء.

** BlockBeats: = لا شيء ؛ متى بدأت المؤسسة في الاهتمام ببراهين انعدام المعرفة؟ **

** ميشا **: بالنظر إلى الوراء ، حوالي عام 2020 ، عندما انتهينا من أول نموذج أولي لنظام إدارة قواعد البيانات (DBMS) ، أدركنا بعض المشكلات. لكي نكون صادقين ، لم يحاول أحد فعل ذلك قبل أن نحاول دمج أنظمة إدارة قواعد البيانات مع صناعة التشفير ، وعندما انتهينا من هذا المشروع ، أدركنا أن افتراض الثقة لم يكن ما أردناه.

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

في ذلك الوقت ، كانت الصناعة لا تزال في مراحلها الأولى من التطور ، ولم تكن هناك بيئة تطوير مثل Arc Works. اعتقدنا أنه نظرًا لوجود مفاهيم نظرية وبعض التجارب ، كان علينا تجربتها. قمنا ببناء جناح وبنينا نظام إثبات خاص بنا. ثم عملنا مع أشخاص من مؤسسة Ethereum ومؤسسة Mina لبناء مترجم دارات. من أجل عدم إنتاج البراهين بأنفسنا ، قمنا بإنشاء سوق إثبات لإدخال ديناميكيات السوق في إنشاء الأدلة.

في بناء المترجم مع الأشخاص في مؤسسة مينا ، نحن نعمل أيضًا مع الأشخاص في مؤسسة سولانا. في هذه العملية ، أدركنا أننا بحاجة إلى إثبات الحالة ، وأن إثبات الحالة كان شيئًا كان يبحث عنه الأشخاص في مينا وإيثريوم في ذلك الوقت. في بداية عام 2021 تقريبًا ، عندما كنا نطور أدلة الحالة اللازمة لنظام إدارة قاعدة البيانات ، شعر الأشخاص من Mina و Ethereum و Solana أن هذا كان "zk Bridging". لأن جاستن دريك ، وإيفان شابيرو ، وأناتولي جميعًا يعتقدون أننا بحاجة إلى تقنية بريدج أكثر أمانًا ، ثم يقولون كل ما تسمونه ، إنه zkBridge.

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

** ميشا **: في الواقع هناك طريقتان فقط يمكن تطبيقهما على تقنية zk بالكامل. من الواضح أن الطريقة الأولى تستخدم لأغراض الخصوصية ، والطريقة الثانية تستخدم للضغط ، مثل التوسيع الذي يتحدث عنه الجميع ، وظهور zk -Rollups ، و zk-Bridges ، و zk-MLS ، و zk-Oracles ، إلخ. الناس "يسيئون استخدام" هذا المكدس للضغط ، وأعتقد أنه أكثر "إساءة استخدام" مثيرة رأيتها على الإطلاق. إذن السؤال هو لماذا الآن؟ لقد تمكنا من تحقيق ذلك قبل بضع سنوات ، وقد يكون هناك العديد من مراحل التطور التكنولوجي الرئيسية التي تجعله قابلاً للاستخدام ، ومجديًا ، وممتعًا للاستخدام.

جاء الإنجاز الأول في عام 2016 ، عندما أصبحت التكنولوجيا مفيدة بشكل متزايد لصناعة التشفير. في ذلك الوقت ، أصبحت أنظمة القيد من الرتبة 1 (R1CS) شائعة جدًا وبدأت تطبيقات مختلفة في الظهور. في الأساس ، عندما يصبح من الممكن الحفاظ على الخصوصية ، يصبح هذا الشيء ممكنًا. على سبيل المثال ، Zcash ، Tornado Cash ، إلخ. ولدت هذه المشاريع في تلك الحقبة ، أو ولدت أفكار هذه المشاريع في تلك الحقبة.

والثاني بين عامي 2019 و 2021 ، وهي الفترة الحرجة الثانية لهذه التكنولوجيا. في ذلك الوقت ، أصبحت مرشحات بلوم (الحجج الحادة) أكثر شيوعًا. بدأ الناس في بناء أنظمة إثبات تعتمد على فلاتر بلوم. لدينا أيضًا نظام إثبات خاص بنا يسمى العناصر النائبة. لماذا هذه الفترة الزمنية مهمة؟ لأنه بفضل أنظمة الإثبات القائمة على مرشح Bloom ، تمكن المشاريع من استخدام هذا المكدس للضغط. إنه يحسن الضغط ، مما يجعله أرخص وأكثر جدوى للقيام بمقياس Rollups المناسب و zkBridge في عام 2021.

في الوقت الحاضر ، لقد أحرزنا بعض التقدم في تطوير نظام الإثبات بشكل أكبر ، كما حققنا بعض الاختراقات في مشروعنا. يكفي القول ، إن كتابة قيود وحسابات رياضية معقدة يمثل أيضًا تحديًا كبيرًا في مثل هذه البيئة حيث يتم مشاركة المعلومات بمرور الوقت. لقد كرس العديد من الأشخاص أنفسهم لهذه المشكلة ، مثل إدخال STARK ، وإدخال zkVM لحل مشكلة التعقيد هذه ، وإدخالنا للمترجم zkLLVM ، مما يسهل أيضًا إنشاء التطبيقات. من عام 2019 إلى عام 2021 ، تم تطوير نظام الإثبات ، ومن أواخر عام 2020 إلى أوائل عام 2021 إلى أواخر عام 2022 ، تم أيضًا تطوير الأدوات. كل هذه التطورات تجعلها فعالة بما يكفي ومجدية اقتصاديًا لبناء أدلة على الحسابات المعقدة.

بطبيعة الحال ، فإن تطوير أنظمة الإثبات لم ينته بعد. من أجل تحقيق المزيد من سيناريوهات التطبيق ، لا يزال هناك الكثير من العمل الذي يتعين القيام به لإثبات النظام. على سبيل المثال ، ربما في هذا العام أو العام المقبل ، سنرى تطوير نظام الإثبات ، ونجري أيضًا بحثًا وتطويرًا ذا صلة هنا. سيؤدي تطوير أنظمة الإثبات هذه إلى تمكين تطبيقات zkLLVM القابلة للتطبيق اقتصاديًا ، ونأمل أن نكون أول فريق يقوم بذلك. لكن على أي حال ، يحاول الجميع الآن تحسين نظام الإثبات.

** BlockBeats: لقد ذكرت zkLLVM ، وهو مترجم مصمم للمطورين لإنشاء دوائر zk الخاصة بهم. أين تعتقد أن zkLLVM مهم وما هو النضج الحالي للمنتج؟ **

** ميشا **: ربما لم تكن zkLLVM هي الأولى ، لكنها كانت واحدة من أوائل برامج تجميع الدوائر. لقد رأيت بعض النماذج الأولية من قبل ، وشاهدت بعض مشاريع DSL ، ولكن مع مترجم دوائر يعمل بكامل طاقته بدلاً من آلة افتراضية ، لم أر الكثير من قبل. هناك بعضها ، لكنني لست متأكدًا مما إذا كان أي شخص يستخدمها بالفعل ، ولهذا السبب أعتقد أنها مهمة. ويحاول عدد قليل جدًا من الأشخاص في هذه الصناعة التخلص من معضلة "لم أقم بإنشائها" ، والتي تستهلك الكثير من الطاقة. من الواضح أن الأشخاص في نهاية المطاف يصنعون منتجات جيدة حقًا ، لكن معضلة "لم أقم بإنشائها" تجعل التطوير مستهلكًا للوقت ومكلفًا.

على سبيل المثال ، نحن نتواصل من خلال Zoom الآن ، ويتم تجميع جميع البرامج الموجودة على أجهزة الكمبيوتر المحمولة لدينا تقريبًا باستخدام LLVM. لقد أخذنا كل ذلك للتو وجعلناه قابلاً للإثبات. لذلك أعتقد أننا نجلب فقط النظام البيئي الكامل للمجمعين في صناعة التشفير حتى يمكن إعادة استخدام هذه الجهود في مساحة التشفير لتحقيق الكفاءة والجدوى الاقتصادية. أدى هذا أيضًا إلى استخدام لغات البرمجة على نطاق واسع. هناك الكثير من البرامج في العالم مكتوبة بلغة Rust و C ++ و Go و TypeScript وما إلى ذلك والتي قد يرغب المرء في تنفيذها داخل Ethereum وفي بيئة غير موثوق بها.

المثال المفضل لدي هو عندما يأخذ الأشخاص كود مصدر Doom (كود مصدر C / C ++) ، فإنهم يثبتون ذلك لـ Ethereum عبر zkLLVM ، ثم يسحبونه بين بعضهم البعض لإظهار المدة التي استغرقوها للانتهاء. على سبيل المثال ، أكملت تحدي سرعة Doom في 20 دقيقة ، هذا هو الدليل و Ethereum NFT الخاص بك ، مما يثبت أنك أكملت تحدي سرعة Doom في 20 دقيقة.

** BlockBeats: ما هي مجموعات المستخدمين التي تستخدم zkLLVM حاليًا ، وما هي المنتجات التي تم إنشاؤها؟ **

** ميشا **: تستخدم أنواع مختلفة من المشاريع هذه التقنيات ، وقد تكون بعض المشاريع مجرد بناء لمحاولة نشره ، أو ربما تكون قيد التشغيل بالفعل. حالة الاستخدام الأكثر وضوحًا هي zkBridge المبني على برنامج التحويل البرمجي ، وهو مؤمن بواسطة نظام الإثبات الخاص به. ربما كان هذا أحد الأسباب التي دفعتنا إلى إدراك الحاجة إلى مترجم وبدأنا في بنائه في المقام الأول. كما تتم محاولة استخدامه للتحقق الرسمي من بيانات الإثبات ، من أجل عدم محاولة وضع المواصفات الرسمية للبرنامج معهم ، ولكن لتكثيفها في الإثبات باستخدام مترجم zkLLVM الذي يجمع البيانات الرسمية. في الواقع ، يقوم الناس بترجمة المترجمين.

خذ على سبيل المثال التطبيقات الشبيهة بـ zkOracles ، فقد بنى الأشخاص zkOracles لاسترداد بيانات Ethereum التاريخية أو Lido لتأمين إصدار Ethereum Staking. يعالج الناس القضايا التي يوجد فيها الكثير من افتراضات الثقة ، على الرغم من استمرارها لأكثر من عامين. عندما صممنا Lido في عام 2020 ، كان هذا مقبولًا ، ولكن بعد ذلك أردنا تقليل افتراض الثقة ، لأننا لم نتمكن من المخاطرة بـ TVL الخاص بالمستخدم ، لذلك قررنا حمايته بإثبات عمل ZK. هناك العديد من المشاريع الأخرى إلى جانب ذلك ، يمكنني المضي قدمًا إلى الأبد بصراحة ، لدي حوالي 80 مشروعًا في CRM في الوقت الحالي.

** BlockBeats: = لا شيء ؛ تلقت المؤسسة سابقًا استثمارات من StarkWare و Mina وفرق L2 الأخرى ورؤوس أموال أخرى بقيمة تزيد عن 200 مليون دولار أمريكي. هل يتم استخدام هذه الأموال لبناء سوق إثبات ، وهل الاستثمار من StarkWare و Mina يعني أنك ستكون أكثر ميلًا للتعاون مع نظام بيئي معين؟ **

** ميشا **: هذه هي جولتنا الأولى والوحيدة من التمويل منذ خمس سنوات ، لأنه لم تكن لدينا حاجة لذلك من قبل ، والآن حان الوقت للقيام بذلك. لقد قمنا بعمل نماذج أولية كافية ، ودعمنا مشاريع كافية ، وتعلمنا ما يكفي لنشعر بالقوة والثقة الكافية لإطلاق المنتج بالطريقة التي نعتقد أنه ينبغي بناؤها.

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

نحن نعمل حقًا مع النظام البيئي الكامل لـ Mina وفريق Starkware ، وهناك بالفعل الكثير من التطبيقات من نظام Mina البيئي الذي تم إنشاؤه فوقنا ، أو تم إنشاؤه معنا ، أو الشراكة معنا. بدأ فريق مينا مؤخرًا في البحث وتطوير القوائم التي يحتاجون إليها كثيرًا من إمكانات التحقق. بالإضافة إلى ذلك ، قمنا ببناء التحقق من إثبات الحالة المستند إلى المترجم مع Mina في عام 2021 ، وهو مشروع آخر للنظام الإيكولوجي في Mina تعاونا معه.

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

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

السوق الثانوية لـ ZK Proofs

إن إثبات المعرفة الصفرية (ZK Proof) هو جوهر حقل ZK في سوق التشفير الحالي ، ويوفر وجوده إمكانيات غير محدودة للعديد من السيناريوهات مثل ZK Rollup و zkEVM. ومع ذلك ، فإن إنشاء برهان ZK يعد أيضًا مهمة حسابية ثقيلة ، وغالبًا ما يستغرق ساعات لإكمال الإثبات ، وهذا هو السبب في أن معظم أدوات الفرز الحالية لم تحل مشكلة المركزية. من أجل إنشاء أدلة ZK بشكل موثوق وفعال من حيث التكلفة ، لا نحتاج فقط إلى تطوير البنية التحتية للحوسبة وصيانتها ، بل نحتاج أيضًا إلى توسيعها. يرى ميشا أن إدخال آلية السوق هو الحل الأمثل لهذه المشكلة.

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

** BlockBeats: الآن دعنا نتحدث على وجه التحديد عن Proof Marketplace ، من أين أتت الفكرة ، وما القصة وراءها؟ **

** ميشا **: تنبع الفكرة من مشاركتنا الواسعة في تطبيقات البروتوكول والأشياء المختلفة المتعلقة ببرنامج Filecoin من عام 2020 إلى نهاية عام 2021. لم نشهد فقط الجنون الذي يحدث حول Filecoin بشكل مباشر ، ولكننا شاركنا فيه من وجهة نظرنا. وذلك عندما تعلمنا كيفية الحصول على جميع أنظمة الإثبات الصحيحة ، وكيفية عمل الحجج المناسبة ، وما إلى ذلك ، وقمنا بتطبيق مُثبِت Filecoin أسرع بـ 10 مرات من الإصدار العام ، مما يسمح للمعدنين بالاستفادة الكاملة من أجهزتهم. نحن في الواقع مركز يرى كل التجارب تحاول تقليل التكاليف من منظور عامل التعدين.

خلال ذلك الوقت ، تعلمنا الكثير من بيانات السوق الفعلية مثل مدى القيمة والمدة التي سيستغرقها إنشاء هذا الدليل المعين باستخدام هذا الجهاز ؛ من يستخدم الأجهزة ، وما هي مراكز البيانات التي تم إنشاؤها من أجلها ، وما إلى ذلك. ومن ثم العمل مع مؤسسة Ethereum ومؤسسة Mina والعديد من الآخرين ، وجدنا أن هذه البراهين على الحالة وإثبات الإجماع مرهقة للغاية ، ولن نسمح مطلقًا لأي شخص بإثبات ذلك بنفسه.

لنكن صادقين ، لا أحد لديه هذا النوع من الأجهزة التي يمكن إنشاؤها بسرعة لأنها ضخمة جدًا. على سبيل المثال ، مثل إجماع مينا ، فإن دليل مينا الحكومي هو منحنى مستثمر السياسة مضروبًا بنحو 35 مليار دولار ، وهو عدد كبير جدًا. أو إثبات إجماع Solana ، الذي يحتوي ، من بين أشياء أخرى ، على حوالي 4000 توقيع ECDSA ، ويستغرق الأمر وقتًا طويلاً لإنشائه.

عندما لوحظ هذا قررنا عدم القيام بذلك بعد الآن. اعتقدنا ، حسنًا ، سنقوم بالاستعانة بمصادر خارجية لهذا العمل. سنقوم ببناء سوق لهذا ، لأن لدينا بالفعل الكثير من البيانات المتعلقة بـ Filecoin ، فلنقم ببناء سوق ، فلنجعله سلعة ، دع ديناميكيات السوق تنطبق على هذا ، حتى يتمكن الناس من التنسيق بواسطة بروتوكول مركزي ، هم التنافس مع بعضنا البعض بحيث بدلاً من أن نكون المحور ، نجعل البروتوكول هو المحور. اتضح أن تفكيرنا كان صحيحًا. الجميع يبني سوق الإثبات في الوقت الحالي ، وخمننا الاتجاه.

** BlockBeats: عندما قمت ببناء سوق Proof ، هل فكرت في ديناميكياته باستخدام zkLLVM الذي قمت ببنائه بالفعل؟ **

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

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

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

ولكن بعد ذلك ، بدأ الناس في إثبات بعض الأشياء الكبيرة حقًا باستخدام zkLLVM ، وكانت قواعد الرموز مثل Ross و C ++ كبيرة جدًا مقارنة بما كان يفعله الأشخاص في Solidity. لذلك قمنا بتجميعها معًا ، وجعلها مرتبطة ببعضها البعض ، ثم نجعلها قابلة للاستخدام كخدمة. ما زلنا نعتقد أن المترجم يقوم بعمل جيد جدًا في كونه فعالًا ونأمل أن يبقيه على هذا النحو.

** BlockBeats: حاليًا ، من هم أهم مجموعات المستخدمين والمشاركين في سوق الإثبات؟ **

** ميشا **: النوع الأول من المستخدمين هو zkBridge بشكل أساسي ، كما أن إنشاء بعض البراهين الإجماعية وإثباتات الحالة ثقيل جدًا. إذا أنشأت تحققًا صحيحًا وآمنًا مثل إثبات الإجماع على Ethereum ، على سبيل المثال ، مع التحقق الكامل من توافق Ethereum ، وكل التحقق من صحة توقيع العقدة البالغ 100،000 عقدة ، فسوف يستغرق الأمر بعض الوقت لإنشائه.

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

يأخذون جميع بيانات Ethereum الضرورية من بورصات مختلفة ، من مؤشرات مختلفة ، ويضعونها في EVM ، ثم يستخدمونها كمجموعة من معايير المخاطر للضمانات. هذا يشبه أوراكل Lido آخر ، حيث يوضح كيف يمكن للبروتوكول تحسين أمانه وتقليل تكاليف التنفيذ من خلال الاستعانة بمصادر خارجية لسلسلة من العمليات الحسابية (مثل الأمان في Proof market و zkLLVM وحده). ليس هناك شك في أن أقوال عدم المعرفة مهمة للغاية.

الفئة الثالثة هي Rollup ، والتي يمكن استخدامها بواسطة Rollups الحالية أو Rollups الجديدة ، والبعض يحاول القيام بذلك. أي شخص يعتزم أن يصبح مدققًا للجمعيات سيأتي برغبة في تنفيذ نوع من الإثبات في سوق الإثبات. يمثل التعامل مع الأجهزة المتخصصة وعقد التشغيل على خوادم AWS المستأجرة تحديًا كبيرًا للمدققين. حقيقة أن AWS لا تقدم حاليًا ATX ، كما أنها لا تقدم وحدات معالجة رسومات قوية جدًا ، لذلك سيأتي المدققون بشكل أساسي مع حالات استخدام zkLLVM هذه. من الواضح ، لدينا بالفعل بعض حالات الاستخدام لـ zkLLVM ، لكن يجب أن أعترف أنها ليست قيد الإنتاج بعد.

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

** BlockBeats: إذا كنت أريد أن أصبح مولد إثبات في سوق Proof ، فما هي المتطلبات؟ **

** ميشا **: في الحقيقة لا توجد متطلبات أو قيود كثيرة لتصبح مولد إثبات ، كل هذا يتوقف على الدائرة المحددة والبيان المحدد الذي تريد إثباته. لقد أنشأنا بشكل خاص شيئًا يسمى "Proof Market Toolchain". عندما يعالج أحد المثقف العديد من البراهين في السوق ، فإنه يحتاج فقط لبدء تشغيله كخدمة ، أو استخدامه كسلسلة أدوات تعمل على جهازك. عملية وراء الكواليس.

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

** BlockBeats: جميع المستخدمين الذين يستخدمون = nil ؛ تحتاج المؤسسة إلى تسجيل حساب. إذا تم تخزين الإثبات الذي تم إنشاؤه أو معلومات المعاملة والملكية الخاصة به على خادم خاص ، فهل سيؤدي ذلك إلى حدوث بعض مشاكل المركزية؟ **

** ميشا **: هذا بالضبط ما نخطط لمعالجته بنهاية العام. نعم ، دليل السوق الحالي ليس لامركزيًا ، لم نصدر عقدة بروتوكول لدعمها ، ولم نتحدث عن هذا البروتوكول في الأماكن العامة. وإليك كيفية عمله حاليًا: مع وجود شخصين يشاركون أيضًا في Lido ويعملون كمحققين ومشغلي مدققين كمدققين ، يمكننا استضافته مؤقتًا ومعرفة كيف ستسير الأمور. ثم قمنا بتوزيع الكود المصدري عليهم ، وقمنا بالفعل بتشغيل ستة أو ثمانية كوضع اختبار.

في الوقت الحالي ، النظام لا مركزي إلى حد ما ، لكنه ليس عامًا أو لا مركزيًا حقًا. لا يمكن للجميع الانضمام وتشغيل عقدة Proof Market الخاصة بهم. هذا سؤال لنا أيضًا ، نحن نحب التطبيقات التي تسألنا عن الأمان ، إلى أي مدى هي لامركزية ، هل يمكننا الاعتماد عليها؟ هل هذا شيء يمكننا استخدامه حاليًا؟ أجبته ، نعم يمكنك ذلك ، لكنها ليست لامركزية بما يكفي لأننا نقوم بتشغيلها في وضع الاختبار. سنعمل جاهدين لحل هذه المشكلة ، وهي أهم مهمة لنا في الوقت الحاضر.

** BlockBeats: ما الخطوات التي تتخذها لمعالجة هذه المشكلات؟ **

** ميشا **: أولاً ، قمنا بتصميم دليل على السوق بناءً على بروتوكول لامركزي ، باستخدام بروتوكول لامركزي معين منذ البداية. ناقشنا عدة خيارات للنشر والتشغيل ، وحاولنا نشرها مباشرة على Ethereum ، ولكن عندما حسبنا الجدوى الاقتصادية ، وجدنا أنه إذا فعلنا ذلك ، فسنحتاج إلى دفع حوالي 2.5 مليار دولار في رسوم Ethereum سنويًا. لذلك ثبت أن إدارة سوق على Ethereum غير مجدية من الناحية المالية على الإطلاق.

ثم نحاول تشغيله على شيء مثل Rollup. ومع ذلك ، على الرغم من أننا جربنا عدة Rollups مختلفة ، إلا أن التكلفة كانت لا تزال مرتفعة. عندما قمنا بحساب تكلفة إثبات السوق وإجراء المراجحة ، وجدنا أن التكلفة السنوية لإثبات السوق وحدها كانت 250 مليون دولار أمريكي ، وهي أيضًا تكلفة عالية جدًا. لذلك كان علينا التوصل إلى بروتوكول خاص بنا يمكنه التعامل مع التحميل والتكلفة وكثافة البيانات وما إلى ذلك.

هدفنا هو جعل هذا البروتوكول أقرب ما يكون إلى أمان Ethereum ، لأنه لا توجد طريقة أخرى للتطبيقات للاعتماد عليه. اتضح أن هذا البروتوكول مفيد جدًا أيضًا لعمليات مثل التسلسل ، لأنه عند التسلسل ، يكون الحمل المراد معالجته هو نفسه في الأساس. قد يرغب المرء في تقليل زمن الانتقال بين المُنشئ والمُثبِت حتى يتمكنوا من إرسال البيانات على الفور إلى المُثبِّت وبالتالي الفوز بالمجموعة.

إن كيفية نشر مُسلسِل التسلسل على هذا البروتوكول هي أيضًا أحد اهتماماتنا الرئيسية الحالية.نأمل في بناء نظام أساسي يمكن استخدامه بواسطة مطوري الطرف الثالث ، بحيث يمكن لأي شخص بدء وتشغيل عقدة تدعم هذا البروتوكول. وتأكد من أن تطبيق إثبات السوق آمن مثل Ethereum من حيث نشر الكود.

** BlockBeats: هل يمكنك مشاركة المزيد حول آلية الحوافز للبروتوكول؟ **

** ميشا **: نفضل بالطبع استخدام العديد من الرموز المميزة للدفع مقابل الإثباتات ، لذلك لا يمكننا إجبار الجميع على استخدام رمز معين ، مما يعني أننا يجب أن نكون محايدين قدر الإمكان ، لأننا نكون محايدين مع أي منتج وتطبيق. على سبيل المثال ، من المحتمل أن يكون مشابهًا لكيفية عمل Arbitrum مع Ethereum ، ويمكن أن يكون لديك Ethereum و Arbitrum ، فلماذا لا؟

إن الخطوة الأولى في هذا الاتجاه هي بالتأكيد سوق اعتماد نقطة النهاية EVM ، الذي نشرناه في ذلك اليوم. هذا هو حل الدفع الذي يتيح استخدام جميع الأصول التي تم نشرها بواسطة Ethereum في Proof Market كحافز للموافقين أو للتطبيقات التي ترغب في دفع الرموز الخاصة بهم في Proof Market ، وهذه هي الخطوة الأولى في هذا الاتجاه. خطوة.

دليل نزوة السوق

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

** BlockBeats: هل سيؤدي إدخال آلية السوق إلى إطالة عملية إنشاء الأدلة؟ **

** ميشا **: المزاد ، أو العثور على أفضل مزايد للوظيفة ، يستغرق بعض الوقت ، ربما ليس بضع ثوان من جانبنا ، ولكن بضع لحظات. عادةً ما تستغرق هذه العملية عدة ثوانٍ ، وفي معظم الحالات أقل من ثانية. يبدو لي أن العرض والطلب وفير جدًا ، لذا فإن هذا يقدم بعض الكمون الفرعي الثاني.

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

** BlockBeats: إذا أراد شخص ما التكهن بالأدلة التي تم إنشاؤها ، فهل هذا شيء جيد أم سيء؟ هل سيتدخل الفريق بطريقة ما؟ **

** ميشا **: هناك الكثير من الأشياء الغريبة التي تحدث على موقعنا ، والأمر الذي ذكرناه للتو ليس أغرب ما يحدث ، بل هناك أشياء أكثر غرابة تحدث في سوق الإثبات ، ولكن دعنا نتحدث عن ذلك أولاً ، مسألة التخمين . ليس لدينا أي سيطرة على هذا لأننا لا نستطيع. بمجرد نشر هذا المشروع للجمهور ، بمجرد أن نجعل هذا البروتوكول متاحًا للجميع ، اسمح للجميع بتشغيله مرة واحدة في الأسبوع ، ربما كعرض تراكمي ، أو خلاف ذلك ، لن نتمكن بعد الآن من التحكم في كل هذا.

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

واحدة من أغرب حالات الاستخدام التي رأيتها هي محاولة شخص ما تداول العقود الآجلة لقوة الحوسبة ثم استخدام تلك العقود المستقبلية لإجراء مناقشة مضاربة. إنه مثل العقود الآجلة لمعدل تجزئة البيتكوين ، ولكن بالنسبة لإثباتات zk أيضًا. هل تساءلت يومًا عن MEV؟ ماذا لو أخبرتك أن هناك بالفعل قيمة مقتطف (PEV)؟

لا يعمل مثل التطبيق يجلب بعض البيانات ثم يحتاج شيء ما إلى إثبات ويقوم المحققون بذلك. يجلبون البيانات ، ويبدأون في إنشاء البراهين ، وكل شيء يعمل كما هو متوقع. ولكن في نفس الوقت ، إذا كان أحد المُثقفين يحاول جني المزيد من الأرباح من هذه البيانات أو شيء من هذا القبيل. سيستخدمون هذه البيانات في مكان آخر ، مثل Ethereum أو البروتوكولات الأخرى ، أو حتى بعض التراكميات.

يفعلون ذلك لاستخراج أكبر قدر ممكن من القيمة من هذه البيانات ، بدلاً من استخدامها لإنشاء البراهين. هناك أنواع أخرى مختلفة من إثباتات القيمة القابلة للاستخراج ، مثل الأشخاص الذين يحاولون التنبؤ بموعد إنشاء إثبات ، ثم حقن المعاملات لشراء أو بيع البراهين في بروتوكول Proof Market ، عن طريق الهندسة العكسية لواجهة برمجة التطبيقات ومحاولة إدخال المعاملات فيها هو - هي. بهذه الطريقة يمكن للمثقف البيع ، أو يمكن للمشتري تخمين السعر لاستخراج القيمة منه ، تمامًا مثل عمال المناجم Lightning ، أو البناة والعارضين الذين يضاربون في المعاملات في Ethereum.

بدأ بعض الأشخاص في تجربة كيفية منع المحققين من استغلال البيانات التي يحصلون عليها عند إنشاء البراهين. من أجل القيام بذلك ، فإن الطريقة الوحيدة هي إنشاء أدلة على بيانات FHE (تشفير متماثل الشكل). إنهم يحاولون صنع شيء مثل zkFHE ، لإخفاء البيانات اللازمة لتوليد الإثبات ، لكن FHE مكلف للغاية من الناحية الحسابية ، لذا فإن هذا يزيد من تكلفة الإثبات.

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

** BlockBeats: حاليًا سوق Proof متوافق مع ZKLLVM و Mina ، أود أن أعرف كيف سيولد سوق Proof أدلة للدوائر المختلفة في المستقبل؟ **

** ميشا **: ببساطة ، العملية كالتالي: يحمل التطبيق بيانًا يحتاج إلى إثبات ، ويتم تجميع هذا البيان في رمز ثانوي أو آلة افتراضية لتشغيل Proof Market. هذه الآلة الافتراضية هي EVM. ثم يأتون إلى هنا بهذا المطلب ، قائلين إنني بحاجة إلى إثبات هذا الادعاء. سوق الإثبات غير مسموح به ، ومن ثم يتم نشر زوج دائرة جديد ، وهي الطريقة التي يتم بها إنشاء زوج دائرة جديد ، وكل دائرة جديدة هي زوج تداول جديد.

عندما يرى المُثبِت الحاجة إلى مطالبة جديدة معينة ، فقد يكون هذا الادعاء الجديد حاجة مفاجئة ومستمرة ، أو حاجة كبيرة لمرة واحدة ، أو حاجة لمرة واحدة ولكنها لا تزال مثيرة للاهتمام. يمكن للمثقف أن يقول ، حسنًا ، أريد إضافة هذه الدائرة إلى قائمة الدوائر التي أهتم بها ، وأريد إنشاء دليل على هذه الدائرة. يقوم Proof Market بعد ذلك بإجراء التغييرات المناسبة وإنشاء البراهين وتقديمها. نحن نعمل بجد لجعل هذه العملية بسيطة قدر الإمكان.

** BlockBeats: كيف يتم تطبيقه على أنظمة الإثبات المختلفة؟ **

** ميشا **: هذه قصة أكثر إثارة للاهتمام ، حيث يوجد أساسًا متطلب واحد فقط لأنظمة إثبات مختلفة للاتصال بسوق الإثبات ، وهو تجميع أداة التحقق من نظام الإثبات هذا في الرمز الثنائي لـ EVM. نظرًا لأن EVM هو الذي يدعم سوق الإثبات ، يتم تجميع المدققين في EVM. قد يكون مكتوبًا في Solidity ، وقد يكون Rust أو C ++.

إذا كانت مكتوبة بلغة Solidity ، فما عليك سوى نشرها ؛ وإذا كانت مكتوبة بلغة Rust أو C ++ ، فسنستفيد من zkLLVM لتوفير سلسلة أدوات تقوم بتجميع أدوات التحقق من Rust و C ++ ، بحيث يمكن استخدام zkLLVM كخطوط رئيسية A لغة إلى- مترجم EVM يمكنه إنشاء مدققات من Rust أو C ++ أو لغات أخرى ونشرها في سوق Proof. بمجرد نشره ، يدعم Proof marketplace التحقق من نظام الإثبات الجديد. إلى هذا الحد ، فهو غير مصرح به.

** BlockBeats: أتذكر أنك قلت ذات مرة في مناقشة مائدة مستديرة حول عملية اللامركزية في Rollup ، = لا شيء ؛ مسار المؤسسة هو عكس معظم Rollups ، وهو بناء شبكة توليد إثبات أولاً ، ثم إلغاء مركزية تغيير فارز. إذن الآن ، هل يمتلك سوق إثبات المؤسسة التابع لـ = لا شيء فرصة ليكون حلاً لامركزيًا لمشاريع التراكمية هذه؟ **

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

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

في بعض الحالات ، قد يكون المدقق غير راغب ، أو غير قادر ، أو غير قادر على تكوين أجهزته الخاصة ، أو GPU ، أو ASIC ، وما إلى ذلك. عندما يكون لديك رأس مال فقط ولكن لا توجد بنية تحتية ، فأنت بحاجة إلى الحصول على إثبات من مكان ما. في هذا الوقت ، Proof Market إنه أمر رائع ، فهو يقدم دليلاً لأولئك الذين لديهم رأس المال ولكن ليس لديهم البنية التحتية أو لا يريدون امتلاك البنية التحتية.

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

** BlockBeats: أخيرًا ، هل تستطيع ميشا أن تكشف = لا شيء ؛ ما هي أهم الأشياء في خارطة طريق المؤسسة لهذا العام؟ **

** ميشا **: لدينا اتجاهان رئيسيان. الاتجاه الأول هو التطبيقات التي يمكن التحقق منها. يجب أن نجعل حالات الاستخدام هذه علنية وأن نجعل المزيد من الأشخاص يعرفون عنها. بعضها معروف بالفعل ، والبعض الآخر غير معروف جيدًا ، والبعض الآخر لم يتم تمكينه حتى الآن ، على سبيل المثال تتطلب حالة استخدام zkLLVM الخاصة بنا واجهة أمامية مصممة خصيصًا لتطبيقات zkLLVM. هذا سيجعل Drupal و zkLLVM مفيدًا لحالات استخدام zkLLVM وكل تلك الأشياء.

مثال آخر هو أننا نريد مساعدة الأشخاص الذين يتطورون فوقنا على إكمال مشاريعهم ، والتي ستكون بعض الأشياء المثيرة للاهتمام حول ألعاب zk. هل فكرت يومًا في لعب لعبة مطلق النار ثلاثية الأبعاد على Ethereum ، فهذا ليس ممكنًا بعد ، لكنه سيصبح ممكنًا ، وهذه هي الطريقة التي يتم بها تمكين حالات الاستخدام الجديدة لسوق Proof و zkLLVM. أحيانًا يكون الأمر غريبًا ، وأحيانًا يكون مضحكًا ، وفي بعض الأحيان يكون مفيدًا حقًا.

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

ربما بالإضافة إلى حل المشكلات الحقيقية ، سيكون أمرًا مثيرًا للاهتمام أيضًا لأن مطوري الطرف الثالث يمكنهم استخدامه ، لأنهم يستطيعون تجربة بعض الميزات التي لا يمكن تنفيذها في مكان آخر. إذن فهذان اتجاهان عامان لدينا: ضمان الأمن وتحقيق اللامركزية.