risc0/zirgenمُجمّع لغة خاصّة بالمجال لإنشاء دوائر حسابية تستهدف نظام الإثبات عديم المعرفة RISC Zero، مما يتيح مسرّعات مخصّصة وتكامل مع الآلة الافتراضية.
Zirgen هو مترجم للغة مخصصة لمجال معين، تُسمى أيضًا "zirgen"، والتي تنشئ دوائر حسابية لنظام الإثبات RISC Zero.
بالنسبة للغالبية العظمى، يجب على مستخدمي RISC Zero كتابة تطبيقاتهم اللامركزية zkApps بلغة Rust واستخدام جهازنا الافتراضي RISC-V zkVM بدلاً من بنائها مباشرة في Zirgen. ومع ذلك، في بعض الأحيان يكون من الضروري أو المرغوب فيه كتابة أجزاء من التطبيق كدائرة حسابية للتكامل المباشر مع نظام الإثبات الخاص بنا وتحقيق أداء أفضل. في الواقع، لدينا إصدار قادم من دائرة zkVM مكتوب بـ Zirgen! سيجعل Zirgen من الممكن بناء مسرعات لأجزاء مهمة من تطبيقاتك، أو حتى بناء أجهزة افتراضية كاملة أخرى تتكامل مع نظام RISC Zero البيئي من خلال تركيب الأدلة. مع ذلك، لا يزال هذا العمل قيد التطوير وبه بعض الحواف الخشنة.
لدينا أيضًا تكامل مع Circom قيد التطوير - وهذا سيجعل من الممكن توليد برامج دوائر تكرارية تتحقق من الشهود لدوائر Circom اعتباطية. يمكن العثور على ذلك هنا.
graph TD;
A[Zirgen] --> B[Zirgen Compiler]
C[Circom] --> B
B --> D[Rust code]
B --> E[C++ code]
B --> F[Recursion VM predicates]