feat: Structured Reference String (SRS)

We need to generate a SRS to be shared between the prover and verifier. We should understand when an SRS is vulnerable (and practice Breaking it). The SRS corresponds to the degree of commitment (quantity of constraints)