Propriétaire · ProvableHQ

ProvableHQ

Dépôts open source suivis de ProvableHQ, triés par étoiles.

4 dépôts

#1
leo ↗@ProvableHQRust
Le langage de programmation Leo. Un langage pour des applications formellement vérifiées et à divulgation nulle de connaissance (Zero-Knowledge).
★ 4 821+0Évolution des étoiles sur les 7 derniers jours
#2
snarkOS ↗@ProvableHQRust
Un système d'exploitation décentralisé pour les applications ZK.
★ 4 524-1Évolution des étoiles sur les 7 derniers jours
#3
snarkVM ↗@ProvableHQRust
Une zkVM pour les calculs privés décentralisés (DPC).
★ 1 163+0Évolution des étoiles sur les 7 derniers jours
#4
sdk ↗@ProvableHQTypeScript
SDK Javascript et Typescript pour le développement d'applications Zero-Knowledge
★ 633+0Évolution des étoiles sur les 7 derniers jours