عندما يتعلق الأمر بأنظمة المعرفة الصفرية، تواجه معظم التصاميم في النهاية نفس الاختيار.

zk-SNARKs أو zk-STARKs.

كلاهما قوي. كلاهما يتضمن تنازلات.

لطبقة حساب غير محدودة تحتاج إلى دفع بيانات تاريخية ضخمة خارج السلسلة، اتخذ @brevis_zk قرارًا مدروسًا جدًا.

لقد بنوا حول zk-SNARKs.

لماذا هذا مهم:

→ الأدلة الصغيرة جدًا تجعل التحقق على السلسلة رخيصًا
→ التحقق السريع يمكّن من منطق التطبيقات اللامركزية في الوقت الحقيقي تقريبًا
→ الأدوات ناضجة ومجربة في المعركة
→ مثالية لتلخيص مجموعات البيانات التاريخية الكبيرة بكفاءة

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

كل ذلك مضغوط في دليل لا يتجاوز بضع مئات من البايتات.

خيارات التصميم البسيطة مثل هذه هي ما يجعل الحساب القابل للتحقق على نطاق واسع يعمل فعلاً.