succinctlabs/sp1
@succinctlabsSP1 एक ज़ीरो-नॉलेज वर्चुअल मशीन है जो RISC-V आर्किटेक्चर के लिए संकलित कार्यक्रमों के सही निष्पादन को साबित करती है।
स्टार
1,734
फ़ोर्क
691
भाषा
Rust
लाइसेंस
Apache-2.0
आख़िरी push
4 दिन पहले
संबंधित intel (0)
अभी कोई संबंधित intel नहीं
यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।