Aleo

Results 7 repositories owned by Aleo

snarkOS

3.6k
Stars
2.4k
Forks
74
Watchers

A Decentralized Operating System for ZK Applications

leo

4.6k
Stars
529
Forks
23
Watchers

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

snarkVM

873
Stars
1.4k
Forks
Watchers

A Virtual Machine for Zero-Knowledge Executions

welcome

288
Stars
165
Forks
Watchers

Welcome to Aleo. Where Applications Become Zero-Knowledge

sdk

511
Stars
394
Forks
Watchers

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

aleo-setup

38
Stars
16
Forks
Watchers

A Setup Ceremony for Universal SNARKs

workshop

280
Stars
225
Forks
Watchers

📜 A Starter Guide to Build ZK Applications 📜