How to do succinct unhelped verification in Sonic?

matter-labs / bellman

Bellman zkSNARK library for community with Ethereum's BN256 support

https://matter-labs.io

Other

159 stars 79 forks source link

How to do succinct unhelped verification in Sonic? #11

Open Pratyush opened 5 years ago

Pratyush commented 5 years ago

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

shamatar commented 5 years ago

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