Closed oskarth closed 3 years ago
For Semaphore RLN https://ethresear.ch/t/semaphore-rln-rate-limiting-nullifier-for-spam-prevention-in-anonymous-p2p-setting/5009 we need to embed the Shamir logic inside the SNARK in order to do slashing for spam. Currently the implementation is trusted and very hacky https://github.com/vacp2p/research/blob/master/zksnarks/semaphore/src/hello.js#L450
Shamir logic is integrated into the SNARK, and glue code around uses this
(Optional?) Ideally it works for precomputed proofs too, requires some more thinking here
Number of constraints don't explode too much, or at least understanding of overhead this would bring
Requires hacking actual SNARKs, and then some more thought around precomputes (no signal?) / complexity / etc.
Note that this doesn't apply to the Semaphore voting etc use case.
@barryWhiteHat is Shamir logic part of the SNARK for rlnapp?
Yes its ready to go. Just needs UI :)
Problem
For Semaphore RLN https://ethresear.ch/t/semaphore-rln-rate-limiting-nullifier-for-spam-prevention-in-anonymous-p2p-setting/5009 we need to embed the Shamir logic inside the SNARK in order to do slashing for spam. Currently the implementation is trusted and very hacky https://github.com/vacp2p/research/blob/master/zksnarks/semaphore/src/hello.js#L450
Acceptance criteria
Shamir logic is integrated into the SNARK, and glue code around uses this
(Optional?) Ideally it works for precomputed proofs too, requires some more thinking here
Number of constraints don't explode too much, or at least understanding of overhead this would bring
Notes
Requires hacking actual SNARKs, and then some more thought around precomputes (no signal?) / complexity / etc.
Note that this doesn't apply to the Semaphore voting etc use case.