Baghery, Karim; González, Alonso; Pindado, Zaira; Ràfols, Carla
(Springer, 2020)
This paper constructs unbounded simulation sound proofs for boolean circuit satisfiability under standard assumptions with proof size O(n+d) bilinear group elements, where d is the depth and n is the input size of the ...