مُترجم دوائر Zirgen

Zirgen هو مُترجم للغة خاصة بمجال معين، تُسمى أيضًا "zirgen"، وهي تُنشئ دوائر حسابية لنظام إثبات RISC Zero.

في الغالب، ينبغي على مستخدمي RISC Zero كتابة تطبيقات zkApps الخاصة بهم بلغة Rust واستخدام RISC-V zkVM الخاص بنا بدلًا من بنائها مباشرةً في Zirgen. ومع ذلك، يكون من الضروري أو المرغوب أحيانًا كتابة أجزاء من التطبيق كدائرة حسابية للتكامل مباشرةً مع نظام الإثبات لدينا وتحقيق أداء أفضل. دوائر RISC Zero zkVM نفسها مكتوبة بلغة Zirgen. ويتيح Zirgen بناء مسرّعات لأجزاء مهمة من تطبيقاتك، أو حتى بناء أجهزة افتراضية أخرى كاملة تتكامل مع منظومة RISC Zero عبر تركيب الإثباتات. ومع ذلك، فإنه لا يزال قيد التطوير وفيه بعض النواقص.

البدء

نظرة عامة على اللغة

إدخال تغييرات الدوائر إلى risc0 وrisc0-ethereum

الدوائر المضمّنة

• دائرة الاستدعاء الذاتي
• RISC-V zkVM

التكامل مع Circom

لدينا أيضًا تكامل مع 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]