# Verified-zkEVM/VCVio

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

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

Verified-zkEVM/VCVio, dépôt open source à 170 étoiles sur GitHub. Carte Prototype de RepoMasters. A Lean library for machine-checked cryptographic proofs.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Verified-zkEVM](https://repo.masters-masters.com/owners/Verified-zkEVM) |
| Étoiles | 170 |
| Forks | 60 |
| Langage | [Lean](https://repo.masters-masters.com/languages/lean) |
| Licence | Apache-2.0 |
| Création | 2024 |
| Sujets | cryptography, formal-verification, lean4, post-quantum-cryptography, program-logic, proof-assistant, game-hopping |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [Verified-zkEVM/VCVio](https://github.com/Verified-zkEVM/VCVio) |

## Fiche du dépôt

A Lean library for machine-checked cryptographic proofs.

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de Verified-zkEVM

- [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)

## D’autres dépôts Lean

- [leanprover/doc-gen4 · ★ 177 · Lean · Prototype](https://repo.masters-masters.com/repos/leanprover/doc-gen4)
- [lean-forward/logical\_verification\_2025 · ★ 173 · Lean · Prototype](https://repo.masters-masters.com/repos/lean-forward/logical_verification_2025)
- [formalabstracts/formalabstracts · ★ 170 · Lean · Prototype](https://repo.masters-masters.com/repos/formalabstracts/formalabstracts)
- [openai/PrimeGaps186 · ★ 169 · Lean · Prototype](https://repo.masters-masters.com/repos/openai/PrimeGaps186)
- [verse-lab/loom · ★ 167 · Lean · Prototype](https://repo.masters-masters.com/repos/verse-lab/loom)
- [Verilean/sparkle · ★ 167 · Lean · Prototype](https://repo.masters-masters.com/repos/Verilean/sparkle)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.