Proofs aren't zero-knowledge

Open ebfull opened this issue 6 years ago • 2 comments

I didn't want to bring in the rand crate and deal with that mess, so the proofs right now are not zero-knowledge as mentioned in this comment: https://github.com/ebfull/sonic/blob/master/src/synthesis.rs#L666

Dec 10 '19 17:12 ebfull

Actually, to be specific the mess is that there are two different versions of rand being brought in and I didn't want to reconcile them at the time.

Dec 10 '19 17:12 ebfull

It's possible https://github.com/w3f/schnorrkel/commit/8150ef6333df6238d8d861aec74bf7ccd87119aa#diff-b4aea3e418ccdb71239b96952d9cddb6R260-R280 might help if you care in the short term, but waiting for dependencies to converge sounds better.

Dec 12 '19 13:12 burdges