Verified-zkEVM / cleanLinks

Lean circuit DSL
74Updated this week

Alternatives and similar repositories for clean

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

Sorting: