Verified-zkEVM

Verified-zkEVM/ArkLib

Formally Verified Arguments of Knowledge in Lean

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 19 days 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 26 days ago

help wanted

Verified-zkEVM/ArkLib

101

Formally Verified Arguments of Knowledge in Lean

Lean

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