Summary: Lean 4 kernel / 'external checker' written in Lean 4
Repo: https://github.com/digama0/lean4lean
Summary: Formally verifying succinct non-interactive arguments of knowledge
Repo: https://github.com/Verified-zkEVM/ArkLib
Summary: Formally verifying succinct non-interactive arguments of knowledge
Repo: https://github.com/Verified-zkEVM/ArkLib
