Skip to content
@ProvableHQ

Provable

Zero-Knowledge is Finally Here 🚀

Pinned Loading

  1. welcome welcome Public

    👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

    321 217

  2. leo leo Public

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

    Rust 4.8k 660

  3. workshop workshop Public

    📜 A Starter Guide to Build ZK Applications 📜

    Shell 333 265

  4. sdk sdk Public

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

    JavaScript 593 471

Repositories

Showing 10 of 46 repositories
  • leo Public

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

    ProvableHQ/leo’s past year of commit activity
    Rust 4,780 GPL-3.0 660 661 16 Updated Nov 22, 2024
  • snarkOS Public Forked from AleoNet/snarkOS

    A Decentralized Operating System for ZK Applications

    ProvableHQ/snarkOS’s past year of commit activity
    Rust 20 Apache-2.0 3,033 0 2 Updated Nov 22, 2024
  • snarkVM Public Forked from AleoNet/snarkVM

    A Virtual Machine for Zero-Knowledge Executions

    ProvableHQ/snarkVM’s past year of commit activity
    Rust 8 Apache-2.0 1,606 0 8 Updated Nov 22, 2024
  • service Public
    ProvableHQ/service’s past year of commit activity
    Rust 7 GPL-3.0 18 0 0 Updated Nov 22, 2024
  • sdk Public

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

    ProvableHQ/sdk’s past year of commit activity
    JavaScript 593 GPL-3.0 471 57 (1 issue needs help) 29 Updated Nov 21, 2024
  • ProvableHQ/leo-examples’s past year of commit activity
    Shell 1 1 0 0 Updated Nov 19, 2024
  • varuna-sage-impl Public

    A SageMath implementation of the Varuna zkSNARK.

    ProvableHQ/varuna-sage-impl’s past year of commit activity
    Sage 1 1 1 0 Updated Nov 8, 2024
  • grammars Public

    Grammar specifications for languages and formats in the Aleo ecosystem.

    ProvableHQ/grammars’s past year of commit activity
    16 27 8 0 Updated Nov 1, 2024
  • HTTPClient Public

    Rust HTTP API for Aleo Blockchain Nodes

    ProvableHQ/HTTPClient’s past year of commit activity
    Rust 0 0 1 0 Updated Oct 17, 2024
  • snarkOS-indexer Public Forked from ProvableHQ/snarkOS

    A Decentralized Operating System for ZK Applications

    ProvableHQ/snarkOS-indexer’s past year of commit activity
    Rust 0 Apache-2.0 3,033 0 0 Updated Oct 3, 2024