Verified-zkEVM / cleanLinks

Lean circuit DSL
76Updated this week

Alternatives and similar repositories for clean

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

Sorting: