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

لكن التجربة أثبتت أن هذه الفكرة "الكبيرة والشاملة" غالبًا ما تؤدي إلى مشكلات في الكفاءة وصعوبة التوسع. لذلك، فإن اتجاهًا جديدًا بدأ في الظهور - وهو zkVM المعياري. وPico v1.0 التي أطلقتها Brevis @brevis_zk تمثل هذه الاتجاه.
باختصار، بيكو ليست "آلة شاملة"، بل هي "ورشة تجميع".
يقوم بتقسيم zkVM إلى عدة وحدات مستقلة، مما يتيح للمطورين اختيار الوظائف المطلوبة بحرية مثل تجميع قطع الليغو، وإزالة الأجزاء غير الضرورية.

➤الفكرة الأساسية لـ Pico: إعادة بناء zkVM من الصفر
فلسفة تصميم بيكو مباشرة للغاية - "كل شيء يمكن أن يكون وحدات."
إنه مقسم بشكل أساسي إلى ثلاثة مستويات:

1）وحدة التنفيذ: تدعم أنظمة إثبات مختلفة، مثل STARK و SNARK، أو مزيج من كليهما. يمكن للمطورين التبديل بحرية بناءً على متطلبات الأداء والأمان.

2) وحدة بيئة السياق: تحدد هيكل البيانات وإدارة الحالة والمنطق للتفاعل مع داخل السلسلة. تعادل "دماغ" النظام، وتحدد كيفية تواصله مع العالم الخارجي.

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

➤طرق مختلفة عن zkVM الرئيسية
تتمتع zkVM الشائعة في السوق حاليًا بمزايا وعيوب مختلفة:
Risc Zero: يعتمد على بنية وحدة المعالجة المركزية العامة، مع توافق قوي، ولكن النظام ضخم وبطيء في الإقلاع.

SP1 (Succinct): تصميم بسيط للغاية، مناسب لإثباتات الاستدعاء، ولكنه غير مرن بما فيه الكفاية.

ZKWasm: إعادة استخدام نظام WebAssembly البيئي، كامل الوظائف لكن تكلفة التعلم عالية، ويستهلك موارد كبيرة.

اختارت بيكو مسارًا وسطيًا: لم تعد تسعى إلى العمومية، بل تقدم "قوالب بناء" منظمة.
يمكن للمطورين اختيار إثبات الخلفية، وتسريع الدوائر، وتدفقات العمل، لتخصيص zkVM لخدمة أعمالهم فقط.

➤القيمة الواقعية التي تجلبها الوحدة

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

➤من "المكونات الصغيرة" إلى "النموذج الجديد"
لا تدع Pico يبدو مجرد "مكون صغير" في عالم ZK، فالمعنى وراءه كبير.
إنه يجعل zkVM تتحول من "صندوق أسود مغلق" إلى "كتل مفتوحة"، مما يمنح المطورين السيطرة الحقيقية.
بيئة تنفيذ zk المستقبلية، لا تحتاج إلى أن تكون كبيرة وشاملة، بل تقدم قدرة حسابية مناسبة تمامًا لكل نوع من التطبيقات.
@brevis_zk يقوم Pico بتحويل هذا الأمر إلى واقع.
بعد عصر zkVM العام، ربما تكون zkVM المودولارية هي الشكل الناضج الحقيقي لتقنية ZK.
إنه لا يسعى إلى تغطية كل شيء ، بل يسعى إلى أن تمتلك كل تطبيقات محرك الحوسبة الأنسب.

هذا هو فلسفة التصميم وراء Pico:
اجعل التعقيد قابلاً للتجميع، واجعل إثبات المعرفة الصفرية يمضي نحو التطبيق الحقيقي.
#Brevis #KAITO

@brevis_zk

@KaitoAI