Awesome

halo2-semaphore

Semaphore implementation on top of halo2 protocol