acentelles
Re:Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatab...
on Monday August 19, 2019 @02:19PM (#20740260)
As stated in their paper https://eprint.iacr.org/2019/099.pdf : "...the SRS is updatable, meaning an open and dynamic set of participants can contribute secret randomness to it indefinitely. Although this is still a trusted setup in some sense, it increases confidence in the security of the parameters as only one previous contributor must have destroyed their secret randomness in order for the SRS to be secure".
Basically, any party can update the Structured Reference String (SRS) at any point in time to increase the security of the protocol that will affect to any proof computed from then on.
Re:Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatab...
on Monday August 19, 2019 @02:15PM (#20740214)
This implementation only provides the helper protocol for computing aggregated signatures of correct computation
Re:Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatab...
on Monday August 19, 2019 @12:24PM (#20739153)
Haskell implementation of the protocol presented by Maller M., Bowe S., Kohlweiss M. and Meiklejohn S.