Dépôts open source suivis de succinctlabs, triés par étoiles.
SP1 est une machine virtuelle à divulgation nulle de connaissance qui prouve l'exécution correcte de programmes compilés pour l'architecture RISC-V.
