🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Repository Index
78,351 visible repositories in the index
1–6 of 6 · Most stars
A Decentralized Operating System for ZK Applications
zkSNARK implementation in JavaScript & WASM
C++ library for zkSNARKs
A toolbox for zkSNARKs on Ethereum
- zksnarks
- ethereum
- zero-knowledge
- snark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
- zkp
- zksnark
- zk-snarks
- gnark