# GitHub repos by Verified-zkEVM [Home](https://repo.masters-masters.com/en) › [Verified-zkEVM](https://repo.masters-masters.com/en/owners/Verified-zkEVM) All 3 public GitHub repos by Verified-zkEVM in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by Verified-zkEVM 3 public repos by Verified-zkEVM in the catalog, most starred first. - [Verified-zkEVM/ArkLib · ★ 351 · Lean · Alpha](https://repo.masters-masters.com/en/repos/Verified-zkEVM/ArkLib) - [Verified-zkEVM/clean · ★ 208 · Lean · Prototype](https://repo.masters-masters.com/en/repos/Verified-zkEVM/clean) - [Verified-zkEVM/VCVio · ★ 170 · Lean · Prototype](https://repo.masters-masters.com/en/repos/Verified-zkEVM/VCVio) ## See Verified-zkEVM on GitHub - [https://github.com/Verified-zkEVM](https://github.com/Verified-zkEVM) --- Data: GitHub