reilabs / gnark-lean-demoLinks

Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
15Updated last year

Alternatives and similar repositories for gnark-lean-demo

Users that are interested in gnark-lean-demo are comparing it to the libraries listed below

Sorting: