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

—————————————————————————

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

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

في عملية التنفيذ، اعتمدت Brevis بشكل أساسي على بنية هجينة فريدة تتضمن وحدتين رئيسيتين: Pico zkVM و zkCoprocessor.

Pico zkVM (آلة افتراضية صفرية المعرفة العامة)

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

zkCoprocessor (معالج البيانات المساعد ZK)

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

"بنية "zkVM العامة + المعالج المساعد المخصص"، تجمع بين المرونة والأداء العالي، مما يمكن @brevis_zk من معالجة مجموعة متنوعة من المهام بكفاءة بدءًا من تحليل بيانات DeFi إلى التحقق من الخوارزميات المعقدة.

مع التحسين المستمر في أداء Pico zkVM والتوسع المستمر في سيناريوهات تطبيق zkCoprocessor ، فإن Brevis في طريقها للتقدم من قابلية التوسع إلى القابلية للتحقق.