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

1 Open Issue Need Help Last updated: Sep 12, 2025

Open Issues Need Help

View All on GitHub

Definition & Security Proofs for Merkle Trees about 2 months ago

help wanted

Verified-zkEVM/ArkLib

101

Formally Verified Arguments of Knowledge in Lean

Lean

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