shipefred's repositories
Language:Shell000
snarkOS
A Decentralized Operating System for ZK Applications
Apache-2.0000
GPL-3.0000
snarkVM
A Virtual Machine for Zero-Knowledge Executions
Apache-2.0000
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
GPL-3.0000
workshop
📜 A Starter Guide to Build ZK Applications 📜
000
GPL-3.0000
GPL-3.0000
GPL-3.0000
ARCs
Aleo Request for Comments (ARCs)
Apache-2.0000