How to do succinct unhelped verification in Sonic?

[Pratyush]

I tried following this example, but it seems like verification is not succinct for a batch size of 1?

[shamatar]

Hey.

I didn’t implement it due to the large overhead of the succinct argument for S polynomial, so it most likely would never be used for a single proof. If it’s really required it’s not hard to make one.

Sincerely, Alexander