Verified-zkEVM / ArkLibLinks

Formally Verified Arguments of Knowledge in Lean
81Updated this week

Alternatives and similar repositories for ArkLib

Users that are interested in ArkLib are comparing it to the libraries listed below

Sorting: