Semaphore v3 just completed its security audit and formal verification

Semaphore is a protocol, designed to be a simple and generic privacy layer for Ethereum DApps by using zero knowledge.

https://github.com/semaphore-protocol/semaphore/releases/tag/v3.0.0