Pinned Repositories
aleo-rust
aleo-std
ARCs
Aleo Request for Comments (ARCs)
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
python-sdk
service
snarkOS
A Decentralized Operating System for ZK Applications
snarkVM
A Virtual Machine for Zero-Knowledge Executions
tictactoe
workshop
📜 A Starter Guide to Build ZK Applications 📜
shipefred's Repositories
shipefred/aleo-rust
shipefred/aleo-std
shipefred/ARCs
Aleo Request for Comments (ARCs)
shipefred/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
shipefred/python-sdk
shipefred/service
shipefred/snarkOS
A Decentralized Operating System for ZK Applications
shipefred/snarkVM
A Virtual Machine for Zero-Knowledge Executions
shipefred/tictactoe
shipefred/workshop
📜 A Starter Guide to Build ZK Applications 📜