ebfull / sonic

Other
78 stars 17 forks source link

Proofs aren't zero-knowledge #4

Open ebfull opened 4 years ago

ebfull commented 4 years ago

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

ebfull commented 4 years ago

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.

burdges commented 4 years ago

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.