VigenTerzian
Follow
-
snarkOS Public
Forked from AleoNet/snarkOSA Decentralized Operating System for ZK Applications
-
leo Public
Forked from ProvableHQ/leo🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
-
snarkVM Public
Forked from AleoNet/snarkVMA Virtual Machine for Zero-Knowledge Executions
-
ARCs Public
Forked from AleoNet/ARCsAleo Request for Comments (ARCs)
-
zksync-era Public
Forked from matter-labs/zksync-erazkSync era
-
awesome-zero-knowledge-proofs Public
Forked from matter-labs/awesome-zero-knowledge-proofsA curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
-
era-contracts Public
Forked from matter-labs/era-contractsSmart Contract Submodule For zkSync Era
-
workshop Public
Forked from ProvableHQ/workshop📜 A Starter Guide to Build ZK Applications 📜
-
era-sync_vm Public
Forked from matter-labs/era-sync_vmCircuit Implementation of zkVM for zkSync Era
-
era-system-contracts Public
Forked from matter-labs/era-system-contractsImplementation of the system contracts
-
aleo-setup Public
Forked from AleoNet/aleo-setupA Setup Ceremony for Universal SNARKs
-
era-tutorial-examples Public
Forked from matter-labs/era-tutorial-examplesFull examples for tutorials in the zkSync Era documentation