semaphore icon indicating copy to clipboard operation
semaphore copied to clipboard

Technical Research - Comparative Analysis of Semaphore vs other privacy approaches

Open aguzmant103 opened this issue 1 year ago • 12 comments

Semaphore is one of the simplest ways to add privacy to applications. What other technologies exist and how do they fit and compare to each other?

For example:

  • Semaphore groups vs Sismo Groups
  • Semaphore vs Nym (mixnet)
  • Semaphore vs other zkID protocols

aguzmant103 avatar Jul 24 '23 19:07 aguzmant103

I just got approved to be in Aztec's/zkCamp's Noir course cohort. I'm thinking of doing a comparison of how I would use Noir to do what I did with Semaphore in my StealthComms project. I can maybe create a matrix to compare Semaphore vs. Noir/Nargo if that would help.

atomniketh avatar Aug 04 '23 19:08 atomniketh

Yes!! Super helpful @atomniketh comparing performance on different implementations of Semaphore is great, (languages, proving systems, etc)

I think @vplasencia has done some work with that, unsure if she did Noir though

aguzmant103 avatar Aug 04 '23 22:08 aguzmant103

Hey @atomniketh! That would be great. Thank you!

vplasencia avatar Aug 06 '23 20:08 vplasencia

Hey @atomniketh I will also be in the coming zkCamp's Noir cohort, happy to help with your idea. @aguzmant103 I did a little writeup about Semaphore here, can also dig in other projects architecture

gnart33 avatar Aug 08 '23 08:08 gnart33

There is a Semaphore implementation in Noir that can be useful for your project: https://github.com/StefanVelkoski/semaphore-noir @atomniketh @trangnv

vplasencia avatar Aug 08 '23 09:08 vplasencia

@trangnv Look for me in the ZKCamp circles group. Let's coordinate there!

atomniketh avatar Aug 08 '23 17:08 atomniketh

ZK Language Noir Circom Cairo Leo
From Aztec Iden3 Starknet Aleo
Compiles to IR (ACIR) R1CS Sierra (IR) R1CS
Supports Integrated with UltraPlonk, Extendable to Groth16, Halo2 Groth16 Stark, FRI SNARK-based
Used By Verifier can be deployed on EVM compatible chains Tornado Cash, Polygon Hermez, Dark Forest, Semaphore Starknet Aleo

atomniketh avatar Sep 07 '23 15:09 atomniketh

hi! @vplasencia @aguzmant103 is this issue still Issues? could I take it? I am part of the PSE 2024 core program

cijimenez avatar Aug 27 '24 03:08 cijimenez

Hey @cijimenez 👋

Yes, it's still open. Do you want me to assign this issue to you?

vplasencia avatar Aug 27 '24 07:08 vplasencia

Hi @vplasencia Yes, of course! Please assign it to me. I would also like to get more details and understand the specific objective of this issue. Thanks!

cijimenez avatar Aug 27 '24 20:08 cijimenez

Hey @cijimenez! Done. Thanks. Feel free to ask any questions you may have.

The main idea of the issue is to do some research on some similar projects working (or that worked) on similar topics to explain the similarities and differences with Semaphore. The issue description has some ideas but feel free to do some research about it and add other projects too.

You can decide on the most effective way to compare them, including which parameters to use for the comparison.

vplasencia avatar Aug 27 '24 21:08 vplasencia