Sign inSign up

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

LeanStars 134Forks 28Watchers 134Open issues 31License Apache License 2.0
Details
仓库信息
OwnerVerified-zkEVM
Homepagehttp://verified-zkevm.github.io/ArkLib/
GitHubhttps://github.com/Verified-zkEVM/ArkLib
Last pushed2025-12-14
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--