Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits
https://ieeexplore.ieee.org/abstract/document/9519498