Popular repositories Loading

1. aleo aleo Public

   Forked from ProvableHQ/sdk

   A Software Development Kit (SDK) for Zero-Knowledge Transactions

   Rust

2. sui sui Public

   Forked from MystenLabs/sui

   Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

   Rust

3. snarkOS snarkOS Public

   Forked from ProvableHQ/snarkOS

   A Decentralized Operating System for ZK Applications

   Rust

4. snarkVM snarkVM Public

   Forked from ProvableHQ/snarkVM

   A Virtual Machine for Zero-Knowledge Executions

   Rust

5. leo leo Public

   Forked from ProvableHQ/leo

   🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

   Rust 1

6. workshop workshop Public

   Forked from ProvableHQ/workshop

   📜 A Starter Guide to Build ZK Applications 📜

   Shell