| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| matter-labs/zksync-web-era-docs | JavaScriptShell | 400 | +4 | 460 | +1 |
| keep-starknet-strange/alexandria | Cairo | 157 | +3 | 65 | +1 |
| MinaProtocol/mina | OCamlGoRust | 1.8k | +2 | 468 | +3 |
| lambdaclass/cleopatra_cairo | RustCairoOther | 403 | +2 | 79 | 0 |
| starkscan/starkscan-verifier | TypeScriptJavaScript | 1.2k | +2 | 257 | +1 |
| kkrt-labs/kakarot-ssj | CairoPythonOther | 76 | +2 | 34 | +2 |
| zk-email-verify/zk-email-verify | TypeScriptJavaScriptSolidity | 156 | +1 | 33 | +2 |
| zkemail/zk-email-verify | TypeScriptJavaScriptSolidity | 156 | +1 | 33 | +2 |
| ConsenSys/gnark-crypto | GoAssemblySage | 392 | 0 | 117 | 0 |
| appliedzkp/semaphore | TypeScriptSolidityEJS | 765 | 0 | 135 | 0 |
| matter-labs/awesome-zero-knowledge-proofs | 4.3k | 0 | 646 | 0 | |
| Loopring/protocols | SolidityTypeScriptC++ | 293 | 0 | 84 | 0 |
| socathie/zkPuzzles | SolidityJavaScriptShell | 16 | 0 | 18 | 0 |
| semaphore-protocol/semaphore | TypeScriptSolidityEJS | 765 | 0 | 135 | 0 |
| Manta-Network/manta-signer | CSSRustTypeScript | 79 | 0 | 39 | 0 |
| ArpitIngle/Library-of-Ethereum | 256 | 0 | 27 | 0 | |
| enricobottazzi/ZK-SBT | SolidityCircomJavaScript | 142 | 0 | 21 | 0 |
| sismo-core/sismo-protocol | TypeScriptSolidity | 16.2k | 0 | 731 | 0 |
| vplasencia/zkSudoku-plonk | SolidityJavaScriptCircom | 14 | 0 | 7 | 0 |
| mratsim/constantine | NimCPython | 201 | 0 | 25 | 0 |
| TritonVM/triton-vm | RustOther | 181 | 0 | 25 | 0 |
| AleoHQ/snarkOS | RustOther | 2.9k | 0 | 2.3k | 0 |
| bitcoin-stark/khepri | CairoPythonMakefile | 54 | 0 | 16 | 0 |
| zkLinkProtocol/zklink-contracts | SolidityJavaScript | 52 | 0 | 35 | 0 |
| starknet-id/contract | CairoPythonNix | 99 | 0 | 53 | 0 |