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