reilabs / gnark-lean-demo

Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
14Updated 11 months ago

Alternatives and similar repositories for gnark-lean-demo:

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