The last internal audit covered Semaphore v2.0.0 and focused specifically on contracts and circuits. Since then, circuits have not changed, contracts have been updated with minor features, and several Semaphore JavaScript libraries have been added.
The latest changes in contracts affect roughly all contracts.
index
parameter for the member events: #133VerifiedProof
event #136SemaphoreCore.sol
contract #138Semaphore contracts, in particular the SemaphoreGroups.sol
one, depend on two external libraries:
Semaphore can now be used by devs with a set of JS packages, which essentially simplify identity management and proof generation/verification.
Semaphore also uses a subgraph now.
semaphore