Beast code in Giters

VigenTerzian's repositories

A Decentralized Operating System for ZK Applications

Apache-2.0100

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

GPL-3.0100

A Virtual Machine for Zero-Knowledge Executions

Apache-2.0100

Aleo Request for Comments (ARCs)

Apache-2.0100

zkSync era

Apache-2.0100

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

NOASSERTION100

Smart Contract Submodule For zkSync Era

MIT100

📜 A Starter Guide to Build ZK Applications 📜

100

Circuit Implementation of zkVM for zkSync Era

Apache-2.0100

Implementation of the system contracts

MIT100

A Setup Ceremony for Universal SNARKs

100

Full examples for tutorials in the zkSync Era documentation

MIT100