repositories Search Results 路 topic:zero-knowledge org:ProvableHQ fork:true
Filter by
6 results
inProvableHQ (press backspace or delete to remove)
馃 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
A zkVM for Decentralized Private Computations (DPC)
Javascript & Typescript SDK for Zero-Knowledge Application Development
馃摐 A Starter Guide to Build ZK Applications 馃摐
馃搫 Documentation for Leo 馃
Sponsor open source projects you depend on
Contributors are working behind the scenes to make open source better for everyone鈥攇ive them the help and recognition they deserve.Explore sponsorable projectsProTip!聽Press the / key to activate the search input again and adjust your query.
Sponsor open source projects you depend on
Contributors are working behind the scenes to make open source better for everyone鈥攇ive them the help and recognition they deserve.Explore sponsorable projectsProTip!聽Press the / key to activate the search input again and adjust your query.