Skip to content

Formalize Ironwood zero knowledge in Lean - #1

Draft
TalDerei wants to merge 198 commits into
mainfrom
establish-zk
Draft

Formalize Ironwood zero knowledge in Lean#1
TalDerei wants to merge 198 commits into
mainfrom
establish-zk

Commits

Commits on Sep 10, 2026

Commits on Sep 11, 2026