تم تصميم دوائر ZK الخاصة بسيتريا خصيصا لبيتكوين لتمكين: - تطبيقات البيتكوين التي تساهم في اقتصاد التعدين - جسر البيتكوين الذي يتم التحقق منه من قبل شبكته 🧵

تثبت دوائر سيتريا أمرين معا: • إثبات التنفيذ (إثبات صحة معاملات Citrea) • إثبات فضاء الكتل في بيتكوين (منتجا برهانا موجزا لسيتريا للجسر المعتمد، كليمنتين).

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

إثبات المساحة الكعكية: تقوم الدائرة بمسح كتل البيتكوين للتحقق من جميع إثباتات تنفيذ سيتريا السابقة والتزامات المتسلسل السابقة. وظيفته هي: • تقديم دليل واحد لتاريخ سيتريا الكامل

النتيجة: طبقة تطبيق متوافقة بالكامل مع البيتكوين.