بنية تحتية مخصصة لـ zkVM والمعرفة الصفرية
عمل هندسي مختارأعمال هندسية مختارة تم التحقق منها لحساب قابل للتحقق قائم على Rust، وتنفيذ يحافظ على الخصوصية، وبنية تحتية لـ zkVM.
السياق
يشمل النطاق جهازا افتراضيا أصليا من ZK، وآثار التنفيذ، وقيود AIR، وأدلة STARK المستندة إلى Plonky3، ومكونات الأنظمة الموزعة.
مشكلة أو هدف
تطوير بنية تحتية لتنفيذ حوسبة قابلة للتحقق وحفظ للخصوصية، مع حدود صريحة للمدخل العام والحالة والمعاملة والتحقق.
النطاق المُسلَّم
- حوسبة قابلة للتحقق قائمة على Rust
- تنفيذ يحافظ على الخصوصية
- آلة افتراضية ZK-native
- معمارية مجموعة التعليمات
- تتبّعات التنفيذ
- قيود AIR
- إثباتات STARK القائمة على Plonky3
- ربط المدخلات العامة
- آليات تحقق تركز على المتانة
- آلة حالة حتمية
- براهين Merkle
- تثبيت المعاملات والتراجع عنها
- RPC
- libp2p
- GossipSub
- نهج تخزين الحالة
مجالات الهندسة
- Rust
- حوسبة قابلة للتحقق
- بنية تحتية صفرية المعرفة
- الأنظمة الموزعة
- تصميم الحالة والمعاملات
مخرجات تمثيلية
- بنية تحتية للآلة الافتراضية ZK-native
- آثار التنفيذ وقيود AIR
- آليات الربط والتحقق من المدخلات العامة
- مكونات الحالة الموزعة والشبكات
ما الذي يوضحه هذا
- هندسة الحوسبة التي يمكن التحقق منها
- تصميم تنفيذ يحافظ على الخصوصية
- الأنظمة الموزعة وعمل آلات الحالة
النطاق والإفصاح
يقتصر هذا الملخص على المخزون الهندسي الذي تم التحقق منه ولا يدعي الضمان أو الخصائص العالمية أو نتائج الأداء أو التبني.
احتفظ بتفاصيل التنفيذ ضمن مخزون البنية التحتية الذي تم التحقق منه ولا تضف ادعاءات بروتوكول أو نشر غير مذكورة.
خدمات BilgeQor ذات الصلة
ناقش نطاق الهندسة المرتبط
استخدم هذه الحالة كسياق وأخبرنا عن النظام أو الحدود أو سؤال التسليم الذي يحتاج إلى مراجعة.
اطلب نطاقاً لهذه الحالةالعودة إلى حالات الهندسة