succinctlabs की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
SP1 एक ज़ीरो-नॉलेज वर्चुअल मशीन है जो RISC-V आर्किटेक्चर के लिए संकलित कार्यक्रमों के सही निष्पादन को साबित करती है।
