35 reputation
4
bio website
location
age
visits member for 1 year, 2 months
seen Dec 5 at 10:17

Oct
21
awarded  Supporter
Oct
21
accepted Verifying encrypted addition
Oct
21
comment Verifying encrypted addition
Ok, got it. Thanks!
Oct
21
comment Verifying encrypted addition
As for comparing c3 and c'3, my impression was that the homomorphic encryption schemes may introduce randomness to the process, so that c3 != c'3, even though they are sum of same numbers. See the link, I've posted above.
Oct
21
comment Verifying encrypted addition
Imagine a game with cards. Each participant has secret information (the cards in the hand) that he doesn't want to disclose to other participants. He can also perform an operation (say exchange one of the cards) but he doesn't want to disclose the result of the operation, i.e. the resulting set of cards in the hand should remain secret. However, other participants want to ensure that he played by rules, i.e. he exchanged exacly one card. In general, the goal is to ensure that every participant plays by rules without disclosing their secret.
Oct
21
revised Verifying encrypted addition
added 62 characters in body
Oct
21
awarded  Editor
Oct
21
revised Verifying encrypted addition
added 62 characters in body
Oct
21
comment Verifying encrypted addition
How would you approach the problem via ZKP? Sorry, I am not a cryptographer, so I'm just trying to get my head around this.
Oct
21
comment Verifying encrypted addition
Btw, there's a system that can be used this way outlined in the accepted answer here: crypto.stackexchange.com/questions/6732/… however it requires revealing r3 to Bob. Can we do better?
Oct
21
asked Verifying encrypted addition
Oct
21
awarded  Scholar
Oct
21
comment Is there an encyption scheme that combines additive homomorphism with ability to proxy re-encrypt?
That's really helpful. Thanks!
Oct
21
accepted Is there an encyption scheme that combines additive homomorphism with ability to proxy re-encrypt?
Oct
21
awarded  Student
Oct
20
asked Is there an encyption scheme that combines additive homomorphism with ability to proxy re-encrypt?