Pinned Repositories
aleo-setup
A Setup Ceremony for Universal SNARKs
ARCs
Aleo Request for Comments (ARCs)
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
era-contracts
Smart Contract Submodule For zkSync Era
era-sync_vm
Circuit Implementation of zkVM for zkSync Era
era-system-contracts
Implementation of the system contracts
era-tutorial-examples
Full examples for tutorials in the zkSync Era documentation
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
snarkOS
A Decentralized Operating System for ZK Applications
snarkVM
A Virtual Machine for Zero-Knowledge Executions
VigenTerzian's Repositories
VigenTerzian/aleo-setup
A Setup Ceremony for Universal SNARKs
VigenTerzian/ARCs
Aleo Request for Comments (ARCs)
VigenTerzian/awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
VigenTerzian/era-contracts
Smart Contract Submodule For zkSync Era
VigenTerzian/era-sync_vm
Circuit Implementation of zkVM for zkSync Era
VigenTerzian/era-system-contracts
Implementation of the system contracts
VigenTerzian/era-tutorial-examples
Full examples for tutorials in the zkSync Era documentation
VigenTerzian/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
VigenTerzian/snarkOS
A Decentralized Operating System for ZK Applications
VigenTerzian/snarkVM
A Virtual Machine for Zero-Knowledge Executions
VigenTerzian/workshop
📜 A Starter Guide to Build ZK Applications 📜
VigenTerzian/zksync-era
zkSync era