Verified-zkEVM

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

2 good first / help-wanted issues · Lean · last activity Sep 12, 2025

101 stars 21 forks 101 watchers Lean Apache License 2.0

formal-verification lean lean4 snark zero-knowledge zk

View on GitHub Website

2 Open Issues Need Help Last updated: Sep 12, 2025

Open Issues Need Help

View All on GitHub

feat(coding-theory): formalize low-rate capacity-achieving Reed–Solomon list decoding about 2 months ago

enhancement help wanted

Verified-zkEVM/ArkLib

101

Formally Verified Arguments of Knowledge in Lean

Lean

#formal-verification#lean#lean4#snark#zero-knowledge#zk

Definition & Security Proofs for Merkle Trees 3 months ago

help wanted

Verified-zkEVM/ArkLib

101

Formally Verified Arguments of Knowledge in Lean

Lean

#formal-verification#lean#lean4#snark#zero-knowledge#zk