मुख्य सामग्री पर जाएँ
buildradar
Sign in

starkware-libs/cairo

@starkware-libs

Cairo सामान्य गणना के लिए सिद्ध करने योग्य प्रोग्राम बनाने के लिए पहली ट्यूरिंग-पूर्ण भाषा है।

स्टार
1,904
फ़ोर्क
774
भाषा
Rust
लाइसेंस
Apache-2.0
आख़िरी push
4 दिन पहले
Rustzero-knowledge-proofscairostarknetzkpcomputational-integrity

अभी कोई संबंधित intel नहीं

यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।