sonic
sonic copied to clipboard
ebfull
Results
2
sonic issues
Sort by
recently updated
recently updated
newest added
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
k(Y) needs to be placed in the transcript prior to the choice of y or there will be soundness problems (prover could maliciously fiddle with the public inputs to satisfy...