Daza, Vanesa; González, Alonso; Pindado, Zaira; Ràfols, Carla; Silva, Javier
(Springer, 2019)
Despite recent advances in the area of pairing-friendly Non-Interactive Zero-Knowledge proofs, there have not been many efficiency improvements in constructing arguments of satisfiability of quadratic (and larger degree) ...