Eigentümer · ProvableHQ

ProvableHQ

Erfasste Open-Source-Repos von ProvableHQ, sortiert nach Sternen.

4 Repos

#1
leo ↗@ProvableHQRust
:🦁 Die Programmiersprache Leo. Eine Programmiersprache für formell verifizierte Zero-Knowledge-Anwendungen
★ 4.821+0Sterne-Änderung der letzten 7 Tage
#2
snarkOS ↗@ProvableHQRust
Ein dezentrales Betriebssystem für ZK-Anwendungen
★ 4.524-1Sterne-Änderung der letzten 7 Tage
#3
snarkVM ↗@ProvableHQRust
Eine zkVM für dezentrale private Berechnungen (DPC)
★ 1.163+0Sterne-Änderung der letzten 7 Tage
#4
sdk ↗@ProvableHQTypeScript
Javascript- und Typescript-SDK für die Entwicklung von Zero-Knowledge-Anwendungen
★ 633+0Sterne-Änderung der letzten 7 Tage