The specification used to construct the proof. This contains all the statements and the meta statements.
The difference between this and ProofSpec that this does not call WASM to generate a ProofSpec object that
corresponds to the ProofSpec struct in Rust. This WASM call be expensive due to the serialization overhead and thus
it's advised to use this when there are a lot of Statements or SetupParams.
The specification used to construct the proof. This contains all the statements and the meta statements. The difference between this and
ProofSpecthat this does not call WASM to generate aProofSpecobject that corresponds to theProofSpecstruct in Rust. This WASM call be expensive due to the serialization overhead and thus it's advised to use this when there are a lot ofStatementsorSetupParams.