Verified-zkEVM / ZKLib

Formally Verified SNARKs in Lean

Verified-zkEVM
Verified-zkEVM
Date Created 2024-12-18 (3 months ago)
Commits 301 (last one 5 days ago)
Stargazers 37 (5 this week)
Watchers 3 (0 this week)
Forks 4
License apache-2.0
Ranking

RepositoryStats indexes 629,376 repositories, of these Verified-zkEVM/ZKLib is ranked #560,269 (11th percentile) for total stargazers, and #416,456 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #111/140.

Verified-zkEVM/ZKLib is also tagged with popular topics, for these it's ranked: zero-knowledge (#149/167)

Other Information

Verified-zkEVM/ZKLib has Github issues enabled, there are 5 open issues and 0 closed issues.

Star History

Github stargazers over time

40403535303025252020151510105500Jan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 FebMar '25Mar '2515 Mar15 Mar

Watcher History

Github watchers over time, collection started in '23

4444333333222213 Mar13 Mar14 Mar14 Mar15 Mar15 Mar16 Mar16 Mar17 Mar17 Mar18 Mar18 Mar19 Mar19 Mar20 Mar20 Mar21 Mar21 Mar

Recent Commit History

301 commits on the default branch (main) since jan '22

350350300300250250200200150150100100505000Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25

Yearly Commits

Commits to the default branch (main) per year

25025020020015015010010050500020242024

Issue History

Total Issues
Open Issues
Closed Issues
554.54.5443.53.5332.52.5221.51.5110.50.500Jan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 FebMar '25Mar '2515 Mar15 Mar

Languages

The primary language is Lean but there's also others...

LeanLeanHTMLHTMLTeXTeXPythonPythonJavaScriptJavaScriptCSSCSSShellShellRubyRubySCSSSCSSPerlPerl

updated: 2025-03-19 @ 07:45pm, id: 905336586 / R_kgDONfZXCg