GitHub repos by Verified-zkEVM
3 public repos by Verified-zkEVM in the catalog, most starred first.
- Verified-zkEVM/ArkLibStars: 351LeanAlpha
- Verified-zkEVM/cleanStars: 208LeanPrototype
- Verified-zkEVM/VCVioStars: 170LeanPrototype
3 public repos by Verified-zkEVM in the catalog, most starred first.