Zirgen सर्किट कंपाइलर

Zirgen एक डोमेन-विशिष्ट भाषा के लिए कंपाइलर है, जिसे "zirgen" भी कहा जाता है, जो RISC Zero प्रूफ सिस्टम के लिए अंकगणितीय सर्किट बनाता है।

अधिकांशतः, RISC Zero के उपयोगकर्ताओं को अपने zkApps Rust में लिखने चाहिए और उन्हें सीधे Zirgen में बनाने के बजाय हमारे RISC-V zkVM का उपयोग करना चाहिए। हालाँकि, कभी-कभी किसी एप्लिकेशन के कुछ हिस्सों को अंकगणितीय सर्किट के रूप में लिखना आवश्यक या वांछनीय होता है ताकि हमारे प्रूफ सिस्टम के साथ सीधे एकीकृत किया जा सके और बेहतर प्रदर्शन प्राप्त किया जा सके। RISC Zero zkVM के अपने सर्किट Zirgen में लिखे गए हैं। Zirgen आपके एप्लिकेशन के महत्वपूर्ण हिस्सों के लिए एक्सेलेरेटर बनाना संभव बनाता है, या यहाँ तक कि प्रूफ कंपोज़िशन के माध्यम से RISC Zero इकोसिस्टम में एकीकृत होने वाले पूर्ण अन्य VM बनाना भी संभव बनाता है। फिर भी, यह अभी भी एक कार्य प्रगति पर है और इसमें काफी कुछ खुरदुरे किनारे हैं।

शुरुआत करना

भाषा अवलोकन

सर्किट परिवर्तनों को 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]