# Dépôts de Verified-zkEVM

<https://repo.masters-masters.com/owners/Verified-zkEVM>

[Accueil](https://repo.masters-masters.com/) › [Verified-zkEVM](https://repo.masters-masters.com/owners/Verified-zkEVM)

Les 3 dépôts GitHub publics de Verified-zkEVM, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de Verified-zkEVM

3 dépôts publics de Verified-zkEVM au catalogue, du plus étoilé au moins étoilé.

- [Verified-zkEVM/ArkLib · ★ 351 · Lean · Alpha](https://repo.masters-masters.com/repos/Verified-zkEVM/ArkLib)
- [Verified-zkEVM/clean · ★ 208 · Lean · Prototype](https://repo.masters-masters.com/repos/Verified-zkEVM/clean)
- [Verified-zkEVM/VCVio · ★ 170 · Lean · Prototype](https://repo.masters-masters.com/repos/Verified-zkEVM/VCVio)

## Voir Verified-zkEVM sur GitHub

- [https://github.com/Verified-zkEVM](https://github.com/Verified-zkEVM)

---
Données : GitHub