Popular repositories Loading

1. snarkOS snarkOS Public

   Forked from ProvableHQ/snarkOS

   A Decentralized Operating System for ZK Applications

   Rust

2. snarkVM snarkVM Public

   Forked from ProvableHQ/snarkVM

   A Virtual Machine for Zero-Knowledge Executions

   Rust

3. -workshop-ua- -workshop-ua- Public

   Forked from ProvableHQ/workshop

   📜Посібник для початківців зі створення додатків на Aleo📜

   Shell

4. welcome-ua- welcome-ua- Public

   Forked from ProvableHQ/leo-docs-source

   Ласкаво просимо до Aleo. Де додатки стають нульовими знаннями

   Rust

5. aleo-setup-UA- aleo-setup-UA- Public

   Forked from AleoNet/aleo-setup

   Процедура налаштування універсальних SNARK'ів

   Rust

6. leo-ua leo-ua Public

   Forked from ProvableHQ/leo

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

   Rust