How to find proof size?

[sid-alluri]

Is there any tooling available to find proof size in gnark? I am using reflect.TypeOf(proof).Size() and the output seems incorrect.

[gbotrel]

hey -- you can serialize the Proof with WriteTo (compressed points) or WriteTo (uncompressed) and check the size of the buffer.
Size is constant for groth16 and plonk and does not depend on the circuit.

[sid-alluri]

Does that mean same-size proof regardless of any circuit in Plonk or groth16? I am getting 616B of proof regardless of the circuit. Is this correct?

[gbotrel]

plonk proof size != groth16 proof size.

But yes, otherwise it's not circuit dependent (within a proving scheme)

[sid-alluri]

Thanks. Got it