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
