o1-labs/snarky
@o1-labsसत्यापन योग्य गणना (verifiable computation) के लिए OCaml DSL
स्टार
507
फ़ोर्क
85
भाषा
OCaml
लाइसेंस
MIT
आख़िरी push
1 माह पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।