Finally, we remark that our approach to achieving succinct arguments fundamentally (and likely necessarily) differs from [1]} because we manipulate the “inner workings” of the [2]} protocol; by contrast [1]} makes “black-box” use of a specific soundness property of the [2]} protocol (referred to as “computational orthogonality” by [5]}) and is otherwise agnostic to how the protocol is constructed.
