Repositories

Verified-zkEVM repositories

2 supported repositories

Show repositories with indexed issues
Verified-zkEVM/ArkLibLean

Formally Verified Arguments of Knowledge in Lean

Last commit Jul 21, 2026

 (312 stars) (88 forks) (1 indexed issue) (1 open good first issue)
Verified-zkEVM/verified-zkevm.orgJavaScript

Last commit Apr 29, 2026

 (1 star) (2 forks) (0 indexed issues) (0 open good first issues)