OpenAlex
Amortized Complexity of Zero-Knowledge Proofs Revisited: Achieving Linear Soundness Slack
Work