Pinned

1. zkLLVM zkLLVM Public

   Zero-Knowledge Proof Systems Circuit Compiler

   C++ 272 44

2. crypto3 crypto3 Public

   Modern Cryptography Suite in C++17

   C++ 70 11

3. zkEVM1 zkEVM1 Public

   Forked from ethereum/evmone

   Secure and performant zkEVM compiled from evmone via zkLLVM

   C++ 16 4

4. mina-state-proof mina-state-proof Public

   In-EVM Mina State Verification

   Solidity 80 10

5. proof-market-toolchain proof-market-toolchain Public

   A toolchain for interaction with the Proof Market protocol.

   C++ 22 5

6. zkllvm-template zkllvm-template Public

   Template repository for zkLLVM-based projects

   Solidity 19 18