ProvableHQ
★ 4,821leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
HYSEN LABS DIRECTORY
ProvableHQ
Verified repositories, classifications and analysis from the ProvableHQ organization.
3 curated open-source projects
ProvableHQ
★ 4,531snarkOS
A Decentralized Operating System for ZK Applications
ProvableHQ
★ 634sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development