jakiro
مؤلف:MO المصدر: X ، @no89thkey الترجمة: شان أوبا ، رؤية Baitchain
اسمحوا لي أن أحاول الإجابة على هذا السؤال برقم:
هل من الممكن أن نتمكن من التقارب مع أفضل نقطة سحرية في طائرة المقايضة؟لا ، إن مستقبل الحوسبة التي يمكن التحقق منها خارج السلسلة هي منحنى مستمر يطمس الحدود بين ZK المتفانية والغرض العام.واسمحوا لي أن أشرح كيف تطورت هذه المصطلحات تاريخيا وكيف ستندمج في المستقبل.
قبل عامين ، كانت البنية التحتية “المهنية” ZK تعني أطر الدائرة ذات المستوى المنخفض مثل Circcom و Halo2 و Arkworks.تطبيق ZK المصمم مع هذه هو أساسا دائرة ZK مكتوبة بخط اليد.إنها سريعة وغير مكلفة لمهام محددة للغاية ، ولكن من الصعب في كثير من الأحيان تطويرها وصيانتها.إنها تشبه العديد من رقائق الدوائر المتكاملة الخاصة بالتطبيق (السيليكون المادي) في صناعة IC اليوم ، مثل رقائق NAND ورقائق التحكم.
ومع ذلك ، على مدى العامين الماضيين ،تطورت البنية التحتية “المتخصصة” إلى بنية تحتية “عامة”.
لدينا الآن أطر ZKML و ZK Coporcors و ZKSQL التي توفر SDKs سهلة الاستخدام وقابلة للبرمجة والتي يمكنها بناء فئات مختلفة من تطبيقات ZK دون كتابة سطر واحد من رمز حلبة ZK.على سبيل المثال ، يسمح المعالج المشترك ZK بالعقود الذكية بالوصول إلى حالات/أحداث/أحداث/معاملات تاريخية دون الثقة وتشغيل حسابات تعسفية على هذه البيانات.يتيح ZKML العقود الذكية من الاستفادة من نتائج استدلال الذكاء الاصطناعي بشكل موثوق لتمكين مجموعة واسعة من نماذج التعلم الآلي.
تعمل هذه الأطر المتطورة على تحسين القابلية للبرمجة بشكل كبير داخل مجالاتها المستهدفة مع الحفاظ على الأداء العالي والتكلفة المنخفضة لأن طبقة التجريد (SDK/API) رقيقة وقريبة من الدوائر المعدنية العارية.إنها مشابهة ل GPUs و TPUs و FPGAs في سوق IC: إنهم خبراء في مجال القابلية للبرمجة.
حقق ZKVM أيضًا تقدمًا كبيرًا في العامين الماضيين.تجدر الإشارة إلى أن جميع الغرض العام ZKVMs مبنية على إطار ZK منخفض المستوى.الفكرة هي أنه يمكنك كتابة تطبيقات ZK بلغات عالية المستوى (حتى أكثر سهولة في الاستخدام من SDK/API) التي يمكن تجميعها في مجموعة من الدوائر المخصصة لمجموعات التعليمات (RISC-V أو WASM).في قياسنا مع صناعة IC ، فهي مثل رقائق وحدة المعالجة المركزية.
ZKVM هي طبقة مجردة فوق إطار ZK منخفض المستوى ، تمامًا مثل المعالج المشترك ZK ، وما إلى ذلك ، على الرغم من وجود طبقة أكثر سمكًا.
كما قال رجل حكيم ذات مرة ، يمكن أن تحل طبقة التجريد كل مشكلة في علوم الكمبيوتر ، ولكن في الوقت نفسه تخلق مشكلة أخرى.صديقي ، المفاضلة هي اسم اللعبة هنا.في الأساس ، بالنسبة إلى ZKVM ، نقوم بإجراء مفاضلة بين الأداء والتنوع.
قبل عامين ، كان أداء ZKVM “المعدني” سيئًا حقًا.ومع ذلك ، في غضون عامين فقط ، تحسن أداء ZKVM بشكل كبير.لماذا؟
لأن هذه ZKVMs “العالمية” أصبحت أكثر “احترافية”!يأتي أحد المجالات الرئيسية لتحسين الأداء من “precompilation”.هذه المجمعات المسبقة هي دوائر ZK متخصصة التي تحسب برامج متقدمة شائعة الاستخدام مثل SHA2 ومختلف التحقق من التوقيع ، أسرع بكثير من العملية العادية لكسرها إلى دوائر التعليمات.
لذلك ، فإن الاتجاه واضح بالفعل الآن.
أصبحت البنية التحتية المتخصصة ZK أكثر عمومية ، وأصبح ZKVM المعمم أكثر تخصصًا!
بالنسبة لكلا الحللين على مدار السنوات القليلة الماضية ، فإن التحسين هو تحقيق مفاضلة أفضل من ذي قبل: قم بعمل أفضل في وقت ما دون التضحية بالآخر.لهذا السبب يشعر الجانبان بأننا “بالتأكيد المستقبل”.
ومع ذلك ، تخبرنا حكمة علوم الكمبيوتر بأننا في مرحلة ما سنواجه “الجدار الأمثل باريتو” (خط منقط أخضر) ، وفي هذه الحالة لا يمكننا دون التضحية بميزة أخرى تحسين ميزة.
لذلك ، يطرح سؤال مليون دولار: هل سيحل المرء تمامًا محل الآخر في الوقت المناسب؟
إذا كان تشبيه صناعة IC يمكن أن يساعد: يبلغ حجم سوق وحدة المعالجة المركزية 126 مليار دولار ، وصناعة IC بأكملها ، بالإضافة إلى جميع ICS “المخصصة” ، هي 515 مليار دولار.أعتقد أنه على المستوى الجزئي ، فإن التاريخ سوف يقفز هنا ولن يحل محل بعضهما البعض.
بعد قولي هذا ، لم يقل أحد اليوم ، “مهلا ، أنا أستخدم جهاز كمبيوتر مدعوم بالكامل من قبل وحدة المعالجة المركزية للأغراض العامة” أو “مهلا ، انظر إلى هذا الروبوت الغريب الذي يعمل به IC مخصص”.
نعم ، يجب أن ننظر إلى هذا من منظور الماكرو.
في المستقبل ، يمكن لخبراء المجالين البنية التحتية ZK و ZKVM للأغراض العامة أن يعملوا معًا.يمكن أن يحدث هذا بأشكال عديدة.
في الوقت الحاضر ، أسهل طريقة ممكنة.على سبيل المثال ، يمكنك استخدام المعالج المشترك ZK لإنشاء بعض نتائج الحساب في تاريخ طويل من معاملات blockchain ، ولكن منطق الأعمال الحسابية في أعلى هذه البيانات معقد للغاية بحيث لا يمكنك التعبير عنها بسهولة في SDK/API.
كل ما يمكنك فعله هو الحصول على أدلة ZK عالية الأداء و ZK منخفضة التكلفة للبيانات والحسابات الوسيطة ، ثم قم بتجميعها في VM معممة عن طريق إثبات متكرر.
على الرغم من أنني أعتقد أن هذه الأنواع من المناقشات مثيرة للاهتمام ، إلا أنني أعلم أننا جميعًا نبني مستقبل الحوسبة غير المتزامنة للحوافز التي تعمل بالحوسبة التي يمكن التحقق منها خارج السلسلة.عندما نرى حالات الاستخدام التي يتم تبنيها من قبل المستخدمين على نطاق واسع في السنوات القادمة ، أعتقد أن هذا النقاش يمكن حله بسهولة.
